recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	On the (Alleged) Value of Proof for Assurance The reason for this by vrijz And I forgot to mention that by Steven Obua I want proofs, not types by Steven Obua Perhaps my perspective is by barrkel Baseline Project Plan, Current Project Plan by Z-Bo But it seems to me that by naasking Missing the point by barrkel Continuity of scope by shap Knew about Gutmann by shap BTW... by Paul Snively ...	shap	2010-03-18 14:00
Forum topic	BitC is back Looks like front-page by Leon P Smith	Noel	2010-03-18 13:57
Story	Equality Saturation: A New Approach to Optimization Code for peggy / Pueblo by johnleuner Source code link by Serguey Zefirov LLVM by Srikumar Subramanian Nice! by Peter A Jonsson Not many loop optimizations yet by Jason Riedy Neutral GA by awwaiid	neelk	2010-03-18 11:39
Forum topic	Type system design choices Types are not sets by Andreas Rossberg It's a design choice. by Michiel Helvensteijn Types are more than sets of values. by Ray Dillinger EOPL is an introductory by Ehud Lamm quick imho reply by scottmcl Thanks! by Michiel Helvensteijn Generic advice by Ehud Lamm	Michiel Helvensteijn	2010-03-18 08:24
Forum topic	Advantages of Purity exceptions in pure by dmbarbour I was curious as to your by John Nowak Oh, there seems to be a by dmbarbour I agree that I'd like effect by John Nowak If you or someone else by naasking Interesting assertion. What by John Nowak I'm not sure how this could by John Nowak I would consider the example by dmbarbour Perhaps my recollection is by naasking Criteria and Abstraction by John Nowak ...	giuseppemag	2010-03-18 02:39
Forum topic	determining subsumption of regular languages Nontrivial patterns by andrew johnson re dfa minimization by Thomas Lord Right, it's probably by pkhuong DFA minimization by Kannan Goundan Note: PSPACE is the worst-case performance... by crux Funny enough, this came up on another forum... by crux PSPACE-complete, I believe by pkhuong	andrew johnson	2010-03-18 01:43
Story	Code Bubbles Theora video by doublec Format? by Andrew Moss Short screencast by doublec Of course by Z-Bo video? by Engelke Xerox Star, Self UI, Rooms, and Alternate Reality Kit by Z-Bo More like Self? by doublec My thoughts exactly! by Oak Squeak by Lang Martin Png - by Z-Bo ...	Z-Bo	2010-03-17 23:17
Story	The A-Z of Programming Languages Scala by x6j8x Erlang - Joe Armstring and Tcl - John Ousterhout by Chris Rathman Somebody should review this by Ehud Lamm Falcon - Giancarlo Niccolai by Chris Rathman Bourne Shell - Steve Bourne is up by Chris Rathman F# - Don Symes is up. by Jörg W Mittag All hail SICP by Mark Dominus Perl - Larry Wall (sidenote on Higher Order Perl) by Chris Rathman C# - Anders Hejlsberg added by Chris Rathman Agreed. by Leon P Smith ...	Chris Rathman	2010-03-17 19:11
Forum topic	functional equivalance? The entire section about "fold" here is irrelevant by vrijz This paper... by neelk RE: Quick Explanation by dmbarbour Does "the cited paper" refer by Matt M ditto by raould another (restricted) take on it by raould Explanation? by Andrew Moss Haha by Z-Bo One time, at band camp by Matt M The Powers of Ten: Rules for by Z-Bo ...	raould	2010-03-17 18:59
Forum topic	Have tracing JIT compilers won? Propagation delay by Z-Bo Not Really by Noel A language level mechanism by lmeyerov Trace-based execution models by Serguey Zefirov Why fragile? by MarkM alice ml folks have said that as well before by raould Since I don't believe in by Brandon Niemczyk Sure by MikePall Can we say the same about python? by Luis González I don't understand by Z-Bo ...	Peter Michaux	2010-03-17 14:59
next page last page