Lambda the Ultimate Weblog Topics
Last Updated 09/08/2011

Posts By: Darius Bacon

  Date    Post    Topic  
12/05/2007This idea sounds rather likeDySy: Dynamic Symbolic Execution for Invariant Inference
10/07/2007A better understanding ofComputing is a Natural Science
07/05/2007I think you're confusing theAsynchronous calls and error handling
01/04/2007WalkWhy numbering should start at 0
12/04/2006self referencesPossibly the world's shortest APL interpreter
08/02/2006Here's another proposal withLisp sans (((paren-theses ((hell)))))
07/14/2006Even bettercomputerhistory's History of LISP
07/18/2006Francis Bacon version 2.0computerhistory's History of LISP
07/18/2006distelEvent-Based Programming without Inversion of Control
07/07/2006Security and new attacksFailure-oblivious computing
07/08/2006C89 did not define whatFailure-oblivious computing
07/11/2006More codeDSLs and operator associativity/precedence
07/08/2006Top-down operator precedenceDSLs and operator associativity/precedence
05/26/2006CausewayBackwards debugging
05/09/2006ThanksA Hacker's Introduction to Partial Evaluation
05/09/2006Prior workDesigning a Type Notation for a Stack Based Functional Language
01/02/2006Tiny BasicFavourite Use of Embedded Interpreters?
12/07/2005I wrote some longer toy progrActual programs written in FP or FL?
11/25/2005PAIPCode Reading
12/08/2005KnuthCode Reading
10/09/2005Smith and NairVirtual Machine books
05/11/2005Analogy to the WWWsubtext: Uncovering the simplicity of programming
05/11/2005static visibilitysubtext: Uncovering the simplicity of programming
05/06/2005Rather, let's each make a different languageLet's make a programming language!
03/01/2005Path expressionsSPARQL Query Language for RDF
02/05/2005More textbooks should have wikisCTM wiki
10/06/2004HLSIM amorphous computingProbabilistic languages for kids?
09/28/2004Several years ago Luke GorrieWikiTalk
08/02/2004Cleaned-up versionAlan Kay: The Early History of Smalltalk
07/31/2004Supercomputer ToolkitTechniques for JIT (parallel?) compilation of straight line numerical code
07/30/2004Crick wrote an excellent autoFrancis Crick (1916-2004)
07/26/2004Another versionA Methodology for Generating Verified Combinatorial Circuits
07/19/2004There's an old book by FilmanSummary of techniques / approaches / models / languages for parallel computation
06/30/2004Bawden's thesisNets: Petri vs Lafont
06/27/2004Optimal sharingAbstractionless programming
06/17/2004Re: No new items?No new items?
05/25/2004Re: Turing completeness is not?Turing completeness is not?
04/29/2004Re: Udell: Radical software customizationUdell: Radical software customization
04/04/2004Re: Simple scripting languageSimple scripting language
04/05/2004Re: Simple scripting languageSimple scripting language
04/02/2004Re: Dying TonguesDying Tongues
03/31/2004Re: Implementing Distributed Systems Using Linear NamingImplementing Distributed Systems Using Linear Naming
03/31/2004Re: Parallel-Concurrent Programming Dept.Parallel-Concurrent Programming Dept.
03/16/2004Re: The Fault Tolerant ShellThe Fault Tolerant Shell
03/07/2004Re: Book Review: Purely Functional Data StructuresBook Review: Purely Functional Data Structures
02/06/2004Re: Currying of Complex InterfacesCurrying of Complex Interfaces
01/27/2004Re: Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )
01/27/2004Re: Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )
01/28/2004Re: Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )
01/18/2004Re: Processing: A language for visual artsProcessing: A language for visual arts
01/17/2004Book on game scripting interpretersBook on game scripting interpreters
01/07/2004Re: Canonware OnyxCanonware Onyx
12/15/2003Re: Reading, Writing, and CodeReading, Writing, and Code
12/17/2003Re: Reading, Writing, and CodeReading, Writing, and Code
12/17/2003Re: 100 prisoners and a light bulb100 prisoners and a light bulb
12/18/2003Re: 100 prisoners and a light bulb100 prisoners and a light bulb
11/28/2003Re: Why Functional Programming MattersWhy Functional Programming Matters
11/24/2003Re: PyLogoPyLogo
11/16/2003Re: Making reliable distributed systems in the presence of software errorsMaking reliable distributed systems in the presence of software errors
11/18/2003Re: Making reliable distributed systems in the presence of software errorsMaking reliable distributed systems in the presence of software errors
11/01/2003Re: Zero Button TestingZero Button Testing
11/01/2003Re: Zero Button TestingZero Button Testing
10/31/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
10/31/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
11/05/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
10/17/2003Re: AliceAlice
10/17/2003Re: Spreadsheet LanguagesSpreadsheet Languages
10/17/2003Re: Proofs and TypesProofs and Types
07/16/2003Re: Invocations as objectsInvocations as objects
07/17/2003Re: Invocations as objectsInvocations as objects
07/14/2003Re: Neal Stephenson's USENIX keynoteNeal Stephenson's USENIX keynote
06/19/2003Re: Point Free StylePoint Free Style
06/16/2003Re: The Little Coder's PredicamentThe Little Coder's Predicament
05/29/2003Re: Erlang is IckyErlang is Icky
05/27/2003Re: What's wrong with C++ templates?What's wrong with C++ templates?
08/01/2003Re: Naked ObjectsNaked Objects
04/15/2003Re: SpamSpam
04/13/2003Programming language booksaleProgramming language booksale
04/13/2003Re: Programming language booksaleProgramming language booksale
04/14/2003Re: Programming language booksaleProgramming language booksale
04/14/2003Re: Programming language booksaleProgramming language booksale
04/08/2003Re: DPROGDPROG
04/08/2003Re: DPROGDPROG
04/08/2003Re: DPROGDPROG
04/10/2003Re: DPROGDPROG
04/10/2003Re: DPROGDPROG
04/12/2003Re: DPROGDPROG
04/06/2003Re: Glowing review of Shared Source CLI EssentialsGlowing review of Shared Source CLI Essentials
04/06/2003Re: Toward an architecture for quantum programmingToward an architecture for quantum programming
03/12/2003Re: Lisp powers Jak & Daxter at Naughty DogLisp powers Jak & Daxter at Naughty Dog
03/10/2003Re: Defensive programming in erlangDefensive programming in erlang
03/12/2003Re: Defensive programming in erlangDefensive programming in erlang
01/02/2003Re: Distel: Distributed Emacs Lisp (for Erlang)Distel: Distributed Emacs Lisp (for Erlang)
01/02/2003Re: Auditors: An Extensible, Dynamic Code Verification MechanismAuditors: An Extensible, Dynamic Code Verification Mechanism
11/30/2002APL crosswordsAPL crosswords
11/02/2002Re: Sugar project?Sugar project?
10/27/2002Re: Notes on Postmodern ProgrammingNotes on Postmodern Programming
08/15/2002Re: Hacker's Introduction to Partial EvaluationHacker's Introduction to Partial Evaluation
08/06/2002Re: Embedding Prolog in HaskellEmbedding Prolog in Haskell
06/08/2003Re: Playing with the GNAT Run TimePlaying with the GNAT Run Time
06/09/2003Re: Playing with the GNAT Run TimePlaying with the GNAT Run Time
06/15/2002Re: proof that (call/cc (lambda (c) (0 (c 1)))) => 1proof that (call/cc (lambda (c) (0 (c 1)))) => 1
05/20/2003Re: Revisiting an old thread: choosing a foundation languageRevisiting an old thread: choosing a foundation language
01/04/2002Re: E - secure,distributed, pure OOP and p2p scripting languageE - secure,distributed, pure OOP and p2p scripting language
01/04/2002Re: E - secure,distributed, pure OOP and p2p scripting languageE - secure,distributed, pure OOP and p2p scripting language
11/24/2001Re: Domain-Specific Languages: An Annotated BibliographyDomain-Specific Languages: An Annotated Bibliography

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