Lambda the Ultimate

type	title	author	last post
Story	Compilers as Assistants I like logic... by Josh Scholar As I've said before by Josh Scholar	bashyal	2015-12-04 15:35
Forum topic	How Useful is Erlang Hot-Swapping of Code? hot swapping by Josh Scholar	marco	2015-11-10 18:57
Forum topic	PL vs. PX What are idempotent continuations by Josh Scholar Couldn't find the essay by Josh Scholar So microservices are actors by Josh Scholar Sadly by Josh Scholar If there was a portable self system by Josh Scholar	Sean McDirmid	2015-10-26 18:24
Forum topic	Subclass, superclass, or siblings under an abstract superclass? Slow vms are a choice by Josh Scholar Low level optimizations become obsolete by Josh Scholar	Ray Dillinger	2015-09-29 15:36
Forum topic	Implementing "Elements of Programming" in Actor Script I give up by Josh Scholar Unpleasant by Josh Scholar Oh that's interesting. by Josh Scholar	Keean Schupke	2015-09-24 08:07
Forum topic	Moderation on LtU Ok, then I'll feel more free to make forum topics by Josh Scholar I took it by Josh Scholar Ridiculous by Josh Scholar Mini comments/topics by Josh Scholar Disagree by Josh Scholar	gasche	2015-09-05 11:34
Forum topic	Nullable type is needed to fix Tony Hoare's "billion dollar mistake". >.> by Josh Scholar Funny by Josh Scholar In some cases by Josh Scholar I'm not convinced that Hoare is really to blame by Josh Scholar	Hewitt	2015-09-04 10:12
Forum topic	Another "big" question microsoft's F# has units of measure by Josh Scholar Because Haskell is way too hard by Josh Scholar	Ehud Lamm	2015-09-02 15:49
Forum topic	Big questions In any case by Josh Scholar Never heard of it by Josh Scholar There is, prolog by Josh Scholar programming languages that don't use parsers by Josh Scholar I've been mocked on LTU for saying this before by Josh Scholar Looking at the two fold culture by Josh Scholar Meh by Josh Scholar Or to put it another way by Josh Scholar Right. by Josh Scholar extracted tree by Josh Scholar ...	Ehud Lamm	2015-08-27 03:57
Forum topic	Implementing the communication semantics of actors Why don't you just separate out a by Josh Scholar Inconsistent specifications or Delphic Obscurity? by Josh Scholar From the comments it can get the stop first by Josh Scholar Oh you mean he meant manual ack not automatic by Josh Scholar Do you mean "recieved" or "acted on"? by Josh Scholar How is that not lock-step by Josh Scholar lock step messages by Josh Scholar Overhead by Josh Scholar We have to discuss speculative topics as subthreads by Josh Scholar Time-out contracts by Josh Scholar ...	Andrew Moss	2015-08-24 18:31
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
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