Lambda the Ultimate Weblog Topics
Last Updated 07/17/2012

Posts By: Thomas Lord

  Date    Post    Topic  
05/02/2012why CL didn't "win big" a long time agoCommon Lisp: The Untold Story
05/11/2012Can I read about [vc's killing CL] in more detail somewhere?Common Lisp: The Untold Story
05/11/2012who's whoCommon Lisp: The Untold Story
03/19/2012the dream (nightmare?)Language mystery: identify the source language to a worm based on its object code
03/20/2012re dialect of C and ageLanguage mystery: identify the source language to a worm based on its object code
03/20/2012re: If anothr tool was pumpingLanguage mystery: identify the source language to a worm based on its object code
01/03/2012why it's called "science fiction"Programmer Archeologists
12/30/2011wow!Cambridge Course on "Usability of Programming Languages"
11/30/2011reflectionREPL-schmepl?
11/30/2011REPL trivialityREPL-schmepl?
12/02/2011a bad eval is a defectREPL-schmepl?
12/07/2011re: eval gone badREPL-schmepl?
10/28/2011type diddling vs. his examples"We Really Don't Know How to Compute!" by Gerald Sussman
11/02/2011that's getting at it"We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011evolution too slow to be guided"We Really Don't Know How to Compute!" by Gerald Sussman
11/02/2011typing problem stated simply"We Really Don't Know How to Compute!" by Gerald Sussman
10/25/2011John McCarthy has passedJohn McCarthy has passed
10/19/2011circumstantial evidenceOpen thread: RIP Steve Jobs
10/20/2011But anyway, wouldn't it beOpen thread: RIP Steve Jobs
10/24/2011not really much of a misconceptionOpen thread: RIP Steve Jobs
10/25/2011no contradictionOpen thread: RIP Steve Jobs
10/26/2011raising content consumers from birthOpen thread: RIP Steve Jobs
10/26/2011re: system compilerOpen thread: RIP Steve Jobs
09/30/2011examples of critical designCritical Programming Language Design
09/14/2011the web platform, also non-turingWhat needs to be done?
09/05/2011re: (defmacro or (a b) ‘(letthe gnu extension language
09/05/2011re: hygiene isn't necessarythe gnu extension language
09/02/2011as the person who started the Guile projectthe gnu extension language
09/06/2011re: A good extension languagethe gnu extension language
08/09/2011relation to existing work, etc.Candle - a new script language that unifies XML technologies
08/11/2011defining "referential transparency"Candle - a new script language that unifies XML technologies
08/14/2011XSLT and referential transparencyCandle - a new script language that unifies XML technologies
08/21/2011re JSON vs. XMLCandle - a new script language that unifies XML technologies
08/22/2011XML's "works well" nicheCandle - a new script language that unifies XML technologies
08/22/2011hypothesis about XML's ill healthCandle - a new script language that unifies XML technologies
06/29/2011re turing v wittgensteinWittgenstein versus Turing on Inconsistency Robustness
06/21/2011at their gimmicky best50 in 50: Steele & Gabriel at RailsConf 2011
05/25/2011chapter favorites and dislikesThe Architecture of Open Source Applications
05/23/2011java historyRob Pike: Public Static Void
05/23/2011re: I think your narrativeRob Pike: Public Static Void
05/23/2011Ada/Pascal historyRob Pike: Public Static Void
05/23/2011re: The Problem with your StoryRob Pike: Public Static Void
05/30/2011re: Java in the browserRob Pike: Public Static Void
06/06/2011that's too simple, AntonRob Pike: Public Static Void
06/07/2011agile is pro commodificationRob Pike: Public Static Void
06/08/2011dehumanizing agile programmersRob Pike: Public Static Void
06/08/2011wanted ads prove commodificationRob Pike: Public Static Void
04/06/2011what kind of history?History of PL
04/07/2011"as to the last item"History of PL
03/27/2011Awesome! curriculumBob Harper of CMU is blogging about programming languages and introductory CS education
03/12/2011conwayReference request: running out of countably many variable names
03/13/2011re: Not enough nuance! We are philosophers, sir!Reference request: running out of countably many variable names
03/11/2011the slopeSchemas for JSON?
03/11/2011re: SImpleSchemas for JSON?
03/12/2011(aside)Schemas for JSON?
03/15/2011sad for SchemeKeyword and Optional Arguments in PLT Scheme
03/15/2011re: *Scheme* is fine, if you can find one :-)Keyword and Optional Arguments in PLT Scheme
03/17/2011levels confusionKeyword and Optional Arguments in PLT Scheme
03/18/2011re: the codeKeyword and Optional Arguments in PLT Scheme
03/21/2011Re: Re: levelsKeyword and Optional Arguments in PLT Scheme
03/21/2011re gesturesKeyword and Optional Arguments in PLT Scheme
03/21/2011If it hurts when you do that...Keyword and Optional Arguments in PLT Scheme
03/21/2011tiresomeKeyword and Optional Arguments in PLT Scheme
03/22/2011enough. re: tiresomeKeyword and Optional Arguments in PLT Scheme
03/23/2011pleaseKeyword and Optional Arguments in PLT Scheme
03/15/2011re: What are you talking aboutKeyword and Optional Arguments in PLT Scheme
03/15/2011re: still confusedKeyword and Optional Arguments in PLT Scheme
03/05/2011how to improve it (?)Leveled Garbage Collection
02/17/2011re Gensyms aren't enoughExtending Syntax from Within a Language
02/22/2011so-called unbounded nondeterminismMonads vs. Actors
02/22/2011foundationsMonads vs. Actors
02/23/2011re: Simple Actor system that computes an unbounded integerMonads vs. Actors
02/23/2011yes it does.Monads vs. Actors
02/28/2011Why Actor Axioms Are Non-ConstructiveMonads vs. Actors
02/23/2011too uglyMonads vs. Actors
02/22/2011foundationsMonads vs. Actors
02/22/2011Kuhn, too.Monads vs. Actors
02/22/2011KuhnMonads vs. Actors
01/15/2011guy steele on how (not) to think of parallel programmingguy steele on how (not) to think of parallel programming
01/21/2011Gah. the accumulator abstractionguy steele on how (not) to think of parallel programming
01/21/2011recognizing loops as sigmaguy steele on how (not) to think of parallel programming
01/21/2011disagreement poofguy steele on how (not) to think of parallel programming
01/21/2011"Loop notation is more readable..."guy steele on how (not) to think of parallel programming
01/21/201110 yearsguy steele on how (not) to think of parallel programming
01/30/2011re NDTM v. actorsHow to Program the Many Cores for Inconsistency Robustness
01/31/2011re: ClarificationHow to Program the Many Cores for Inconsistency Robustness
02/03/2011re: "always" and "terminates"How to Program the Many Cores for Inconsistency Robustness
01/07/2011fast compilers in contextFast Compilers
01/07/2011bean moundsFast Compilers
01/07/2011Moore's mechanism vs. lawFast Compilers
01/07/2011forget realtime compilationFast Compilers
02/18/2011is semantic web design a PLT issue?IBM's Watson plays Jeopardy champion Ken Jennings in February
12/13/2010yacc death revisitedyacc death revisited
12/14/2010re "How does this relate to"yacc death revisited
12/14/2010it's all about the sweet spotyacc death revisited
12/16/2010question of goalsyacc death revisited
12/08/2010Russ Cox is confusedYacc is dead
12/08/2010[misthreaded -- removed]Yacc is dead
11/25/2010actors not more powerful than TMsWhat is computation? Concurrency versus Turing's Model
11/26/2010a better foundation is neededWhat is computation? Concurrency versus Turing's Model
11/28/2010re: Actor Model Proof TheoryWhat is computation? Concurrency versus Turing's Model
11/26/2010re: "fairness"What is computation? Concurrency versus Turing's Model
11/28/2010re finite traces / foundational questionWhat is computation? Concurrency versus Turing's Model
11/26/2010# of "stop" msgs doesn't matterWhat is computation? Concurrency versus Turing's Model
11/28/2010re: The Actor system always halts but the NDTM doesn'tWhat is computation? Concurrency versus Turing's Model
11/29/2010Actor partial ordersWhat is computation? Concurrency versus Turing's Model
12/13/2010re: computational representation theoremWhat is computation? Concurrency versus Turing's Model
11/18/2010(dynamc vs. static) * expression problem == ??Clojure's Solutions to the Expression Problem
11/18/2010full abstraction re expression problemClojure's Solutions to the Expression Problem
11/19/2010re: doesn't a proofClojure's Solutions to the Expression Problem
11/14/2010humility blah blahLambda the Ultimate seems an Overstatement (not)
12/19/2010re: circular?The Myths of Object-Orientation
10/14/2010"A Theory of Interprocess Communication" -- Leslie Lamport"A Theory of Interprocess Communication" -- Leslie Lamport
10/12/2010Um... duh?The barrier to take-up of language innovation
10/14/2010the (non-)value of recent PL innovationThe barrier to take-up of language innovation
10/19/2010other folks money or dieThe barrier to take-up of language innovation
10/19/2010those who forget history :-)The barrier to take-up of language innovation
10/20/2010re: SponsorsThe barrier to take-up of language innovation
10/05/2010re: Operating systems shouldn't beDesign Principles Behind Smalltalk
10/11/2010re: "Thomas Lord has oft expressed [....]"Design Principles Behind Smalltalk
10/12/2010fast lambda interpreter w/ ref countingDesign Principles Behind Smalltalk
10/12/2010re (answers to): "As an alternative, consider"Design Principles Behind Smalltalk
10/13/2010Be RealisticDesign Principles Behind Smalltalk
10/14/2010ref counting vs. .....Design Principles Behind Smalltalk
10/14/2010re original assertionDesign Principles Behind Smalltalk
10/14/2010answers to dmbarbour (re: re:alistic)Design Principles Behind Smalltalk
10/15/2010partial apologyDesign Principles Behind Smalltalk
10/07/2010not how I recall it.Design Principles Behind Smalltalk
10/06/2010what language-as-os means to meDesign Principles Behind Smalltalk
10/04/2010re $VAUs vs, fexprs (what are you trying to say?)Fexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction
09/30/2010code maps != literate programmingSoftware Development with Code Maps
09/30/2010literate and code mapsSoftware Development with Code Maps
09/30/2010tablets / visual languagesSoftware Development with Code Maps
10/01/2010re: "untangling"Software Development with Code Maps
09/02/2010J's concepts rank, composition, and GCJ's concepts rank, composition, and GC
09/03/2010Thanks for the FIShJ's concepts rank, composition, and GC
09/03/2010Aha... array theory...J's concepts rank, composition, and GC
09/16/2010re: Garbage CollectionJ's concepts rank, composition, and GC
09/13/2010implicit reductionJ's concepts rank, composition, and GC
09/14/2010reduction reduxJ's concepts rank, composition, and GC
09/16/2010"shape preserving"J's concepts rank, composition, and GC
09/16/2010nahJ's concepts rank, composition, and GC
08/26/2010goedel and turingComputational equivalent of incompleteness theorems?
08/26/2010techniqueComputational equivalent of incompleteness theorems?
08/13/2010Please use XML Qnames for everything. Thanks.The ideal style/system for namespaces.
08/15/2010re won't simple bindingThe ideal style/system for namespaces.
08/16/2010it's not "two identifiers are the same"The ideal style/system for namespaces.
08/16/2010"lexeme" v. "identifier"The ideal style/system for namespaces.
08/08/2010degree of difficultyLexical Analysis with Extended Identifiers and Disambiguation by Table Look-up.
08/08/2010I think it's a neat ideaLexical Analysis with Extended Identifiers and Disambiguation by Table Look-up.
07/09/2010radical curriculumsWhy Undergraduates Should Learn the Principles of Programming Languages
07/09/2010times changed?Why Undergraduates Should Learn the Principles of Programming Languages
06/01/2010Scheme at least has some history hereAlgebraic
06/04/2010side effects v. algebraAlgebraic
05/26/2010distributed revision control is not newAlan Kay's 70th
05/27/2010what's "new"Alan Kay's 70th
05/27/2010history referencesAlan Kay's 70th
05/17/2010slower v. nonsense"Critical code studies"
05/18/2010reasons and words are important"Critical code studies"
05/11/2010I think it's a (pointed) joke"Critical code studies"
05/14/2010so, yeah, seriously"Critical code studies"
05/14/2010aside: Raymond v. Hackers"Critical code studies"
05/07/2010tin foil hatSpam filters
04/30/2010mistakeAny research on garbage collection for a pure langauge?
04/24/2010not sure I buy it.In the wild
04/20/2010unfair to kidsMore iPhone PL lockdown... Goodbye Scratch!
04/20/2010re: Has anyone considered a limited exception designHow can C Programs be so Reliable?
04/21/2010C modules/exceptions (reply to marco)How can C Programs be so Reliable?
04/16/2010C KoansHow can C Programs be so Reliable?
04/17/2010C error handlingHow can C Programs be so Reliable?
04/18/2010re: memory failure and multi-processingHow can C Programs be so Reliable?
04/21/2010designing graceful failure modesHow can C Programs be so Reliable?
04/14/2010thanks and a note about CRepresenting Type Information in Dynamically Typed Languages
04/14/2010re CRepresenting Type Information in Dynamically Typed Languages
04/11/2010clue from S. Jobs (PL relevant!)iPhone PL lockdown
04/04/2010re: Pike's viewGo's proposed panic/recover exception-like mechanism
03/31/2010The dark inside story of the Tcl WarsTcl the Misunderstood
03/19/2010hmm. I guess I should reply.First-class environments. Discuss. ;)
03/19/2010re "THE-ENVIRONMENT"First-class environments. Discuss. ;)
03/19/2010re: First Class EnvironmentsFirst-class environments. Discuss. ;)
03/19/2010detailsFirst-class environments. Discuss. ;)
03/20/2010re: guarded environmentsFirst-class environments. Discuss. ;)
03/20/2010set-env! scares meFirst-class environments. Discuss. ;)
03/21/2010Ray's operand/env aggregates and hygieneFirst-class environments. Discuss. ;)
03/22/2010lazy is only part of itFirst-class environments. Discuss. ;)
03/22/2010off listFirst-class environments. Discuss. ;)
03/22/2010LtU and discourseFirst-class environments. Discuss. ;)
03/24/2010re: Feelings / open letter to WG1First-class environments. Discuss. ;)
03/22/2010re: "How's that"First-class environments. Discuss. ;)
03/28/2010fexprs vs. compositionFirst-class environments. Discuss. ;)
03/30/2010K.I.S.S.First-class environments. Discuss. ;)
03/30/2010;-)First-class environments. Discuss. ;)
03/30/2010ironically: it's a big topic (K.I.S.S.)First-class environments. Discuss. ;)
03/30/2010re: hyper/bakedFirst-class environments. Discuss. ;)
03/30/2010re: "what is an applicatin?!??"First-class environments. Discuss. ;)
03/30/2010FEXPRs and capability securityFirst-class environments. Discuss. ;)
03/30/2010re: commonly used termFirst-class environments. Discuss. ;)
03/31/2010re: MiscommunicationFirst-class environments. Discuss. ;)
03/28/2010fexprs, trust, etc.First-class environments. Discuss. ;)
03/24/2010re: static analysis and compilationFirst-class environments. Discuss. ;)
03/26/2010re: environment mutationFirst-class environments. Discuss. ;)
04/06/2010re: 1988First-class environments. Discuss. ;)
03/17/2010re dfa minimizationdetermining subsumption of regular languages
03/09/2010mozillaHave tracing JIT compilers won?
03/10/2010"to see and be seen"Have tracing JIT compilers won?
03/09/2010different types of ....Have tracing JIT compilers won?
03/12/2010whither pre-schemeHave tracing JIT compilers won?
03/10/2010proving minimalismLISP basis for computable functions on S-Expressions.
03/01/2010yes, enjoyable. But...Extending the Scope of Syntactic Abstraction
03/01/2010high fidelity static hygiene from fexprsExtending the Scope of Syntactic Abstraction
03/01/2010yes, but...Extending the Scope of Syntactic Abstraction
03/01/2010R6RS un-implementabilityExtending the Scope of Syntactic Abstraction
03/01/2010not missing a thingExtending the Scope of Syntactic Abstraction
03/01/2010please avoid ad hominemExtending the Scope of Syntactic Abstraction
03/02/2010failure to avoidExtending the Scope of Syntactic Abstraction
03/03/2010oh, brother (Ray)Extending the Scope of Syntactic Abstraction
03/03/2010the art of negotiationExtending the Scope of Syntactic Abstraction
02/13/2010z-bo: your link is messed up (as of this writing)NaNs and reflexivity
01/31/2010"the whole point of macro languages..."more consistent macros?
01/31/2010eval?more consistent macros?
01/31/2010eval in emacsmore consistent macros?
01/31/2010eval, Emacs, and lispmore consistent macros?
01/31/2010eval trade-offsmore consistent macros?
02/01/2010trust is not transitivemore consistent macros?
02/01/2010capabilities require sandboxesmore consistent macros?
02/01/2010ambient authority v. underlying systemmore consistent macros?
02/01/2010misunderstanding twixt me and naaskingmore consistent macros?
02/02/2010worst casemore consistent macros?
02/01/2010quibbling over the definition of a sandboxmore consistent macros?
01/31/2010guile doesmore consistent macros?
02/01/2010Guile (closures, eval, and all that)more consistent macros?
01/28/2010chez's mutable first class environmentseval and (infinite) recursion
01/28/2010strange definition of evaleval and (infinite) recursion
01/28/2010confusing sikuliProject Sikuli
01/17/2010for marcro: determinism is deadQuantum Lambda Calculus
01/17/2010QM Math doesn't much matter + LtU relevanceQuantum Lambda Calculus
01/18/2010(deleted)Quantum Lambda Calculus
01/19/2010Conway-Kochen in M&M-analogy-speakQuantum Lambda Calculus
01/20/2010sighQuantum Lambda Calculus
01/20/2010Marco: read the papersQuantum Lambda Calculus
01/20/2010the paper mentions....Quantum Lambda Calculus
01/20/2010that will also confuse himQuantum Lambda Calculus
01/21/2010your confusionQuantum Lambda Calculus
01/21/2010thanks for that "trot"Quantum Lambda Calculus
01/19/2010experimental confirmationQuantum Lambda Calculus
01/22/2010mistakes in Conway-Kochen?Quantum Lambda Calculus
01/23/2010re: transcendtal constantQuantum Lambda Calculus
01/23/2010re The transcendental constantQuantum Lambda Calculus
01/24/2010scientifically true, I thinkQuantum Lambda Calculus
01/05/2010re early GCCwondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?
01/05/2010good point, stupid C stack (re "unix targets")wondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?
01/06/2010on multiple fronts in 1994wondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?
01/06/2010meaning of "consonant with scheme"wondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?
01/06/2010javascript v. schemewondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?
01/07/2010timeline and javascript+mobilewondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?
01/05/2010it's a smart idea but...An idea and syntax for "programming language"
12/23/2009promising failuresUnfulfilled Promises of Software Technologies? (!)
12/31/2009why I like CLU exception handlingUnfulfilled Promises of Software Technologies? (!)
12/31/2009CLU exceptions and Abraham's contractual basisUnfulfilled Promises of Software Technologies? (!)
12/31/2009another reason to love CLU-style exceptionsUnfulfilled Promises of Software Technologies? (!)
12/31/2009error handling at call sitesUnfulfilled Promises of Software Technologies? (!)
01/01/2010call site checking / modularityUnfulfilled Promises of Software Technologies? (!)
01/01/2010"Service Layer Modularity"Unfulfilled Promises of Software Technologies? (!)
12/15/2009in other newsClaiming Infinity
12/04/2009OO does not need TCOWhy Object-Oriented Languages Need Tail Calls
12/05/2009delayed vals != TCOWhy Object-Oriented Languages Need Tail Calls
12/05/2009flaw?Why Object-Oriented Languages Need Tail Calls
12/07/2009"reinventing" trampolines?Why Object-Oriented Languages Need Tail Calls
11/30/2009but it's wrong!Two Bits: The Cultural Significance of Free Software
12/01/2009vouching for Z-Bo re GCCTwo Bits: The Cultural Significance of Free Software
12/01/2009re RMSTwo Bits: The Cultural Significance of Free Software
12/02/2009re Volutneers?Two Bits: The Cultural Significance of Free Software
12/03/2009back towards the topic, ok?Two Bits: The Cultural Significance of Free Software
12/07/2009application level compositionTwo Bits: The Cultural Significance of Free Software
12/07/2009the unpaid volunteers questionTwo Bits: The Cultural Significance of Free Software
12/07/2009re z-bo's contentionTwo Bits: The Cultural Significance of Free Software
11/16/2009T diagramsSeeking nearly anything re: so called language "bootstrapping" process
12/05/2009State St. is badly misunderstoodExplanation of Computer Theory for Lawyers
11/11/2009Juxtoposition re "abstract datatypes thread"Go or Unladen Swallow?
11/12/2009Why is this a "systems language"?Go or Unladen Swallow?
11/20/2009re "Nice background..."Go or Unladen Swallow?
11/21/2009inferno indeed.Go or Unladen Swallow?
11/24/2009"seldom helpful"Go or Unladen Swallow?
11/25/2009(the original)Go or Unladen Swallow?
11/16/2009reformatting fancy commentsGo or Unladen Swallow?
11/17/2009lisp machines not such a special caseGo or Unladen Swallow?
11/18/2009re Lisp Machine GCGo or Unladen Swallow?
11/16/2009LtU angle (re "quite")Go or Unladen Swallow?
10/15/2009no sentimentLisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
10/28/2009macros are fexprs + constant expression eliminationLisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
10/17/2009nah, fexprs are great.Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
10/18/2009flexibility? no, simplicity.Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
10/20/2009yes, simplicityLisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
10/20/2009Rabbit thesis v. fexprs ("'Real' Scheme")Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
10/20/2009"useless interpreter that no one uses"Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
10/20/2009MIT v. New JerseyLisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
10/20/2009re Mixing macros ... Bawden's First-class macrosLisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
10/20/2009bogus programs considered helpfulLisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
10/20/2009re "Whose type system? ..."Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
09/27/2009python is not "executable pseudo-code"Why Pseudo-Code?
09/29/2009on hating pseudo-codeWhy Pseudo-Code?
10/03/2009examples in PythonWhy Pseudo-Code?
10/05/2009notations, theories, and pseudo-codeWhy Pseudo-Code?
09/13/2009the setjmp/longjmp analogyBackground of call/cc
09/14/2009CPS-conversion makes it less strangeBackground of call/cc
09/09/2009love sweet love?Create Your Own Programming Language (book)
09/10/2009Don't you dare...Create Your Own Programming Language (book)
09/02/2009VPL vs. ASLRelations of Language and Thought: The View from Sign Language and Deaf Children
08/21/2009re standard librariesScheme to be split into two languages
08/21/2009about admin...Scheme to be split into two languages
08/19/2009be careful what you wish forsomething strange happened after implementing a first interpreter
08/18/2009language design as second phase careersomething strange happened after implementing a first interpreter
08/15/2009conwayKinds of Null
07/27/2009is this spaghetti stacks?Representing Control in the Presence of First-Class Continuations
07/27/200964KB is not so bad - apples/orangesRepresenting Control in the Presence of First-Class Continuations
07/28/2009re rigourRepresenting Control in the Presence of First-Class Continuations
07/28/2009re: "plenty of room"Representing Control in the Presence of First-Class Continuations
07/09/2009foundational questionsOh no! Animated Alligators!
06/29/2009C on the Chomsky hierarchyMost powerful terminating semantics?
06/30/2009re "reasonably" v. "technically"Most powerful terminating semantics?
06/30/2009C is a regular languageMost powerful terminating semantics?
06/30/2009the true reason is trueMost powerful terminating semantics?
06/30/2009C's trick (re "Tricky but...")Most powerful terminating semantics?
07/01/2009call stack limitMost powerful terminating semantics?
07/01/2009re "True, but" (very interesting)Most powerful terminating semantics?
07/01/2009why it (perhaps) mattersMost powerful terminating semantics?
07/01/2009there's a lot of confusion about "regular"Most powerful terminating semantics?
07/02/2009answer to "Terminology"Most powerful terminating semantics?
07/03/2009O(N) or O(1) & the f:N->N objectionMost powerful terminating semantics?
07/04/2009finite languages and complexityMost powerful terminating semantics?
07/01/2009how do you explain practice, then?Most powerful terminating semantics?
07/01/2009In practice, many (especially good) C programs *are* FSMsMost powerful terminating semantics?
07/01/2009abstractions (re state space)Most powerful terminating semantics?
06/30/2009regular languages and terminationMost powerful terminating semantics?
07/01/2009non-petty detailsMost powerful terminating semantics?
07/01/2009r.e. and terminationMost powerful terminating semantics?
07/01/2009C + "infinite tape"Most powerful terminating semantics?
07/01/2009the fpos_t escapeMost powerful terminating semantics?
07/02/2009naasking's fpos_t challengeMost powerful terminating semantics?
07/01/2009clarification about C vs. infinite stateMost powerful terminating semantics?
07/02/2009sorry for offending MattMost powerful terminating semantics?
06/30/2009re "time is the input"Most powerful terminating semantics?
07/01/2009"infinite input"Most powerful terminating semantics?
06/30/2009re the "interesting" C programMost powerful terminating semantics?
07/14/2009terminating semantics... question not dead yet.Most powerful terminating semantics?
07/14/2009dmbarbour: interesting claim about guaranteed terminationMost powerful terminating semantics?
07/14/2009against: "total functional languages can't include eval"Most powerful terminating semantics?
07/15/2009interesting programs are bounded in size.Most powerful terminating semantics?
07/15/2009terminates "shortly" versus "before heat death of the universe"Most powerful terminating semantics?
06/07/2009A Case for Gestures/Visualizations and Against Concrete SyntaxA Case for Gestures/Visualizations and Against Concrete Syntax
06/07/2009[admin] notedA Case for Gestures/Visualizations and Against Concrete Syntax
06/07/2009(re "source ctl.") teleology and practicalitiesA Case for Gestures/Visualizations and Against Concrete Syntax
06/08/2009concrete is hereA Case for Gestures/Visualizations and Against Concrete Syntax
06/08/2009(no apology nec. and...) how distinct from s-expsA Case for Gestures/Visualizations and Against Concrete Syntax
06/08/2009re "change terminology so that 'program' == revision history"A Case for Gestures/Visualizations and Against Concrete Syntax
06/08/2009clever, Anton, but...A Case for Gestures/Visualizations and Against Concrete Syntax
06/11/2009re "the proofs..."A Case for Gestures/Visualizations and Against Concrete Syntax
06/10/2009he lost me there, tooA Case for Gestures/Visualizations and Against Concrete Syntax
06/07/2009Coccinelle thanks and comparisonA Case for Gestures/Visualizations and Against Concrete Syntax
06/07/2009you win the "prior work" prizeA Case for Gestures/Visualizations and Against Concrete Syntax
06/08/2009distinction from EdwardsA Case for Gestures/Visualizations and Against Concrete Syntax
06/07/2009"Interaction/meta-prog." thanks and replyA Case for Gestures/Visualizations and Against Concrete Syntax
06/08/2009re "sync cont" - just separate concernsA Case for Gestures/Visualizations and Against Concrete Syntax
06/11/2009tA Case for Gestures/Visualizations and Against Concrete Syntax
06/06/2009celebrity in place of engineeringThe Myth of the Genius Programmer
06/07/2009realpolitikThe Myth of the Genius Programmer
06/07/2009I'll probably regret asking but..The Myth of the Genius Programmer
09/23/2009Question about Peter LandinPeter Landin
05/14/2009wolfram/alpha is plt appropriate (?)WolframAlpha
05/20/2009it's programming in the senseWolframAlpha
05/11/2009I think it is relevant...WolframAlpha
12/15/2010retire?Oracle, Sun, and Fortress
12/16/2010"retire" misunderstoodOracle, Sun, and Fortress
12/16/2010re: what are the alternativesOracle, Sun, and Fortress
12/18/2010re: what theoryOracle, Sun, and Fortress
12/19/2010re: and what theory ....Oracle, Sun, and Fortress
12/20/2010re: MisunderstandingOracle, Sun, and Fortress
05/07/2009scott-strachey v. analytic philosophyRight on!
05/08/2009linguistic turn, etc.Right on!
05/09/2009it's sorta funnyRight on!
06/25/2009overinterpretationRight on!
06/25/2009meaningRight on!
06/25/2009formalizabilityRight on!
03/19/2009much appreciatedMarrying VMs
03/20/2009re pikaMarrying VMs
03/29/2009dfn of "VM" breaks downMarrying VMs
03/30/2009ah... it's Parrot confusion (?)Marrying VMs
03/31/2009"independent VMs [...] common substrate"Marrying VMs
04/01/2009we'll leave it there, thenMarrying VMs
03/11/2009linear, functional, stack ,object orientedLinear Logic and Permutation Stacks--The Forth Shall Be First
03/10/2009to answer the questionLinear Logic and Permutation Stacks--The Forth Shall Be First
03/14/200911 efficiencyLinear Logic and Permutation Stacks--The Forth Shall Be First
01/31/2009translation to english, maybeI'm from china and I'm working on a new programming language "Zero"
01/24/2009forget Elephant!Elephant 2000: A Programming Language for the year 2015 Based on Speech Acts
01/24/2009well, yes.Elephant 2000: A Programming Language for the year 2015 Based on Speech Acts
01/14/2009xpath/xquery agreementWhat Are The Resolved Debates in General Purpose Language Design?
01/06/2009disagree with implementor v. user2008 In Review - What Happened with Programming Languages?
01/08/2009nat. lang syntax and GC2008 In Review - What Happened with Programming Languages?
01/12/2009where are we?2008 In Review - What Happened with Programming Languages?
01/09/2009gc (and lang.)2008 In Review - What Happened with Programming Languages?
01/09/2009thanks and gc performance2008 In Review - What Happened with Programming Languages?
01/11/2009apples, oranges2008 In Review - What Happened with Programming Languages?
01/12/2009memory2008 In Review - What Happened with Programming Languages?
01/12/2009joy, cat / mem. model / addr. space size2008 In Review - What Happened with Programming Languages?
01/13/2009lisp machine economics2008 In Review - What Happened with Programming Languages?
01/12/2009re "final point"2008 In Review - What Happened with Programming Languages?
01/13/2009design constraints help2008 In Review - What Happened with Programming Languages?
01/08/2009sunk costs2008 In Review - What Happened with Programming Languages?
01/04/2009my score and new predictions2008 In Review - What Happened with Programming Languages?
01/04/2009C++ v. debatable2008 In Review - What Happened with Programming Languages?
01/05/2009numbers and stats2008 In Review - What Happened with Programming Languages?
01/08/2009damn lies and....2008 In Review - What Happened with Programming Languages?
10/22/2008negative suggestionAdequate bootstrap for compiler with defmacro?
10/22/2008sureAdequate bootstrap for compiler with defmacro?
10/12/2008where you are wrongOn the (perceived) equivalence of static and dynamically typed reflective programming languages
10/16/2008tightening the "proof"On the (perceived) equivalence of static and dynamically typed reflective programming languages
10/17/2008Your PointOn the (perceived) equivalence of static and dynamically typed reflective programming languages
10/17/2008re: I'm not so sure d/r can one up s/r this wayOn the (perceived) equivalence of static and dynamically typed reflective programming languages
10/17/2008differencesOn the (perceived) equivalence of static and dynamically typed reflective programming languages
09/22/2008algorithmic complexityA graph puzzle
09/23/2008network effectsIntel Ct: C for Throughput Computing
09/21/2008like Pogo saidInformation regarding financial crisis
09/20/2008the dynamic versionbeyond multi-methods
09/14/2008so close...Closures for C
09/15/2008ick... danger of speaking via pseudocodeClosures for C
09/15/2008No, you've got it right...Closures for C
09/17/2008C closure notionClosures for C
07/24/2008how hard can it be, really?What to do about comments?
07/16/2008a lot is gainedAda, the Ultimate Lambda?
06/27/2008tabooRequest for participation
06/20/2008um.. what's the ado about?Pure imperative programming
06/20/2008also, calling SSA "imperative"Pure imperative programming
06/13/2008I don't agreeFunctional Programming in the ACM CS Curriculum
06/13/2008universes of discourseFunctional Programming in the ACM CS Curriculum
06/15/2008Discourse....Functional Programming in the ACM CS Curriculum
06/16/2008purity == FPFunctional Programming in the ACM CS Curriculum
06/17/2008!Functional Programming in the ACM CS Curriculum
06/18/2008in my experienceFunctional Programming in the ACM CS Curriculum
06/16/2008specificityFunctional Programming in the ACM CS Curriculum
06/17/2008please clarify the questionFunctional Programming in the ACM CS Curriculum
06/18/2008bahFunctional Programming in the ACM CS Curriculum
06/06/2008the authors don't deny thatMap-reduce-merge: simplified relational data processing on large clusters
05/28/2008wow! appropriate snarkiness!Software complexity as means of professional advancement
05/07/2008libraries are funny that wayLanguage geek at the Maker Faire
05/08/2008:-)Language geek at the Maker Faire
04/29/2008investment v. returnAutomatic Patch-Based Exploit Generation
04/28/2008that's not off topicCareer paths and concerns
04/08/2008darn, you got first post :-) (EOM)Proving compositions
04/08/2008jabberwockyProving compositions
04/08/2008si.Proving compositions
04/08/2008certaintyProving compositions
04/02/2008every dayApril 1st special: The War of the Worlds
04/03/2008truth isApril 1st special: The War of the Worlds
03/31/2008bootstrappingthe power of GNU Awk
10/25/2010"use every tool we have "Concurrent Composition and Algebras of Events, Actions, and Processes
03/22/2008shouldn't be that hardWhen Are Two Algorithms the Same?
03/20/2008YES!Replace heads function in Lisp
03/19/2008makes sense to meHigher-Order Programming without Closures?
07/25/2008yes, essential like 0Is null needed?
05/23/2008directness, comfort, completenesssuccinctness
02/03/2008have a higher order appreciationDon't try FP in industry!
02/03/2008pleaseDon't try FP in industry!
01/23/2008reflection, product definitions, politicsHow useful is reflection, anyway?
01/23/2008necessity of reflectionHow useful is reflection, anyway?
01/24/2008the news from HarvardHow useful is reflection, anyway?
01/16/2008Flower: a new way to write web servicesFlower: a new way to write web services
01/16/2008Link fix -- "D'oh!" -- thanks Anton. EOMFlower: a new way to write web services
01/16/2008re: re: impedance mismatchFlower: a new way to write web services
01/16/2008more concise answer about impedence mismatchFlower: a new way to write web services
01/16/2008misunderstood your impedence questionFlower: a new way to write web services
01/18/2008re specific example questionFlower: a new way to write web services
01/16/2008my peer reviewed papersFlower: a new way to write web services
01/16/2008the background paperFlower: a new way to write web services
01/17/2008the baker and the restauranteurFlower: a new way to write web services
01/18/2008hmm.. what do i mean by "improvisational capacity"Flower: a new way to write web services
01/18/2008ok.. i should stop apologizingFlower: a new way to write web services
01/19/2008the sequencing mini-languageFlower: a new way to write web services
01/22/2008re Query ProcessorFlower: a new way to write web services
01/23/2008re wikiFlower: a new way to write web services
01/16/2008A PLT Connection!SimCity Source Code Released
01/16/2008Every language needs a killer cliquePrediction for 2008
01/09/2008XQuery, SchemePrediction for 2008
01/09/2008No elephant! Their argument....Computer Science Education: Where Are the Software Engineers of Tomorrow?
01/10/2008Yup.Computer Science Education: Where Are the Software Engineers of Tomorrow?
12/27/2007Yes there areModule Level Purity
11/23/2007economics mattersSamurai - Protecting Critical Data in Unsafe Languages
11/24/2007that's mostly "in theory"Samurai - Protecting Critical Data in Unsafe Languages
11/25/2007the original questionWhat are the properties of "Functional Programming Languages"?
11/25/2007functional style and an economic lawWhat are the properties of "Functional Programming Languages"?
11/06/2007No, I have a real answer (re universal types)Universal Type System
11/08/2007splay trees.. yeah, splay treesUniversal Type System
10/26/2007where is my mindGödel, Nagel, minds and machines
10/26/2007hehe... the least fixed concept enters, stage rightGödel, Nagel, minds and machines
10/27/2007constructive infinitiesGödel, Nagel, minds and machines
10/28/2007constructivist orthodoxyGödel, Nagel, minds and machines
10/28/2007the uncountable constructableGödel, Nagel, minds and machines
10/28/2007last try (infinities)Gödel, Nagel, minds and machines
10/28/2007p.s. useful infinitiesGödel, Nagel, minds and machines
10/25/2007XQuery language design issuesXQuery language design issues
10/25/2007postscriptXQuery language design issues
10/25/2007relation to catXQuery language design issues
10/25/2007re confusionXQuery language design issues
10/25/2007so (confusion II):XQuery language design issues
10/25/2007I don't know the history but, the built environment...XQuery language design issues
11/02/2007Vaughn Pratt's objectionThe simplest mechanism with Turing-equivalent power to date ...
11/02/2007unbounded lbaThe simplest mechanism with Turing-equivalent power to date ...
11/03/2007TMs vs. "GPC" questionThe simplest mechanism with Turing-equivalent power to date ...
11/02/2007computing vs. leaving evidence of computationThe simplest mechanism with Turing-equivalent power to date ...
11/08/2007don't have time to work on itThe simplest mechanism with Turing-equivalent power to date ...
10/23/2007what you say is trueECMAScript 4 overview paper
10/26/2007I had the opposite reactionECMAScript 4 overview paper
10/20/2007OuchThe End of an Architectural Era (It's Time for a Complete Rewrite)
10/23/2007performance artThe End of an Architectural Era (It's Time for a Complete Rewrite)
10/23/2007as long as i'm slinging out large quantities of praiseThe End of an Architectural Era (It's Time for a Complete Rewrite)
10/20/2007brilliant but for programming language choiceThe End of an Architectural Era (It's Time for a Complete Rewrite)
10/22/2007ruby vs. storageThe End of an Architectural Era (It's Time for a Complete Rewrite)
10/12/2007deep thoughtsComputing is a Natural Science
10/05/2007Introducing the XQVM programming language.Introducing the XQVM programming language.
10/05/2007XQuery syntax...Introducing the XQVM programming language.
09/30/2007piggy-back questionLeave of absence
09/14/2007forth in educationMinimal FORTH compiler and tutorial
09/13/2007new hat bandDivaScheme
09/14/2007comments: new ruleDivaScheme
10/01/2007martian loveQ: Modularizing SQL?
09/07/2007easy: use XQueryQ: Modularizing SQL?
09/08/2007missing higher orders in XQuery?Q: Modularizing SQL?
09/08/2007does xquery have...Q: Modularizing SQL?
09/10/2007re Xquery queriesQ: Modularizing SQL?
09/10/2007XQuery vs. ORDB and network modelsQ: Modularizing SQL?
09/04/2007infightingNo Name: Just Notes on Software Reuse
08/30/2007Please don't overlookR6RS Validated
08/29/2007for the recordR6RS Validated
08/29/2007no point in arguingR6RS Validated
08/30/2007the governance questionR6RS Validated
08/27/2007overloaded terminologyWhat is a state?
08/10/2007thank youJVM Languages group
08/04/2007(retracted comment)Amazon Flexible Payments Service
08/04/2007language design vs. webAmazon Flexible Payments Service
08/05/2007XML syntax fooAmazon Flexible Payments Service
08/08/2007DOM syntax modelsAmazon Flexible Payments Service
08/07/2007an old sawSyntactic abstraction? (newbie question)
08/19/2007sorry i missed thisMonad Description For Imperative Programmer
08/19/2007monads for the intuitive imperative programmerMonad Description For Imperative Programmer
07/30/2007human-scale spam swattingLtU turns 7: The year of spam
07/23/2007hehWrapping the Cloud with .NET
07/13/2007I think.....Type inference for free?
07/12/2007metaphysicsA Natural Axiomatization of Church's Thesis
07/07/2007words are quasi-combinators, not functionsForth in hardware ("not dead yet")
07/01/2007sign of things to comeHaskell web store
06/23/2007Good policy!Standing on each others' feet
08/24/2009one of my few area of expertiseRegular Expression Matching Can Be Simple And Fast
08/26/2009flattery will get us.... where?Regular Expression Matching Can Be Simple And Fast
08/26/2009nikeRegular Expression Matching Can Be Simple And Fast
08/26/2009continuing, but barelyRegular Expression Matching Can Be Simple And Fast
09/16/2009complexity of regular language recognitionRegular Expression Matching Can Be Simple And Fast
09/16/2009implementing backreferencesRegular Expression Matching Can Be Simple And Fast
09/17/2009last word (?) in this subthreadRegular Expression Matching Can Be Simple And Fast
05/14/2008the smartaleck solutionProgramming (language) puzzles
04/28/2008Make sense?Lisp Lovers, how would you fix Lisp or bring it up to date?
04/28/2008Not that C is the ultimate answer but....Lisp Lovers, how would you fix Lisp or bring it up to date?
04/28/2008boring agreementLisp Lovers, how would you fix Lisp or bring it up to date?
04/28/2008C's dominance and alternative approachLisp Lovers, how would you fix Lisp or bring it up to date?
03/24/2009in defense of KayACM Queue: A Conversation with Alan Kay
08/23/2007Dynamic != UnittypeWhy type systems are interesting
10/26/2007intuition for imperitively trained programmersExplaining monads

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive

Chris Rathman/ Chris.Rathman@tx.rr.com