recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Programming language Theme-D HTML links by Manuel J. Simoni Numerical Tower by Tommi Höynälänmaa	Tommi Höynälänmaa	2018-06-12 14:40
Forum topic	Functional Constructors in Theme-D	Tommi Höynälänmaa	2020-03-08 17:08
Story	Machine Obstructed Proof â¨¯-reference by el-vadimo True by Paul Snively Introductory logic via Coq? by Tommy McGuire Difficult by Paul Snively Less ignorant than yesterday by Eddie Rucker I'm not surprised that your by renox You are, of course, quite by Ehud Lamm That's not what I meant by Nick Benton You are in good company by raould Far From Minding... by Paul Snively ...	Tommy McGuire	2010-11-08 18:57
Forum topic	Frenetic	Tommy McGuire	2012-04-23 01:52
Story	Turning down the LAMP: Software specialization for the cloud Here's a recent talk about by naasking Do you want to support by Anil Madhavapeddy W/ regards to benchmarks by Z-Bo Yeah, Mesos is a really by Anil Madhavapeddy Where can I find this by Anil Madhavapeddy Or, see Mesos, gaining in by lmeyerov Benchmark? by Z-Bo Language-driven OSes by Z-Bo	Tommy McGuire	2010-11-06 15:40
Story	Thorn "like types" precedent by Brendan Eich is critical mass critical? by raould Don't think so by Daniel Ehrenberg Implementations? by vgivanovic	Tommy McGuire	2010-09-25 10:30
Story	Declarative Networking: Language, Execution and Optimization Distribution Control by Brandon Moore Large datasets and Implementations? by Brandon Moore	Tommy McGuire	2006-08-28 19:44
Story	Concurrency: The Compiler Writer's Perspective C++ memory model by dbremner Certainly! by mental Thanks! by Ehud Lamm C++ standards work by Ross Smith NZ How about sharing some links by Ehud Lamm In the case of C++ (and to by mental	Tommy McGuire	2007-12-10 19:26
Story	Continuation Fest 2008 Infernal Device by naasking Sorry about that. by Tommy McGuire Slides: Continuing from the Past by naasking	Tommy McGuire	2008-08-18 20:09
Story	The Transactional Memory / Garbage Collection Analogy A part! by renox One difference between GC and arbitrary transactions... by Scott Johnson Verifying Correct Usage of Atomic Blocks and Typestate by Tommy McGuire whence Haskell and Clojure? by raould More analogy... by Andrei Formiga Sigh by James Iry You know, by Tommy McGuire I'm not sure what you mean by Jake M Actually a bit harder by James Iry True, but... by Tommy McGuire ...	Tommy McGuire	2008-09-19 18:33
first page previous page next page last page