Lambda the Ultimate

type	title	author	last post
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 Gottlieb	2008-08-05 22:36
Story	program verification: the very idea on playing catch-up by el-vadimo have checker, will verify by el-vadimo allez en avant, et la foi vous viendra by el-vadimo moral hazard by el-vadimo verifying compiler: the grand challenge by el-vadimo ceci n'est pas une pipe by el-vadimo wget --recursive --no-parent http://vstte.ethz.ch/Files/ by el-vadimo Volume 1 and Volume 2 by el-vadimo Fetzer, the careful epistemologist by el-vadimo a mishmash of followups by el-vadimo ...	el-vadimo	2008-08-03 21:15
Story	Minimal FORTH compiler and tutorial a quick xref by el-vadimo	Ehud Lamm	2008-07-14 23:16
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future future history of logic programming by el-vadimo	Ehud Lamm	2008-06-18 15:17
Forum topic	Career paths and concerns more of the same... by el-vadimo "You and Your Research" by Richard Hamming by el-vadimo view from the trenches by el-vadimo	jschuster	2008-05-30 17: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	Social Processes and Proofs of Theorems and Programs requested citation by el-vadimo ...except hot bakery items by el-vadimo machine-obstructed proof by el-vadimo program verification: the very idea by el-vadimo treatise of human nature by el-vadimo perpetuum mobile by el-vadimo	Luke Gorrie	2008-04-28 13:57
Forum topic	Common Lisp Exception Handling dlw on conditions in CL (and elsewhere) by el-vadimo	SamK	2008-04-28 13:22
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	more power and less verbiage focusing on the wrong thing? by el-vadimo a quick example by el-vadimo	el-vadimo	2008-04-17 04:47
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	The Monad.Reader death by a thousand Dedekind cuts by el-vadimo notice of correction by el-vadimo iceberg looming in the background by el-vadimo Perlis vs. Dijkstra by el-vadimo	Wouter Swierstra	2008-03-20 01:02
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	expressivity of "idiomatic C++" still broken under Scala 2.6... by el-vadimo Haskell-to-Scala translation by el-vadimo from Lakatos back to Hamming by el-vadimo Myths and ideology in mathematics by el-vadimo Perl implementation with lazy streams by el-vadimo back to the drawing board by el-vadimo Re: Space Complexity -- Haskell wins by el-vadimo Re: Death by a thousand cuts (!/0) by el-vadimo expected Haskell behavior in pseudo-code by el-vadimo Hamming subsequence with no gaps by el-vadimo ...	el-vadimo	2007-12-28 14:25
Story	The Fortress Language Spec v0.618 a PL better than Java deemed an enormous challenge by el-vadimo	Dave Herman	2007-11-21 20:59
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
Forum topic	F3 is now openjfx Per Bothner is working on OpenJFX by el-vadimo	rossjudson	2007-05-10 08:49
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