Posts By: mcguire
| Date | Post | Topic |
| 05/03/2007 | Naive realism? | Is Integer wrapping an exceptional condition? |
| 02/26/2007 | Tape reading ca. 1961 | The Computer Revolution Hasn't Happened Yet |
| 02/27/2007 | Well, yes and no | The Computer Revolution Hasn't Happened Yet |
| 02/07/2007 | Ellipsis... | Opinions on _Theoretical Introduction to Programming_? |
| 01/22/2007 | Normally... | Ninety-nine Lisp Problems |
| 01/22/2007 | Prolog comparisons | Ninety-nine Lisp Problems |
| 02/21/2007 | And....we've closed the circle | Why people don't use functional programming? |
| 01/08/2007 | Anyone have the code? | Simon Peyton Jones: Beautiful concurrency |
| 01/03/2007 | Efficiency? | Why numbering should start at 0 |
| 01/02/2007 | Dijkstra vs. general-purpose languages | Why numbering should start at 0 |
| 11/01/2006 | Differentiators | Want to learn something new |
| 10/16/2006 | Charles Thacker | Good Ideas, Through the Looking Glass |
| 09/27/2006 | Machine Obstructed Proof | Machine Obstructed Proof |
| 09/28/2006 | Key experience | Machine Obstructed Proof |
| 10/02/2006 | Introductory logic via Coq? | Machine Obstructed Proof |
| 08/23/2006 | Declarative Networking: Language, Execution and Optimization | Declarative Networking: Language, Execution and Optimization |
| 08/09/2006 | LIM | Oracles |
| 08/09/2006 | Algebraic types vs. unions? | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 08/09/2006 | Revisiting MapReduce | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 08/02/2006 | Dependent types? | Managing missing information through Condition Propagation |
| 07/24/2006 | Synchronous network? | Erlang concurrency: why asynchronious messages? |
| 07/24/2006 | Reasoning about asynchronous message passing | Erlang concurrency: why asynchronious messages? |
| 07/24/2006 | A digression.... | Erlang concurrency: why asynchronious messages? |
| 07/24/2006 | HTTP | Erlang concurrency: why asynchronious messages? |
| 07/25/2006 | Can you do compose' | Advantages of Soft Typing |
| 07/17/2006 | Easy to reproduce | Predicting programming course success from a single entrance exam |
| 07/17/2006 | downcasting / pattern matching? | OOP Parallel class hierarchies |
| 07/18/2006 | Ok, so I'm desperately | OOP Parallel class hierarchies |
| 07/13/2006 | Workflow, continuations, and threads | Event-Based Programming without Inversion of Control |
| 07/11/2006 | Less like Usenet, please... | Community enforcement discussion |
| 06/27/2006 | Multi-language holes? | Securing the .NET Programming Model |
| 06/28/2006 | You're right. | Securing the .NET Programming Model |
| 07/11/2006 | Coq'Art | Alloy - The Book |
| 06/08/2006 | sliding windows | Joshua Bloch: "Nearly All Binary Searches Broken" |
| 06/09/2006 | Window size and sequence numbers | Joshua Bloch: "Nearly All Binary Searches Broken" |
| 06/08/2006 | Why? | Why Are ALL Programming Languages So Low Level? |
| 06/01/2006 | A few comments on Dewar's talk | Ada UK Conference 2006 (slides & videos) |
| 06/01/2006 | Well... | Type checking and logical errors |
| 05/22/2006 | Workflow and continuations | Gilad Bracha: Will Continuations continue? |
| 04/26/2006 | Costs of uK hardware protection | Deconstructing Process Isolation |
| 04/10/2006 | Is there a transcript? | Ward Cunningham podcast: Smalltalk, little languages, XP, typing and future of software |
| 03/29/2006 | C bitwise operators | "Semi-complete" Boolean Evaluation? |
| 03/30/2006 | ...more C trivia... | "Semi-complete" Boolean Evaluation? |
| 03/27/2006 | A good test suite... | Extremely static language? |
| 03/28/2006 | Contracts | Extremely static language? |
| 03/28/2006 | Reasoning about types | Extremely static language? |
| 03/28/2006 | The nature of "sufficiently good" | Extremely static language? |
| 03/29/2006 | Eh, huh? | Extremely static language? |
| 03/27/2006 | All static type systems put | Extremely static language? |
| 02/28/2006 | Innocent? | Tail call elimination decorator in Python |
| 02/21/2006 | Optional type systems? | Gilad Is Right |
| 02/21/2006 | I'd hope so... | Gilad Is Right |
| 02/18/2006 | refactoring? | Fission for Program Comprehension |
| 02/14/2006 | Broken? | Guido: Language Design Is Not Just Solving Puzzles |
| 02/07/2006 | This is, unfortunately, not | Programming Languages: Application and Interpretation |
| 02/06/2006 | Longer answer... | hypothetical question |
| 02/03/2006 | Development by standards committee? | A New Haskell and those anxious to change |
| 01/25/2006 | I'm not getting this one... | Semantic Distance: NLP Not a Resource Sink |
| 01/03/2006 | Fortress? | Guy Steele on Language Design |
| 12/09/2005 | Had a hole in my pocket and lost my silver bullet | Envisioning a New Language: A Conversation With Victoria Livschitz |
| 12/09/2005 | What I make of Metaphors | Envisioning a New Language: A Conversation With Victoria Livschitz |
| 11/18/2005 | Paper | The X10 Programming Language |
| 09/28/2005 | Potentials | Continuations library for Java |
| 09/21/2005 | Myths ? | Dynamic typing in OCaml |
| 09/20/2005 | I'm completely fascinated... | RPC Under Fire |
| 09/21/2005 | A useful but fragile abstraction? | RPC Under Fire |
| 09/21/2005 | Coupling? | RPC Under Fire |
| 08/30/2005 | Modules | Yearning for a practical scheme |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |