recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Simple ADT-based "side-band" state? Hilbert & Gentzen by aed In Haskell, working with by Philippa Cowderoy	raould	2007-06-28 00:22
Forum topic	PLs and large scale development [OT] "How your brain distorts and deceives" by Isaac Gouy Most people do not learn new by Kay Schluehr Control freaks by Sjoerd Visscher Careful... by neelk Learning... by bieberbrueder When I first began learning by Mike Benfield so heavy ... but ... does it work fine? by Carlos Lombardi this reminds me of this very by peter steiner Most lines of code I can by peter steiner one. singular. gorilla. every little step it takes. by raould ...	bieberbrueder	2007-06-27 22:09
Forum topic	Language Support for Fast and Reliable Message-based Communication static prevention of deadlock by Isaac Gouy the benefit of the doubt by Isaac Gouy Statically verified channel contracts? by Tommy McGuire So pass-by-reference becomes by naasking I like the sound of that by Rys McCusker the Unsafe Code Tax by Isaac Gouy The Singularity guys are by neelk didn't stop and read middle parts more slowly by Isaac Gouy static verification and async by Rys McCusker	Isaac Gouy	2007-06-27 20:10
Forum topic	Fully Inferable Languages Just maybe by Andris Birkmanis Clarity by cdiggins Even stronger by Brandon Moore Slight typo(ing) by Andris Birkmanis A typing is a by Philippa Cowderoy Principal Type vs Principal Typings by cdiggins That's right... by Paul Snively You might find it worth by Philippa Cowderoy What about typings? by Andris Birkmanis Hindley Milner by Brandon Moore	cdiggins	2007-06-27 02:29
Forum topic	Carnap Programming Language I am all for PLs to support by naasking Trusting remote PL runtime? by Andris Birkmanis Another part of equation by naasking the receiver must allocate by naasking Distributed mechanism design by Andris Birkmanis Local only though by renox Isn't this an issue of by naasking Mechanism design by Andris Birkmanis Note that the author has by naasking Naive asynchronous messaging is vulnerable for operating systems by const ...	dorait	2007-06-26 17:15
Story	HOT Pickles Re: Acute by Catalin Hritcu tools to aid? by raould Acute by Brandon Moore Used to be a big fan of generic serialization... by naasking Planned obsolescence by Chris Rathman Neat stuff! by raould	Chris Rathman	2007-06-24 08:32
Forum topic	Distributed Objects vs. Messaging More errors by Hank Thediek Some error taxonomies by raould Well, it encourages coupling by peter steiner Re: pizza by raould Not so difficult by Hank Thediek In my experience the major by Kay Schluehr Re: eliminate the incidence by raould Or in the terminology of Brooks by Scott Johnson You need to ask... by neelk Being pedantic for a moment, by raould ...	raould	2007-06-23 12:01
Forum topic	What next? Yay macros by rhat Macros by nobodysbusiness Thinking Forth by Luke Gorrie Everything else is next by Koray Can Almost by rhat Answering this question is by Derek Elkins The one I am reading... by Paul Snively	rhat	2007-06-22 13:00
Story	Application-specific foreign-interface generation What does the backend do? by Charles Stewart If I understand by neelk FIG & s48 by Charles Stewart	neelk	2007-06-22 08:59
Forum topic	Steps Toward The Reinvention of Programming If we have a List(t) by Tommy McGuire Types are defined by their usage. by Achilleas Margaritis Heuristic approaches might be better by Scott Johnson Is there a well known way to by naasking Types are defined in terms of type systems by Scott Johnson In the presence of I/O? by raould Yes. by Achilleas Margaritis It's easily distinguishable, by Philippa Cowderoy real or virtual? by Rys McCusker Low-level programming in schools by Wolf Logan ...	Isaac Gouy	2007-06-21 17:10
first page previous page next page last page