user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Implementing the communication semantics of actors re static ordering by Thomas Lord Static ordering by Andrew Moss re Clinger's model by Thomas Lord Clinger's model by Andrew Moss Actor Model should be able to simulate any digital computation by Hewitt The goal of ActorScript is to specify implementations of Actors by Hewitt Why don't you just separate out a by Josh Scholar While true, these statements by Andrew Moss Quantum: simulate electron; Actor Model: simulate account by Hewitt Second Order Semantics by Keean Schupke ...	Andrew Moss	2015-08-24 18:31
Forum topic	Eric Lippert's Sharp Regrets Complexity of Scala vs ML modules by Andreas Rossberg Higher order by Josh Scholar No, pure OOP has never by Sean McDirmid Which is the string class? by Matt M Just edit the code of the by Sean McDirmid Changing how strings are implemented by Matt M RE: Jules' article on collection design by Matt M I don't think Scala was ever by Sean McDirmid In fact, Haskell should be more like Scala on modules by Blaisorblade Well, that is the main point by Sean McDirmid ...	Wolf Logan	2015-08-24 11:10
Forum topic	Harnessing Curiosity to Increase Correctness in End-User Programming Bi-simulation is much more important than assertions by Hewitt Very interesting by gasche I believe this is relevant by Blaisorblade	Blaisorblade	2015-08-22 19:05
Story	Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development Somebody mentioned memory by naasking Types in VMs? by Blaisorblade Control primitives, jumps, tail calls by Blaisorblade Universal VM? by Blaisorblade I meant to comment on this, by naasking wrong metaphor... by Ray Dillinger Hardware vendors by adrieng I'm reading by Josh Scholar You cannot conflate hardware and software memory models by gasche I've spent a lot of effort by Josh Scholar ...	gasche	2015-08-22 15:22
Forum topic	Continuous feedback in PL I agree that feedback isn't by Anders Horn Not meant as an analogy. It by Sean McDirmid Bad analogy, I think. With by simon.stapleton "Learnability" is a tricky by Sean McDirmid Expanding on this by Anders Horn I'm not sure what the dials by Sean McDirmid This sounds right. by Sean McDirmid I've been revisiting Eros by Sean McDirmid Quasi-related by lmeyerov findability by Anders Horn ...	Sean McDirmid	2015-08-21 14:39
Story	STABILIZER : Statistically Sound Performance Evaluation Gabe... by Z-Bo principle of diversification by Z-Bo exciting to me as a "dev in the street" by raould	gasche	2015-08-19 14:43
Forum topic	Are Actors a Good Model for Computation. ActorScript versus Actor Model by Hewitt Good ideas should be shared without jealousy by Clarkd Sequential Streams by Keean Schupke Messages might be similar but details matter by Clarkd Channels by Keean Schupke Huge implementation difference by Clarkd word by raould What is it like to program? by Keean Schupke C could be Actors all the way down by Ross Angle Actors all the way down by Keean Schupke ...	Keean Schupke	2015-08-19 02:04
Forum topic	Branch Prediction and the Performance of Interpreters - Don’t Trust Folklore Compiler size by Keean Schupke Latency is solved by Blaisorblade Language choice seems a threat to validity by Blaisorblade Object fields by Andrew Moss Look at 'cc by shap PIC's might not be by Jules Jacobs Meh by gasche Are prototypes the problem? by Keean Schupke Compiling dynamic languages by adrieng Performance by Keean Schupke ...	adrieng	2015-08-18 16:42
Story	ACM Classic Books Series Seems the same list as in by Ehud Lamm Did you see my response to by Ehud Lamm While I love most of the by johnwcowan Introduction to Algorithms by marco My Book List. by Keean Schupke Thanks. Fixed. by Ehud Lamm Link by gasche	Ehud Lamm	2015-08-18 13:44
Forum topic	"Inconsistency Robustness" now available invalidity of the Gödel/Smullyan writings on incompleteness by Hewitt mere mortals by raould A couple of bugs in Smullyan's work by Hewitt Moving higher on the pile by Paul Snively sincere congratulations by raould Table of Contents by Hewitt	Hewitt	2015-08-17 21:21
first page previous page next page last page