Lambda the Ultimate

type	title	author	last post
Forum topic	Eric Lippert's Sharp Regrets Higher order by Josh Scholar Why not a meta system by Josh Scholar Does a vm need to know about types at all? It's a target! by Josh Scholar	Wolf Logan	2015-08-24 11:10
Story	Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development I'm reading by Josh Scholar I've spent a lot of effort by Josh Scholar I wonder if they'd be open to adding a stackless mode by Josh Scholar The C++ weak memory operations are a good thing by Josh Scholar	gasche	2015-08-22 15:22
Forum topic	Are Actors a Good Model for Computation. Good and bad tools by Josh Scholar Combined messages by Josh Scholar That's preventing races in a practical sense by Josh Scholar actors prevent races not deadlocks? by Josh Scholar A lot here to look at and learn by Josh Scholar temporal logics etc by Josh Scholar what about at small scales? by Josh Scholar There are lots of actor systems, I bet none of them use by Josh Scholar	Keean Schupke	2015-08-19 02:04
Forum topic	Branch Prediction and the Performance of Interpreters - Don’t Trust Folklore Not a rhetorical question: by Josh Scholar	adrieng	2015-08-18 16:42
Forum topic	RAII and Async Stackless Fibers The problem is symantics not memory management by Josh Scholar Not a problem with fibers but with Re-invocable continuations by Josh Scholar	Keean Schupke	2015-08-12 21:59
Forum topic	Limitations of FRP? Waits by Josh Scholar	Sean McDirmid	2015-08-04 08:28
Forum topic	inline vs scatter/gather separate annotation Designed for separating by Josh Scholar	Rys McCusker	2015-08-04 04:33
Forum topic	Aggregations (e.g., sets) in Logic Programs Or our goals are different by Josh Scholar I considered saying something stronger by Josh Scholar I appreciate the kind of discussion you're trying to have by Josh Scholar I don't see anything by Josh Scholar Not enough there to be a path finding search by Josh Scholar	Hewitt	2015-08-03 00:08
Forum topic	Research vs implementation, theory vs practice, and LtU It's not up to the LANGUAGE to substitute for experience and by Josh Scholar Security and programming in the large vs. productivity by Josh Scholar transparent proxies by Josh Scholar Equality as an overloaded function by Josh Scholar "equals" is too important to new types to make impossible by Josh Scholar Homoiconic languages by Josh Scholar Supertypes can be incidental & matching in wrong case a disaster by Josh Scholar Lua is an ad-hoc mixture by Josh Scholar I'm no longer a fan of data hiding anyway by Josh Scholar Ok... Finally processing what you're saying. by Josh Scholar ...	Blaisorblade	2015-07-28 16:57
Forum topic	"Prep" in programming languages sheesh by Josh Scholar You're making me nostalgic by Josh Scholar Fine by Josh Scholar Some of those characters show up as spaces on android tablets by Josh Scholar Yeah by Josh Scholar Prep by Josh Scholar People here want to talk about programming languages by Josh Scholar Also do people have a stance on fairness? by Josh Scholar hey is there someone here able and willing to discuss details by Josh Scholar You have some nerve calling other people 4chan/reddit by Josh Scholar ...	Hewitt	2015-07-25 23:26
Forum topic	When are Actors appropriate? Direct Logic or whatever you call it needs to split off a useabl by Josh Scholar Hand waves by Josh Scholar Uncountable is worse than unbounded, by the way by Josh Scholar it's not normal mathematics either because by Josh Scholar An expandable arbitrary precision version is realizable by Josh Scholar er, except for his non determinist ones by Josh Scholar But his functions can't be defined in finite code. by Josh Scholar This is the first time I've seen a memoized version used by Josh Scholar What's wrong with your countable set is by Josh Scholar They can't be by Josh Scholar ...	raould	2015-07-21 16:25
Forum topic	Fixed points considered harmful The answer to my question by Josh Scholar In my opinion, my side is uncontroversial, settled math by Josh Scholar Inefficient mappings do not make paradoxes by Josh Scholar :/ I have one piece of code 10 bytes long by Josh Scholar Uhm "which one" by Josh Scholar Funny by Josh Scholar Comment deleted by Josh Scholar You went wrong a few places by Josh Scholar It's gobbleldygook by Josh Scholar Once again by Josh Scholar ...	Hewitt	2015-07-21 06:16
Forum topic	Who can make LtU2? If there is anyone to make little fixes by Josh Scholar Oh I get it, assignment and sharing by Josh Scholar I don't understand by Josh Scholar I believe it by Josh Scholar Drama research and theory. by Josh Scholar Thinking again I do owe you an apology by Josh Scholar Yah it's true by Josh Scholar :/ maybe just make by Josh Scholar	raould	2015-07-19 21:56
Forum topic	Recursive Descent Parser Generators Everything needs to be built in by Josh Scholar I don't think you should be concerned with how fast you parse by Josh Scholar Concatinative languages by Josh Scholar This is silly silly stuff by Josh Scholar Not human oriented by Josh Scholar Did you consider that left recursion doesn't have to be direct? by Josh Scholar Too many bytecodes formats are not meant for interchange by Josh Scholar That very low level seems unnecessary by Josh Scholar Widgets in code by Josh Scholar Hmm. by Josh Scholar ...	Alexander Morou	2015-07-14 06:50
Forum topic	Strengthening Process Calculi Maybe that's why none of LTU's obsessions are relevant by Josh Scholar There is nothing as unreadable as CPS by Josh Scholar I'm curious what it would be like by Josh Scholar Maybe the solution is: by Josh Scholar My idea is more permissive by Josh Scholar Ah maybe you didn't disagree. I was only talking about 1 case by Josh Scholar I'm a disbeliever by Josh Scholar I could design one, but I'm not enough convinced by Josh Scholar It's a different subject by Josh Scholar What I CAN make sense of by Josh Scholar ...	raould	2015-07-06 12:07
Forum topic	Compilation to C, a definitive guide? stack checks by Josh Scholar I've been thinking about chicken scheme by Josh Scholar	naasking	2015-07-05 19:00
Forum topic	Dedekind, Cantor, Conway, & Hewitt (w/ some Chomsky) On another page by Josh Scholar Look by Josh Scholar I think I got what that his reals are a limit by Josh Scholar	Thomas Lord	2015-06-23 16:20
Forum topic	Good syntax for single argument methods? I always liked smalltalk for methods by Josh Scholar	Sean McDirmid	2015-06-17 21:36
Forum topic	XKCD on type theory... 2+2 Done by Josh Scholar Maybe memory allocation? by Josh Scholar I meant the compiler not an iterpreter by Josh Scholar I'm an evil man by Josh Scholar Misread who a comment was responding to. by Josh Scholar Nah by Josh Scholar oh, ok by Josh Scholar Thousands of rewrites to print an integer by Josh Scholar On the other hand scanners don't have to be that fast by Josh Scholar programming in morse code by Josh Scholar ...	Ray Dillinger	2015-06-16 21:32
Forum topic	Types are fundamental to both logic and computation How does solve by disunification work? by Josh Scholar You could do that in Prolog, sort of. by Josh Scholar Hmm by Josh Scholar some loops by Josh Scholar I don't think he's trying to solve the halting problem by Josh Scholar Types are just a notation for a kind of metarule by Josh Scholar	Hewitt	2015-06-02 11:07
Forum topic	Have tracing JIT compilers won? Is that the same as type feedback? by Josh Scholar Can you explain what you mean by Josh Scholar Do you have links by Josh Scholar Optimizing multithread dynamically typed languages by Josh Scholar	Peter Michaux	2015-05-26 21:09
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) Cool by Josh Scholar I do like definite clause grammars by Josh Scholar Here's a little proof of concept version by Josh Scholar I wrote a (dynamically alterable) operator precedence by Josh Scholar I was using scheme by Josh Scholar If higher order is MORE confusing then you're doing it wrong by Josh Scholar Over the years by Josh Scholar progress? by Josh Scholar Purity instead of usability by Josh Scholar It's more than Lisp, it's math by Josh Scholar ...	Sean McDirmid	2015-05-20 12:15
Story	Eve: the development diary of a programming environment aimed at non-programmers What I remember from the Victor Brent talk by Josh Scholar :) well we'll learn a lot by trying by Josh Scholar Changed my post by Josh Scholar dialog boxes for language dialects by Josh Scholar Ideal situations vs real ones. by Josh Scholar there are use cases by Josh Scholar I have another idea for advance programming by Josh Scholar The act of programming as user interaction by Josh Scholar	gasche	2015-05-18 20:56
Forum topic	The Programming Language Wars: Questions and Responsibilities for the Programming Language Community The smoothness paper... by Josh Scholar look by Josh Scholar Thank you, I'll read that by Josh Scholar granted by Josh Scholar Would it be too much by Josh Scholar Meh quote is just broken since Lisp added static environments by Josh Scholar Yeah what he wrote does seem sort of backwards by Josh Scholar What language is he writing that in? by Josh Scholar I don't know enough about the topic to correct it. by Josh Scholar So wikipedia was wrong? by Josh Scholar ...	Phil Miess	2015-05-18 14:25
Forum topic	Trouble understanding Danvy's functional unparsing Oh I love that paper by Josh Scholar	jezng	2015-05-18 13:35
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation