recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	PL vs. PX i am your fan by raould I agree; success requires by Sean McDirmid Visual Studio by chrisoliver Yes, but I think the plan by Sean McDirmid re: IBM making money on Eclipse by Davor Cubranic re MY pain points, which are costing real companies real money by Thomas Lord How much money does IBM make by Sean McDirmid I'm willing to believe that by Blaisorblade There isn't even a good COMMERCIAL home by mtenright This isn't a new idea, from by Sean McDirmid ...	Sean McDirmid	2015-10-26 18:24
Forum topic	On type safety for core Scala: "From F to DOT: Type Soundness Proofs with Definitional Interpreters" I'd like to highlight a by Blaisorblade	Blaisorblade	2015-10-24 14:35
Forum topic	Free JFP papers To get closer to their by Blaisorblade Rent this article for 24hrs !??! by Andrew Moss Maybe instead of "most by Blaisorblade	Ehud Lamm	2015-10-24 14:03
Forum topic	Socializing in the Real World?	raould	2015-10-22 01:01
Forum topic	server life expectancy? Once upon a time I'd have agreed by Matt M	raould	2015-10-21 18:02
Forum topic	Halide: a language for image processing and computational photography over and out by Rys McCusker tips on how to improve writing, thinking, and commenting by Thomas Lord okay by Rys McCusker Your comment seems confused and rambly by Thomas Lord separation and hierarchy oriented structure might simplify by Rys McCusker compression and "address powerful ideas very crisply" by Thomas Lord shrinking code size by Rys McCusker Schedule specification and synthesis is great by lmeyerov This should probably be on by naasking re aims to specify a transform during dataflow from input to out by Thomas Lord ...	Thomas Lord	2015-10-20 22:35
Forum topic	The future of live programming It is kind of programming by by Sean McDirmid Programming by example by gasche Perceptrons provide a nice by Sean McDirmid why lambda calculus by lmeyerov Programming is hard mentally by Sean McDirmid So, I'm wondering in terms by Sean McDirmid walk before you run? by lmeyerov Is it too low level? by skaller	Sean McDirmid	2015-10-17 01:38
Story	Dependent Types for Low-Level Programming Another hint: by HeikoWengler Deputy was done in the by HeikoWengler thanks by NickP except by NickP good stuff by NickP as seen by raould Typing 'C' by Keean Schupke That's my understanding by HeikoWengler Liquid types are dependent types? by Keean Schupke I am not a type theorist... by HeikoWengler ...	naasking	2015-10-16 07:59
Forum topic	alternate basic models of framing code behavior and purpose? That is quite interesting by Sean McDirmid Possibly soon, possibly never by Tess Foley perspective from tools by Rys McCusker At what point would you just by Sean McDirmid GS: hard, Tessellation: maybe not by Tess Foley I actually had some by Sean McDirmid Great, thanks by Matt M does Nile count? by raould Limitations by Tess Foley Functional GPU stuff by Tess Foley ...	Rys McCusker	2015-10-15 04:27
Story	GADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness Interesting that the by naasking How does this compare to Garrigue's paper... by yminsky	naasking	2015-10-14 15:30
first page previous page next page last page