Posts By: John Carter
| Date | Post | Topic |
| 06/28/2011 | Compare to existing languages... | How to explain a new programming language? |
| 03/23/2010 | Bigraphs - Tantalizing. | Late Robin Milner |
| 03/05/2010 | Sounds terribly Windows-ish... | plt vs. something else for programming in the large? |
| 03/08/2010 | Centralized, stiff. | plt vs. something else for programming in the large? |
| 03/05/2010 | Sigh! Devilish details... | plt vs. something else for programming in the large? |
| 02/18/2010 | Actually I'd delibrately omit thread level concurrency... | Small PL Thought Experiment |
| 02/18/2010 | "principle of least surprise" syntax friendly - omit that one. | Small PL Thought Experiment |
| 02/15/2010 | I think I can "meta" that... | A few billion lines of code later: using static analysis to find bugs in the real world |
| 02/15/2010 | All to true... | A few billion lines of code later: using static analysis to find bugs in the real world |
| 02/15/2010 | Sigh! No... | A few billion lines of code later: using static analysis to find bugs in the real world |
| 02/16/2010 | Unfixable in a static analysis tool... | A few billion lines of code later: using static analysis to find bugs in the real world |
| 02/16/2010 | ptrace / strace | A few billion lines of code later: using static analysis to find bugs in the real world |
| 01/10/2010 | ORM, Halpin, just do it. | Why Normalization Failed to Become the Ultimate Guide for Database Designers? |
| 12/06/2009 | The next Revolution in Evolution will be small... | Is Small Still Beautiful? |
| 11/08/2009 | Nah! Given a choice... skip the compiler course! | State of the art C compiler optimization tricks |
| 10/14/2009 | Not many "We tried method XXX and it wasn't so Hot" papers. | Seeking broad survey of wide range of concurrency idioms |
| 09/29/2009 | I hate pseudo code. My utterly cynical view of pseudo-code | Why Pseudo-Code? |
| 10/01/2009 | You've nailed it! | Why Pseudo-Code? |
| 09/07/2009 | DSL's are... | DSL goodness |
| 09/08/2009 | I'll agree with that... | DSL goodness |
| 09/08/2009 | Heavily reduced language subset for policy writing... Noooo! | DSL goodness |
| 09/09/2009 | But.. but... why are kernel level folks writing web code at all? | DSL goodness |
| 09/09/2009 | Nice illustration. | DSL goodness |
| 09/09/2009 | Ah. A misunderstand perhaps? | DSL goodness |
| 10/13/2009 | G code is 'orrible! | DSL goodness |
| 09/02/2009 | What!? | Relations of Language and Thought: The View from Sign Language and Deaf Children |
| 09/02/2009 | Understand vs Speaking... | Relations of Language and Thought: The View from Sign Language and Deaf Children |
| 09/01/2009 | One of my prime whinges against the Executable UML movement... | Computer Code as a Medium for Human Communication |
| 08/31/2009 | Somewhat underwhelmed... | Computer Science/Mathematical Notations |
| 08/24/2009 | Notation... | The linear bestiary of François Pottier |
| 08/19/2009 | Why determinism matters in language design. | Why determinism matters in language design. |
| 08/23/2009 | Got a universe or two? | Why determinism matters in language design. |
| 08/24/2009 | "Rapid Testing" and over and beyond const/volatile. | Why determinism matters in language design. |
| 08/23/2009 | Sigh! Large Engineering, not Bad. | Why determinism matters in language design. |
| 08/24/2009 | In the wild... | Why determinism matters in language design. |
| 08/18/2009 | Bah! The worst of all worlds! | functions vs procedures.. |
| 08/19/2009 | Wow! Optimization doesn't get any more premature than that! | functions vs procedures.. |
| 08/19/2009 | Actually this is all a red herring. | functions vs procedures.. |
| 08/19/2009 | gcc function attributes. | functions vs procedures.. |
| 08/17/2009 | Ooo. My hobby horse! Let me ride it! | Kinds of Null |
| 08/17/2009 | When is it OK to operate on Uninitialized? | Kinds of Null |
| 08/17/2009 | Ruby for example... | Kinds of Null |
| 08/17/2009 | Which gives rise to an interesting question.... | Kinds of Null |
| 08/11/2009 | See CJ Dates rants against nil in SQL in "Third Manifesto" | Avoid a Void: eradicating null-pointer dereferencing |
| 08/19/2009 | Splint and C | Avoid a Void: eradicating null-pointer dereferencing |
| 07/23/2009 | Rubies choice is interesting... | Iterators Must Go |
| 07/20/2009 | Simplicity | Simplicity |
| 07/20/2009 | Why exclude GC? | Simplicity |
| 07/21/2009 | I agree... | Simplicity |
| 07/20/2009 | Forth... almost. | Simplicity |
| 07/20/2009 | I think I can propose a simple distinction.... | Simplicity |
| 07/21/2009 | Language vs OS... food for thought. | Simplicity |
| 07/21/2009 | Last I looked, hypervisors weren't simple... | Simplicity |
| 07/20/2009 | Mutable state... | Simplicity |
| 07/21/2009 | Hmm... | Simplicity |
| 08/04/2009 | Timeouts vs Robustness | Simplicity |
| 07/20/2009 | And lordy, don't run it on an x86.... | Simplicity |
| 07/21/2009 | Lua - And one data structure to rule them all... | Simplicity |
| 07/22/2009 | And the answer is..... | Simplicity |
| 08/05/2009 | Ok, so I was a too flippant... | Simplicity |
| 07/15/2009 | My, my... we're grumpy today.... | In the Land of Invented Languages |
| 06/25/2009 | Fully Encapsulated Languages? Are there any out there? | Fully Encapsulated Languages? Are there any out there? |
| 06/25/2009 | Really? I can't quite pin that down... | Fully Encapsulated Languages? Are there any out there? |
| 06/25/2009 | Interesting point... | Fully Encapsulated Languages? Are there any out there? |
| 06/28/2009 | It's the "Perfectly Free To" bit that I have the problem with... | Fully Encapsulated Languages? Are there any out there? |
| 06/25/2009 | I agree... but... | Fully Encapsulated Languages? Are there any out there? |
| 06/25/2009 | Not enough... | Fully Encapsulated Languages? Are there any out there? |
| 06/26/2009 | Sure it may sometimes be the desired behaviour.... | Fully Encapsulated Languages? Are there any out there? |
| 06/26/2009 | Encapsulated or Immutable? | Fully Encapsulated Languages? Are there any out there? |
| 06/26/2009 | Perhaps I haven't explained myself clearly... | Fully Encapsulated Languages? Are there any out there? |
| 06/25/2009 | Ah yes, LoD, my favourite. | Fully Encapsulated Languages? Are there any out there? |
| 06/28/2009 | Wow! This is getting self-referential fast... | Fully Encapsulated Languages? Are there any out there? |
| 06/29/2009 | According to Google.. | Fully Encapsulated Languages? Are there any out there? |
| 07/01/2009 | Querying a field does not risk the class invariant...Really? | Fully Encapsulated Languages? Are there any out there? |
| 05/07/2009 | Sigh! You had me excited for a moment there.... | Right on! |
| 12/10/2009 | Good question... | Inspiring Papers |
| 08/25/2009 | Pray continue... | Regular Expression Matching Can Be Simple And Fast |
| 09/14/2006 | diff -u? | Draft R6RS available |
| 09/14/2006 | I'm glad to see the wink ;-) there... | Draft R6RS available |
| 08/09/2006 | XML'lize it! | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 08/04/2006 | The Killer Application for Concatenative Languages | The Killer Application for Concatenative Languages |
| 07/12/2006 | Failure Oblivious or Crash Only? | Failure-oblivious computing |
| 07/02/2006 | Writings...Whoo! That's funny... Schools of Thought... Whee! | Amusing question |
| 07/03/2006 | Your Correction accepted and endorsed. | Amusing question |
| 07/03/2006 | Not really. | Amusing question |
| 07/05/2006 | Yes and No. Mostly No. | Amusing question |
| 06/26/2006 | Get concrete as to which posts are wrong please... | LtU: Policies document |
| 06/22/2006 | Hokay that puts a different slant on things... | Rules for Developing Safety-Critical Code |
| 06/21/2006 | What a load of unmitigated cwap. | Rules for Developing Safety-Critical Code |
| 06/12/2006 | Umm, so.... | Church-Turning is False? |
| 06/12/2006 | Should have put a bit more humour in to start... | Church-Turning is False? |
| 06/12/2006 | Here is a Magic Wand... | Why Are ALL Programming Languages So Low Level? |
| 06/08/2006 | Umm, isn't there a gotcha in that one... | Relevance of Curry-Howard |
| 06/08/2006 | I think this is where Godel steps in... | Relevance of Curry-Howard |
| 05/23/2006 | No, no, no... | Gilad Bracha: Will Continuations continue? |
| 05/22/2006 | Seems appropriate.... | Ethnographic Study of Copy and Paste Programming Practices in OOPL |
| 05/22/2006 | cpd - Copy&Paste Detector | Ethnographic Study of Copy and Paste Programming Practices in OOPL |
| 05/16/2006 | Here's a couple... | ruby vs python |
| 05/16/2006 | Not nearly as Bad... | ruby vs python |
| 05/17/2006 | Sigh! Ruby is 'purely' object-oriented, NOT like java | ruby vs python |
| 05/18/2006 | A certain pleasing symmetry... | ruby vs python |
| 05/17/2006 | Threading is not difficult... | ruby vs python |
| 05/18/2006 | Depends on what you would call first class... | ruby vs python |
| 05/18/2006 | Ah yes, Hans Boehm! | ruby vs python |
| 05/24/2006 | Uncommon sense... | ruby vs python |
| 05/22/2006 | The optimist... | ruby vs python |
| 05/18/2006 | Sort of funny.... | ruby vs python |
| 05/18/2006 | Been round and round and round these thoughts... | ruby vs python |
| 05/14/2006 | What do you mean by Null? | Non-null references? |
| 05/14/2006 | Bit Bizarro... | Block performance in Ruby |
| 05/17/2006 | Phew that takes me back... | Block performance in Ruby |
| 05/18/2006 | Ah yes, ok... | Block performance in Ruby |
| 05/19/2006 | Grope. | Your favourite editor/IDE |
| 05/18/2006 | Emacs | Your favourite editor/IDE |
| 05/01/2006 | What do you believe about Programming Languages (that you can't prove (yet))? | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/01/2006 | Since I asked the question.... | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/03/2006 | Is it a cost though? | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/02/2006 | Doomed at what level... | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/03/2006 | Catty thought for the Day... | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/03/2006 | I have mixed feelings on this one... | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/03/2006 | Interesting, but the data is too noisy... | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/09/2006 | Alas, I fear we're going the other way.... | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/03/2006 | DSL Skeptic Here... | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/09/2006 | So long as it is first and formost designed as a language. | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/03/2006 | Some Good Notions here... | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/03/2006 | Now that's a weird one from left field... Tell us more! | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/08/2006 | Hmm. Disagree on first paragraph... | What do you believe about Programming Languages (that you can't prove (yet))? |
| 04/18/2006 | Yup, as I was saying... | Flexible Addition of Static Typing to Dynamically Typed Programs |
| 04/02/2006 | It's called the Observer Pattern. | PHP 6 picks up GOTO and COMEFROM |
| 03/30/2006 | I love R! | The R Project |
| 03/26/2006 | Wrong way. Head for a very dynamic language like Ruby. | Extremely static language? |
| 03/27/2006 | I'm deadly serious, so let me be more explicit. | Extremely static language? |
| 03/27/2006 | Well, since you mention it... | Extremely static language? |
| 03/27/2006 | No. Diffferent problem, so try a diffrent extension. Duck Typing | Extremely static language? |
| 03/27/2006 | Ahh, an important question. | Extremely static language? |
| 03/15/2006 | Oh yes! I want I want one NOW! | Visualisable Languages |
| 03/06/2006 | I will admit I was expecting a discussion of Hash tables.. | When is one thing equal to some other thing? |
| 01/31/2006 | Huh!? | U, a small model |
| 01/25/2006 | Promising OS's from a Programming Language Perspective | Promising OS's from a Programming Language Perspective |
| 01/26/2006 | Hence my Question.... | Promising OS's from a Programming Language Perspective |
| 01/30/2006 | All it should and all it does.... | Promising OS's from a Programming Language Perspective |
| 01/22/2006 | Life is Sad... | Choice of OS of LtU readers |
| 01/25/2006 | Perhaps we are asking the wrong question... | Choice of OS of LtU readers |
| 12/04/2005 | Generics are fundamentally hard. | The breaking point of language usability? |
| 11/30/2005 | Robust or Defect free? Make up your Mind. | The building of robust software |
| 11/30/2005 | Not quite.... | Network Transparent languages |
| 11/23/2005 | Joy to the World... | Code Reading |
| 08/16/2005 | While I applaud the Open Access... | 'Information and Computation' Open Access |
| 08/18/2005 | Hmm. Was I trolling? No, a constructive suggestion then | 'Information and Computation' Open Access |
| 07/26/2005 | Ah.. What's the quote again... | The Limits of the Semantic Extensibility of Computer Programs |
| 07/20/2005 | The complexity is Irreducible. | Grady Booch: Software Engineering Grand Challenges |
| 07/21/2005 | True, but... | Grady Booch: Software Engineering Grand Challenges |
| 07/14/2005 | Sigh! 1962-2005 43 years down the wrong track. | Classic LISP books online |
| 06/23/2005 | these people don't have a monopoly on smart | How To Read a Paper |
| 06/23/2005 | First, people should learn how to write them! | How To Read a Paper |
| 04/27/2005 | Thinking Big Thoughts | Richard Hamming - "You and Your Research" |
| 04/11/2005 | Self referential interpreter / Partitioning | Language Design 101 |
| 02/28/2005 | Why its all so Bad, and how it can become Good. | Alex Stepanov's papers |
| 02/13/2005 | Cool, he has a Scheme intrepreter in Javascript. | The Little JavaScripter |
| 02/13/2005 | Maxwell's Equations of CS | ACM Queue: A Conversation with Alan Kay |
| 01/04/2005 | For anyone interested in rewriting/refactoring/proving/... | New Year's Resolutions |
| 01/04/2005 | Replace 6) by Joy. | New Year's Resolutions |
| 01/04/2005 | Pragmatic Languages | New Year's Resolutions |
| 01/04/2005 | Orthogonal to static typing. | New Year's Resolutions |
| 12/08/2004 | Synaesthesia? | What is Universal about the Representation of Color Experience? |
| 11/28/2004 | It's all an evil Joke.. | The IDE Divide |
| 11/18/2004 | Google site search for skribe and virus == null | Skribe 1.2b released |
| 11/22/2004 | Document creation or Document editing time? | Skribe 1.2b released |
| 10/13/2004 | What ever you do, don't copy make... | Language design: Escaping escapes |
| 10/12/2004 | Oh no, not another obfusticated code contest | Succ Zeroth International Obfuscated Haskell Code Contest Results |
| 10/13/2004 | ..so raid libc | Succ Zeroth International Obfuscated Haskell Code Contest Results |
| 08/31/2004 | Huh? | Demonic Nondeterminacy: A Tribute to Edsger Wybe Dijkstra |
| 08/16/2004 | Slow motion method calls. | The right default: concurrent components with message passing |
| 08/04/2004 | Presentation Style - It's just plain Brilliant! | Tail of Nil and Its Type |
| 06/24/2004 | Debuggers are a language issue. | Debugging Functional Programs |
| 02/11/2004 | Re: Udell: Programs that write programs | Udell: Programs that write programs |
| 11/20/2003 | FPGA's, Soft Cores and Custom CPU's. | FPGA's, Soft Cores and Custom CPU's. |
| 09/23/2003 | Re: Philip Greenspun: Lisp diehards = Holocaust deniers | Philip Greenspun: Lisp diehards = Holocaust deniers |
| 09/28/2003 | A right turn... | Philip Greenspun: Lisp diehards = Holocaust deniers |
| 09/14/2003 | Re: Wither Self | Whither Self |
| 07/06/2003 | Re: Linguistic Universals and Particulars | Linguistic Universals and Particulars |
| 07/07/2003 | Re: Linguistic Universals and Particulars | Linguistic Universals and Particulars |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |