recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Conservation laws for free! mea culpa by Dave Atkey et al. by Ohad Kammar tiger, tiger, for-all bright... by Dave translation? by raould cool by Dave	Ohad Kammar	2014-10-29 16:28
Forum topic	EigenCFA: Accelerating Flow Analysis with GPUs comblas by lmeyerov Classic connundrum by lmeyerov Interesting by gasche	Alex1	2014-11-03 02:01
Story	Inside the Wolfram Language Pattern matching on AST by Keean Schupke Language code gallery by Sean McDirmid I really like the easy by dmbarbour	bashyal	2014-11-04 07:29
Story	Exceptional syntax Time travelling debuggers by dmbarbour Time travellers by Keean Schupke Poor integration of by dmbarbour Is that the problem? by Keean Schupke ignoring exceptions by dmbarbour we already do that :-) by raould Already by gasche And a 'lazy' pattern. by Jules Jacobs Indeed by gasche Syntax complaint by Andreas Rossberg ...	Chung-chieh Shan	2014-11-04 18:51
Forum topic	Opposing Hierarchies of Complexity Type Erasure by Keean Schupke Weaker Statement by Keean Schupke Isn't that just a question of what analogy you use? by Ray Dillinger I think the idea is that by Matt M Proofs are Paths? by Keean Schupke One thing that sometimes by Ray Dillinger Trapdoors by Keean Schupke Sure. Language standard libraries. by Ray Dillinger complex inside simple outside. by Keean Schupke The most important thing about type theory.... by Ray Dillinger ...	Keean Schupke	2014-11-05 22:20
Forum topic	DARPA funds $11 million tool that will make coding a lot easier It doesn't say any other by Sean McDirmid Standard DARPA by Sam Tobin-Hochstadt	Sean McDirmid	2014-11-10 05:17
Forum topic	A duality between exceptions and states - Dumas, Duval, Fousse, Reynaud Particular location and exception by chrisoliver the effect of previous assignments by John Shutt Duality by chrisoliver duality by chrisoliver duality by Dave Huh. by Ray Dillinger In other words... by chrisoliver	chrisoliver	2014-11-10 17:57
Forum topic	Whither Flow Analysis? Thanks! by neelk A few related papers by Ben Karel It really is the complexity by Sam Tobin-Hochstadt Thanks for relaying your experience. by Bakul Shah Yes, I've done something similar. by Ray Dillinger Has anyone tried incremental flow analysis at runtime? by Bakul Shah guesses by lmeyerov I remember that there was by Jules Jacobs 0CFA and FPLs by neelk In that case, you simply by Sean McDirmid ...	raould	2014-11-14 11:54
Forum topic	Lisps are fun It's one of those Holy Grail things by simon.stapleton	raould	2014-11-15 13:59
Forum topic	Impact of static type systems on productivity of actual programmers: first experiment I've seen documented. There was an experiment like by Sean McDirmid Maintenance experiments by dmbarbour Scale is the most relevant and least measurable factor by Andreas Rossberg Possibly big confounding factors by Eivind Eklund This is a good paper by Charles Stewart Aristotelian physics by Blaisorblade It's a language property, not an implementation property. by Ray Dillinger Maybe we disagree on the meaning of the term? by Ray Dillinger Agreed all around by Matt M In the middle by gasche ...	Ray Dillinger	2014-11-18 03:22
first page previous page next page last page