user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	MemorySharp - Managed library for memory editing, and Fasm.NET - Managed wrapper to use the FASM compiler from .NET applications Regarding code injection/ejection in a .NET context by Cyril	Cyril	2014-01-01 02:51
Story	Graham Hutton: Programming in Haskell Links broken by guthrie a note on the 8th by jdgallag Updated by ignatz	Ehud Lamm	2013-12-29 16:46
Forum topic	Alternative implementation of closures in C Re: Whole-program compilation by andrew johnson Show-stoppers by Andreas Rossberg Something erased all the code comments. by Rys McCusker Here is the C code for the prototypical closure that I wrote by andrew johnson couple suggestions by Rys McCusker	andrew johnson	2013-12-29 16:07
Forum topic	A usage poll for the Coq proof assistant	gasche	2013-12-29 01:07
Forum topic	John Shutt on "Abstractive Power" Apply to C++ by skaller interesting by John Shutt We might have a related approach by Ted Kaminski in two parts by John Shutt OK, so do I understand by Matt M No metric/distance by John Shutt No comprende by Matt M A programming language needs a model of computation by Hewitt	gasche	2013-12-25 04:25
Forum topic	Computation is not subsumed by deduction (contra claim by Kowalski) A message received exactly once is processed exactly once by Hewitt Shouldn't that be:A message by André van Delft A goal is that a message sent is received exactly once by Hewitt Message passing... by André van Delft The Actor Model is pure message passing by Hewitt Alan Kay on objects and logic by André van Delft	Hewitt	2013-12-23 17:45
Story	The origin of zero-based array indexing Interesting by gasche Kinds of cause by Ichthyostega 0 and 1 by Charles Torre All compile time? by protist Ah. Right. A historical by Jason Grossman I don't think wikipedia is by gasche In addition to noting that by Jason Grossman It is suprisingly common by Robb Nebbe I perceive serious pursuit by John Shutt Personal recollection by Matt Hellige ...	Ehud Lamm	2013-12-23 09:24
Forum topic	Its type checking, Jim, but not as we know it. With a type annotation you by Sean McDirmid Couple things by Matt M Notation confusion by Matt M weak assignment by Sean McDirmid Weak edges by Matt M Thanks by Matt M Say:trait T: var Field1, by Sean McDirmid I'm asking whether you can by Matt M You can definitely by Sean McDirmid Request for clarifications by Matt M ...	Sean McDirmid	2013-12-20 05:56
Forum topic	Practical rules for controlling program effects in an imperative / OOP environment. Most things others have by bryanedds For the record by Jon Purdy some things truly are by dmbarbour I'm not the author, but I by naasking Effect systems and concurrency go smashingly well together by dmbarbour Some devilish advocacy by Jon Purdy Properties of Effects by Jon Purdy Yes, but with more coupling by Matt Fenwick Not Local State by dmbarbour Well, you mentioned a by naasking ...	bryanedds	2013-12-08 06:50
Forum topic	A simple interchange format for syntax trees of any language I don't know, I think they by Ivan V. Yes, here's the plan. by David Piepgrass AST or CST? by Matt Fenwick How will code be translated from one language to another? by Matt Fenwick ASTM versus Loyc trees/LES/etc by David Piepgrass David, thanks for feedback by Ivan V. Synth by David Piepgrass Actually I plan to make by Ivan V. I don't consider myself an by David Piepgrass As a person who understands by Ivan V. ...	David Piepgrass	2013-12-06 21:56
first page previous page next page last page