Lambda the Ultimate

type	title	author	last post
Story	The Right Tool i'd like a version of this with only LtUers by raould	James Iry	2010-05-19 13:15
Story	Capabilities for External Uniqueness now by raould	James Iry	2010-05-14 19:30
Story	The Structure of Authority: Why security is not a separable concern ok by raould	naasking	2010-05-07 21:39
Forum topic	SEC interested in formalising contracts ... in Python i dunno but by raould	Noel	2010-05-06 12:56
Story	Tutorial on Good Lisp Programming Style PDF version by raould	Luke Gorrie	2010-05-06 03:28
Forum topic	Linear & Dependent types of ATS applied to the Cairo graphics library Re: OT by raould	raould	2010-05-04 07:37
Forum topic	Games and Languages seconded by raould	giuseppemag	2010-04-27 15:26
Forum topic	In the wild no no no by raould	Ehud Lamm	2010-04-26 23:54
Forum topic	How can C Programs be so Reliable? C++ a little bit, too by raould	Manuel J. Simoni	2010-04-23 11:54
Story	A few billion lines of code later: using static analysis to find bugs in the real world different take by raould what alternatives by raould thoughts? by raould	Allan McInnes	2010-04-23 11:28
Forum topic	Visual programming for movies, games	raould	2010-04-21 11:53
Forum topic	splitting the program into formalizable vs. non-formalizable parts? if i grok that link by raould ? by raould OO being harder to formalize by raould	raould	2010-04-17 03:48
Story	Can functional programming be liberated from the von Neumann paradigm? not a sales pitch and/or i'm a charlatan by raould re: the only and best by raould @doubtful by raould	Charles Stewart	2010-04-14 20:25
Story	Clojure’s Mini-languages c++'s vs. clojure's mini-languages by raould	Ehud Lamm	2010-04-13 03:46
Forum topic	Fantom language discussion ; what are your thoughts ? vs. Scala? by raould swimming against the grain by raould	anwars	2010-03-31 18:21
Forum topic	From type systems to language systems? not sure i follow by raould	Cyril	2010-03-30 17:49
Forum topic	Curry Howard and more powerful type systems clueless question by raould	Brandon Niemczyk	2010-03-24 19:06
Forum topic	Advantages of Purity irony by raould i might be missing the point but by raould sensible defaults? by raould	giuseppemag	2010-03-24 17:11
Forum topic	Rosette, another Actor language	raould	2010-03-19 17:23
Forum topic	Reactive Extensions for .NET released this week i worked at msft by raould re: trojans by raould	Wolf Logan	2010-03-18 15:28
Forum topic	functional equivalance? ditto by raould another (restricted) take on it by raould thanks for the link by raould	raould	2010-03-17 18:59
Story	Recent Progress in Quantum Algorithms re: core curriculum idea by raould in some ways monads aren't that hard, either by raould	Manuel J. Simoni	2010-03-16 18:22
Forum topic	a "thank you" to You the learning continues by raould ADTs vs. Objects by raould oh, uhm, i've probably forgotten most by now by raould	raould	2010-03-16 09:09
Forum topic	The Myth of the Genius Programmer Re: Knowlton2 by raould	Leon P Smith	2010-03-14 16:23
Forum topic	Small PL Thought Experiment effect typing? by raould re: isolation by raould re: ffi by raould really so black+white? by raould concurrency? by raould	scottmcl	2010-03-11 18:11
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