Lambda the Ultimate

type	title	author	last post
Story	Goedel's Theorem and Theories of Arithmetic Hintikka On Goedel by Drew Bagnell Another introduction to his proof by Andre Pang On Gödel by Paul Snively Good suggestion by Ehud Lamm Read the Real Thing by MtnViewMark What's next? by Ehud Lamm	Ehud Lamm	2004-08-22 15:14
Story	Vacation	Ehud Lamm	2004-08-21 17:49
Forum topic	Notes from a Concurrency-Oriented Junkie Missed the point by John Eikenberry throughput by pantagruel Aaargh. That number of threads argument again ... by Sriram Srinivasan Wasn't it exactly what he said.. by Alexandre Richer	Brent Fulgham	2004-08-19 20:06
Forum topic	hierarchy destruction in Ada Good idea by Ehud Lamm FAQ update? by Andris Birkmanis This is not the right forum for language specific questions by Ehud Lamm	Michael Mounteney	2004-08-19 10:29
Story	Well, that's one way of doing it... Maybe runtime by Luke Gorrie Builtin "Maybe" types by Kannan Goundan Continued here. P.S In case by Ehud Lamm Just one tool from the box by Andris Birkmanis	Ehud Lamm	2004-08-19 09:18
Story	Preliminary call for participation to MOZ 2004	Peter Van Roy	2004-08-18 13:25
Forum topic	Cω vs. Erlang? E Machine by Mark Evans ATC by Ehud Lamm Ada by Ehud Lamm Erlang by Luke Gorrie Discussed briefly a while back by Chris Rathman Add Oz by Paul Snively	bzhou	2004-08-17 22:33
Forum topic	Why compiler optimizations are interesting Optimizations by rreyelts Compilers separate from optimizers by rreyelts Re: lost in translation by Matthew Markland Erehwon by Paul Snively But type system is important by Alexander Shumilov lost in translation by Dave Herman I love writing optimizers by Wouter Simple and fast by Ryan Tarpine	Luke Gorrie	2004-08-17 17:56
Forum topic	Compaq WebL WYSIWYG Web Wrapper factory by pantagruel	pantagruel	2004-08-17 11:59
Story	Python Decorators Decorators in Ruby... by Michael Neumann Much ado about very little by Dave Benjamin Syntax debate permathreads by Dominic Fox	Ehud Lamm	2004-08-16 14:06
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