recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Most powerful terminating semantics? finite languages and complexity by Thomas Lord CS is is CS does by Matt M CS is not (all of) mathematics by Marc Hamann The other analogy by Matt M O(N) or O(1) & the f:N->N objection by Thomas Lord Proof is valid by Matt M What strictures? by Matt M Open hand by Marc Hamann Shrug by Matt M All f:N->N are total and O(1) with infinite memory by Marc Hamann ...	dataangel	2009-07-04 01:31
Forum topic	A Possible Future of Software Development Someone should check what by Ehud Lamm Journal version by Andreas Rossberg Which was discussed here a by Ehud Lamm Paper mentioned by Jonathan Wakely Paper Mentioned by Chris Rathman and somewhat related by Andrew Beyer Sort of discussed before... by Z-Bo	Winheim Raulsh	2009-07-03 19:52
Forum topic	Top 200 Blogs for Developers Top group blog by Charles Stewart	Leon P Smith	2009-07-03 11:48
Forum topic	Explaining database query or constraint-satisfaction failures Explanation-based Constraint Programming by pcdavid In a type-inference setting by Douglas McClean	Will Benton	2009-07-02 17:38
Forum topic	Peter Van Roy: Programming Paradigms for Dummies For non-cflow advice... by neelk 'Closures' good for AOP? by dmbarbour There ought to be different levels of access by Scott Johnson Outside-visible named state ? by bluestorm Done. by Ehud Lamm [Promotion] Seconded by Chris Rathman Diagram revised by Torsten Anders Diagram by Charles Stewart	Torsten Anders	2009-07-02 04:42
Story	Modern dynamic linking infrastructure for PLT Clarification by msimoni Thanks by msimoni Unix-only by msimoni Will investigate by msimoni Good overview of important issues by msimoni Thanks by msimoni gold by renox wither indeed by jimdesu Two points perhaps by Z-Bo Re why has it taken so long? by Mitchell N Charity ...	msimoni	2009-07-01 18:06
Forum topic	Fully Encapsulated Languages? Are there any out there? Deep freeze... by dmbarbour Querying a field does not risk the class invariant...Really? by John Carter Thank you. by dmbarbour Really, it is model-driven, by Z-Bo Indeed by Jussi Santti "capability based" is the by naasking According to Google.. by John Carter www.erights.org by dmbarbour Wow! This is getting self-referential fast... by John Carter It's the "Perfectly Free To" bit that I have the problem with... by John Carter ...	John Carter	2009-07-01 03:20
Forum topic	A programming language with extensible syntax semantics << syntax by raould revenge of the sexps by raould Folks, by Z-Bo Got in touch by L Spice Could try HoboTech by Allan McInnes Where to find it? by L Spice Still do think those by Laurence Tratt Katahdin was mentioned in by Kay Schluehr Source? by natecain Logix by Allan McInnes ...	metaprogrammer	2009-06-30 17:52
Forum topic	subjective but hopefully less flamebaid-lame sounds plausible to me by raould I don't think so by Z-Bo Expectations by Wolf Logan where is SHIM? by raould The Washington DC Metro system by Scott Johnson It has been shown? by Leon P Smith driving ... by Srikumar Subramanian Deterministic concurrency and typing by Adrien G. Most used database in the world: Excel by Z-Bo syntax + adoption by raould ...	raould	2009-06-30 17:39
Story	A-Z of Programming Languages: Erlang ja, tho didn't help much by raould Nice to admit it by Christian Cle I know what I need by rogersm There is a lot of languages by Z-Bo Does anyone else notice the lack of background expertise? by Z-Bo Something like L PL ? by Pedro Furlanetto What if... by Pedro Furlanetto We need mechanisms for by naasking i dunno by raould What Joe has in mind by michael-fig	Chris Rathman	2009-06-29 22:24
next page last page