Lambda the Ultimate

type	title	author	last post
Forum topic	Reference request: running out of countably many variable names re: Not enough nuance! We are philosophers, sir! by Thomas Lord conway by Thomas Lord	Neil Toronto	2011-03-22 10:17
Forum topic	What to do about comments? how hard can it be, really? by Thomas Lord	markt	2011-03-14 18:54
Forum topic	Schemas for JSON? (aside) by Thomas Lord re: SImple by Thomas Lord the slope by Thomas Lord	jbclements	2011-03-12 12:32
Story	Leveled Garbage Collection how to improve it (?) by Thomas Lord	naasking	2011-03-07 23:59
Forum topic	Monads vs. Actors Why Actor Axioms Are Non-Constructive by Thomas Lord too ugly by Thomas Lord yes it does. by Thomas Lord re: Simple Actor system that computes an unbounded integer by Thomas Lord foundations by Thomas Lord so-called unbounded nondeterminism by Thomas Lord Kuhn by Thomas Lord Kuhn, too. by Thomas Lord foundations by Thomas Lord	Sean McDirmid	2011-03-02 21:15
Forum topic	What is computation? Concurrency versus Turing's Model re: computational representation theorem by Thomas Lord Actor partial orders by Thomas Lord re: Actor Model Proof Theory by Thomas Lord re: The Actor system always halts but the NDTM doesn't by Thomas Lord re finite traces / foundational question by Thomas Lord a better foundation is needed by Thomas Lord # of "stop" msgs doesn't matter by Thomas Lord re: "fairness" by Thomas Lord actors not more powerful than TMs by Thomas Lord	Hewitt	2011-02-22 13:52
Forum topic	IBM's Watson plays Jeopardy champion Ken Jennings in February is semantic web design a PLT issue? by Thomas Lord	Roy Batty	2011-02-19 16:25
Forum topic	Extending Syntax from Within a Language re Gensyms aren't enough by Thomas Lord	munificent	2011-02-17 01:57
Forum topic	Go or Unladen Swallow? (the original) by Thomas Lord "seldom helpful" by Thomas Lord inferno indeed. by Thomas Lord re "Nice background..." by Thomas Lord re Lisp Machine GC by Thomas Lord lisp machines not such a special case by Thomas Lord LtU angle (re "quite") by Thomas Lord reformatting fancy comments by Thomas Lord Why is this a "systems language"? by Thomas Lord Juxtoposition re "abstract datatypes thread" by Thomas Lord	Srikumar Subramanian	2011-02-07 08:56
Forum topic	How to Program the Many Cores for Inconsistency Robustness re: "always" and "terminates" by Thomas Lord re: Clarification by Thomas Lord re NDTM v. actors by Thomas Lord	Hewitt	2011-02-03 14:26
Forum topic	guy steele on how (not) to think of parallel programming "Loop notation is more readable..." by Thomas Lord disagreement poof by Thomas Lord 10 years by Thomas Lord recognizing loops as sigma by Thomas Lord Gah. the accumulator abstraction by Thomas Lord	Thomas Lord	2011-01-25 05:56
Forum topic	Fast Compilers Moore's mechanism vs. law by Thomas Lord forget realtime compilation by Thomas Lord bean mounds by Thomas Lord fast compilers in context by Thomas Lord	Ed Earl Ross	2011-01-19 23:50
Forum topic	The Myths of Object-Orientation re: circular? by Thomas Lord	el-vadimo	2010-12-21 17:28
Forum topic	yacc death revisited question of goals by Thomas Lord it's all about the sweet spot by Thomas Lord re "How does this relate to" by Thomas Lord	Thomas Lord	2010-12-21 06:06
Forum topic	Oracle, Sun, and Fortress re: Misunderstanding by Thomas Lord re: and what theory .... by Thomas Lord re: what theory by Thomas Lord re: what are the alternatives by Thomas Lord "retire" misunderstood by Thomas Lord retire? by Thomas Lord	mzraly	2010-12-20 01:16
Forum topic	Lambda the Ultimate seems an Overstatement (not) humility blah blah by Thomas Lord	Ed Earl Ross	2010-12-13 19:44
Forum topic	Clojure's Solutions to the Expression Problem re: doesn't a proof by Thomas Lord full abstraction re expression problem by Thomas Lord (dynamc vs. static) * expression problem == ?? by Thomas Lord	fogus	2010-11-27 07:21
Forum topic	First-class environments. Discuss. ;) re: 1988 by Thomas Lord re: Miscommunication by Thomas Lord FEXPRs and capability security by Thomas Lord re: commonly used term by Thomas Lord re: "what is an applicatin?!??" by Thomas Lord re: hyper/baked by Thomas Lord ironically: it's a big topic (K.I.S.S.) by Thomas Lord ;-) by Thomas Lord K.I.S.S. by Thomas Lord fexprs, trust, etc. by Thomas Lord ...	Manuel J. Simoni	2010-11-18 13:31
Forum topic	Design Principles Behind Smalltalk partial apology by Thomas Lord re original assertion by Thomas Lord answers to dmbarbour (re: re:alistic) by Thomas Lord ref counting vs. ..... by Thomas Lord Be Realistic by Thomas Lord re (answers to): "As an alternative, consider" by Thomas Lord fast lambda interpreter w/ ref counting by Thomas Lord re: "Thomas Lord has oft expressed [....]" by Thomas Lord not how I recall it. by Thomas Lord what language-as-os means to me by Thomas Lord ...	el-vadimo	2010-11-09 17:15
Forum topic	The barrier to take-up of language innovation re: Sponsors by Thomas Lord those who forget history :-) by Thomas Lord other folks money or die by Thomas Lord the (non-)value of recent PL innovation by Thomas Lord Um... duh? by Thomas Lord	ad1mt	2010-11-06 03:26
Forum topic	Concurrent Composition and Algebras of Events, Actions, and Processes "use every tool we have " by Thomas Lord	raould	2010-10-31 20:45
Forum topic	Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language macros are fexprs + constant expression elimination by Thomas Lord "useless interpreter that no one uses" by Thomas Lord re "Whose type system? ..." by Thomas Lord bogus programs considered helpful by Thomas Lord re Mixing macros ... Bawden's First-class macros by Thomas Lord MIT v. New Jersey by Thomas Lord Rabbit thesis v. fexprs ("'Real' Scheme") by Thomas Lord yes, simplicity by Thomas Lord flexibility? no, simplicity. by Thomas Lord nah, fexprs are great. by Thomas Lord ...	Peter Michaux	2010-10-28 11:03
Forum topic	"A Theory of Interprocess Communication" -- Leslie Lamport	Thomas Lord	2010-10-22 13:32
Story	Software Development with Code Maps re: "untangling" by Thomas Lord tablets / visual languages by Thomas Lord literate and code maps by Thomas Lord code maps != literate programming by Thomas Lord	Allan McInnes	2010-10-01 19:07
Forum topic	Computational equivalent of incompleteness theorems? technique by Thomas Lord goedel and turing by Thomas Lord	naasking	2010-09-21 06:55
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