Lambda the Ultimate

type	title	author	last post
Story	C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” I've just heard a talk by by Blaisorblade Basic "Visitor" doesn't solve the expression problem by Blaisorblade Standard mathematics is certainly unityped by Blaisorblade	Allan McInnes	2016-03-25 19:25
Forum topic	Logic Programming with Failure as an Exception "Negation as failure" is standard and sound in closed-world by Blaisorblade	Keean Schupke	2016-03-07 06:17
Forum topic	Whither actual generality/customizability/flexibility? Mathematics doesn't avoid the problem by Blaisorblade	raould	2016-03-06 14:59
Forum topic	Need to Talk End of the line??? by Blaisorblade Wait, you're not Matt Might? by Blaisorblade But I thought we knew we by Blaisorblade Community split? by Blaisorblade	marco	2016-02-02 05:56
Forum topic	Typed X (Racket, Clojure, Lua) just doesn't pan out? Just saw more similar work by Blaisorblade Opportunistic static typechecking? by Blaisorblade Performance problems and "Is Sound Gradual Typing Dead?" by Blaisorblade	raould	2016-01-31 00:31
Story	Static vs. Dynamic Languages: A Literature Review Haskell completely misses by Blaisorblade Not the main point by Blaisorblade I think you're describing a by Blaisorblade You got it by Blaisorblade You just described an by Blaisorblade No misuse, just using the by Blaisorblade That problem requires unsafePerformIO by Blaisorblade "Sapir-Whorf hypothesis" of static types by Blaisorblade Well, PL papers already by Blaisorblade Sources of biases by Blaisorblade	naasking	2016-01-11 06:22
Forum topic	Typed Data Different goals on simplicity by Blaisorblade	Andrew Moss	2015-12-31 08:59
Forum topic	Languages for SIMT Architectures But even (some of) your by Blaisorblade	Keean Schupke	2015-12-23 04:49
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" Early adopter vs stable by Blaisorblade Not really? by Blaisorblade Skepticism? by Blaisorblade	Sean McDirmid	2015-11-24 16:45
Story	Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega Sec. 3.3: An easy counterexample to the normalization barrier by Blaisorblade Yeah, but... by Blaisorblade Correction on previous work by Blaisorblade Typing is hard by Blaisorblade Typed reflection by Blaisorblade Their correctness theorem is restricted by Blaisorblade They don't claim to disprove by Blaisorblade	naasking	2015-11-18 18:04
Forum topic	Rumors in Complexity Theory No P vs NP by Blaisorblade	marco	2015-11-13 01:41
Forum topic	1ML — Core and modules united What about exposing existing types? by Blaisorblade "Parametricity" is that smoothness by Blaisorblade	Tom Primožič	2015-11-09 21:29
Forum topic	PL vs. PX I'm willing to believe that by Blaisorblade "Philosophical evaluation" by Blaisorblade Might have mentioned this by Blaisorblade Can still team up by Blaisorblade	Sean McDirmid	2015-10-26 18:24
Forum topic	On type safety for core Scala: "From F to DOT: Type Soundness Proofs with Definitional Interpreters" I'd like to highlight a by Blaisorblade	Blaisorblade	2015-10-24 14:35
Forum topic	Free JFP papers To get closer to their by Blaisorblade Maybe instead of "most by Blaisorblade	Ehud Lamm	2015-10-24 14:03
Story	Dependent Types for Low-Level Programming How do you ensure that by Blaisorblade	naasking	2015-10-16 07:59
Forum topic	Optimal efficiency Isn't O(log N) for NUMA or clusters? by Blaisorblade Cheating: you didn't close the loophole, IMHO by Blaisorblade Cache and I/O Efficient Functional Algorithms by Blaisorblade	Keean Schupke	2015-10-12 06:19
Forum topic	Subclass, superclass, or siblings under an abstract superclass? "Dynamic tables" aren't a by Blaisorblade Clang just botched the by Blaisorblade If you want to be sure to by Blaisorblade Inlining is relevant outside by Blaisorblade It's based on research since by Blaisorblade I believe the inlining point by Blaisorblade M4 != CPP, CPP is a standard part of C++ by Blaisorblade Ages ago, I've used the full by Blaisorblade C++ code doesn't actually go by Blaisorblade In case I didn't bug you by Blaisorblade ...	Ray Dillinger	2015-09-29 15:36
Forum topic	word2vec Type inference through Machine Learning by Blaisorblade	Sean McDirmid	2015-09-05 18:26
Forum topic	Moderation on LtU Erlang by Blaisorblade Guessing the root cause by Blaisorblade Note also that the comment by Blaisorblade I think you'd be right if by Blaisorblade "One or two individuals" by Blaisorblade Evidence & rhetorical skills by Blaisorblade	gasche	2015-09-05 11:34
Forum topic	Nullable type is needed to fix Tony Hoare's "billion dollar mistake". Missing explanations by Blaisorblade	Hewitt	2015-09-04 10:12
Forum topic	Another "big" question Totally by Blaisorblade Not sure about your specific by Blaisorblade An EDSL looks close enough to an external DSL by Blaisorblade Haskell eDSLs needn't be by Blaisorblade	Ehud Lamm	2015-09-02 15:49
Forum topic	Big questions Yep, but not all programming by Blaisorblade You might also be interested by Blaisorblade User diversity by Blaisorblade	Ehud Lamm	2015-08-27 03:57
Forum topic	Haskell for Mac Only the latter is an IDE by Blaisorblade	Sean McDirmid	2015-08-26 23:11
Forum topic	Unstructured casting considered harmful to security Formulating good questions doesn't scale by Blaisorblade	Hewitt	2015-08-25 14:11
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation