user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	actors conflate too much Relevant responses should be welcome even if delayed by Hewitt Classic trolling technique by Bárður Árantsson Every real system is networked and consequently large by Hewitt A list provides an ordering on its elements. by Hewitt Variable race conditions can be syntactically eliminated by Hewitt Generalizing from a specific by dmbarbour In practice, all information systems are large by Hewitt Synchronize using message content as evidence. by Rys McCusker Actors systems can express by dmbarbour Race conditions? by Hank Thediek ...	raould	2013-11-16 01:13
Forum topic	javascript shift-reduce parser moony parser 2 by Ivan V. CYK handles CFG's by mtenright I don' understand why is git by Ivan V. code is posted just on by Ivan V. Thanks for the responses! by Matt Fenwick Hi Matt, tx for interest. by Ivan V. GLR parsing by Chad Wellington Cool! by Matt Fenwick	Ivan V.	2013-11-16 00:54
Forum topic	Static typing and direct AST manipulation Trapped in a twisty maze of types. by Rys McCusker "If I dynamically alter at by Chris Warburton Perplexity can inspire occasionally. by Rys McCusker wrong spot by Rys McCusker You seem to be alluding to arbitrary self-modifying code. by Cyril I don't know why you want that either. by Rys McCusker "x86 Linux doesn't allow by Josh Stern I don't know why you'd want by Jules Jacobs In the case of C, the by Chris Warburton I'll try. The essence is by Chris Warburton ...	tkirchner	2013-11-15 01:52
Forum topic	Why is Static Typing Hard? Not only are there many roles... by gremnebulin Slicer usability by Sean McDirmid Type error slicers by Andreas Rossberg I thought as much. But I'll by CoHi ML and Haskell by gasche We might try for a type by Sean McDirmid Programmers might make by Jon Purdy Let me adjust my position a by Sean McDirmid You're certainly right that by Jules Jacobs I don't agree with your thesis at all by Brian Hurt ...	Jon Purdy	2013-11-12 18:56
Forum topic	Interactive Parsing Theory Can I see this code? by David Piepgrass Using the notation I have by Kay Schluehr If you want to go that by Sean McDirmid Interpolations by Kay Schluehr Interesting, the data-flow by Sean McDirmid Structured editing in its by Sean McDirmid I guess its not impossible. by Sean McDirmid P.S. while this is an by Jules Jacobs Incremental parsing isn't required for incr. typing by gasche The same way you'd do by Jules Jacobs ...	Alexander Morou	2013-11-09 06:15
Forum topic	xkcd: Functional How's about you just switch it? by Matt M APL: Multi-dimensional by Ehud Lamm If it were one line, it by Sean McDirmid "If it was one line, it by Ehud Lamm one liner by JeffB map and fold are just memes by pjotr Recursion? In 2013? Really? by Dave Griffith Now that was weird. by Jason Grossman Run with that. It could be a by Sean McDirmid The best of both worlds by johnwcowan ...	Sean McDirmid	2013-11-05 20:23
Forum topic	Alexander Bumstead learns the Lambda Calculus I have no idea what joke by Ehud Lamm Probably heard, not read; also Y combinator joke? by fruehr I'm thinking that they by Sean McDirmid Wikipedia Fail? by mwand Neat by Kalani	tim finin	2013-11-05 07:12
Story	John C. Reynolds Doctoral Dissertation Award (SIGPLAN)	Ehud Lamm	2013-11-05 07:09
Forum topic	Prototypal inheritance misunderstood "new" and "clone" by Brian T Rice Prototypical languages by munificent Hey, thanks for the great by SimonM Many language have by Chris Warburton Cardelli's research seems to by SimonM Great, thanks. I hadn't had by SimonM Luca Cardelli has done a lot by dmbarbour	SimonM	2013-10-29 20:20
Story	The Genuine Sieve of Eratosthenes Haskellwiki page about prime numbers by Will Ness Wow by gasche For the sake of completeness (old sieve of Eratosthenes thread) by Will Ness list vs map by dcsobral Some results for a quick Java implementation by Denis Bredelet -jido Modified Erasthotenes by Denis Bredelet -jido Fastest non-PQ code yet? by Will Ness I would use mutable arrays by naasking Strict version of Sieve of Eratosthenes by e Is it not a valid point to by Will Ness ...	Ehud Lamm	2013-10-26 21:32
first page previous page next page last page