Lambda the Ultimate

type	title	author	last post
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
Forum topic	Implementing the communication semantics of actors Actors are implemented by Blaisorblade	Andrew Moss	2015-08-24 18:31
Forum topic	Eric Lippert's Sharp Regrets In fact, Haskell should be more like Scala on modules by Blaisorblade Encapsulation by Blaisorblade Nope. I'm sorry, but that by Blaisorblade Which is the JVM talk? by Blaisorblade Reflection and parametricity by Blaisorblade Jump/tail-call? by Blaisorblade Fallacy battle by Blaisorblade	Wolf Logan	2015-08-24 11:10
Forum topic	Harnessing Curiosity to Increase Correctness in End-User Programming I believe this is relevant by Blaisorblade	Blaisorblade	2015-08-22 19:05
Story	Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development Types in VMs? by Blaisorblade Control primitives, jumps, tail calls by Blaisorblade Universal VM? by Blaisorblade	gasche	2015-08-22 15:22
Forum topic	Branch Prediction and the Performance of Interpreters - Don’t Trust Folklore Latency is solved by Blaisorblade Language choice seems a threat to validity by Blaisorblade	adrieng	2015-08-18 16:42
Forum topic	Research vs implementation, theory vs practice, and LtU Is C++ really OO-only? by Blaisorblade Good suggestions by Blaisorblade "Hobbyist" languages are built by communities by Blaisorblade The "official" answer I was (somewhat) taught by Blaisorblade Lambda as a core by Blaisorblade Preventing errors automatically — separation logic by Blaisorblade	Blaisorblade	2015-07-28 16:57
Forum topic	New paper: Theory of Programs No notion of computation? by Blaisorblade Rant on axiomatic methods by Blaisorblade	Bertrand_Meyer	2015-07-27 16:21
Forum topic	Functor You get correctly by Blaisorblade	marco	2015-07-27 09:23
Forum topic	When are Actors appropriate? Bad by Blaisorblade Don't add more nonstandard terminology by Blaisorblade Implement it by Blaisorblade "Logic" is not very restrictive by Blaisorblade What I find particular by Blaisorblade Haskell's type system is inconsistent as a logic by Blaisorblade Yes, undescribeable mathematical objects are fine by Blaisorblade Fallacy — infinities are confusing by Blaisorblade Then reals would be countable by Blaisorblade Not Tom by Blaisorblade ...	raould	2015-07-21 16:25
Forum topic	Fixed points considered harmful Many problems can be SAT-solved efficiently by Blaisorblade	Hewitt	2015-07-21 06:16
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