recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	What needs to be done? inline virtual by skaller Performance of functional programs by skaller emotional by skaller oroborus by raould I did something like that by Jules Jacobs Yep. At Onward this year, by Sean McDirmid Re: Live coding by James Hague PushGP by Kartik Agaram Feyerabend with focus by Charles Stewart This is simply awesome. by Ehud Lamm ...	Ehud Lamm	2011-11-07 05:29
Story	A Semantic Model for Graphical User Interfaces First link broken by Z-Bo Also, our implementation by neelk I made a series of blog by neelk I'd really like to see this by djahandarie Gossip by Ohad Kammar	Ohad Kammar	2011-09-12 15:14
Story	The SAFE Platform I thought systems like by lmeyerov not the standard Unix model by Vilhelm Sjoberg Ugly but INeffective by Z-Bo biggest threats are from the same user by lexspoon (I'm one of the members of by GregS These are solutions, yeah. by Ehud Lamm FPCC by Paul Snively No virtual memory by Charles Stewart Haven't read any of this... by Ehud Lamm But... by Matt M ...	Charles Stewart	2011-09-20 05:23
Story	Google's "The Future of JavaScript" internal memo leaked _ by oldaccount Just agree to disagree... by Charles Torre Hopefully not too much time off by Matt M I am sorry you feel that by dmbarbour Huzzah by Brendan Eich Agreed on both points. by Ehud Lamm The population of new by Sean McDirmid Suppose we want to test this by Ehud Lamm Peers by dmbarbour APIs come with by dmbarbour ...	Z-Bo	2011-09-27 16:31
Story	Open thread: RIP Steve Jobs The truth is out at last by johnwcowan Of course there are by johnwcowan I agree this is offtopic for by Sean McDirmid This is getting a little by naasking DRM by JeffB Apple policy by JeffB re: system compiler by Thomas Lord You keep asserting this and by naasking management by JeffB It does matter by JeffB ...	Ehud Lamm	2014-10-05 00:19
Story	Dennis Ritchie passed away dmr day by Ehud Lamm Maybe not by JeffB Preprocessing tokens by mdw O.K. we are now thankful to by Kay Schluehr printf("goodbye, Dennis"); by Sean McDirmid C preprocessor by Andreas Rossberg text-based macros by Rys McCusker Thanks. That's exactly what by Jason Grossman studies of the semicolon by Mattias Engdeg *** by Boyko Bantchev ...	Ehud Lamm	2011-10-29 02:45
Story	Microsoft Roslyn Project whitepaper Representing Syntax trivia in the parse tree? by Tegiri Nenashi	Z-Bo	2011-11-08 22:39
Story	The Experimental Effectiveness of Mathematical Proof Emphasis by Derek Elkins I'm not sure that I by Jules Jacobs Related Work by Paul Snively Take mergesort in Coq, a by Jules Jacobs As Abelson & Sussman almost wrote... by Anton van Straaten This violates the separation by naasking Reduce that cost and by Jules Jacobs You're right. Rich would by Jules Jacobs Bring on the zombie horses by Anton van Straaten Asking for the same level of assurance is unfair by Matt M ...	Paul Snively	2011-11-12 12:16
Story	Foundations of Inference Sampling uniformly from the by Douglas McClean Regress by Biep Aczel by Paul Snively When you take a look at some by Kay Schluehr PoincarÃ© quote by kenhirsch Commuters by Kay Schluehr Foundations of mathematics by Kay Schluehr Physical proofs and refutations by Charles Stewart 100 years isn't "soon" in the history of mathematics by Paul Snively dead for a century this year by JeffB ...	Paul Snively	2013-05-21 03:54
Story	Extensible Programming with First-Class Cases Excellent references. I'm by naasking I am working on that as well by Jacques Carette I've implemented something by Jules Jacobs Indeed, I'm a big fan of the by naasking Links by Sam Lindley Thanks for you explanation. by Jules Jacobs answers to your questions by Oleg Different issue by Andreas Rossberg As I read that sentence, by Jules Jacobs The ability to ignore types by naasking ...	naasking	2011-11-05 14:53
first page previous page next page last page