Lambda the Ultimate

type	title	author	last post
Forum topic	lambda cube... 3D Sorry. by Ray Dillinger dependency management can be a nonissue by Ray Dillinger	raould	2013-08-26 05:25
Forum topic	Future of Programs using Assertions, Goals, and Plans Pervasively Indeterminate but Eventually Consistent by Ray Dillinger OPS5, OPS83, ART, a few others... by Ray Dillinger For starters you have an invalid production. by Ray Dillinger A predictable search by Ray Dillinger See, that's the sort of thing... by Ray Dillinger LP is important, but classic implementations are problematic. by Ray Dillinger	Hewitt	2013-08-10 01:07
Forum topic	The Power of Interoperability: Why Objects Are Inevitable Objects are not the only abstraction that provides that. by Ray Dillinger	Sean McDirmid	2013-08-07 23:59
Forum topic	The Future of Programming according to Bret Victor assembly mnemonics. by Ray Dillinger	Christian Lindig	2013-08-02 14:28
Forum topic	Cryptography DSL.	Ray Dillinger	2013-07-29 22:49
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future Limited models... by Ray Dillinger That's just the closed world assumption by Ray Dillinger	Ehud Lamm	2013-07-28 20:42
Forum topic	Typographical extensions for programming languages: breaking out of the ASCII straitjacket Bluetooth keyboard, cheap, fits in pocket. by Ray Dillinger and likewise, the up-arrow. by Ray Dillinger Oh heck, steal as many as you want. by Ray Dillinger Hmmm. It's slightly ambiguous from your link... by Ray Dillinger there is an 'escapist' object. by Ray Dillinger Making ascii aliases for many unicode chars. by Ray Dillinger I don't know what you mean. by Ray Dillinger sort of like color blind people by Ray Dillinger although I could probably whomp up a name mangler... by Ray Dillinger and that is the reason why I took freshman calc twice. by Ray Dillinger ...	Sean McDirmid	2013-07-28 00:17
Forum topic	mobile web apps are slow -- and GC is to blame I like reference counting because of its promtness. by Ray Dillinger	Christian Lindig	2013-07-18 22:05
Forum topic	Are first-class environments enough? Mutable, Immutable, and nonlocal bindings -- and sanity. by Ray Dillinger	Alex Shpilkin	2013-07-04 15:49
Story	The Three Laws of Programming Language Design Interesting! by Ray Dillinger Yea, that's about what it's like. by Ray Dillinger Subtyping is usually done in error. by Ray Dillinger Okay, go on... by Ray Dillinger Hmm, forgot to mention.... by Ray Dillinger A container monad is not-a-container. by Ray Dillinger Versioned data - win or lose, depending. by Ray Dillinger Um, yeah. I think I'll plead bias. by Ray Dillinger A monad is state represented as nested function calls. by Ray Dillinger	bashyal	2013-07-04 14:32
Forum topic	A New Kind of Type System Hmm, okay. by Ray Dillinger If you're the sort who'll go a mile for an acronym.... by Ray Dillinger I don't understand that. by Ray Dillinger	Sean McDirmid	2013-07-03 18:06
Forum topic	Library vs. domain specific language No syntax? by Ray Dillinger True. Is that a problem? by Ray Dillinger Well, yeah. We are. by Ray Dillinger Eh. I'd have said by Ray Dillinger Sigh. by Ray Dillinger	Gergely Buday	2013-06-28 15:39
Story	the gnu extension language Right... by Ray Dillinger Again, different goals. by Ray Dillinger Different goals, different needs. by Ray Dillinger In fact, I have. by Ray Dillinger One use of fexprs by Ray Dillinger I find it worthwhile to guard against this. by Ray Dillinger Extensions vs. libraries. by Ray Dillinger Among mainstream languages, by Ray Dillinger Don't mistake static type checking for usability. by Ray Dillinger	Manuel J. Simoni	2013-06-28 14:23
Forum topic	Define it twice -- preemptive bughunting or waste of time? Thank you! by Ray Dillinger Some paradigms promote similarity. by Ray Dillinger Okay, yeah, valid on functions not procedures. by Ray Dillinger	Ray Dillinger	2013-06-15 09:31
Forum topic	Teaching Garbage-Collection I do this in terms of work factors. by Ray Dillinger	shriramk	2013-06-13 16:51
Forum topic	A discussion from the trenches. Octal? Why? by Ray Dillinger synactic conveniences for common idioms by Ray Dillinger	Eric Biederman	2013-06-10 15:08
Story	On the history of the question of whether natural language is “illogical” Uh, yeah, that's clearly baloney. by Ray Dillinger	Ehud Lamm	2013-06-06 15:18
Forum topic	Nimrod: A new statically typed, compiled programming language which supports metaprogramming This is good work. by Ray Dillinger I think message passing is the only scalable model. by Ray Dillinger	dom96	2013-05-29 22:46
Forum topic	A reversible Javascript interpreter Not terribly difficult to build on top of existing debuggers. by Ray Dillinger	Will Thimbleby	2013-05-27 05:46
Forum topic	what's a useful definition of equivalent functions? Tangential, but interesting. by Ray Dillinger Coinduction is an interesting new technique to me. by Ray Dillinger I mean useful equivalence for programming purposes. by Ray Dillinger True, all integers are also rational. by Ray Dillinger	Ray Dillinger	2013-05-20 09:29
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
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