Lambda the Ultimate

type	title	author	last post
Forum topic	Janus: A Time-Reversible Language Data provenance and scientific software by marco Yeah well. by marco Verification tools by marco Yeah it is. by marco Reverse diverges on many plain functions by marco	Sean McDirmid	2013-05-25 11:38
Forum topic	Seeking thoughtful criticisms of functional programming and languages Bull by marco Referential Transparancy by marco Weaving by marco Explicit by marco You missed the point entirely by marco Language or Programming by marco Logging by marco Obligatory Superfluous Comment by marco Why? by marco Possibly by marco ...	scottmcl	2013-03-31 00:40
Forum topic	A Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" Work-stealing by marco Of course you should invent by marco I never was big on patterns. by marco Well, you can't please by marco Do you think its possible by marco Not OO by marco What was wrong with the old definition? by marco	w7cook	2013-01-08 20:02
Forum topic	"Fortress Wrapping Up" HPCC is hard by marco I am not surprised... by marco	Alan Eliasen	2012-11-11 23:51
Forum topic	Aha! Programming Language Deal by marco Dude by marco I do care by marco I don't care by marco dmbarbour, I give up. You by marco You seem to believe that by marco It was the first which came to mind, BUT by marco As a programmer, you should by marco Not really by marco Just a hunch by marco ...	rmovchan	2012-10-19 03:50
Forum topic	P = NP question The recognizer would be an by marco Ah well. by marco Ah well. by marco Underspecified by marco - by marco Yawn... by marco How does that lead us to by marco There are regular languages by marco You say tomato by marco - by marco ...	Carter Cheng	2012-10-10 22:26
Forum topic	Other free theorems Interesting by marco It's a property you would by marco Another view by marco	Matt M	2012-10-05 12:00
Forum topic	Proposed extension to C - array size declarations The problems I see are by marco How are you going to type by marco	John Nagle	2012-09-30 04:27
Forum topic	Designing a languge — what theory is a must? Unfortunately... by marco	pgregory	2012-09-28 19:01
Forum topic	Learning math? Why don't you just ask? by marco	oconnor0	2012-09-27 07:12
Forum topic	Are scalars "just" degenerate matrices? The real problem is that to by marco Are there implementations which solved Unicode lexing? by marco Unicode Consortium should provide Lexers by marco " Characters are the by marco Yeah, it really has become by marco	Douglas McClean	2012-09-22 21:38
Story	Oleg: An argument against call/cc Hmpf, too grumpy by marco Never doubt the wisdom of by marco I guess I thought too complex. by marco Leaky abstraction... by marco You were clear. by marco 1. Isn't any form of lazy by marco I agree. It's what you can by marco	bashyal	2012-09-13 17:06
Forum topic	A stratified implementation of a LISP-to-CIL compiler Strange... by marco Retired by marco	bryanedds	2012-09-11 21:54
Forum topic	Enso: William Cook's new programming model Oh, that... by marco Quote by marco	Rafael	2012-08-29 17:46
Forum topic	Overloading by return type without types Lovely by marco Cool by marco Great by marco + by marco Did you get what he puts in his hookah? by marco	vorov2	2012-08-12 23:50
Forum topic	The Economist: Language and Computers: Why language isn't computer code You're more harsh with the by marco I was commenting on the Article by marco Load of Crap by marco	kms	2012-08-11 20:37
Forum topic	An Executable Formal Semantics of C with Applications Anyone else investigating by marco	RobJellinghaus	2012-08-10 17:20
Forum topic	Language Implementation 101 All boils down to requirements. by marco That is basically is how my by marco If you don't want to go old-skool.. by marco Not my experience... by marco	qznc	2012-08-09 07:37
Story	Self.congratulate The C64 turned thirty by marco Well. by marco I've been here too long by marco I second that. by marco	Ehud Lamm	2012-08-06 10:41
Forum topic	Escaping the Maze of Twisty Classes Nice... ;-) by marco	Sean McDirmid	2012-08-04 10:15
Forum topic	10 Years of Purely Functional Data Structures Flattening Combinators: Surviving Without Parentheses by marco The Fall and Rise of FP by marco	Chris Okasaki	2012-08-04 01:52
Story	Interactive Tutorial of the Sequent Calculus I doubt there is a bug... by marco LOL by marco No, it was set-theoretics. by marco Oh cool by marco Counterexample by marco Uhm, to be really boring, by marco Technicalities by marco Quantifying over Thin Air... by marco Wonderful by marco Is it just me by marco ...	Manuel J. Simoni	2012-07-24 17:55
Story	How to Make Ad Hoc Proof Automation Less Ad Hoc I wouldn't know. It's a by marco Frankly, this feels by marco	Paul Snively	2012-07-24 00:43
Forum topic	Evolved Turing neural networks - Unorganized machines and the brain Darwintunes.org by marco	Cyril	2012-07-14 11:08
Forum topic	Why languages and not systems? Scratching an itch is fun? by marco	giuseppemag	2012-07-13 11:39
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