recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Second-order logic explained in plain English "Scientists use theories as a bag of working tools" by Charles Stewart Incompleteness theorem for ℕ by Hewitt Wiedijk's List by j4n bur53 Types can help with the monsters by Hewitt Riding the Monsters by j4n bur53 Models first-order theories: infinite integers & infinitesimals by Hewitt Toolbox approach by Charles Stewart You might want to consider by John Shutt Ranges by Keean Schupke Monstrosities, inc. by Ray Dillinger ...	Charles Stewart	2016-02-19 12:40
Story	Facebook open sources "Infer", static program analysis tool prior work by NickP Wow! by Andrew Moss Check out by jamii Been a while by Andrew Moss Datalog by Brandon Bloom Thanks by Andrew Moss XPath on directed property graphs by Brandon Bloom Checking patterns by Andrew Moss concur by raould You have math against you by marco ...	Z-Bo	2015-07-28 18:54
Story	Self-Representation in Girard’s System U Looks nice by marco Not "add eval as a builtin" by Matt M Self-interpretation for Agda by Blaisorblade Looks like the opposite to me by marco Meta system is on pages 51-92 of HAL ActorScript article by Hewitt Yah. That's what the other by marco Type semantics of ActorScript are in the meta system by Hewitt I haven't found the type by marco Does ActorScript already have a typed self-interpreter? by Hewitt Poe's law by Bruce J. Bell ...	naasking	2015-06-18 22:53
Story	Don Syme receives a medal for F# don't worry be happy by raould Implements the Actor Model too by marco And units of measure and by Jules Jacobs Re:F#'s innovations, don't by naasking Conflicted by Bárður Árantsson	Ohad Kammar	2015-07-06 18:06
Story	Cakes, Custard, and Category Theory	Ohad Kammar	2015-07-17 16:47
Story	Punctuated equilibrium in the large scale evolution of programming languages Wikipedia by Allan McInnes Evolution doesn't require by John Shutt - by John Shutt evolution and natural selection of languages? by AntC Raw data by Andrew Moss by Roly Perera	Allan McInnes	2015-07-20 01:13
Story	Tracking the Flow of Ideas through the Programming Languages Literature Thoughts? Questions we should answer? by Michael Greenberg	Allan McInnes	2015-08-12 21:28
Story	mbeddr: an Extensible C-based Programming Language and IDE for Embedded Systems Taming C by raould Know the feeling by Allan McInnes Nice by raould	Allan McInnes	2015-07-24 21:05
Story	Running Probabilistic Programs Backwards Relation to Hansei? by gasche Relation to Hansei? by Paul Snively Okay, this I find excellent. by marco	gasche	2015-08-05 10:38
Story	Ceptre: A Language for Modeling Generative Interactive Systems.	gasche	2015-08-04 15:14
first page previous page next page last page