Lambda the Ultimate

type	title	author	last post
Forum topic	What is computation? Concurrency versus Turing's Model Great Product by marco My horse just lost its shoe by marco So it did boil down to fairness? by marco Then throw away the model by marco Uh?Concurrency cannot be modeled as a non-deterministic machine by marco Fairness by marco Buechi Automata by marco Great Voodoo by marco If you assign probabilities to non-deterministic transitions by marco Broken Link by marco	Hewitt	2011-02-22 13:52
Forum topic	Fast Compilers Eager Evaluated Lambda Calculus on Records with RTTI by marco Not sure I recommend it. Too Painful by marco ...why? by marco Better Understanding by marco They borrow from each other... by marco I would call that luck too by marco Heretic! by marco No doubt Leroy is intelligent, but so are others by marco It's more about generated code by marco Moore's law has ended by marco ...	Ed Earl Ross	2011-01-19 23:50
Forum topic	The AST Typing Problem Addendum by marco Unsolution - Just keep it simple by marco	shap	2011-01-19 03:15
Story	Generics: The Importance of Wildcards Ouch - generalization by marco Hmpf by marco Makes more sense by marco Type deducible from call stack... by marco Hairy details by marco	Ehud Lamm	2011-01-14 15:36
Story	Guido: Language Design Is Not Just Solving Puzzles Of course, I want it to be by marco Yah, I'll admit it by marco Same is true for the current 'Yacc is Death' discussion by marco What is Useful? by marco Guido is very driven by the user by marco	Ehud Lamm	2011-01-05 17:06
Forum topic	Tolerant vs. Demanding Software From what I gather by marco	kclancy	2010-12-30 04:44
Story	Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit Hilarious! by marco	Ehud Lamm	2010-12-29 19:26
Forum topic	The Myths of Object-Orientation Nice by marco I leave philosophy to Heidigger by marco	el-vadimo	2010-12-21 17:28
Forum topic	yacc death revisited True by marco All practical implementations are cubic by marco Someone showed it is reducible to matrix multiplication by marco Abstract Complexities by marco	Thomas Lord	2010-12-21 06:06
Story	Sapir-Whorf 70 years on Hard to believe he said that as a 17 year old! by marco A language is ... by marco	bashyal	2010-12-20 12:25
Forum topic	Oracle, Sun, and Fortress Just a Double Reply by marco	mzraly	2010-12-20 01:16
Story	program verification: the very idea Enzo Ferrari by marco	el-vadimo	2010-12-17 18:21
Forum topic	The fundamental limitations of parser combinators... and how to fix them. Reification by Wikipedia by marco I miss the term Reification by marco	Dominique Devriese	2010-12-17 13:17
Forum topic	"Future of Programming Languages" panel Is there room for a powerful but kinda slowish VM? by marco	puredanger	2010-12-14 18:29
Story	A Preliminary Survey on Functional Programming I get that... by marco That by marco I think FP is just ready by marco I don't think most programmers would know the answer to that by marco I feel... by marco Ah well. Guess you're right by marco Practice by marco They simply learn the theories after applying them. by marco Programmers and Education by marco Ah by marco ...	Ehud Lamm	2010-12-14 05:28
Forum topic	Lambda the Ultimate seems an Overstatement (not) Because Lisp and λ-calculus belong to different worlds by marco Hand Waving not Allowed by marco Lambda is just a Vehicle by marco Ah Well by marco	Ed Earl Ross	2010-12-13 19:44
Forum topic	Reference Counting vs Tracing Garbage Collection? Ah well by marco See the other post by marco Robustness / String Support by marco Thanks by marco I liked the citations by marco LOL by marco Elaborate, Please by marco Don't Think So by marco Bacon, Petrank, Joisha by marco Compile Time? Unlikely by marco ...	marco	2010-12-10 22:27
Forum topic	languages with call by value only (and maybe closures)? Ah, and Poor Reading too by marco Poorly Phrased by marco	windozer	2010-12-10 00:08
Forum topic	Articles on Precise GC with Parametric Polymorphism Hey! by marco	scottmcl	2010-12-08 20:52
Forum topic	New Dataflow Programming Language OT by marco	ad1mt	2010-11-30 01:24
Forum topic	Clojure's Solutions to the Expression Problem After looking at the by marco	fogus	2010-11-27 07:21
Forum topic	Why are objects so unintuitive? According to OOAD by marco For me by marco Hmpf by marco	Lee Chou	2010-11-19 19:07
Forum topic	Closures without function pointers Just Different Terminology by marco Beg to Differ by marco Looks Hard by marco Not that light by marco No by marco I see, mostly by marco Should be Doable by marco	Alex Rubinsteyn	2010-11-17 21:12
Story	Conservative Logic Old by marco Nice by marco As I said, just a hunch by marco No reason, Just a hunch by marco No idea. Looks like something different by marco The Missing Billiard Ball? by marco Ah! Meta-physics! by marco Plaidoyer for Sokoban by marco	James Iry	2010-11-16 01:17
Forum topic	expressivity of "idiomatic C++" Great by marco Tried something like that, but didn't really work (yet) by marco	el-vadimo	2010-11-10 22:56
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