Lambda the Ultimate

type	title	author	last post
Story	A few billion lines of code later: using static analysis to find bugs in the real world alternative summary by el-vadimo the bus by el-vadimo totalitarian principle by el-vadimo	Allan McInnes	2010-04-23 11:28
Story	Clojure’s Mini-languages 20% of C++ by el-vadimo	Ehud Lamm	2010-04-13 03:46
Forum topic	Jean put dire comment on tape malbolge, masochism, etc. by el-vadimo	el-vadimo	2010-04-12 17:56
Forum topic	Tcl the Misunderstood The Great Tcl Debate of 1994 by el-vadimo	namin	2010-04-09 02:54
Story	A Formal System For Euclid's Elements Barwise's paper by el-vadimo 124 pages by el-vadimo	neelk	2010-04-08 16:57
Story	Richard Hamming - "You and Your Research" Knuth's take on "important problems" by el-vadimo Kindle edition by el-vadimo Hamming's book out of print in the U.S. by el-vadimo	shapr	2010-03-19 20:20
Forum topic	more power and less verbiage focusing on the wrong thing? by el-vadimo a quick example by el-vadimo	el-vadimo	2010-01-11 21:02
Story	Minimal FORTH compiler and tutorial a quick xref by el-vadimo	Ehud Lamm	2009-11-03 02:39
Forum topic	Irresistible programs Hamming problem redux by el-vadimo	Ehud Lamm	2008-12-03 21:21
Forum topic	Common Lisp Exception Handling dlw on conditions in CL (and elsewhere) by el-vadimo	SamK	2008-10-20 00:55
Forum topic	beyond multi-methods modules for multimethods by el-vadimo	el-vadimo	2008-09-22 13:18
Story	In Praise of Scripting: Real Programming Pragmatism Gawk for AI by el-vadimo	Allan McInnes	2008-08-25 05:13
Forum topic	GAWK (GNU AWK) for AI? forward xref by el-vadimo	Todd Coram	2008-08-25 05:12
Forum topic	Practical Bits of Making a Compiler for a New Language obligatory xref by el-vadimo	Eli Sennesh	2008-08-05 22:36
Forum topic	future history of logic programming xref by el-vadimo rights and obligations by el-vadimo using WAM to represent XML by el-vadimo	el-vadimo	2008-05-08 11:59
Forum topic	Is Halting Problem Valid for P? related question by el-vadimo	ajgargand	2008-05-04 23:24
Story	Verified Software: Theories, Tools, and Experiments xref by el-vadimo	Ehud Lamm	2008-04-27 19:42
Story	Grady Booch: Software Engineering Grand Challenges 50th anniversary issue of JACM by el-vadimo	Ehud Lamm	2008-04-27 18:35
Story	Computer Science Education: Where Are the Software Engineers of Tomorrow? residual defects by el-vadimo Booch's Ada vs. Liskov's Java: Two Approaches to Teaching Softwa by el-vadimo economics of software verification by el-vadimo a people's history of computer science by el-vadimo	Ehud Lamm	2008-04-21 22:03
Forum topic	Gilad Bracha: Cutting out Static fly in the ointment by el-vadimo strictness analysis by el-vadimo	Matt Hellige	2008-04-09 15:48
Forum topic	the power of GNU Awk	el-vadimo	2008-03-31 18:05
Story	Arc is released Felleisen on toys by el-vadimo	Ehud Lamm	2008-03-21 12:07
Forum topic	beyond programming languages in increments of how many microReids? by el-vadimo KRL by el-vadimo more extensive quote by el-vadimo	el-vadimo	2008-01-18 22:58
Forum topic	Examples of large-scale functional language projects Common Lisp at ITA by el-vadimo	Luke Flemmer	2008-01-06 18:44
Forum topic	Formal methods for O/R mapping A critique of the SQL database language by el-vadimo	Andris Birkmanis	2007-08-19 00:29
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