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

Posts By: Z-Bo

  Date    Post    Topic  
07/07/2012Some challenge problems and food for thoughtImmediate mode GUIs
07/14/2012A different way to look at retained vs. immediate modeImmediate mode GUIs
07/18/2012Glitch freedomImmediate mode GUIs
07/18/2012Dude, terminology totally depends on what tricks you pull :)Immediate mode GUIs
07/14/2012So to handle that impedanceImmediate mode GUIs
07/14/2012Amen.Immediate mode GUIs
07/10/2012So a simple exampleErik Meijer started a discussion on Domain Specific Languages
07/10/2012Why embedded DSLs are preferredErik Meijer started a discussion on Domain Specific Languages
06/25/2012Hyper-efficient at what?ACM A.M. Turing Centenary Celebration
06/25/2012Here's why I disagreeACM A.M. Turing Centenary Celebration
06/17/2012You only break RT if you observe the exception value and changeWhy are exceptions not described as 'purely functional'?
06/18/2012This paper is for Control.ExceptionWhy are exceptions not described as 'purely functional'?
06/10/2012Sure, I have many :)Why Do Some Programming Languages Live and Others Die?
06/10/2012DSFinderWhy Do Some Programming Languages Live and Others Die?
06/10/2012An asideWhy Do Some Programming Languages Live and Others Die?
06/18/2012Some thoughts and partial answersWhy Do Some Programming Languages Live and Others Die?
06/18/2012Nobody understands JQueryWhy Do Some Programming Languages Live and Others Die?
06/18/2012Objects and closures are the same in lexically scoped languagesWhy Do Some Programming Languages Live and Others Die?
05/27/2012How is this an elegant leap for structuring code?D3: Thinking with Joins
05/28/2012Fair questionD3: Thinking with Joins
05/28/2012I think I see where I am notD3: Thinking with Joins
05/26/2012Concurrency without sharedLanguages & Niches
05/26/2012Concurrency implies control and informationLanguages & Niches
06/02/2012Concurrency is also not toLanguages & Niches
03/31/2012FunnyQuantitative comparison of unit testing vs. static typing?
03/31/2012Thank You!Quantitative comparison of unit testing vs. static typing?
04/07/2012Some further refinement necessaryQuantitative comparison of unit testing vs. static typing?
04/08/2012Re: Why do you say that?Quantitative comparison of unit testing vs. static typing?
04/09/2012Hey, dude, it already exists.Quantitative comparison of unit testing vs. static typing?
03/31/2012Please see Ken Arnold's work on ScratchEscaping the Maze of Twisty Classes
04/13/2012What in particular doesn't scale well?Retrospective Thoughts on BitC
04/06/2012More complex air conditionersParsing: The Solved Problem That Isn't
04/06/2012Yes, it helps.Parsing: The Solved Problem That Isn't
03/24/2012Miro Samek's Quantum Framework handles statechartsHow to Generate (Hard) Real-Time Code from Declarative Programming Languages?
03/27/2012Issues with Statechart implementations, including QuantumHow to Generate (Hard) Real-Time Code from Declarative Programming Languages?
03/24/2012First and second sentences seem incongruentHow to Generate (Hard) Real-Time Code from Declarative Programming Languages?
03/29/2012What is meant by oversubscribed hardware?How to Generate (Hard) Real-Time Code from Declarative Programming Languages?
03/27/2012Answer, Part 1How to Generate (Hard) Real-Time Code from Declarative Programming Languages?
03/29/2012Answer, Part 2How to Generate (Hard) Real-Time Code from Declarative Programming Languages?
03/11/2012Scala's evolutionReferences about the importance of formalism in programming language design
03/11/2012McCarthy's Lisp paper, 1960References about the importance of formalism in programming language design
03/11/2012More inspirationReferences about the importance of formalism in programming language design
03/17/2012If you are asking a question...References about the importance of formalism in programming language design
01/30/2012Regehr should read Sutherland's Wheel of Reincarnation paperSTEPS 2011 Progress Report (personal computing in 20kLOC)
01/30/2012Not plausible, realSTEPS 2011 Progress Report (personal computing in 20kLOC)
01/30/2012outfixSTEPS 2011 Progress Report (personal computing in 20kLOC)
01/31/2012YesSTEPS 2011 Progress Report (personal computing in 20kLOC)
02/01/2012Let me rephraseSTEPS 2011 Progress Report (personal computing in 20kLOC)
04/29/2012One paper does not make the argument convincingSTEPS 2011 Progress Report (personal computing in 20kLOC)
04/29/2012See this for what it isSTEPS 2011 Progress Report (personal computing in 20kLOC)
11/22/2011Breaking down Sean's remarksREPL-schmepl?
11/17/2011Paralation Model (Gary Sabot/Guy Blelloch)Models for distributed parallelism
11/23/2011Rephrasing your problemModels for distributed parallelism
11/15/2011Have you, Ken and Oleg discussed the more general problem here?Flash and cross platform mobile web technologies
11/11/2011Just a reference pointIs the Expression Problem Fundamental?
11/12/2011I deliberately left out the extensibility problemIs the Expression Problem Fundamental?
11/13/2011One nitIs the Expression Problem Fundamental?
11/15/2011The types aren't the source of leak, I thinkIs the Expression Problem Fundamental?
11/16/2011The power of abstractionIs the Expression Problem Fundamental?
11/16/2011A link to discussion on Hacker NewsIs the Expression Problem Fundamental?
11/14/2011However, those intersectionIs the Expression Problem Fundamental?
11/02/2011Soft AdviceHow to determine your new language is perfect?
10/31/2011Some limitations of programming with typesExtensible Programming with First-Class Cases
11/01/2011I'm curious why this couldn't be modeled in HaskellExtensible Programming with First-Class Cases
10/28/2011Maybe it's because...Perl vs. Random Syntax
10/27/2011Microsoft Roslyn Project whitepaperMicrosoft Roslyn Project whitepaper
10/28/2011Hmm..."We Really Don't Know How to Compute!" by Gerald Sussman
11/19/2011I know a few"We Really Don't Know How to Compute!" by Gerald Sussman
10/31/2011Revisionist history"We Really Don't Know How to Compute!" by Gerald Sussman
10/31/2011I disagree with Sussman,"We Really Don't Know How to Compute!" by Gerald Sussman
10/31/2011So how do you test your feedback system is robust and..."We Really Don't Know How to Compute!" by Gerald Sussman
10/31/2011Not all biological systems are highly emergent in that sense"We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011It's from 1993"We Really Don't Know How to Compute!" by Gerald Sussman
11/10/2011Can you rephrase?"We Really Don't Know How to Compute!" by Gerald Sussman
11/10/2011Good point."We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011Ivan Sutherland's Fleet architecture?"We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011Not exactly, but"We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011Probabilistic language"We Really Don't Know How to Compute!" by Gerald Sussman
10/17/2011PowerShell is structured around RADModern Shell Language
10/18/2011Issues with locks are well-known"Crutches in language design", accidental complexity and feature overlap
10/19/2011Gilad comments on Alan Knight's "I wish Dart were Smalltalk"Google's Dart announced
10/11/2011I asked Don about handling trillions of web "types"F# type providers
10/04/2011My tl;dr answerWhat space does SQL cover, or, why is max so weird in SQL?
10/07/2011They do mean something slightly differentWhat space does SQL cover, or, why is max so weird in SQL?
09/29/2011Read the PEG mailing list archive on MIT.eduParsing expression grammar
09/29/2011Yes, MapReduce is not the only game in townParallel frameworks for graph processing
10/03/2011OOPs!Parallel frameworks for graph processing
10/13/2011Video for the talkParallel frameworks for graph processing
10/04/2011InterestingMetaphors we Program By: Space, Action and Society in Java
09/20/2011I think you misread TimWhat Does Functional Programming Mean?
09/20/2011State continuumWhat Does Functional Programming Mean?
09/28/2011The Rendering EquationSample applications for programming languages
09/28/2011Reasonable time is the challengeSample applications for programming languages
09/15/2011Google's "The Future of JavaScript" internal memo leakedGoogle's "The Future of JavaScript" internal memo leaked
09/23/2011To Brendan EichGoogle's "The Future of JavaScript" internal memo leaked
09/19/2011Ugly but INeffectiveThe SAFE Platform
09/12/2011First link brokenA Semantic Model for Graphical User Interfaces
09/09/2011Most RDBMS procedural languages need higher-order functionsWhat needs to be done?
09/12/2011I'll give you an example, you give me your exampleWhat needs to be done?
09/13/2011Ah! But is laziness the best way to separate concerns betweenWhat needs to be done?
08/30/2011Stories vs. Forum topicsForum Topics and Story
05/25/2011TangentThe Architecture of Open Source Applications
05/25/2011I really liked the LLVM chapter, actuallyThe Architecture of Open Source Applications
05/23/2011History of Java is very interestingRob Pike: Public Static Void
05/23/2011People don't changeRob Pike: Public Static Void
05/26/2011node.js is your typical open source projectRob Pike: Public Static Void
05/23/2011I'd like to see you try to tell the same story for either PascalRob Pike: Public Static Void
05/23/2011I simply agree with ThomasRob Pike: Public Static Void
05/17/2011Get your hands on the actual paperArtificial Grammar Reveals Inborn Language Sense
05/17/2011Story I once heard Ungar tellWhy is tail call optimization an issue in GC'd languages?
05/23/2011Side NoteWhy is tail call optimization an issue in GC'd languages?
05/09/2011Can you clarify?Data Representation Synthesis
05/17/2011ConfusedData Representation Synthesis
05/10/2011NeatEnso: William Cook's new programming model
05/02/2011I'm not familiar with you mentioning Kynetx here; link?Why I invented Kinetic Rule Language (KRL)?
04/24/2011Planning is Just a Way of Avoiding Figuring Out What To Do NextElephants don't play chess
05/23/2011InterestingAsynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
04/16/2011Impressed butCoding at the Speed of Touch
04/18/2011The major barrier to voice innovation...Coding at the Speed of Touch
03/26/2012YesCoding at the Speed of Touch
04/16/2011Needs a ton of workPatterns in Functional Programming
04/22/2011"secret" code for donors?Patterns in Functional Programming
04/16/2011Escape analysis and dead code analysisWide Scope Dead Code Analysis
04/16/2011DefamiliarizationBuild Your Own Blocks (BYOB)
04/12/2011The Early History of Smalltalk paper, clearly...Staking Claims: A History of Programming Language Design Claims and Evidence
04/14/2011I thought he was railing against JavaBean style componentsStaking Claims: A History of Programming Language Design Claims and Evidence
04/14/2011...and stunningly out of contextStaking Claims: A History of Programming Language Design Claims and Evidence
03/30/2011What are your thoughts on AI that can heal broken programs?Finding and Understanding Bugs in C Compilers
03/30/2011VagueFinding and Understanding Bugs in C Compilers
03/30/2011OkayFinding and Understanding Bugs in C Compilers
03/30/2011Rectifiers are a good idea with a bad communication protocolFinding and Understanding Bugs in C Compilers
03/30/2011Model of bugsFinding and Understanding Bugs in C Compilers
03/30/2011Could make for a good blog post, then!Finding and Understanding Bugs in C Compilers
03/30/2011BlahFinding and Understanding Bugs in C Compilers
03/23/2011Yes, schematic evolution isn't dealt with today.Beyond the concept of coupling
03/22/2011Pop culture shouldn't decide vocabularyBob Harper of CMU is blogging about programming languages and introductory CS education
03/23/2011Great post!Bob Harper of CMU is blogging about programming languages and introductory CS education
03/30/2011Shortcuts with "rapid prototyping"Bob Harper of CMU is blogging about programming languages and introductory CS education
03/29/2011To put things in a maybeBob Harper of CMU is blogging about programming languages and introductory CS education
03/22/2011Probably a too wishful opcodeContinuations that store the heap?
03/11/2011What languages do you know, and which do you use regularly?Lingua Lambda
03/14/2011I agreeLingua Lambda
03/08/2011Rule 110 in HTML5 + CSS3Rule 110 in HTML5 + CSS3
03/04/2011Most early multi-paradigm languages had logic paradigmsMiddle History of Logic Programming
03/09/2011Alan Kay's Vivarium project at AppleMiddle History of Logic Programming
03/09/2011Compiling in linear timeMiddle History of Logic Programming
02/28/2011It depends on what you are modeling, and what you want to prove.Can contracts provide the features of type classes, bounded quantification and effect systems?
02/27/2011Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010
02/27/2011Well, I believe he isInfoQ video + transcript of Rob Pike on Go
02/27/2011These questions stunkInfoQ video + transcript of Rob Pike on Go
03/01/2011Muddled with implementation detailsInfoQ video + transcript of Rob Pike on Go
02/25/2011Returning void rather thanEero, an Objective-C Dialect
02/16/2011Do you need custom syntaxExtending Syntax from Within a Language
02/16/2011gensym != hygienicExtending Syntax from Within a Language
02/17/2011Something more impressiveMonads vs. Actors
02/23/2011That's exactly what it saysMonads vs. Actors
02/23/2011Here you go, top of page 151Monads vs. Actors
02/28/2011Do you really want the full quote?Monads vs. Actors
02/23/2011Thoughts on the actual topicMonads vs. Actors
01/31/2011'fi'RSS feed broken?
02/01/2011Your most recent commitInvertible Syntax Descriptions: Unifying Parsing and Pretty Printing
01/25/2011Seeking papers that unify control theory and programming language designSeeking papers that unify control theory and programming language design
01/24/2011What did you find interesting about Curl?I've run out of programming languages to study
01/21/2011You forgot UML ;-0I've run out of programming languages to study
01/24/2011Just wondering...I've run out of programming languages to study
01/24/2011AhemI've run out of programming languages to study
02/01/2011What have you read/seen about Newspeak so far?I've run out of programming languages to study
02/01/2011All old MIT stuff under oldI've run out of programming languages to study
02/04/2011That's not a good chartI've run out of programming languages to study
02/04/2011You are right, sorryI've run out of programming languages to study
02/04/2011As I understand it,I've run out of programming languages to study
02/06/2011I blame it on a kind of geekI've run out of programming languages to study
02/27/2011That's not what I intended to suggestI've run out of programming languages to study
02/03/2011A few moreI've run out of programming languages to study
02/03/2011System behavior would seemI've run out of programming languages to study
02/04/2011I understand what you are sayingI've run out of programming languages to study
01/24/2011I find this discussion of parallelizability confusingguy steele on how (not) to think of parallel programming
01/21/2011Bottom Line: You're rightguy steele on how (not) to think of parallel programming
01/24/2011I meant something elseguy steele on how (not) to think of parallel programming
01/25/2011Sorry, I don't understand ;-(guy steele on how (not) to think of parallel programming
01/25/2011We're not on the same wavelength here, that's the problemguy steele on how (not) to think of parallel programming
01/25/2011Hard, open problems are what computer scientists should pursueguy steele on how (not) to think of parallel programming
01/25/2011Codd wanted, in his abstractguy steele on how (not) to think of parallel programming
01/14/2011You may want to put this on your Google Knol as wellHow to Program the Many Cores for Inconsistency Robustness
01/10/2011YepScala Team Wins ERC Grant
01/11/2011Also,Scala Team Wins ERC Grant
01/10/20111. How convincing is thisScala Team Wins ERC Grant
12/30/2010Does Scala benchmark at 100,000/lines/sec?The AST Typing Problem
12/30/2010As Scala compiles to Java,The AST Typing Problem
12/29/2010The IO Monad is 45 years oldThe IO Monad is 45 years old
12/28/2010ClearlyThe Semicolon Wars
12/20/2010Cliff gave a good talk at VMIL 2010Azul's Pauseless Garbage Collector
12/20/2010That's it.Azul's Pauseless Garbage Collector
12/20/2010So why is Azul interested?Azul's Pauseless Garbage Collector
12/20/20101 is old newsAzul's Pauseless Garbage Collector
12/26/2010AgreedInteresting Standard Libraries to Study
01/04/2011Main themes aren't always the most profitableInteresting Standard Libraries to Study
12/20/2010LibrariesInteresting Standard Libraries to Study
12/22/2010Squeak is in some ways superiorInteresting Standard Libraries to Study
12/26/2010Pharo by Exampe 2, draft chapter on MonticelloInteresting Standard Libraries to Study
12/26/2010You mean reflection APIs like...Interesting Standard Libraries to Study
12/26/2010Right.Interesting Standard Libraries to Study
01/05/2011For example, imho, toInteresting Standard Libraries to Study
01/06/2011I understandInteresting Standard Libraries to Study
01/10/2011Programmers don't understand accounting systemsStressed by Distributed Programming? Well, CALM Down.
12/16/2010Watson is brute force computationIBM's Watson plays Jeopardy champion Ken Jennings in February
02/17/2011data interchange format triviaIBM's Watson plays Jeopardy champion Ken Jennings in February
02/17/2011Hard problems PL community has not effectively tackledIBM's Watson plays Jeopardy champion Ken Jennings in February
02/17/2011Strange, I thought it wasIBM's Watson plays Jeopardy champion Ken Jennings in February
12/08/2010You might also be interested in Cook's BatchesSemi-implicit batched remote code execution as staging
12/13/2010'Superior' is handwavySemi-implicit batched remote code execution as staging
12/14/2010Reducing roundtrips doesn't necessarily buy you performanceSemi-implicit batched remote code execution as staging
12/17/2010Object capability securitySemi-implicit batched remote code execution as staging
12/17/2010Safety comes in many formsSemi-implicit batched remote code execution as staging
12/07/201050,000 foot viewsGhosts of Unix Past: a historical search for design patterns
12/03/2010I agree with DavidHaskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit
12/03/2010I thought this was the best partHaskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit
11/29/2010Pure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010Pure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010
11/29/2010Did they implement a CPure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010
11/30/2010They're not complainingPure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010
12/06/2010Practitioners in the field seem to have an agendaPure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010
11/29/2010meta object protocolTolerant vs. Demanding Software
12/03/2010Sorry for being dumbTolerant vs. Demanding Software
12/18/2010ExamplesTolerant vs. Demanding Software
12/17/2010I would really appreciate ifTolerant vs. Demanding Software
11/28/2010Are the code examples complete?Seven Languages in Seven Weeks
11/28/2010But with luck, the bookSeven Languages in Seven Weeks
11/27/2010I agreeInconsistency Robustness 2011 at Stanford
12/13/2010Slowish, but energy conserving VM"Future of Programming Languages" panel
11/24/2010How long can we have that guarantee?What is computation? Concurrency versus Turing's Model
11/24/2010Get better - how?What is computation? Concurrency versus Turing's Model
11/17/2010REQUEST: Java-Genericity Mailing List ArchivesREQUEST: Java-Genericity Mailing List Archives
11/16/2010Most IDEs have search engines everywhereThe Free-Form Linguistics Revolution in Mathematica
11/17/2010welll...Clojure's Solutions to the Expression Problem
11/27/2010Not really. First-classClojure's Solutions to the Expression Problem
11/17/2010defining the expression problemClojure's Solutions to the Expression Problem
11/16/2010Forgetting your historyClojure's Solutions to the Expression Problem
11/17/2010Read Vadim's postClojure's Solutions to the Expression Problem
11/17/2010Martin's cryptic comments - Revealed!Clojure's Solutions to the Expression Problem
11/22/2010That wasn't the point of the discussionClojure's Solutions to the Expression Problem
11/15/2010Stats courseA Preliminary Survey on Functional Programming
11/15/2010What is he (not) making fun of?A Preliminary Survey on Functional Programming
11/15/2010That's now how I read itA Preliminary Survey on Functional Programming
11/16/2010I disagreeA Preliminary Survey on Functional Programming
11/16/2010I agreeA Preliminary Survey on Functional Programming
11/16/2010I only know oneA Preliminary Survey on Functional Programming
11/16/2010Wadler once proposed theA Preliminary Survey on Functional Programming
11/17/2010You'll need to ask John Galt that questionA Preliminary Survey on Functional Programming
11/15/2010Well...A Preliminary Survey on Functional Programming
11/15/2010Yeah, clearlyA Preliminary Survey on Functional Programming
11/15/2010Getting information without surveysA Preliminary Survey on Functional Programming
11/16/2010Odd that I had to find outA Preliminary Survey on Functional Programming
11/04/2010See Also on LtUSawzall Language Open Sourced
11/02/2010Visionary programming for statisticsvisual programming of R: Red-R
11/16/2010Existence of gatesConservative Logic
10/30/2010Video problemsProgramming Languages Panel Streaming Live Today (10/28/2010 16:30 PST GMT-7)
10/30/2010SaaSProgramming Languages Panel Streaming Live Today (10/28/2010 16:30 PST GMT-7)
11/01/2010Right. I didn't contradictProgramming Languages Panel Streaming Live Today (10/28/2010 16:30 PST GMT-7)
11/02/2010ThanksProgramming Languages Panel Streaming Live Today (10/28/2010 16:30 PST GMT-7)
10/27/2010Comprehensive overview of security models?Comprehensive overview of security models?
10/28/2010Comprehensive overview of security models?Comprehensive overview of security models?
11/02/2010Layman general security descriptionComprehensive overview of security models?
10/28/2010Scott McKay is the original tragedy/farce citation in PLThe Myths of Object-Orientation
10/28/2010More to resilience and robustness than node fault toleranceThe Myths of Object-Orientation
10/29/2010Message passing hasThe Myths of Object-Orientation
10/29/2010They've also built custom tools for distributing objectsThe Myths of Object-Orientation
10/27/2010Regarding the myths:The Myths of Object-Orientation
10/30/2010ClarificationThe Myths of Object-Orientation
11/01/2010Amen.The Myths of Object-Orientation
11/02/2010I see networking as justThe Myths of Object-Orientation
10/29/2010This seems attached to language design when it arguably...The Myths of Object-Orientation
11/05/2010well...The Myths of Object-Orientation
10/26/2010Great paper!Using Hackage to Inform Language Design
10/14/2010For example, I suspect muchIntel's Array Building Blocks (was Rapidmind) : What do the purists and pragmatists think?
10/14/2010Isn't this missing the challenge?Intel's Array Building Blocks (was Rapidmind) : What do the purists and pragmatists think?
10/14/2010but the level at which theThe barrier to take-up of language innovation
10/25/2010Sounds like a great paper for Onward 2010The barrier to take-up of language innovation
10/14/2010Great comment!The barrier to take-up of language innovation
10/14/2010I don't understand your comment "ya, life sucks"The barrier to take-up of language innovation
10/15/2010I just didn't understandThe barrier to take-up of language innovation
10/15/2010I don't see it happening (in my lifetime)The barrier to take-up of language innovation
10/25/2010It has to be driven by the problem domainThe barrier to take-up of language innovation
10/15/2010It's funnyThe barrier to take-up of language innovation
10/13/2010It's funny, I've foundThe barrier to take-up of language innovation
10/25/2010This won't happen in theThe barrier to take-up of language innovation
10/04/2010Language-driven OSesTurning down the LAMP: Software specialization for the cloud
10/04/2010Benchmark?Turning down the LAMP: Software specialization for the cloud
10/05/2010W/ regards to benchmarksTurning down the LAMP: Software specialization for the cloud
10/08/2010History of RopesDesign Principles Behind Smalltalk
10/08/2010Has what you say about theDesign Principles Behind Smalltalk
10/14/2010Butler Lampson's page as good as anyDesign Principles Behind Smalltalk
10/13/2010LVI. Old and new tables, #29: the diamond & kitchen coalDesign Principles Behind Smalltalk
10/06/2010The veil you are liftingDesign Principles Behind Smalltalk
10/26/2010So is SqueakNOS (Squeak No Operating System)Design Principles Behind Smalltalk
10/04/2010Visionary directions for languagesFexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction
09/30/2010Now, if we only extend theSoftware Development with Code Maps
10/01/2010But what kind of power areSoftware Development with Code Maps
09/30/2010= and != both yield type cast errors hereSoftware Development with Code Maps
09/30/2010A more plainly spoken paperSoftware Development with Code Maps
09/30/2010YesSoftware Development with Code Maps
09/30/2010Excellent related reading in "See also" sectionSoftware Development with Code Maps
09/30/2010Hard person to GoogleSoftware Development with Code Maps
10/01/2010Did you see the See Also section of the article?Software Development with Code Maps
10/01/2010they're rolled into one techSoftware Development with Code Maps
09/29/2010Off-topic: When are you going to build a FORTH implementation?Eff - Language of the Future
09/27/2010C preprocessor is PDAOmega - Language of the Future
09/29/2010Neat. Check out:High-level constructs for low-level C: exception handling, RAII, sum types and pattern matching
09/28/2010This is a tallWhat is the best system for experimenting with and visualizing complex algorithms?
09/28/2010Computer Algebra SystemsWhat is the best system for experimenting with and visualizing complex algorithms?
09/20/2010In discussions with theOoO Java
09/17/2010Tactile programming languagesProgramming with touch?
09/17/2010Adapting Common Lisp's SLIMEProgramming with touch?
09/17/2010I've never owned a Symbolics Lisp machine or Open Genera systemProgramming with touch?
09/28/2010Updated 2009New Dataflow Programming Language
09/28/2010Whereas Microsoft also seemsNew Dataflow Programming Language
09/28/2010You don't need MultiBinding for thatNew Dataflow Programming Language
09/28/2010The only way to doNew Dataflow Programming Language
09/28/2010I really need test code INew Dataflow Programming Language
09/28/2010HOW?New Dataflow Programming Language
09/15/2010In most mixfix systems, allMildly Extended MixFix
09/20/2010What? Precedence is not enough for disambiguationMildly Extended MixFix
09/23/2010No, it's what Guy Steele wrote when trolling Todd Proebsting:Mildly Extended MixFix
09/17/2010Combine or //serve// too darn many reponsibilities?principle of least authority and programming languages
09/13/2010WeirdFortifying Macros
09/15/2010No they don'tFortifying Macros
09/14/2010Part-way through misses the best partFortifying Macros
09/07/2010Is Transactional Programming Actually Easier?Is Transactional Programming Actually Easier?
09/08/2010Ease of implementationIs Transactional Programming Actually Easier?
09/08/2010OKay, great pointsIs Transactional Programming Actually Easier?
09/10/2010Don't want to annoy you :)Is Transactional Programming Actually Easier?
09/07/2010Joe Duffy: A (brief) retrospective on transactional memoryJoe Duffy: A (brief) retrospective on transactional memory
09/08/2010WellJoe Duffy: A (brief) retrospective on transactional memory
09/03/2010Have any other languagesJ's concepts rank, composition, and GC
08/30/2010Maybe you should explain whyChoosing a VM for a concurrent language
09/03/2010Brain Dump (Continuations, etc.)Choosing a VM for a concurrent language
08/30/2010The original Multi-paradigm langauge: LedaSapir-Whorf 70 years on
08/30/2010PL insights into languageSapir-Whorf 70 years on
09/03/2010Notes on avoiding go toSapir-Whorf 70 years on
09/03/2010What Dijkstra said:Sapir-Whorf 70 years on
12/20/2010Xref: Guy Steele in Dr. Dobb's 2006: Thoughts on Language DesignSapir-Whorf 70 years on
09/02/2010that is from Introduction to Mathematics (1911)Sapir-Whorf 70 years on
08/27/2010Elsevier's Dictionary ofCS and mathematics dictionary
08/27/2010Wikis, forums, etc.Theoretical Computer Science StackExchange Beta now open
08/30/2010CompilerDesign StackExchange community...Theoretical Computer Science StackExchange Beta now open
08/26/2010Free PDFComputational equivalent of incompleteness theorems?
08/24/2010Sounds (and looks) to me like nonsenseUnifying Actors and Objects?
08/27/2010Active objects are justUnifying Actors and Objects?
08/30/2010I don't knowUnifying Actors and Objects?
09/15/2010Google Search :)Unifying Actors and Objects?
08/23/2010HumusUnifying Actors and Objects?
08/23/2010JoCaml and Polyphonic C#/C_omegaUnifying Actors and Objects?
09/14/2010Become is how Hewitt models effects in an open systemUnifying Actors and Objects?
09/14/2010In effect, yesUnifying Actors and Objects?
08/24/2010Syntactic encodingThe Grafwegen Hi Compiler named Hic release 0.1
08/25/2010I meant sealedThe Grafwegen Hi Compiler named Hic release 0.1
08/19/2010dependsMiguel de Icaza on Java lawsuit
08/19/2010What is 1.6bil worth 12 years later?Miguel de Icaza on Java lawsuit
03/22/2011Great White Buffalodoes your language need a memory model?
03/22/2011I'm just randomdoes your language need a memory model?
08/18/2010The amount of nondeterminismType Classes as Objects and Implicits
08/20/2010I don't think we're talkingType Classes as Objects and Implicits
08/19/2010Why did they get rid of theType Classes as Objects and Implicits
08/18/2010It occurs to me that if moreType Classes as Objects and Implicits
08/18/2010Then maybe you couldType Classes as Objects and Implicits
09/01/2010It is not really analogous to the OPWhat Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common
08/04/2010Where can I get Eden and try it out?CUFP 2010
08/04/2010Why should languages be based on implementation?CUFP 2010
08/04/2010Most of it IS open sourceCUFP 2010
08/04/2010I didn't mean it as a requirementCUFP 2010
08/02/2010Carl,Incompleteness Theorems: The Logical Necessity of Inconsistency
08/02/2010What systems do you design and work with?Incompleteness Theorems: The Logical Necessity of Inconsistency
08/02/2010Your well-defined subsystemIncompleteness Theorems: The Logical Necessity of Inconsistency
08/02/2010S3 2008 - Piumarta & Warth - "open, Extensible Object Models"Looking for a language like...
08/03/2010RE: Related Work (& other stuff)Deprecating the Observer Pattern
08/03/2010From my understanding of itsDeprecating the Observer Pattern
08/04/2010A monadic interface doesn'tDeprecating the Observer Pattern
08/03/2010Total accounts are also misleadingIt's been ten years!
07/27/2010OSCON 2010 Emerging Languages CampOSCON 2010 Emerging Languages Camp
09/20/2010This link is now brokenOSCON 2010 Emerging Languages Camp
07/23/2010Creating a semantically ambiguous language?The Mirah Language
07/26/2010What BS?The Mirah Language
07/20/2010I predict that after that,The Future of C#
07/23/2010What does 'has it beat' mean?The Future of C#
07/26/2010Technically, no.The Future of C#
07/28/2010I agree with the sentimentThe Future of C#
07/22/2010CLR 5.0?The Future of C#
07/29/2010Lisa Feigenbaum on C# futureThe Future of C#
07/21/2010Reading the holy book for freeIs lambda calculus a logic?
07/13/2010I've seen this before!Generative Grammar-based Computation
07/13/2010Teaching with an IDEApp Inventor: Programming for non-programmers... again
07/15/2010Folks,App Inventor: Programming for non-programmers... again
07/08/2010it also has massiveThe Rust Language
07/08/2010Whoa, derThe Rust Language
07/09/2010I think what you are sayingThe Rust Language
07/19/2010sylvan,The Rust Language
07/27/2010Machine Learning and toolingThe Rust Language
07/20/2010Zach's lightweight sharing annotations [PLDI2009] & SingularityThe Rust Language
07/27/2010I made two mistakesThe Rust Language
07/26/2010Small nitThe Rust Language
07/07/2010Thank YouUncle Bob's talk at RailsConf 2010
07/02/2010Listen to an expertLogic programming based GUI framework
07/02/2010Yes, most windowing libraries I believe assume DAGLogic programming based GUI framework
07/02/20101) x:Name is gross and x:UidLogic programming based GUI framework
07/26/2010This doesn't really solveLogic programming based GUI framework
07/28/2010"flexible views"?Logic programming based GUI framework
07/29/2010Solve the problem by avoiding itLogic programming based GUI framework
07/30/2010Solve the problem by avoiding itLogic programming based GUI framework
07/29/2010Formlets has good ideasLogic programming based GUI framework
07/30/2010RE: Safe Templating EnginesLogic programming based GUI framework
07/30/2010It may not beLogic programming based GUI framework
07/30/2010What does your high-level UI widget for a "data grid" look like?Logic programming based GUI framework
07/30/2010Full Review LaterLogic programming based GUI framework
06/26/2010Xtext is quite ad-hocXtext: An IDE on the cheap
06/28/2010I do not understand your feedbackXtext: An IDE on the cheap
06/29/2010Still talking past each otherXtext: An IDE on the cheap
06/26/2010MSFT isn't pushing Oslo any moreXtext: An IDE on the cheap
06/29/2010Thanks for thisXtext: An IDE on the cheap
06/29/2010Anything else outXtext: An IDE on the cheap
07/02/2010e.g., to figure out theSF-calculus
07/02/2010Let me see...SF-calculus
06/26/2010Alan KayHow important is language support for namespace management?
06/26/2010A little harder to get right than you might thinkHow important is language support for namespace management?
06/30/2010It is saying that as you addHow important is language support for namespace management?
07/12/2010NoHow important is language support for namespace management?
06/24/2010Why Undergraduates Should Learn the Principles of Programming LanguagesWhy Undergraduates Should Learn the Principles of Programming Languages
06/24/2010Did you read the first paragraph?Why Undergraduates Should Learn the Principles of Programming Languages
06/29/2010What Dijkstra WantedWhy Undergraduates Should Learn the Principles of Programming Languages
06/26/2010RelatedWhy Undergraduates Should Learn the Principles of Programming Languages
06/18/2010Off by one errorhappy rebirth day, LtU NG!
06/25/2010Just go to a PHP meeting in a major cityhappy rebirth day, LtU NG!
06/15/2010IEEE Reuse doctrineEvaluating code quality
06/18/2010Photos can jog memoryEvaluating code quality
06/15/2010Web site issuesC-Machine
06/11/2010Forum "Unread Posts" bugForum "Unread Posts" bug
06/08/2010The Little Racketeer: A Pocket Guide to Smuggling ParenthesesRacket Released
06/09/2010Can they steal your executive summary?Racket Released
06/07/2010LinkyData schema languages
06/14/2010I have Framing Software Reuse, an elongated book format diatribesome critiques of the Semat initiative
06/08/2010Software engineering != civil engineeringsome critiques of the Semat initiative
06/08/2010Linkysome critiques of the Semat initiative
05/21/2010Alan Kay's 70thAlan Kay's 70th
05/25/2010BTWAlan Kay's 70th
05/27/2010My impression, being out inAlan Kay's 70th
05/27/2010We didn't have ConcurrentAlan Kay's 70th
05/14/2010The Right ToolThe Right Tool
05/12/2010See alsoOn Iteration
05/18/2010it would be fun to read"Critical code studies"
05/18/2010Inside joke"Critical code studies"
05/12/2010Type errors (called catcallsA solution to the catcall problem in Eiffel
05/07/2010Where can I buy the Anton spam monitoring daemon?Spam filters
05/10/2010Most books I buy I paid $4 shipped forCode Quarterly - The Hackademic Journal
05/04/2010Telephony switching networks weren't designed that wayThe Structure of Authority: Why security is not a separable concern
04/28/2010Eh...The Structure of Authority: Why security is not a separable concern
04/28/2010You're rightThe Structure of Authority: Why security is not a separable concern
05/07/2010Thought about the offerThe Structure of Authority: Why security is not a separable concern
05/03/2010???The Structure of Authority: Why security is not a separable concern
05/03/2010Better a half baked securityThe Structure of Authority: Why security is not a separable concern
04/23/2010What languagesIn the wild
04/26/2010Just to be clearIn the wild
04/26/2010WellIn the wild
04/23/2010VMKit: a Substrate for Managed Runtime Environments, VEE ཆVMKit: a Substrate for Managed Runtime Environments, VEE ཆ
04/26/2010YesVMKit: a Substrate for Managed Runtime Environments, VEE ཆ
04/23/2010Jules is asking a muchSeeking thoughtful criticisms of functional programming and languages
05/21/2010Hidden stateSeeking thoughtful criticisms of functional programming and languages
04/15/2010From the article: "Want toMore iPhone PL lockdown... Goodbye Scratch!
04/23/2010Domain specific languagesseL4: Formal Verification of an Operating-System Kernel
04/22/2010the fact that real memoriesHow can C Programs be so Reliable?
04/22/2010So what is a critical dataHow can C Programs be so Reliable?
04/16/2010Anything can be "Reliable"How can C Programs be so Reliable?
04/21/2010Exceptions only reduce theHow can C Programs be so Reliable?
04/21/2010Thank you for thisHow can C Programs be so Reliable?
04/15/2010Jikes RVM is also open sourceMaxine VM: A VM in Java
04/22/2010Sink/hoist visual representationsMaxine VM: A VM in Java
04/15/2010There have been someMaxine VM: A VM in Java
04/16/2010No disrespect to Michael Van DeVanterMaxine VM: A VM in Java
04/14/2010At least use powerful toolsIdeas for a PL-oriented honors thesis
04/16/2010BaLinda KRepresenting Type Information in Dynamically Typed Languages
04/14/2010CBDRepresenting Type Information in Dynamically Typed Languages
04/15/2010You're so terse sometimesRepresenting Type Information in Dynamically Typed Languages
04/12/2010NoiPhone PL lockdown
04/09/2010In shortiPhone PL lockdown
04/11/2010Devastating AnalysisiPhone PL lockdown
04/12/2010I am not despairingiPhone PL lockdown
04/12/2010Scope of meta-platformsiPhone PL lockdown
04/12/2010Meta-platform = commoditization of platformiPhone PL lockdown
09/09/2010Breath EasyiPhone PL lockdown
09/09/2010Need vs. wantiPhone PL lockdown
04/09/2010Confusedsplitting the program into formalizable vs. non-formalizable parts?
04/14/2010Classical problems?splitting the program into formalizable vs. non-formalizable parts?
04/15/2010Sorrysplitting the program into formalizable vs. non-formalizable parts?
04/16/2010Some feedbacksplitting the program into formalizable vs. non-formalizable parts?
04/14/2010Goldin and Wegner: clarification requestsplitting the program into formalizable vs. non-formalizable parts?
04/14/2010Yessplitting the program into formalizable vs. non-formalizable parts?
04/14/2010Rice's TheoremSpecifying Solvers?
04/08/2010Hmm...Emerging Languages Conference
04/28/2010I'm not sure I understandEmerging Languages Conference
04/05/2010In the area of diagrammatic reasoningA Formal System For Euclid's Elements
04/08/2010Jim,A Formal System For Euclid's Elements
04/08/2010oh, English language, you are so silly sometimesA Formal System For Euclid's Elements
03/31/2010Returning "Codes" such as error codes or success codesGo's proposed panic/recover exception-like mechanism
04/02/2010Trusted agentGo's proposed panic/recover exception-like mechanism
04/02/2010Contrast, w/ Rob Pike's viewGo's proposed panic/recover exception-like mechanism
04/02/2010This is a good thing. IGo's proposed panic/recover exception-like mechanism
03/31/2010Bottom LineGo's proposed panic/recover exception-like mechanism
03/31/2010From what I've heardGo's proposed panic/recover exception-like mechanism
03/31/2010[noted]Go's proposed panic/recover exception-like mechanism
03/31/2010Interesting objectionGo's proposed panic/recover exception-like mechanism
04/01/2010Paul,Go's proposed panic/recover exception-like mechanism
04/01/2010MS ResearchGo's proposed panic/recover exception-like mechanism
03/31/2010Methodology?Can functional programming be liberated from the von Neumann paradigm?
03/31/2010Just to be clearCan functional programming be liberated from the von Neumann paradigm?
03/31/2010Charles,Can functional programming be liberated from the von Neumann paradigm?
04/13/2010[And from my view, from allCan functional programming be liberated from the von Neumann paradigm?
03/29/2010Responding to Josh SternWill data-intensive computing revolutionize programming languages?
03/30/2010Just to be clearWill data-intensive computing revolutionize programming languages?
03/29/2010To Peter,Will data-intensive computing revolutionize programming languages?
03/29/2010procedural introspection & intercessionFirst-class environments. Discuss. ;)
03/17/2010Afoul?On the (Alleged) Value of Proof for Assurance
12/02/2010What I fail to realize :)On the (Alleged) Value of Proof for Assurance
03/17/2010The Composing Contracts papersOn the (Alleged) Value of Proof for Assurance
03/17/2010Baseline Project Plan, Current Project PlanOn the (Alleged) Value of Proof for Assurance
05/24/2010UpdateOn the (Alleged) Value of Proof for Assurance
05/24/2010Two reasonsOn the (Alleged) Value of Proof for Assurance
03/17/2010Third goalOn the (Alleged) Value of Proof for Assurance
05/24/2010Vadim, you tug on the heart stringsOn the (Alleged) Value of Proof for Assurance
06/18/2010Feeling faster vs. truly fast runtime reflectionOn the (Alleged) Value of Proof for Assurance
06/19/2010Orthogonal to the reflectionOn the (Alleged) Value of Proof for Assurance
06/23/2010What's Bad In My BooksOn the (Alleged) Value of Proof for Assurance
03/11/2010Code BubblesCode Bubbles
03/11/2010not research anymoreCode Bubbles
03/12/2010Png -Code Bubbles
03/15/2010Xerox Star, Self UI, Rooms, and Alternate Reality KitCode Bubbles
03/16/2010Of courseCode Bubbles
03/09/2010Dynamo and MILEPOSTHave tracing JIT compilers won?
03/09/2010Seen itHave tracing JIT compilers won?
03/10/2010Right, Z-Bo. That's kind ofHave tracing JIT compilers won?
03/10/2010Never seen your paperHave tracing JIT compilers won?
03/10/2010spinning your questions aroundHave tracing JIT compilers won?
03/15/2010I don't understandHave tracing JIT compilers won?
03/17/2010Propagation delayHave tracing JIT compilers won?
03/10/2010This interoperationHave tracing JIT compilers won?
03/10/2010I get itHave tracing JIT compilers won?
03/10/2010ObservationHave tracing JIT compilers won?
03/11/2010Lua is king in the land of Lua-ditesHave tracing JIT compilers won?
03/19/2010We actually had a discussionHave tracing JIT compilers won?
03/11/2010javascript heap objectsHave tracing JIT compilers won?
06/11/2010No.Have tracing JIT compilers won?
03/08/2010We report on our experiencesFighting Bit Rot with Types (Scala Collections)
03/08/2010Code duplicationFighting Bit Rot with Types (Scala Collections)
03/01/2010Stamp coupling, REST, and Data Types a'la CarteAdvantages of Purity
03/03/2010Effect systems are good forAdvantages of Purity
03/03/2010Bottom lineAdvantages of Purity
03/19/2010Le bon Dieu est dans le détailAdvantages of Purity
03/24/2010I meant ASPLOS གAdvantages of Purity
03/18/2010It is unclear why youAdvantages of Purity
03/01/2010Conflating word 'stability'large-scale programming systems inspired by ecological and market systems
03/01/2010Of courselarge-scale programming systems inspired by ecological and market systems
03/09/2010Frank's comments -- Not Even Wrongfunctional equivalance?
03/10/2010Re: Not Even Evenfunctional equivalance?
03/10/2010Joe Goguenfunctional equivalance?
03/10/2010Modularity and abstractionfunctional equivalance?
03/11/2010Mmm...functional equivalance?
03/11/2010The Powers of Ten: Rules forfunctional equivalance?
03/11/2010Hahafunctional equivalance?
03/10/2010Did you cheat? ;-)functional equivalance?
02/25/2010A classic example is UMLCan a Biologist Fix a Radio?
02/26/2010NitpickingCan a Biologist Fix a Radio?
02/26/2010Ehud, what on earth doesCan a Biologist Fix a Radio?
03/02/2010Small noteCan a Biologist Fix a Radio?
03/03/2010Does Karl Fant's bookCan a Biologist Fix a Radio?
03/08/2010Processes, procedures, and processorsplt vs. something else for programming in the large?
02/25/2010Dines Bjorner, "Software Engineering 2", Page 4, Section 1.1.2plt vs. something else for programming in the large?
03/05/2010Cannot agree or disagreeplt vs. something else for programming in the large?
03/08/2010this work very closelyplt vs. something else for programming in the large?
03/06/2010Seamless switchingplt vs. something else for programming in the large?
03/08/2010Sorryplt vs. something else for programming in the large?
06/14/2010Toxicity of chemicals applied to humansplt vs. something else for programming in the large?
02/26/2010My takeplt vs. something else for programming in the large?
02/26/201018 Versionsplt vs. something else for programming in the large?
03/01/2010Technology vs. scienceplt vs. something else for programming in the large?
02/22/2010Combinator librariesTesting release of a platform for hosting pure functional web applications
02/22/2010Clear and familiarTesting release of a platform for hosting pure functional web applications
02/22/2010I use capabilities forTesting release of a platform for hosting pure functional web applications
02/22/2010Paranoid securityTesting release of a platform for hosting pure functional web applications
02/22/2010Taming image capturing, etc.Testing release of a platform for hosting pure functional web applications
02/22/2010Model-driven interface designTesting release of a platform for hosting pure functional web applications
02/22/2010Impractical definition of TrustedTesting release of a platform for hosting pure functional web applications
02/24/2010I still don't understand whyTesting release of a platform for hosting pure functional web applications
02/24/2010RightTesting release of a platform for hosting pure functional web applications
02/24/2010ThanksTesting release of a platform for hosting pure functional web applications
02/25/2010AFKTesting release of a platform for hosting pure functional web applications
02/25/2010Small adjustment in viewTesting release of a platform for hosting pure functional web applications
02/26/2010Not only thatTesting release of a platform for hosting pure functional web applications
02/26/2010One nitTesting release of a platform for hosting pure functional web applications
02/26/2010The Blue and Pink PlanesTesting release of a platform for hosting pure functional web applications
02/25/2010Just to be clearTesting release of a platform for hosting pure functional web applications
02/25/2010Trusted JPEG Encoding = supremely fine-grained caseTesting release of a platform for hosting pure functional web applications
02/26/2010VERY good questionTesting release of a platform for hosting pure functional web applications
02/25/2010RegionsTesting release of a platform for hosting pure functional web applications
02/24/2010The OS is special in that itTesting release of a platform for hosting pure functional web applications
02/24/2010I do not get what code basedTesting release of a platform for hosting pure functional web applications
02/22/2010How does the front-end for assigning a template compareTesting release of a platform for hosting pure functional web applications
02/22/2010Subtree securityTesting release of a platform for hosting pure functional web applications
02/22/2010Depending on JavaScript and using CajaTesting release of a platform for hosting pure functional web applications
02/22/2010I meant AdamTesting release of a platform for hosting pure functional web applications
02/24/2010Just to be clearTesting release of a platform for hosting pure functional web applications
02/22/2010Edit: perhaps comparing toTesting release of a platform for hosting pure functional web applications
02/22/2010UnCommonWebTesting release of a platform for hosting pure functional web applications
02/19/2010Considering anything?Reminder: OOPSLA is now SPLASH
02/19/2010ACM is still living in theReminder: OOPSLA is now SPLASH
02/19/2010Shouldn't you have quotedReminder: OOPSLA is now SPLASH
02/19/2010I agreeReminder: OOPSLA is now SPLASH
02/19/2010By telling your studentsReminder: OOPSLA is now SPLASH
02/19/2010I understandReminder: OOPSLA is now SPLASH
02/19/2010Thank you so much!Reminder: OOPSLA is now SPLASH
02/22/2010Of course, this makes one big assumptionReminder: OOPSLA is now SPLASH
02/22/2010The extended scope of thisReminder: OOPSLA is now SPLASH
02/18/2010Might actually be worthy writing a greasemonkey scriptSmall PL Thought Experiment
02/18/2010How toSmall PL Thought Experiment
02/25/2010Bottom LineSmall PL Thought Experiment
03/11/2010I was actually referring toSmall PL Thought Experiment
02/16/2010Joe-E is implemented as aJoe-E: A Security-Oriented Subset of Java
02/16/2010I get it nowJoe-E: A Security-Oriented Subset of Java
02/18/2010Even bytecode should be a capabilityJoe-E: A Security-Oriented Subset of Java
02/17/2010Thanks but... some questionsJoe-E: A Security-Oriented Subset of Java
02/22/2010It makes senseJoe-E: A Security-Oriented Subset of Java
02/16/2010Why not e-mail Kernighan himself?Historical question
02/17/2010link brokenHistorical question
02/16/2010Search for Pierre SchausConstraint Programming Local Search and Numerical Optimization
02/12/2010Bart De Smet on .NET 4's System.Interactive libraryBart De Smet on .NET 4's System.Interactive library
02/12/2010Google TechTalk: The Evolution of End-User ProgrammingGoogle TechTalk: The Evolution of End-User Programming
02/12/2010Security -and- trustworthinessGoogle TechTalk: The Evolution of End-User Programming
02/16/2010Ah, I view spreadsheets as aGoogle TechTalk: The Evolution of End-User Programming
02/16/2010overlooking ToonTalkGoogle TechTalk: The Evolution of End-User Programming
02/12/2010You might be interested in thisNaNs and reflexivity
02/16/2010fixedNaNs and reflexivity
02/09/2010There was a whole logic-metaWhy prolog is by far the best, most productive, easiest programming language
02/09/2010Printing to see reflectionWhy prolog is by far the best, most productive, easiest programming language
02/09/2010TRS expressions carry theirWhy prolog is by far the best, most productive, easiest programming language
02/09/2010ConfusedWhy prolog is by far the best, most productive, easiest programming language
02/10/2010The crumbs under the tableWhy prolog is by far the best, most productive, easiest programming language
02/11/2010Modern Domain Model AnalysisWhy prolog is by far the best, most productive, easiest programming language
02/11/2010I always thought thatWhy prolog is by far the best, most productive, easiest programming language
02/12/2010SureWhy prolog is by far the best, most productive, easiest programming language
02/11/2010Declarative Meta Programming != PrologWhy prolog is by far the best, most productive, easiest programming language
02/05/2010Already linked it on my tumblelog :)Clutter Toolkit
02/05/2010What about a conventional presentation to complement ...Alternatives to parentheses for grouping
02/04/2010Computational complexity of cascading stylesheets?Computational complexity of cascading stylesheets?
02/04/2010Cool!Computational complexity of cascading stylesheets?
02/04/2010CSS criticismComputational complexity of cascading stylesheets?
02/04/2010Feedback on paperComputational complexity of cascading stylesheets?
02/03/2010TextbookCourse focusing on JIT compilers?
02/04/2010Past coursesCourse focusing on JIT compilers?
02/02/2010BetterLISP and parentheses
02/11/2010Algebra and first-order logicBabel-17 v0.2 spec is out
02/17/2010You winBabel-17 v0.2 spec is out
02/01/2010What data sets would tell you the most about what sort of programming language to design?What data sets would tell you the most about what sort of programming language to design?
02/02/2010Aha!What data sets would tell you the most about what sort of programming language to design?
02/10/2010QuestionWhat data sets would tell you the most about what sort of programming language to design?
02/16/2010Not quiteWhat data sets would tell you the most about what sort of programming language to design?
02/17/2010DoneWhat data sets would tell you the most about what sort of programming language to design?
02/02/2010Good questionWhat data sets would tell you the most about what sort of programming language to design?
02/02/2010I would like to know whichWhat data sets would tell you the most about what sort of programming language to design?
02/17/2010You're THIS closeWhat data sets would tell you the most about what sort of programming language to design?
02/17/2010Paul Graham is rightWhat data sets would tell you the most about what sort of programming language to design?
02/17/2010Good counter-examples: how flawed do you want them?What data sets would tell you the most about what sort of programming language to design?
01/29/2010If you tilt your head to the left a little...Declarative reactive tables
02/01/2010and...more formally...more consistent macros?
02/02/2010I am not sure I like your Haskell vs. Worlds analogymore consistent macros?
01/28/2010This is general systems theoryTRIZ plus Axiomatic Design
01/29/2010Rugby modelTRIZ plus Axiomatic Design
02/01/2010Not at allTRIZ plus Axiomatic Design
01/26/2010Two new tagsTwo new tags
01/26/2010TRS is logic programmingare rewrite systems really the bee's knees
01/26/2010More structured, more bottom-upare rewrite systems really the bee's knees
01/27/2010Perhaps we have a differentare rewrite systems really the bee's knees
01/26/2010Keep reading José Meseguerare rewrite systems really the bee's knees
01/26/2010I don't bet money on Languagesare rewrite systems really the bee's knees
01/25/2010The Recruitment Theory of Language OriginsThe Recruitment Theory of Language Origins
01/25/2010Going from Java to GroovyThe Recruitment Theory of Language Origins
01/26/2010Anyways, going further inHistorical or sociological studies of programming language evolution?
01/26/2010Be carefulHistorical or sociological studies of programming language evolution?
01/27/2010Citation???Historical or sociological studies of programming language evolution?
01/26/2010I personally have anHistorical or sociological studies of programming language evolution?
01/25/2010For example, what was theHistorical or sociological studies of programming language evolution?
01/25/2010That kind of categoricalHistorical or sociological studies of programming language evolution?
01/25/2010I agree 100%Historical or sociological studies of programming language evolution?
01/26/2010Small World NetworksHistorical or sociological studies of programming language evolution?
01/25/2010As a method to quickly writeProject Sikuli
01/25/2010Seems too clever / too complicatedProject Sikuli
01/25/2010Drag-Drop + skepticismProject Sikuli
01/22/2010Smart-alec wisdomClojure 1.1 and Beyond
01/21/2010One nitThe Theory and Calculus of Aliasing
01/22/2010You're rightThe Theory and Calculus of Aliasing
01/21/2010Live Search Advanced Macrossee history of things i started (vs. commented on)?
01/20/2010Identity OperatorSyntax of Literal Tables (Assocative Collections) and Auto-generated fields
01/20/2010policy vs. mechanismSyntax of Literal Tables (Assocative Collections) and Auto-generated fields
01/20/2010NeatSyntax of Literal Tables (Assocative Collections) and Auto-generated fields
01/20/2010Identity OperatorSyntax of Literal Tables (Assocative Collections) and Auto-generated fields
01/21/2010...and passing data across processes, such as parent/childSyntax of Literal Tables (Assocative Collections) and Auto-generated fields
01/19/2010AccreditationAcademic advice: Mathematics or Computer Science?
01/19/2010IMHOAcademic advice: Mathematics or Computer Science?
01/21/2010RE: "Real analysis is more about point set topology than...Academic advice: Mathematics or Computer Science?
01/22/2010YesAcademic advice: Mathematics or Computer Science?
01/21/2010OGI still does comp sci research...Academic advice: Mathematics or Computer Science?
01/21/2010What you can't avoid: methodology and frameworkDeclarative binding vs. composition
02/02/2010How it could perform and scaleDeclarative binding vs. composition
01/28/2010_50_ yearsDeclarative binding vs. composition
01/15/2010JadeDiscoverability, Language Features, and the First Step Toward Composition
01/26/2010Sounds like ontology engineering w/ structured editorsDiscoverability, Language Features, and the First Step Toward Composition
01/15/2010Namespaces and Sharing:Discoverability, Language Features, and the First Step Toward Composition
01/15/2010Middle-WarDiscoverability, Language Features, and the First Step Toward Composition
01/19/2010There are numerousDiscoverability, Language Features, and the First Step Toward Composition
01/19/2010????????Discoverability, Language Features, and the First Step Toward Composition
02/01/2010Here's the key pointDiscoverability, Language Features, and the First Step Toward Composition
02/01/2010Let me try to refine this one last time...Discoverability, Language Features, and the First Step Toward Composition
02/01/2010No...Discoverability, Language Features, and the First Step Toward Composition
01/26/2010Event processing doesn'tDiscoverability, Language Features, and the First Step Toward Composition
01/28/2010The simple ones are, such asDiscoverability, Language Features, and the First Step Toward Composition
01/29/2010It is unclear to me whatDiscoverability, Language Features, and the First Step Toward Composition
02/01/2010the most elegant solution asDiscoverability, Language Features, and the First Step Toward Composition
01/11/2010ScalaModules: a DSL for bringing OSGi to ScalaScalaModules: a DSL for bringing OSGi to Scala
01/09/2010ThanksCertified Programming With Dependent Types Goes Beta
01/12/2010Your concerns are well-aware to those who matterCertified Programming With Dependent Types Goes Beta
01/09/2010Why Normalization Failed to Become the Ultimate Guide for Database Designers?Why Normalization Failed to Become the Ultimate Guide for Database Designers?
01/09/2010I agreeWhy Normalization Failed to Become the Ultimate Guide for Database Designers?
01/09/2010Well...Why Normalization Failed to Become the Ultimate Guide for Database Designers?
01/09/2010No argument there....Why Normalization Failed to Become the Ultimate Guide for Database Designers?
01/09/2010MiddlewareWhy Normalization Failed to Become the Ultimate Guide for Database Designers?
01/14/2010original sourceWhy Normalization Failed to Become the Ultimate Guide for Database Designers?
01/08/2010One puzzleSimplicial Databases
01/08/2010Yes...Simplicial Databases
01/08/2010You might find this amusingSimplicial Databases
02/22/2011Updated with some linksSimplicial Databases
01/07/2010Rapid Prototyping tools & environments from academiaRapid Prototyping tools & environments from academia
01/08/2010As you wishRapid Prototyping tools & environments from academia
01/08/2010Why?Rapid Prototyping tools & environments from academia
01/08/2010I would tooRapid Prototyping tools & environments from academia
02/09/2010RE: A perfect topic for a Ph.D. thesis!Rapid Prototyping tools & environments from academia
01/11/2010As for syntacticRapid Prototyping tools & environments from academia
01/08/2010{Methodology} /\ {Tool, Tutor, Tutee} = 0Rapid Prototyping tools & environments from academia
01/09/2010Link me to Sherry's workRapid Prototyping tools & environments from academia
01/05/2010TeX Validator & Converter, trivial in a functional languagewondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?
01/05/2010Isn't that strange? For thewondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?
01/05/2010Proposed in 1994wondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?
01/06/2010Does that imply even if wewondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?
01/06/2010Drawing Handswondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?
01/07/2010Bottom Linewondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?
01/07/2010;-)The year in review, and What's to come
12/31/2009Would a greasemonkey script work?the "unread" marker issue
12/31/2009GreaseMonkey hookthe "unread" marker issue
12/31/2009If you really care aboutmost water-tight real-world language implementation?
12/30/2009David Barbour on c2Open wiki-like code repository
12/30/2009You might recall ourOpen wiki-like code repository
12/30/2009Have you seen github orOpen wiki-like code repository
12/30/2009Distribution != FederationOpen wiki-like code repository
12/30/2009The wiki way would be toOpen wiki-like code repository
01/05/2010Good questionOpen wiki-like code repository
12/30/2009PageRank as the mechanism for identifying a golden treeOpen wiki-like code repository
12/30/2009CounterexamplesOpen wiki-like code repository
12/30/2009I think you just lack sys admin mindset (or the skillset)Open wiki-like code repository
12/31/2009Anyways, there are two mindOpen wiki-like code repository
12/31/2009Robust Composition is aOpen wiki-like code repository
01/05/2010Thank YouOpen wiki-like code repository
01/05/2010The reason I favor ocaps asOpen wiki-like code repository
12/31/2009VestaOpen wiki-like code repository
01/04/2010Some files can have moreOpen wiki-like code repository
12/30/2009From Ralph's blog (emphasis mine)Exploration of Program as Language
12/24/2009TiddlyWiki is even hackierWard's Wiki
12/24/2009Hard-to-follow discussionWard's Wiki
12/24/2009ContextWard's Wiki
12/24/2009ClarificationWard's Wiki
12/24/2009Patterns discussion re-loadedWard's Wiki
12/28/2009EtherpadWard's Wiki
12/28/2009Can't forget about the Larson October 1987 cartoonHoliday Fun: How Programming Language Fanboys See Each Others' Languages
01/05/2010Hot button: False dilemmaParameterized Modules
01/05/2010Follow-up TangentParameterized Modules
01/09/2010You might be interested in thisParameterized Modules
12/30/2009Python's module system would be the LAST one I'd copy!!!Parameterized Modules
01/05/2010BTWParameterized Modules
01/07/2010;-)Parameterized Modules
12/22/2009EASTL -- Electronic Arts Standard Template LibraryEASTL -- Electronic Arts Standard Template Library
12/30/2009Just to be clearThe AI Systems of Left 4 Dead
12/30/2009PS3 and goal....The AI Systems of Left 4 Dead
01/07/2010Rendering is mathThe AI Systems of Left 4 Dead
12/22/2009Great recommendationUnfulfilled Promises of Software Technologies? (!)
12/23/2009AOP has changedUnfulfilled Promises of Software Technologies? (!)
12/23/2009JDK7 is apparently working on modularity as well...Unfulfilled Promises of Software Technologies? (!)
12/24/2009Is it not telling that aUnfulfilled Promises of Software Technologies? (!)
12/29/2009But...Unfulfilled Promises of Software Technologies? (!)
12/28/2009...and the initial patch was submitted a year agoUnfulfilled Promises of Software Technologies? (!)
12/31/2009Not muchUnfulfilled Promises of Software Technologies? (!)
12/31/2009broken linkUnfulfilled Promises of Software Technologies? (!)
12/31/2009I just found this linkUnfulfilled Promises of Software Technologies? (!)
12/31/2009Would you say the difficultyUnfulfilled Promises of Software Technologies? (!)
12/17/2009Back to the Future: Lisp as a Base for a Statistical Computing SystemBack to the Future: Lisp as a Base for a Statistical Computing System
12/18/2009ETLBack to the Future: Lisp as a Base for a Statistical Computing System
12/18/2009Back to the Future: Lisp as a Base for a Statistical Computing SystemBack to the Future: Lisp as a Base for a Statistical Computing System
12/18/2009Good Enough?Back to the Future: Lisp as a Base for a Statistical Computing System
12/15/2009We are not finished yet: theWhy API Design Matters
12/16/2009"The time-out is provided asWhy API Design Matters
12/16/2009The really good APIWhy API Design Matters
12/17/2009Why API Design MattersWhy API Design Matters
12/16/2009These names do mean different thingsWhy API Design Matters
12/17/2009Jackson DevelopmentWhy API Design Matters
12/17/2009Booch's essay The Macro ProcessWhy API Design Matters
12/17/2009Collaboration and out-of-band introspection of unencapsulated...Why API Design Matters
12/17/2009So maybe API design doesn'tWhy API Design Matters
12/18/2009Java Swing ranges at theWhy API Design Matters
12/18/2009To be fair,Why API Design Matters
12/22/2009On NOT creating "twisty maze of classes"Why API Design Matters
12/23/2009Great pointsWhy API Design Matters
12/18/2009James WaletzkyWhy API Design Matters
12/18/2009Haskell 98 ReportHaskell and logic
12/11/2009OctaveThe Development of Sage
12/14/2009RE: Evolutionary dead-endsThe Development of Sage
12/17/2009Back to the Future: Lisp as a Base for a Statistical Computing..The Development of Sage
12/17/2009Take it easy with the elbows ;-)The Development of Sage
12/10/2009See also on LtUChucK : A Strongly timed language
12/09/2009Misguided understanding of code splitting and code on demandDeveloper Guided Code Splitting
12/10/2009I still don't think yourDeveloper Guided Code Splitting
12/09/2009It's possible GWT's runAsyncDeveloper Guided Code Splitting
12/14/2009Strong disagreementDeveloper Guided Code Splitting
12/14/2009Thanks for the clarificationDeveloper Guided Code Splitting
12/14/2009In the mixed initiativeDeveloper Guided Code Splitting
12/15/2009One last nitDeveloper Guided Code Splitting
12/16/2009However, we already acceptDeveloper Guided Code Splitting
12/16/2009Surprising to me, byDeveloper Guided Code Splitting
12/22/2009My rebuttalDeveloper Guided Code Splitting
12/07/2009Ian Piumarta and VPRIIs Small Still Beautiful?
12/07/2009FYIIs Small Still Beautiful?
12/07/2009What are you replyingIs Small Still Beautiful?
12/07/2009We have the CLR because MSIs Small Still Beautiful?
12/07/2009It's a huge win.Differentiating Parsers
12/08/2009Yes!Differentiating Parsers
12/08/2009NoveltyDifferentiating Parsers
12/08/2009As I've said elsewhere inDifferentiating Parsers
12/08/2009JBuilder 9 was prettyDifferentiating Parsers
12/08/2009Benchmarking is hard to predictDifferentiating Parsers
12/09/2009How many times do you look back over your shoulder beforeDifferentiating Parsers
12/08/2009Usually, masters theses in "Software Engineering"Differentiating Parsers
12/09/2009One other topic not mentionedDifferentiating Parsers
12/09/2009I believe in the same wayDifferentiating Parsers
12/09/2009What isn't easy...and thisDifferentiating Parsers
12/09/2009I'm not sure what you areDifferentiating Parsers
12/03/2009hahaWhy Object-Oriented Languages Need Tail Calls
12/02/2009although as far as I knowEleven Theses on Clojure
12/04/2009Just wondering...Eleven Theses on Clojure
12/07/2009Right....Eleven Theses on Clojure
12/08/2009Note that I do not callEleven Theses on Clojure
12/07/2009Not the pointEleven Theses on Clojure
12/07/2009On being COMPLEXEleven Theses on Clojure
12/02/2009Top rated programming conferences?Top rated programming conferences?
12/03/2009LINQ IMHO has not yet hit aTop rated programming conferences?
12/03/2009On being EASYTop rated programming conferences?
12/03/2009Re: .NET and .NET 4Top rated programming conferences?
12/03/2009Already considered on paperTop rated programming conferences?
12/04/2009no excuseTop rated programming conferences?
12/03/2009I don't like LINQ thatTop rated programming conferences?
12/03/2009Part of the problem is thatTop rated programming conferences?
12/04/2009I would argue that a userTop rated programming conferences?
12/03/2009How do you plan to improve upon Tutorial D?Top rated programming conferences?
11/30/2009ModulateTwo Bits: The Cultural Significance of Free Software
11/30/20091998 / Netscape going FLOSSTwo Bits: The Cultural Significance of Free Software
12/01/2009RMSTwo Bits: The Cultural Significance of Free Software
12/07/2009I agree; having the right perspective dictates your applicationTwo Bits: The Cultural Significance of Free Software
12/07/2009I do contend that withTwo Bits: The Cultural Significance of Free Software
11/30/2009Other previous, related discussionPattern Calculus
12/14/2009Adaptive SoftwarePattern Calculus
11/25/2009Somebody on Stack OverflowHow to learn about formal top-down approach to software architecture?
11/30/2009WowHow to learn about formal top-down approach to software architecture?
03/18/2010Could you clarify?Reactive Extensions for .NET released this week
11/19/2009How do you grade Scratch programs?Scratch: Programming for All
11/20/2009It seems to follow that theScratch: Programming for All
11/23/2009Again...Scratch: Programming for All
11/17/2009Towards a mathematicalSeeking reference for citation in article.
11/16/2009Best layman descriptionI Seek a Reasonable Survey on the Concept of "Module System"
11/17/2009The various Java module JSRsI Seek a Reasonable Survey on the Concept of "Module System"
11/17/2009What is run-time modularity,I Seek a Reasonable Survey on the Concept of "Module System"
11/18/2009I agreeI Seek a Reasonable Survey on the Concept of "Module System"
11/18/2009Z-Bo mentioned the OSGI JavaI Seek a Reasonable Survey on the Concept of "Module System"
11/25/2009To be clear: ideally, allThe perfect advanced programming language for the productive industrial developer
11/16/2009Prior workBytecodes meet Combinators: invokedynamic on the JVM
11/18/2009Compiling with ContinuationsSeeking nearly anything re: so called language "bootstrapping" process
11/18/2009BootstrappingSeeking nearly anything re: so called language "bootstrapping" process
11/18/2009VPRISeeking nearly anything re: so called language "bootstrapping" process
11/18/2009Thanks...!!!Seeking nearly anything re: so called language "bootstrapping" process
07/10/2010Some new links to shareSeeking nearly anything re: so called language "bootstrapping" process
11/12/2009Not only that,Explanation of Computer Theory for Lawyers
11/19/2009What about dependencies?Go or Unladen Swallow?
11/19/2009Nice background; one piece of history missingGo or Unladen Swallow?
11/20/2009Inferno was the OS afterGo or Unladen Swallow?
11/13/2009Hmm...Go or Unladen Swallow?
11/16/2009I'm a practitioner; not a full-time researcherGo or Unladen Swallow?
11/12/2009My advice to GoogleGo or Unladen Swallow?
11/24/2009Relax yourself ;-)Go or Unladen Swallow?
11/13/2009Compiler OptionsGo or Unladen Swallow?
11/16/2009Some things in GNAT are sooperstupidGo or Unladen Swallow?
11/16/2009Unfamiliarity with Emacs magic macroGo or Unladen Swallow?
11/23/2009Lots of small challengesGo or Unladen Swallow?
11/16/2009I'm sure that helps avoidGo or Unladen Swallow?
11/16/2009Go or Unladen Swallow?Go or Unladen Swallow?
11/19/2009Missing the pointGo or Unladen Swallow?
11/19/2009LikewiseGo or Unladen Swallow?
11/19/2009Nice historyGo or Unladen Swallow?
11/06/2009There have been "teaching &State of the art C compiler optimization tricks
11/09/2009There is no such course inState of the art C compiler optimization tricks
11/12/2009Maybe I'm wrong, but...John Hughes on Erlang and Haskell
11/07/2009Examples, pleaseJohn Hughes on Erlang and Haskell
11/07/2009SimpleJohn Hughes on Erlang and Haskell
11/09/2009RequestAnnouncing a Fortress blog
11/03/2009In this sense, most of theseGilad Bracha on "Atomic Install"
11/02/2009On Understanding Data Abstraction, RevisitedOn Understanding Data Abstraction, Revisited
11/02/2009fixedOn Understanding Data Abstraction, Revisited
11/02/2009Just read a little :)On Understanding Data Abstraction, Revisited
11/02/2009To say that it is "growingOn Understanding Data Abstraction, Revisited
11/05/2009To be precise asOn Understanding Data Abstraction, Revisited
11/04/2009Bottom lineOn Understanding Data Abstraction, Revisited
11/02/2009What is LtU-folk? I readOn Understanding Data Abstraction, Revisited
11/04/2009the OOP approach forces youuOn Understanding Data Abstraction, Revisited
11/06/2009I don't think the compositeOn Understanding Data Abstraction, Revisited
11/06/2009Nice explanation. WithOn Understanding Data Abstraction, Revisited
11/06/2009The interface can exposeOn Understanding Data Abstraction, Revisited
11/07/2009There is no such thing asOn Understanding Data Abstraction, Revisited
11/06/2009The flip side of the coin, IOn Understanding Data Abstraction, Revisited
11/02/2009There are also provenTim Bray on Clojure and Erlang
11/04/2009Good questionTim Bray on Clojure and Erlang
10/29/2009Thank youLiterate Programming: Retrospect and Prospects
11/04/2009Not exactlyLiterate Programming: Retrospect and Prospects
10/29/2009THANKS FOR THISLiterate Programming: Retrospect and Prospects
10/29/2009Haskell is more successful,Literate Programming: Retrospect and Prospects
10/29/2009Any system that involvesLiterate Programming: Retrospect and Prospects
11/08/2009Have you been payingLiterate Programming: Retrospect and Prospects
10/29/2009Code is just DataLiterate Programming: Retrospect and Prospects
10/30/2009I should've said: I agreeLiterate Programming: Retrospect and Prospects
10/29/2009Oblique references to LPLiterate Programming: Retrospect and Prospects
10/30/2009Hypermedia "Cards" metaphorLiterate Programming: Retrospect and Prospects
10/30/2009Sort ofLiterate Programming: Retrospect and Prospects
10/31/2009You are correct - I know ofLiterate Programming: Retrospect and Prospects
11/02/2009Reimagining Literate ProgrammingLiterate Programming: Retrospect and Prospects
11/07/2009ShrugLiterate Programming: Retrospect and Prospects
11/07/2009Would you clarify thoseLiterate Programming: Retrospect and Prospects
11/07/2009ThanksLiterate Programming: Retrospect and Prospects
10/29/2009looks like a weaker version of INRIA's Tom for Javaπ: a pattern language
11/02/2009You're right. After readingπ: a pattern language
10/28/2009I agree on the emphasisWhat is a Type?
10/23/2009Design Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph JohnsonDesign Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson
10/26/2009Can't encode in the paradigm vs. can't encode in languageDesign Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson
10/26/2009But I find there are 10% ofDesign Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson
10/26/2009You asked, "What do I do ?"Design Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson
10/26/2009Habitibility & Piecemeal GrowthDesign Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson
10/26/2009NoDesign Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson
10/26/2009But not in book form, and certainly not penned by an aesthetic..Design Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson
10/26/2009Refactorings?Design Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson
10/26/2009Generation GapDesign Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson
10/23/2009I speak MeyerovianLanguages and systems for edge-computing?
10/21/2009I'd much rather search for aThe design process for Zimbu
10/22/2009InterestingThe design process for Zimbu
10/22/2009I'd further note that RAIIThe design process for Zimbu
10/16/2009Erik Meijer's MSDN Channel 9 lecture series on functional programmingErik Meijer's MSDN Channel 9 lecture series on functional programming
10/16/2009some notesErik Meijer's MSDN Channel 9 lecture series on functional programming
10/21/2009Basically, nobody realizesErik Meijer's MSDN Channel 9 lecture series on functional programming
01/26/2010UpdatedErik Meijer's MSDN Channel 9 lecture series on functional programming
10/22/2009Sadly it will be aSeeking broad survey of wide range of concurrency idioms
10/22/2009follow your noseSeeking broad survey of wide range of concurrency idioms
10/23/2009Technically, there isn't anySeeking broad survey of wide range of concurrency idioms
10/22/2009Transactions: The programmerSeeking broad survey of wide range of concurrency idioms
10/23/2009Shared Nothing generallySeeking broad survey of wide range of concurrency idioms
10/23/2009in a well-designedSeeking broad survey of wide range of concurrency idioms
10/23/2009If you are responding toSeeking broad survey of wide range of concurrency idioms
10/22/2009ClarificationSeeking broad survey of wide range of concurrency idioms
10/22/2009Classical Jackson InversionSeeking broad survey of wide range of concurrency idioms
10/24/2009There are indeedSeeking broad survey of wide range of concurrency idioms
10/28/2009Not an expertSeeking broad survey of wide range of concurrency idioms
10/23/2009Herb Sutter's Effective ConcurrencySeeking broad survey of wide range of concurrency idioms
10/28/2009OPL - Our Pattern LanguageSeeking broad survey of wide range of concurrency idioms
11/02/20091) what was doneSeeking broad survey of wide range of concurrency idioms
10/15/2009Statically proving safety isSafe Garbage Collection = Regions + Intensional Type Analysis
10/15/2009understanding non-deterministic acquisition/release of resourcesSafe Garbage Collection = Regions + Intensional Type Analysis
10/09/2009MinskyHaskell in the real world: writing a commercial program in Haskell
09/30/2009I think it depends on how you interpret the question...Should method names be (module-) scoped?
09/30/2009Stable InterpositionShould method names be (module-) scoped?
09/24/2009What I Don't LikeJVM language summit 2009
09/30/2009Bottom lineJVM language summit 2009
09/23/2009Surrounding contextJVM language summit 2009
09/24/2009RobotsJVM language summit 2009
09/21/2009I can certainly provideContext Driven Scheme Objects
09/21/2009More precise feedbackContext Driven Scheme Objects
09/22/2009"It's not my job"Context Driven Scheme Objects
09/22/2009That's a neat paper (butContext Driven Scheme Objects
09/17/2009WHYNoop: Google Language for the JVM
09/18/2009After thinking about yourNoop: Google Language for the JVM
09/24/2009ExactlyNoop: Google Language for the JVM
09/15/2009Steele: I guess to me theCoders at Work
09/15/2009DisappointedCoders at Work
09/15/2009Snarkiness is okay, butCoders at Work
09/18/2009Re-reading what I said, ICoders at Work
09/18/2009No, the one Anton linked toCoders at Work
09/15/2009I forwarded this pageBackground of call/cc
09/15/2009Beaten?Lua for Apache httpd.conf, again
09/15/2009eh... so what...Lua for Apache httpd.conf, again
09/11/2009I don't think this isCreate Your Own Programming Language (book)
09/04/2009I had a similar question....Proper Library Versioning no longer NP-Complete
08/27/2009The incompatible changes inReview NP-complete Library Versioning Problem
08/27/2009My understanding is that theReview NP-complete Library Versioning Problem
08/27/2009Real world example:Review NP-complete Library Versioning Problem
08/28/2009Where do you draw the line?Review NP-complete Library Versioning Problem
08/26/2009Known problemReview NP-complete Library Versioning Problem
08/27/2009It depends. For business,best superset language...
08/27/2009Dumb quoteCategories, the homemade object system
08/31/2009Can you clarifyCategories, the homemade object system
08/31/2009Also....Categories, the homemade object system
08/31/2009A great example [...]Categories, the homemade object system
08/23/2009Bottom lineEastwest: a new programming language and structure editor
08/25/2009PerformanceEastwest: a new programming language and structure editor
08/26/2009Most smart editors actuallyEastwest: a new programming language and structure editor
09/15/2009Fortress, and key chordsEastwest: a new programming language and structure editor
08/13/2009It seems you are arguingReceiver knowing the sender?
08/23/2009Maude's I/O system has noReceiver knowing the sender?
08/24/2009how much will compatibilityReceiver knowing the sender?
08/25/2009So...Receiver knowing the sender?
08/25/2009ThanksReceiver knowing the sender?
08/13/2009Bottom lineReceiver knowing the sender?
08/06/2009LtacEffective Interactive Proofs for Higher-Order Imperative Programs
02/01/2010In his Ph.D. thesisEffective Interactive Proofs for Higher-Order Imperative Programs
08/06/2009XaaSCertified Web Services in Ynot
08/06/2009STATEMATE notesseeking help: approaches to model based development?
08/08/2009Execution versus implementationseeking help: approaches to model based development?
08/06/2009Maude and MOVAseeking help: approaches to model based development?
08/07/2009I sense Maude is slowlyseeking help: approaches to model based development?
08/06/2009AADLseeking help: approaches to model based development?
08/07/2009You can get pretty farseeking help: approaches to model based development?
08/07/2009Alloyseeking help: approaches to model based development?
07/31/2009Chicken-and-eggEvaluation and Usability of Programming Languages and Tools (PLATEAU)
08/03/2009A hunchEvaluation and Usability of Programming Languages and Tools (PLATEAU)
08/03/2009E.g., read about work fromEvaluation and Usability of Programming Languages and Tools (PLATEAU)
07/24/2009Resolutions require awareness...Resolved Debates in Syntax Design ?
07/14/2009Video presentationRepRap: the self-replicating machine
08/05/2009Stainless steel 3d PrintingRepRap: the self-replicating machine
07/07/2009very tight/limited interfaceTrade-offs with abstraction
07/09/2009The more narrow theTrade-offs with abstraction
07/07/2009CorollaryTrade-offs with abstraction
07/09/2009Substitution is a ratherTrade-offs with abstraction
07/07/2009The Quota ProblemTrade-offs with abstraction
07/08/2009We should not aim forTrade-offs with abstraction
07/09/2009Stability, in the problemTrade-offs with abstraction
07/10/2009Great questionTrade-offs with abstraction
07/10/2009A C programmer won't solveTrade-offs with abstraction
07/09/2009I don't have any concerns, ITrade-offs with abstraction
07/07/2009DisagreeTop 200 Blogs for Developers
07/10/2009Zeller's Delta Debugging method: general techniqueExplaining database query or constraint-satisfaction failures
06/30/2009linkersModern dynamic linking infrastructure for PLT
06/30/2009NoModern dynamic linking infrastructure for PLT
07/01/2009Two points perhapsModern dynamic linking infrastructure for PLT
06/30/2009phase distinctionsModern dynamic linking infrastructure for PLT
06/28/2009Most used database in the world: Excelsubjective but hopefully less flamebaid-lame
06/30/2009I don't think sosubjective but hopefully less flamebaid-lame
06/26/2009Sort of discussed before...A Possible Future of Software Development
06/26/2009As far as "too easy to shareFully Encapsulated Languages? Are there any out there?
06/26/2009Exposing the propertyFully Encapsulated Languages? Are there any out there?
06/26/2009Java has a Security Manager.Fully Encapsulated Languages? Are there any out there?
06/25/2009Google search for:Fully Encapsulated Languages? Are there any out there?
06/26/2009I came to this search forFully Encapsulated Languages? Are there any out there?
06/29/2009Really, it is model-driven,Fully Encapsulated Languages? Are there any out there?
06/18/2009how many rules of programming language design TeX breaksPerlis Languages
06/18/2009But is this a generallyPerlis Languages
06/18/2009I didn't appreciate itsPerlis Languages
06/21/2009Warren's Abstract MachinePerlis Languages
06/24/2009FixedPerlis Languages
06/18/2009ProfoundPerlis Languages
06/21/2009The Quotations PagePerlis Languages
06/22/2009The Design Docs PagePerlis Languages
06/22/2009UMLPerlis Languages
06/23/2009As you start by saying youPerlis Languages
06/18/2009LinkersFactor Mixins
06/19/2009I was asking a questionFactor Mixins
06/21/2009D'ohFactor Mixins
06/17/2009There is a lot of languagesA-Z of Programming Languages: Erlang
06/17/2009Does anyone else notice the lack of background expertise?A-Z of Programming Languages: Erlang
06/17/2009Hyperlink brokenPregel - Large Scale Graph Computing at Google
06/14/2009Usability and Human Factors tagsUsability and Human Factors tags
06/15/2009If the Human Factors tag isUsability and Human Factors tags
06/12/2009Groovy + JavaJob trends
06/12/2009Its conference loop timeJob trends
06/12/2009Wrong kind of job trend studyJob trends
06/21/2009Artificial BeingsMalice: J.Pitrat's constraint satisfaction problem solver.
06/08/2009"Final Source"? "The Last First"?!?!A Case for Gestures/Visualizations and Against Concrete Syntax
06/08/2009NoA Case for Gestures/Visualizations and Against Concrete Syntax
06/08/2009One key here is that when IA Case for Gestures/Visualizations and Against Concrete Syntax
06/14/2009In some sense, JonathanA Case for Gestures/Visualizations and Against Concrete Syntax
06/08/2009Me fourA Case for Gestures/Visualizations and Against Concrete Syntax
06/09/2009NestingA Case for Gestures/Visualizations and Against Concrete Syntax
06/14/2009Ok...A Case for Gestures/Visualizations and Against Concrete Syntax
06/08/2009Subtext programs can beA Case for Gestures/Visualizations and Against Concrete Syntax
06/08/2009Actually, gestures areA Case for Gestures/Visualizations and Against Concrete Syntax
06/08/2009Basic feedback for Tom/Roly/othersA Case for Gestures/Visualizations and Against Concrete Syntax
06/14/2009Nice connectionA Case for Gestures/Visualizations and Against Concrete Syntax
06/11/2009What arbitrary tools do you use today?A Case for Gestures/Visualizations and Against Concrete Syntax
06/12/2009I understood what you meant,A Case for Gestures/Visualizations and Against Concrete Syntax
06/14/2009Usability isn't even in theA Case for Gestures/Visualizations and Against Concrete Syntax
06/11/2009Emphasis on modelA Case for Gestures/Visualizations and Against Concrete Syntax
06/07/2009"Good to Great" Level 5 LeadersThe Myth of the Genius Programmer
06/07/2009viewers are left to assumeThe Myth of the Genius Programmer
06/07/2009Netting it outThe Myth of the Genius Programmer
06/07/2009What then-contemporary workThe Myth of the Genius Programmer
06/07/2009If we are talking aboutThe Myth of the Genius Programmer
06/07/2009Curious to hear Thomas's takeThe Myth of the Genius Programmer
03/11/2010ThanksThe Myth of the Genius Programmer
06/07/2009what I find interesting isThe Myth of the Genius Programmer
06/07/2009Practical / funny exampleThe Myth of the Genius Programmer
06/07/2009Bottom line: It is way tooThe Myth of the Genius Programmer
06/08/2009Popularity discussions hinder technical analysis...The Myth of the Genius Programmer
06/08/2009Defaults should not preventThe Myth of the Genius Programmer
06/06/2009I don't follow.Goolgle & IDEs
06/06/2009It took me about 15 minutesGoolgle & IDEs
06/05/2009If it had a plugin to handleGoolgle & IDEs
05/08/2009well...Oracle, Sun, and Fortress
12/16/2010Wolfram should buy the Fortress research project from OracleOracle, Sun, and Fortress
12/16/2010Fortress was DARPA fundedOracle, Sun, and Fortress
12/16/2010X10 won the head-to-head battle w/ Fortress and ChapelOracle, Sun, and Fortress
12/16/201024 * $200,000 US = $4.8 MOracle, Sun, and Fortress
05/06/2009I like "funner" algorithmsRight on!
06/09/2009I have all three editions ofRight on!
05/08/2009I always found itRight on!
04/30/2009What is the best literate programming tool/environment/research work?What is the best literate programming tool/environment/research work?
04/30/2009My common experience whenWhat is the best literate programming tool/environment/research work?
05/08/2009On my desk, I have a copy ofWhat is the best literate programming tool/environment/research work?
05/09/2009"Fast, Good or Cheap, pick two"What is the best literate programming tool/environment/research work?
05/01/2009awesomeWhat is the best literate programming tool/environment/research work?
05/02/2009aldorWhat is the best literate programming tool/environment/research work?
05/02/2009My initial thought was...What is the best literate programming tool/environment/research work?
05/03/2009I know what you meanWhat is the best literate programming tool/environment/research work?
05/03/2009liveness of notebooksWhat is the best literate programming tool/environment/research work?
05/08/2009PragmaticismWhat is the best literate programming tool/environment/research work?
05/03/2009What is the best literate programming tool/environment/research work?What is the best literate programming tool/environment/research work?
06/30/2009Folks,A programming language with extensible syntax
04/28/2009Are you sure about this?2009 Lang.NET
05/04/2009WPF2009 Lang.NET
05/05/2009exception handling and declarative programming2009 Lang.NET
05/06/2009I don't see a huge2009 Lang.NET
04/18/2009Tools can solve some of themultidimensional abstraction?
04/09/2009You are missing the point.Why are objects so unintuitive?
04/12/2009Why is it a myth?Why are objects so unintuitive?
04/15/2009Thanks for sharing this KayWhy are objects so unintuitive?
04/17/2009It is not a matter of deafness.Why are objects so unintuitive?
04/17/2009Encapsulation gives you a fiddling layerWhy are objects so unintuitive?
04/17/2009At work, we use the phraseWhy are objects so unintuitive?
04/09/2009Data and RealityWhy are objects so unintuitive?
04/12/2009Yes, I have the 1978 versionWhy are objects so unintuitive?
04/09/2009The basic problems these days are in correctly applying theoryWhy are objects so unintuitive?
04/09/2009There are copiousWhy are objects so unintuitive?
04/14/2009Example?Why are objects so unintuitive?
04/11/2009Why are objects so unintuitive?Why are objects so unintuitive?
04/12/2009dmbarbour, you are fun toWhy are objects so unintuitive?
04/20/2009Not for public eyesWhy are objects so unintuitive?
06/21/2009Just wondering... Have youWhy are objects so unintuitive?
04/12/2009In the beginning, you have aWhy are objects so unintuitive?
04/12/2009I don't play word games. ItWhy are objects so unintuitive?
04/12/2009My complaints aboutWhy are objects so unintuitive?
04/12/2009Attending a fashion institute...Why are objects so unintuitive?
04/15/2009Where can you go to get aWhy are objects so unintuitive?
04/16/2009This is not intuitiveWhy are objects so unintuitive?
04/13/2009Are Maxwell's equations intuitive?Why are objects so unintuitive?
04/12/2009OK, there are quite a fewWhy are objects so unintuitive?
04/14/2009I have no idea. It is aWhy are objects so unintuitive?
04/12/2009I've told people many timesWhy are objects so unintuitive?
04/16/2009I would love examples ofWhy are objects so unintuitive?
04/20/2009The no effect should ever beWhy are objects so unintuitive?
04/21/2009Those who don't understandWhy are objects so unintuitive?
04/22/2009Btw, I'm not convinced aboutWhy are objects so unintuitive?
04/22/2009I think you said my pointWhy are objects so unintuitive?
04/16/2009In a way, Photoshop's directWhy are objects so unintuitive?
04/16/2009I think that if you lookWhy are objects so unintuitive?
04/20/2009What level of expertise doWhy are objects so unintuitive?
11/18/2010Since GUI programming seemsWhy are objects so unintuitive?
11/19/2010As far as I am aware,Why are objects so unintuitive?
11/18/2010Modeling keyboardsWhy are objects so unintuitive?
10/12/2011It has nothing to do with name shadowingSubsumption at all costs
03/05/2010RecommendationTony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake"
01/11/2009"and sometimes naïvely"Using coalgebraic structures for traversing ADTs lazily
01/11/2009real world applicationsUsing coalgebraic structures for traversing ADTs lazily
01/13/2009For what it's worth2008 In Review - What Happened with Programming Languages?
06/18/2009I guess the key question is;Two Lightweight DSLs for Rich UI Programming
06/17/2009Two Lightweight DSLs for Rich UI ProgrammingTwo Lightweight DSLs for Rich UI Programming
06/18/2009Wow, cool. Have you had theTwo Lightweight DSLs for Rich UI Programming
06/19/2009Other things to look atTwo Lightweight DSLs for Rich UI Programming
06/18/2009Sorry!Two Lightweight DSLs for Rich UI Programming
12/11/20091) One of your favouriteInspiring Papers
02/11/2010Basic ProblemInformation regarding financial crisis
04/22/2009Let me be very clear in myLanguages ready for API Evolution
08/13/2008Visual Studio 2008 SP1 + C#Balancing the tension of dev vs. debug?
08/11/2008My view is differentPatrick Logan on patterns
08/11/2008I followed half of what you saidPatrick Logan on patterns
08/11/2008hmm... boilerplate is notPatrick Logan on patterns
08/13/2008Why not do both?Patrick Logan on patterns
08/11/2008Well, that blogger posts without thinkingPatrick Logan on patterns
08/11/2008Sorry.Patrick Logan on patterns
08/11/2008I can't seem to find whatPatrick Logan on patterns
08/11/2008CSS combinators astray from pattern matching + visitor convo?Patrick Logan on patterns
08/11/2008That paper has a very good set of criteriaPatrick Logan on patterns
08/11/2008some authors don't forget!Patrick Logan on patterns
08/11/2008also, your LtU node on thisA subtle extention to Lisp-style macros
08/10/2008where do you want to see yourself improve the most...?A subtle extention to Lisp-style macros
05/22/2010What's the status of MBase?Lisp-like language for Domain Specific Languages prototyping
01/11/2010You mean MUMPSmore power and less verbiage
01/11/2010hilariousmore power and less verbiage
10/25/2010Cliff Click at VMLI 2010, during McKinley's keynote Q&A:Concurrent Composition and Algebras of Events, Actions, and Processes
01/25/2010Gosling's blogPL Related Blogs
02/08/2008The first stepLeaning how to judge the right tool for the job?
02/09/2008Now why can't I think ofLeaning how to judge the right tool for the job?
02/06/2008Your comments call to mindLatest usability for polymorphism?
02/06/2008You got me!Latest usability for polymorphism?
02/07/2008ExactlyLatest usability for polymorphism?
02/06/2008"Rarely economical"?Latest usability for polymorphism?
01/23/2008"Safer"?How useful is reflection, anyway?
01/23/2008Hope you don't see this as nitpicking, but...How useful is reflection, anyway?
01/23/2008Confidence vs. certaintyHow useful is reflection, anyway?
01/25/2008"more" certainty... or "less" skeptical?How useful is reflection, anyway?
01/31/2008I think what you are reallyHow useful is reflection, anyway?
01/31/2008Preventive maintenanceHow useful is reflection, anyway?
01/23/2008But you said:How useful is reflection, anyway?
01/16/2008This approach appears, soFlower: a new way to write web services
01/16/2008I don't need examples of an impedance mismatch.Flower: a new way to write web services
01/16/2008I can't promise to rememberFlower: a new way to write web services
01/17/2008That's what it sounded likeFlower: a new way to write web services
01/18/2008The benefits of a great virtualization architectureFlower: a new way to write web services
01/18/2008PLT that is and isn't mathFlower: a new way to write web services
01/14/2008Killer apps are overratedPrediction for 2008
01/15/2008But, really, yes...Prediction for 2008
01/15/2008don't conflate "killer apps" w/ community success factors...Prediction for 2008
01/15/2008Businesses will pay you to rewrite their code so long as you canPrediction for 2008
01/16/2008ExactlyPrediction for 2008
01/17/2008Open your eyes, maybe even try squinting a littleComputer Science Education: Where Are the Software Engineers of Tomorrow?
01/17/2008Complete your argumentComputer Science Education: Where Are the Software Engineers of Tomorrow?
01/17/2008Students want to do better, too.Computer Science Education: Where Are the Software Engineers of Tomorrow?
01/22/2008But without naming namesComputer Science Education: Where Are the Software Engineers of Tomorrow?
01/23/20083) [...] It would beComputer Science Education: Where Are the Software Engineers of Tomorrow?
02/14/2008Don't read the slides!"Practical" advantages of lazy evaluation
03/02/2010xyz, Scrap Your Zippers is brokenFunctional Pearls
01/18/2010Antony CourtneyReactive Programming
01/18/2010TombstonesReactive Programming
01/18/2010Doug EngelbartReactive Programming
01/18/2010The Yale Haskell Group:Reactive Programming
01/08/2010Schedulability analysisOracles
01/07/2010Opacity, Grouping, Transforms, etc.Oracles
01/07/2010SorryOracles
01/07/2010Think in terms of representations of objectsOracles
01/07/2010Part of each widget'sOracles
01/07/2010NoOracles
12/14/2009Carlsson and Hallgren's 1998Oracles
01/12/2010WPFOracles
01/12/2010Conal's blogOracles
01/21/2010If you look at the way BlendOracles
01/13/2010Synchrony hypothesis and state machine patternsOracles
01/22/2010Very interestingOracles
01/13/2010This is such a tricky questionOracles
11/04/2009These aren't business-levelEiffel Studio adds GPL version
06/14/2009Not necessarily slower methods...The Next Mainstream Programming Languages
12/23/2009Since this thread was bumpedProgramming Language transformation?
12/01/2009Give me access to the code and I'll hack in some AJAXPost new comment vs. reply
06/22/2009Side note: "Pre-calculus"Stupid Question.
01/27/2012Lee Naish's argumentEmbedding Prolog in Haskell

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