Posts By: Andrew Moss
| Date | Post | Topic |
| 07/12/2012 | Write your testcases first | Language Implementation 101 |
| 07/14/2012 | Blue brain | Evolved Turing neural networks - Unorganized machines and the brain |
| 06/19/2012 | Scope | Framing: The implementation side |
| 06/19/2012 | Undecidability | Framing: The implementation side |
| 05/07/2012 | Quality | On the Naturalness of Software |
| 03/16/2012 | Overview | Distributed capabilities versus network latency |
| 03/16/2012 | Program Inversion | Reversing operations |
| 03/10/2012 | Wrong tools for the wrong job | Research in Programming Languages |
| 02/04/2012 | Saved context | Programming as collaborative reference |
| 02/05/2012 | Strange list | Programming as collaborative reference |
| 01/31/2012 | Independence | Evolution of mainstream programming language paradigms |
| 02/01/2012 | Pedantic | Evolution of mainstream programming language paradigms |
| 02/02/2012 | Possibly | Evolution of mainstream programming language paradigms |
| 12/09/2011 | Semantics | Designing a languge — what theory is a must? |
| 12/04/2011 | Avoid pain | General purpose as a special case? |
| 12/04/2011 | CSP | General purpose as a special case? |
| 12/05/2011 | Point Development (one unit of) | General purpose as a special case? |
| 12/03/2011 | Aids development at expense of reliability | REPL-schmepl? |
| 11/20/2011 | Data Parallelism | Models for distributed parallelism |
| 12/05/2011 | Ownership | Models for distributed parallelism |
| 12/08/2011 | Switch of terminology | Models for distributed parallelism |
| 10/30/2011 | Maybe the example is important | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 11/09/2011 | SpiNNaker | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 10/16/2011 | Trees | Modern Shell Language |
| 09/25/2011 | Largely correct | Redesigning the Mozart virtual machine |
| 10/03/2011 | Transactional Memory Coherence and Consistency | Piecewise functional programming |
| 09/11/2011 | Sketching | What needs to be done? |
| 09/12/2011 | SPIRAL | What needs to be done? |
| 09/12/2011 | And yet | What needs to be done? |
| 09/17/2011 | Interactivity | What needs to be done? |
| 09/18/2011 | Behaviour | What needs to be done? |
| 09/20/2011 | Subtle change indeed | What needs to be done? |
| 09/20/2011 | Good clarification | What needs to be done? |
| 09/11/2011 | Blogs feature weak arguments | The Trouble with Erlang |
| 09/11/2011 | Exactly | The Trouble with Erlang |
| 09/11/2011 | Because there wasn't one there. | The Trouble with Erlang |
| 09/12/2011 | Could be | The Trouble with Erlang |
| 08/27/2011 | Some things to think about | Asynchronous messaging as integral part of programming language |
| 08/28/2011 | Summary and search term | Asynchronous messaging as integral part of programming language |
| 08/28/2011 | Forgot to answer your question | Asynchronous messaging as integral part of programming language |
| 08/11/2011 | OpenCL | Spark: Modular, Composable Shaders for Graphics Hardware |
| 08/11/2011 | Rasterisation | Spark: Modular, Composable Shaders for Graphics Hardware |
| 08/11/2011 | Partial evaluation | Spark: Modular, Composable Shaders for Graphics Hardware |
| 04/26/2011 | We couldn't find any nonclementure either | Nomenclature for impure functions |
| 03/29/2011 | Blog | Finding and Understanding Bugs in C Compilers |
| 03/28/2011 | Example | Synchronic Computation II |
| 03/29/2011 | Space | Synchronic Computation II |
| 03/30/2011 | Verifiability | Synchronic Computation II |
| 03/11/2011 | Tuples? | Reference request: running out of countably many variable names |
| 02/27/2011 | Related paper | Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 |
| 02/28/2011 | Yes | Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 |
| 03/05/2011 | Strange Comment | Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 |
| 03/05/2011 | Observable Behaviour | Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 |
| 03/06/2011 | Simple cores | Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 |
| 03/07/2011 | Decker's Algorithm | Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 |
| 02/19/2011 | Very cute | Tractatus Digito-Philosophicus |
| 02/23/2011 | Lacking answers | Monads vs. Actors |
| 02/24/2011 | Example doesn't follow | Monads vs. Actors |
| 02/25/2011 | In practice | Monads vs. Actors |
| 02/23/2011 | Well said | Monads vs. Actors |
| 01/29/2011 | Static locking | Holistic types |
| 01/28/2011 | Reminds me of abstract interpretation | Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing |
| 01/22/2011 | Suggestions | I've run out of programming languages to study |
| 01/25/2011 | PINs vs passwords | I've run out of programming languages to study |
| 01/16/2011 | Von Neumann Machine | Quines and my mad mind |
| 01/18/2011 | Of course | Quines and my mad mind |
| 01/15/2011 | Responses | How to Program the Many Cores for Inconsistency Robustness |
| 01/30/2011 | Clarification | How to Program the Many Cores for Inconsistency Robustness |
| 02/02/2011 | "always" and "terminates" | How to Program the Many Cores for Inconsistency Robustness |
| 02/03/2011 | Makes sense | How to Program the Many Cores for Inconsistency Robustness |
| 10/20/2010 | Probabilistic solution | "A Theory of Interprocess Communication" -- Leslie Lamport |
| 10/12/2010 | HLL | Intel's Array Building Blocks (was Rapidmind) : What do the purists and pragmatists think? |
| 10/12/2010 | Two questions | Intel's Array Building Blocks (was Rapidmind) : What do the purists and pragmatists think? |
| 10/15/2010 | Don't see the connection | Intel's Array Building Blocks (was Rapidmind) : What do the purists and pragmatists think? |
| 10/11/2010 | Entropy | Functional random numbers without threading state |
| 09/25/2010 | But AI is not some kind of | Omega - Language of the Future |
| 09/27/2010 | Is the C preprocessor Turing-complete? | Omega - Language of the Future |
| 04/08/2011 | Doesn't immediately follow.... | Programming with touch? |
| 04/09/2011 | Thanks | Programming with touch? |
| 10/17/2010 | Site now closed | Compiler Design Q&A Site |
| 10/17/2010 | Tags vs Sites | Compiler Design Q&A Site |
| 10/20/2010 | Great link | Compiler Design Q&A Site |
| 10/21/2010 | Looks good | Compiler Design Q&A Site |
| 08/04/2010 | CFP: PEPM 2011 | CFP: PEPM 2011 |
| 08/04/2010 | Oops | CFP: PEPM 2011 |
| 07/24/2010 | Research papers are not novels | paper: "Purely Functional Structured Programming" |
| 07/25/2010 | Sorry | paper: "Purely Functional Structured Programming" |
| 07/02/2010 | Examples | Simulation language ideas? |
| 05/17/2010 | Reasons are important | "Critical code studies" |
| 05/19/2010 | Good points. | "Critical code studies" |
| 05/03/2010 | Try asking your specific questions | Is there a site to discuss some issues on abstract interpretation? |
| 05/04/2010 | Difficult in general | Is there a site to discuss some issues on abstract interpretation? |
| 03/12/2010 | Nostalgia | Code Bubbles |
| 03/12/2010 | Version Control | Code Bubbles |
| 03/17/2010 | Format? | Code Bubbles |
| 03/10/2010 | In the same vein | Have tracing JIT compilers won? |
| 03/15/2010 | Explanation? | functional equivalance? |
| 02/21/2010 | Obvious thing to check | Testing release of a platform for hosting pure functional web applications |
| 02/14/2010 | Cynicism | A few billion lines of code later: using static analysis to find bugs in the real world |
| 02/19/2010 | Some rambling thoughts (no guarantee of quality) | A few billion lines of code later: using static analysis to find bugs in the real world |
| 02/01/2010 | DSL by cluster | What data sets would tell you the most about what sort of programming language to design? |
| 01/31/2010 | Inherent Order? | Declarative reactive tables |
| 01/31/2010 | Turtles? | Declarative reactive tables |
| 01/25/2010 | Self-adjusting computation | Graph processing |
| 01/25/2010 | Example is too trivial | Declarative binding vs. composition |
| 12/28/2009 | What is the benefit in diluting the term "pure"? | Is (probabilistic) non-determinism pure ? |
| 12/14/2009 | Is it this time of year again? | Claiming Infinity |
| 12/16/2009 | It is true that inf/inf=c is | Claiming Infinity |
| 12/16/2009 | Would be hard | Claiming Infinity |
| 12/17/2009 | I don't use matlab as it is | The Development of Sage |
| 11/26/2009 | Are you sure it's software architecture? | How to learn about formal top-down approach to software architecture? |
| 01/04/2010 | It explains the insanity | Explanation of Computer Theory for Lawyers |
| 01/05/2010 | What are physical bit? | Explanation of Computer Theory for Lawyers |
| 01/04/2010 | Not quite a perfect fit | Explanation of Computer Theory for Lawyers |
| 11/11/2009 | A better one... | Go or Unladen Swallow? |
| 10/29/2009 | Paper? | π: a pattern language |
| 10/03/2009 | Examples in Python | Why Pseudo-Code? |
| 10/05/2009 | The code is exactly the | Why Pseudo-Code? |
| 06/04/2009 | Not connected with languages... | Goolgle & IDEs |
| 06/05/2009 | Certainly does | Goolgle & IDEs |
| 06/06/2009 | One way to see it.... | Goolgle & IDEs |
| 06/05/2009 | Veering way off-topic... | Goolgle & IDEs |
| 06/01/2009 | One approach to improving | Computing Needs Time |
| 05/31/2009 | Only if all of the | Going functional on exotic trades |
| 05/31/2009 | There is an interesting | Going functional on exotic trades |
| 06/01/2009 | Actually I was thinking of | Going functional on exotic trades |
| 04/19/2009 | Termination | How to ensure safety when millions of users inject scripts into a running system? |
| 03/08/2009 | Linguistics and Computation | Influence of cognitive models on programming language design |
| 03/14/2009 | Parfait? | Influence of cognitive models on programming language design |
| 03/08/2009 | Recursive posts would be difficult in a linear logic | Linear Logic and Permutation Stacks--The Forth Shall Be First |
| 02/12/2009 | Interesting Problem | Programming languages for low level autonomic systems |
| 08/28/2008 | Language Research | From Writing and Analysis to the Repository: Taking the Scholars' Perspective on Scholarly Archiving |
| 08/26/2008 | Historically more neats than | Haskell for AI? |
| 08/14/2008 | As always it depends... | Text Processing by Functional Language? |
| 08/10/2008 | Different Techniques | Balancing the tension of dev vs. debug? |
| 08/10/2008 | Yes this is true. In general | Balancing the tension of dev vs. debug? |
| 05/31/2008 | Not quite your point... | Computational Thinking |
| 05/21/2008 | One possible reason | Linear Logical Algorithms |
| 05/08/2008 | Diminishing Returns | Automatic Generation of Peephole Superoptimizers |
| 05/10/2008 | Depends on how lucky you feel | Automatic Generation of Peephole Superoptimizers |
| 04/29/2008 | No they can't | Is Halting Problem Valid for P? |
| 04/29/2008 | Possible misreading | Is Halting Problem Valid for P? |
| 05/04/2008 | Unless you've missed part of | Is Halting Problem Valid for P? |
| 02/29/2008 | Furthermore | Pure, Declarative, and Constructive Arithmetic Relations |
| 02/29/2008 | Further Analysis | Pure, Declarative, and Constructive Arithmetic Relations |
| 03/08/2007 | Timing... | Lightweight static resources |
| 03/14/2007 | Some comments | Lightweight static resources |
| 02/07/2007 | Solid work | Programming Parallel Algorithms |
| 02/05/2007 | Interesting, but possible limited | Meta-Compilation of Language Abstractions |
| 02/05/2007 | Doh! | Meta-Compilation of Language Abstractions |
| 02/05/2007 | Good response | Meta-Compilation of Language Abstractions |
| 12/08/2006 | Quines | Self-Reproducing Programs in Common Lisp |
| 07/25/2006 | Which part are you having | Interface Automata |
| 02/12/2009 | Simple Suggestion | LtU: blog not forum! |
| 06/12/2006 | Occam syntax? | assistance with some data flow terms |
| 04/28/2006 | What is the main result of this paper? | A Language-Based Approach to Unifying Events and Threads |
| 04/28/2006 | Process languages | A Language-Based Approach to Unifying Events and Threads |
| 10/27/2009 | Corrupt record? | The Next Mainstream Programming Languages |
| 01/26/2009 | Incremental transformation | Functional anti-memoization |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |