recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Automatic Patch-Based Exploit Generation The assumption is that an by lmeyerov not all exploits are equal by brendan investment v. return by Thomas Lord Not really; these techniques by lmeyerov Ouch by Tim Sweeney	Charles Stewart	2008-04-30 06:49
Forum topic	iPod-compatible SICP Off-topic and/or spam. by Ehud Lamm iPod soft by silverman videos mislabelled? by pnkfelix IT Conversations by Luke Gorrie gems by mq_mattr Which gems? by shapr this stuff is great by mq_mattr	xamdam	2008-04-29 08:01
Forum topic	Lisp Lovers, how would you fix Lisp or bring it up to date? Read into typed assembly by naasking Why not go whole-hog by Scott Johnson I actually like LLVM very by naasking C's dominance and alternative approach by Thomas Lord Below the level of LLVM by Paul Snively C's role could be taken over by naasking Lesson learned by Paul Snively Manufactured dissent by Anton van Straaten boring agreement by Thomas Lord C isn't special (technically) by Anton van Straaten ...	Ben Atkin	2008-04-29 03:20
Story	Verified Software: Theories, Tools, and Experiments xref by el-vadimo	Ehud Lamm	2008-04-27 19:42
Forum topic	is there anybody knows about the origin "Dope Vector"? Oll korrect by Anton van Straaten In colloquial English, by J Storrs Hall Educated speculation by Anton van Straaten	minhyuk	2008-04-27 19:41
Story	Grady Booch: Software Engineering Grand Challenges 50th anniversary issue of JACM by el-vadimo wrong by carter The point... by Dave Griffith The point by Randall Randall Input's not so bad, it's output... by Dave Griffith Paul Snively: It's much worse by Randall Randall smalltalk isn't any lazier than lisp by Jeff Cutsinger Even in the world of the perf by Ehud Lamm True, but... by John Carter Abstraction Stratum? by runtime ...	Ehud Lamm	2008-04-27 18:35
Forum topic	2nd Revision of "Thoughts about the Best Introductory Language" Computer science, Logo style by Anton van Straaten Nah.. by shap Indeed, background is by naasking Yeah, it is pretty obvious what's going on here... by pchiusano Logo's mindshare by Charles Stewart There are more things in heaven and earth, Horatio by joel.neely I'd like to know what didactic goals by Denis Bredelet -jido If the answer is Perl... by Dave Griffith What does the introductory course aim to teach? by Charles Stewart All of the languages by naasking ...	shlomif	2008-04-27 01:41
Forum topic	Higher-Order Programming without Closures? BitC doesn't lift this way. by shap Eventually, but not soon by shap Various optimizations by shap yes by Dave Herman Capturing by Andreas Rossberg innermost return by Dave Herman My lambdas have no mutable element by Denis Bredelet -jido You just discovered by Andreas Rossberg GCC nested functions by Denis Bredelet -jido stack based closures (I'm not sure about the terminology) by Gal Amram ...	naasking	2008-04-27 01:18
Forum topic	Resume using continuations Yes but in CPS I am not sure by Denis Bredelet -jido Delimited continuations by Chung-chieh Shan Infinite loop by Denis Bredelet -jido	Denis Bredelet -jido	2008-04-26 07:30
Forum topic	On Presenting Operational Semantics Andrew Pitts' work on OpSem... by Charles Stewart The method goes back a long by Hank Thediek Very helpful, thank you. by cdiggins ASMs by Hank Thediek Concurrency by Andreas Rossberg Thanks by cdiggins Addition and comments by Paul Snively Felleisen, Hieb & PLT Redex by Anton van Straaten	cdiggins	2008-04-25 21:57
first page previous page next page last page