recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Computing is a Natural Science Formal science, natural computation by Charles Stewart Consider the wise words of Knuth: by Scott Johnson My understanding is that by naasking QC by Derek Elkins Besides differences in usage by naasking A bit more "clarification". by Hank Thediek if it's not a science, God by rmalafaia are we not? by rmalafaia Classical logic is your grandpa's formalism by Anton van Straaten The name is thesis for a reason by Koray Can ...	Hank Thediek	2007-10-15 20:49
Forum topic	Uniqueness Types Instead STM This is prone to deadlocks by Tony Finch There seems to be more than by Daniel Slaney They are similar by Daniel Slaney hard real time by e The best transaction system is declarative concurrency by Marc Hamann Yes that kind of approach is by Roly Perera It sounds like you're by mental How about something like by sylvan Consistency by Marc Hamann Thanks! (If you do come by Roly Perera ...	kaveh.shahbazian	2007-10-12 22:59
Story	An Overview of the Singularity Project Dependability? by Peter Van Roy try this link instead by Ulf Wiger The memory of processes by Allan McInnes Pushing Mnesia by Luke Gorrie CASL as meta-specification by Leland McInnes On a 16Gb Sparc... by doublec Okay... I guess thats my mist by keean Efficient process representation by Luke Gorrie Just one at a time. I've had by doublec Could you clarify? by renox ...	Ehud Lamm	2007-10-12 19:45
Forum topic	Object level unification Questions by Rob Simmons	daYZman	2007-10-12 17:17
Forum topic	Functional Programming - A Secret Weapon for Software Testing - John Hughes plus, there's Distel by raould	Isaac Gouy	2007-10-10 01:33
Story	Tim Bray and Erlang Binaries are shared by Brandon Moore I think the concatenative by James Hague Esoteric but not hard by Thomas Lindgren It's a trade-off by Thomas Lindgren copy unnecessary by Rys McCusker Why copy? by John Stracke Great Question by Hank Thediek LAP? by jorend easy as threads by Rys McCusker Hmm, that's a good point, by Sean Barrett ...	Ehud Lamm	2007-10-09 21:30
Forum topic	IM IN UR COMPUTER, HAXIN UR CODE wow. all my b4se are bel0ng by Jason Dusek Lambdacats by Anton van Straaten LOL by Michael Pichler These aren't problems; these by Kay Schluehr Unfortunately, dolphins will by Jason Dusek Lolcode, monkeys and dolphins by Kay Schluehr You may find Ook useful? by Philippa Cowderoy Is this language suited for by Jason Dusek	Alan Eliasen	2007-10-09 20:58
Forum topic	Question about the Monad associativity law I like your example, too. by Jason Dusek Yes. Those monads by Philippa Cowderoy Hmm... Let me ask this way: by sciomako (blank post) by sciomako Okay, I'm going to use by Philippa Cowderoy Philippa, you have by sciomako No, in monads that can't be by Philippa Cowderoy I go back to first by sciomako Exactly, just an axiom by marco Great example by JeffB ...	sciomako	2007-10-09 20:57
Story	Leave of absence Rangoon by John Stracke OT: Kathmandu by Luke Gorrie Bay Area Meeting by raould In Berkeley by Mark Hoemmen food and tea in Beijing by Mark Hoemmen Well, I suspect I'll be by Sean McDirmid other good things to eat by Jason Dusek Try any of the by Sean McDirmid Thanks, sounds promising - by Kay Schluehr more snax by Jason Dusek ...	Ehud Lamm	2007-10-09 15:34
Forum topic	Google Tech Talk on the CMU Natural Programming Project	Rafael	2007-10-07 22:07
first page previous page next page last page