Lambda the Ultimate

type	title	author	last post
Story	Observational Equality, Now! Wow by Ray Dillinger	James Iry	2013-05-16 02:24
Forum topic	We're doing it wrong.... I was pointing out interesting rather than asking a question. by Ray Dillinger	Ray Dillinger	2013-05-15 19:34
Forum topic	texts & otherwise for bottom up teaching/learning I think computer science has not yet been fully formalized. by Ray Dillinger	mfidelman	2013-05-15 02:45
Forum topic	"Relational Model Outgrown" CACM May 2013 Huh. Well in that case.... by Ray Dillinger Can you unpack "updateable views?" by Ray Dillinger It's obvious since forever that shared-memory doesn't scale. by Ray Dillinger I think that it comes down to compilers. by Ray Dillinger	Hewitt	2013-05-10 01:56
Forum topic	The Unreasonable Effectiveness of C In C, non-leaking pointers FORCE leaking local vars. by Ray Dillinger C provides one highly useful non-leaking abstraction. by Ray Dillinger Previously on LtU: by Ray Dillinger	raould	2013-05-08 19:47
Forum topic	Nesting of quasi-quotation There are some hard cases of quasiquote. by Ray Dillinger	Jules Jacobs	2013-05-08 03:50
Forum topic	An interactive approach to teaching programming concepts Balancing can be done in many ways. by Ray Dillinger	Damian Gill	2013-04-29 12:22
Forum topic	Call-by-reference decided by caller I've been thinking about this because... by Ray Dillinger I say it's all right to require a trust declaration. by Ray Dillinger Can be a security issue. by Ray Dillinger	tkirchner	2013-04-27 23:23
Story	Dependent Types for JavaScript Already happens, for what it's worth. by Ray Dillinger By way of explanation... by Ray Dillinger No. Just ... No. by Ray Dillinger Sigh. Mea Culpa. by Ray Dillinger Sorry. I'm just getting impatient with this conversation. by Ray Dillinger Type theory can evidently use some inventions. by Ray Dillinger programs can be static even if the language isn't. by Ray Dillinger Constructively defining by Ray Dillinger Heh. Of course. In 1910, by Ray Dillinger What a relief. I was afraid it was something important. by Ray Dillinger ...	naasking	2013-04-18 10:44
Story	Rule 110 in HTML5 + CSS3 Hmm, there's a corollary in there. by Ray Dillinger	Z-Bo	2013-04-09 08:23
Forum topic	Best maintainable evaluation strategy? Yes, it is... by Ray Dillinger call-by-name by Ray Dillinger	tkirchner	2013-03-31 18:09
Forum topic	Type dispatch on continuations is isomorphic to type dispatch on calls. Why therefore is it considered "unsound?"	Ray Dillinger	2013-03-31 08:49
Forum topic	Seeking thoughtful criticisms of functional programming and languages a while ago, I wrote a brief on Scheme vs. Common Lisp. by Ray Dillinger Ordinary programmers are smart enough, with the right context. by Ray Dillinger	scottmcl	2013-03-31 00:40
Forum topic	general thread model motivations? undead continuations, continued... by Ray Dillinger Oh, alright, since you insist.... by Ray Dillinger You are correct... by Ray Dillinger Why stacks grow "upward" in my mind. by Ray Dillinger continuation as reified "return". by Ray Dillinger It's not so much that they never speak to one another... by Ray Dillinger Um, what? by Ray Dillinger It doesn't. by Ray Dillinger Well, that's exactly what this model strives to avoid. by Ray Dillinger agreed about callstacks.... by Ray Dillinger ...	Rys McCusker	2013-03-25 16:21
Forum topic	syntax and nesting: Lispy or Algol'ish? Well, okay... I guess I've reached a decision. by Ray Dillinger implications, a different way. by Ray Dillinger Um, no? by Ray Dillinger Oh ... lists are collections. by Ray Dillinger Right.... by Ray Dillinger Syntax... by Ray Dillinger Hmm. Now considering multi-arg dispatch methods.... by Ray Dillinger	Ray Dillinger	2013-03-15 18:02
Forum topic	Looking for a little advice with implementing recursion. Joke... by Ray Dillinger Recursion... by Ray Dillinger	Clarkd	2013-03-12 08:59
Forum topic	Scheme language conundrum regarding delay and force. Yeah but why would you do that? by Ray Dillinger promise-executing? by Ray Dillinger exceptions considered harmful. by Ray Dillinger Continuations make it very by Ray Dillinger There are three principled versions of 'force' to consider. by Ray Dillinger The way I see it... by Ray Dillinger	Ray Dillinger	2013-03-10 11:15
Forum topic	Why say Actor Model instead of message passing? CS has a perfectly by Ray Dillinger I used to feel that... by Ray Dillinger	Clarkd	2013-03-10 08:48
Forum topic	A programming editor to replace emacs? This is true, but none of it by Ray Dillinger Oops. by Ray Dillinger	Ray Dillinger	2013-03-02 13:04
Forum topic	What will programming look like in 2020? I believe that you are right. by Ray Dillinger Invalid subexpression in a valid operation. by Ray Dillinger Surely not ALL calculations... by Ray Dillinger why not? by Ray Dillinger Units could improve programming. by Ray Dillinger Of course you have to tell it what the requirements are. by Ray Dillinger We should let machines make all the choices they're better at. by Ray Dillinger	Sean McDirmid	2013-03-01 03:45
Forum topic	Library maintenance - key to language success? Each case has its uses. Each has its problems. by Ray Dillinger Mediocrity is in a perverse way a hard-won success story. by Ray Dillinger I think people are too buggy for wiki style to work. by Ray Dillinger	John Nagle	2013-02-07 10:39
Forum topic	Numbers and how to represent them. Trying to make it easier to reason about numbers. by Ray Dillinger Okay, you're right about that. by Ray Dillinger Square root function.... by Ray Dillinger Both, but both can be marginally improved.... by Ray Dillinger It happens in most successive approximation algorithms. by Ray Dillinger I have... by Ray Dillinger There aren't multiple versions of the operations. by Ray Dillinger Yes, normalizing. by Ray Dillinger	Ray Dillinger	2013-02-03 20:13
Forum topic	Units and Numerical niceties. The difference between angle and dimensionless quantities. by Ray Dillinger	Ray Dillinger	2013-01-31 16:27
Forum topic	Import Systems Well, We know at least this about how to NOT do it. by Ray Dillinger	Kay Schluehr	2013-01-14 15:05
Story	Ada 2012 Language Standard Approved by ISO It's easy for an instruction set to avoid this attack.... by Ray Dillinger	Ehud Lamm	2013-01-13 11:54
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