Lambda the Ultimate

type	title	author	last post
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) Ten Signs a Claimed Mathematical Breakthrough is Wrong by Christian Lindig	Hewitt	2015-06-25 00:05
Forum topic	The Future of Programming according to Bret Victor Meaning what? by Christian Lindig Tongue in Cheek? by Christian Lindig	Christian Lindig	2013-08-02 14:28
Forum topic	mobile web apps are slow -- and GC is to blame So what are the best GC people working on? by Christian Lindig HN discussion by Christian Lindig	Christian Lindig	2013-07-18 22:05
Forum topic	What is the best literate programming tool/environment/research work? Example: The Quick C-- Compiler by Christian Lindig	Z-Bo	2011-07-20 21:23
Forum topic	The Next Mainstream Programming Languages PDF of Tim Sweeney's POPL talk by Christian Lindig	Per Vognsen	2010-01-24 13:32
Story	Parsing Expression Grammars PEGs in Lua by Christian Lindig	Luke Gorrie	2009-04-30 09:35
Story	Announcing the Haskot SML/NJ by Christian Lindig An image is not a logo by Christian Lindig	Anton van Straaten	2009-04-02 02:16
Forum topic	MapReduce Google’s MapReduce Programming Model—Revisited by Christian Lindig	jaylac	2008-01-25 06:00
Story	Putting functional database theory into practice: NixOS PhD Thesis by Christian Lindig	neelk	2007-04-06 01:43
Story	Mutable variables eliminated from .NET New Major Language? by Christian Lindig	Anton van Straaten	2007-04-02 05:19
Forum topic	What's up with Lua? Lua 2.5 in OCaml by Christian Lindig	Ehud Lamm	2007-03-13 16:36
Story	Gilad Bracha on tuples Currying by Christian Lindig	Ehud Lamm	2007-03-12 11:18
Forum topic	Behaviour Diffing Ample for Java by Christian Lindig Automated Debugging by Christian Lindig	Holgly Morgan	2007-03-04 17:44
Forum topic	Literature on recovering grammars? Hard Problem? by Christian Lindig	Holgly Morgan	2007-02-26 13:24
Forum topic	Your favourite editor/IDE Vim after using Emacs for years by Christian Lindig	Josef Svenningsson	2006-08-27 07:38
Forum topic	[Newbie] Where can I learn about VM / C interfacing? Take a look at Lua-ML by Christian Lindig	Ravi Mohan	2006-01-02 14:51
Forum topic	Probabilistic languages for kids? Stochastic Lambda Calculus by Christian Lindig	Ehud Lamm	2005-10-10 00:05
Forum topic	Good languages with simple grammar Lua: small, yet powerful by Christian Lindig	Tim Sweeney	2005-09-28 08:09
Story	Extending Ruby with C The API of Extension Languages by Christian Lindig	Ehud Lamm	2004-11-23 02:29
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