Posts By: Noel
| Date | Post | Topic |
| 02/03/2012 | Always Learning | Peak Abstraction |
| 02/04/2012 | Human not technical | Peak Abstraction |
| 10/08/2011 | Convexity and Non-convexity | Parallel frameworks for graph processing |
| 09/01/2011 | Clash! | [ANN] FP Day 2011 - October 14th. Cambridge, UK. |
| 08/27/2011 | FRP vs Pi | Opa |
| 09/01/2011 | Thanks | Opa |
| 09/01/2011 | FRP is ambiguous | Opa |
| 09/03/2011 | Who Are You Calling a Weenie? | Opa |
| 04/13/2011 | Redhat's New Language | Redhat's New Language |
| 12/20/2010 | You are correct and this is | Azul's Pauseless Garbage Collector |
| 12/20/2010 | Yes | Azul's Pauseless Garbage Collector |
| 11/26/2010 | More than 2c | A book on Racket? |
| 11/26/2010 | I see; I didn't get that | A book on Racket? |
| 08/27/2010 | Diluting the conversation | Theoretical Computer Science StackExchange Beta now open |
| 07/28/2010 | Happy Birthday LtU! | It's been ten years! |
| 07/23/2010 | The Mirah Language | The Mirah Language |
| 07/08/2010 | The Rust Language | The Rust Language |
| 06/08/2010 | Racket Released | Racket Released |
| 04/17/2010 | SEC interested in formalising contracts ... in Python | SEC interested in formalising contracts ... in Python |
| 04/20/2010 | You can't formalise in the informal | SEC interested in formalising contracts ... in Python |
| 04/22/2010 | Minimal extra investment for great return!!1! | SEC interested in formalising contracts ... in Python |
| 04/29/2010 | The goal is noble and pure | SEC interested in formalising contracts ... in Python |
| 04/30/2010 | Huh? | SEC interested in formalising contracts ... in Python |
| 03/25/2010 | In agreement | Will data-intensive computing revolutionize programming languages? |
| 03/19/2010 | Static reasoning | First-class environments. Discuss. ;) |
| 03/29/2010 | Not Your Father's Lisp | First-class environments. Discuss. ;) |
| 03/24/2010 | Typed Scheme | First-class environments. Discuss. ;) |
| 03/18/2010 | BitC is back | BitC is back |
| 03/09/2010 | Depends on domain | Have tracing JIT compilers won? |
| 03/10/2010 | Agreed, but | Have tracing JIT compilers won? |
| 03/17/2010 | Not Really | Have tracing JIT compilers won? |
| 02/03/2010 | Puzzling | HipHop: Facebook runs compiled PHP on its servers |
| 02/04/2010 | Science is calling... | HipHop: Facebook runs compiled PHP on its servers |
| 02/01/2010 | Simple optimisations | What data sets would tell you the most about what sort of programming language to design? |
| 01/20/2010 | Some Random Thoughts | Academic advice: Mathematics or Computer Science? |
| 01/20/2010 | I don't know much about CS | Academic advice: Mathematics or Computer Science? |
| 10/15/2009 | Pick me! | In-Progress MSc on DSL Program Maintenance |
| 08/21/2009 | It's a brave attempt | Scheme to be split into two languages |
| 08/19/2009 | Why? | Theoretical Foundations for Practical Totally Functional Programming, by Colin Kemp |
| 08/11/2009 | The End of the GPU Roadmap | The End of the GPU Roadmap |
| 08/11/2009 | Who will step forward? | The End of the GPU Roadmap |
| 08/11/2009 | Full steam for IPO | The End of the GPU Roadmap |
| 08/14/2009 | Many abstractions | The End of the GPU Roadmap |
| 10/12/2008 | No more tail calls in Javascript? | No more tail calls in Javascript? |
| 10/12/2008 | Is Adobe serious? | No more tail calls in Javascript? |
| 10/12/2008 | Typed Scheme | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 09/17/2008 | OT on the SE podcast | The Transactional Memory / Garbage Collection Analogy |
| 09/16/2008 | Twilight of the GPU | Twilight of the GPU |
| 09/16/2008 | Ct | Twilight of the GPU |
| 06/20/2008 | Scaling Type Inference | Scaling Type Inference |
| 06/20/2008 | Final Question | Scaling Type Inference |
| 06/20/2008 | Two sides | Scaling Type Inference |
| 06/20/2008 | Right, and this is what I | Scaling Type Inference |
| 05/27/2008 | See Java | Software complexity as means of professional advancement |
| 04/09/2008 | Structural Typing | Static Analysis for Duck Typing |
| 02/25/2008 | More detail needed? | Software Craftsmanship: Apprentice to Journeyman |
| 04/07/2008 | Some sort of answer. | Software Craftsmanship: Apprentice to Journeyman |
| 02/07/2008 | It is a thing of wonder | Project LambdaCan |
| 01/31/2008 | It Isn't Always Like That | Don't try FP in industry! |
| 01/30/2008 | Except... | Arc is released |
| 11/20/2007 | Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach | Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach |
| 11/20/2007 | I can't make up my mind | Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach |
| 08/29/2007 | R6RS Validated | R6RS Validated |
| 08/29/2007 | Let the recriminations begin! | R6RS Validated |
| 08/30/2007 | Dangerous Ground | R6RS Validated |
| 08/30/2007 | A Club Anyone Can Join | R6RS Validated |
| 08/24/2007 | Real men use greek | Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators |
| 08/24/2007 | Some Notes and Thoughts | Commercial Users of Functional Programming 2007 |
| 08/14/2007 | Caution advised | LtU beer party - Jerusalem |
| 08/08/2007 | Modesty prevents... | Experience Report: Scheme in Commercial Web Application Development |
| 08/09/2007 | Flapjax in action | Experience Report: Scheme in Commercial Web Application Development |
| 08/14/2007 | Slides? | AngloHaskell 2007 - date and venue confirmed |
| 06/01/2007 | Laziness is avoiding work | "Practical" advantages of lazy evaluation |
| 05/15/2007 | A Handy Crutch | Sun's new JavaFX Script language |
| 05/15/2007 | Memory allocation | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/15/2007 | No luck | Dynamic interactivity in Mathematica 6 |
| 04/30/2007 | AutoBayes -- A DSL For Bayesian Networks | AutoBayes -- A DSL For Bayesian Networks |
| 04/30/2007 | The Drawback | AutoBayes -- A DSL For Bayesian Networks |
| 04/27/2007 | Huh? | Arc in action (a.k.a. it's aliiiiive!) |
| 04/27/2007 | Code isn't written in specifications | Arc in action (a.k.a. it's aliiiiive!) |
| 04/16/2007 | Frameworks are the new languages | Twitter and Rails brouhaha |
| 03/27/2007 | Half a smiley | R6RS Ratification |
| 03/23/2007 | Interesting... | A Real-World Use of Lift, a Scala Web Application Framework |
| 03/26/2007 | Actors != Continuations? | A Real-World Use of Lift, a Scala Web Application Framework |
| 03/12/2007 | The Current Practical Limit of Static Typing | The Current Practical Limit of Static Typing |
| 03/12/2007 | Furthermore | The Current Practical Limit of Static Typing |
| 03/13/2007 | In theory, practice is the same as theory | The Current Practical Limit of Static Typing |
| 03/05/2007 | In the red corner! | Kourier is now live |
| 02/28/2007 | The cites | Behaviour Diffing |
| 02/25/2007 | Not So Hard | Literature on recovering grammars? |
| 02/16/2007 | Graphics | How to teach Functional Programming... in Flash??? |
| 01/15/2010 | Only for layout | Reactive Programming |
| 02/06/2007 | Interested But Lazy | Meta-Compilation of Language Abstractions |
| 01/15/2007 | Annotated POPL 2007 Program | Annotated POPL 2007 Program |
| 01/11/2007 | From the horse's mouth | Call by push-value |
| 11/27/2006 | Declining spirits / rising spirits | The Future of LtU |
| 10/13/2006 | Flapjax - Functional Reactive Ajax | Flapjax - Functional Reactive Ajax |
| 10/13/2006 | Where's the download? | Flapjax - Functional Reactive Ajax |
| 08/10/2006 | Reinforcement Learning? | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 07/06/2006 | Programming Languages and Lambda Calculi | Programming Languages and Lambda Calculi |
| 06/23/2006 | Thanks Ehud. We will over | PLT web server used in "real life" |
| 07/05/2006 | More information | PLT web server used in "real life" |
| 05/30/2006 | Depends | yet another noob via "little lisper" and scheme |
| 01/15/2008 | Poor Aristotle | ruby vs python |
| 08/21/2006 | SAC Array Fold | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
| 04/03/2006 | foldl and foldr | foldl and foldr |
| 02/06/2006 | Location is dead | hypothetical question |
| 02/06/2006 | Word | hypothetical question |
| 02/06/2006 | What Abominations? | Unix as programming language |
| 02/10/2006 | Count me in | Unix as programming language |
| 02/02/2006 | Cutting Hedge | A New Haskell and those anxious to change |
| 02/02/2006 | Bounds Checking and Array Comprehensions | The Next Mainstream Programming Languages |
| 01/31/2006 | Nice summary | Everything Your Professor Failed to Tell You About Functional Programming |
| 01/31/2006 | Naked Objects | Naked Objects |
| 01/31/2006 | :-) | Naked Objects |
| 02/01/2006 | Traversal etc. | Naked Objects |
| 02/01/2006 | And a bit more | Naked Objects |
| 01/05/2006 | Really? | Stroustrup talking about C++0x |
| 12/29/2005 | Too Much Work | Mind Mappers |
| 12/28/2005 | Some Thoughts | Insights on teaching computer programming |
| 12/20/2005 | Some Publications | [Newbie] Where can I learn about VM / C interfacing? |
| 11/02/2005 | Yes and No | Smalltalk case-statement |
| 10/31/2005 | Count me in! | Does Visual Studio Rot the Mind? |
| 10/29/2005 | The Link to LtU | OOPSLA 2005 Reports |
| 10/29/2005 | Depends | OOPSLA 2005 Reports |
| 10/30/2005 | It's the Interplay that's Important | OOPSLA 2005 Reports |
| 10/29/2005 | Some Thoughts | OOPSLA 2005 Reports |
| 11/04/2005 | Examples? | OOPSLA 2005 Reports |
| 10/28/2005 | What, you actually want help?! | Would LISP/FP help here? |
| 12/19/2005 | A Response to Beyond Java By Bruce Eckel | Bruce Tate: Technologies that may challenge Java |
| 10/20/2005 | Not quite cdr-coding... | Best default sequence? |
| 10/18/2005 | Bayes vs Bayesian | Abstraction |
| 10/12/2005 | Composition in CST vs AST | Macros/Syntax vs. AST manipulation |
| 09/28/2005 | I answer: mu | Looking for FP Debuggers |
| 09/29/2005 | Mu Two | Looking for FP Debuggers |
| 09/28/2005 | Agreed | LtU: Style and Focus |
| 09/28/2005 | What Is This Linearity You Speak Of? | Continuations library for Java |
| 09/16/2005 | The Usual Suspects | Most Productive FP Lang? |
| 09/16/2005 | Who's Shout Is It? | Most Productive FP Lang? |
| 09/13/2005 | Yes | Genetic algorithms vs. genetic programming - PLT perspective? |
| 09/14/2005 | You're correct (if I am) | Genetic algorithms vs. genetic programming - PLT perspective? |
| 08/24/2005 | Depth-First Search | Should Computer Science Get Rid of Protocols? |
| 08/25/2005 | Scheme | Ivory Towers and Gelfand's Principle |
| 08/04/2005 | Neat! Also check out ParenScript | A Lisp to JavaScript Compiler in 100 Lines |
| 08/05/2005 | Scoping Issues | A Lisp to JavaScript Compiler in 100 Lines |
| 08/05/2005 | My Experiences | ACM Queue: Security Problem Solved? |
| 07/24/2005 | Network Effects | Economics of Programming Languages |
| 07/07/2005 | Market Space Outside LtU | Dynamic Languages Journal? |
| 07/03/2005 | Blowing my own trumpet | Behaviour: Using CSS selectors to apply Javascript functionality |
| 07/04/2005 | The Shame I Bear | Behaviour: Using CSS selectors to apply Javascript functionality |
| 06/29/2005 | Hungarian Notation vs The Right Thing | Hungarian Notation vs The Right Thing |
| 06/29/2005 | Get In The 'Hood | Hungarian Notation vs The Right Thing |
| 06/29/2005 | The Obvious Answer | Hungarian Notation vs The Right Thing |
| 06/30/2005 | It Should Be Easier | Hungarian Notation vs The Right Thing |
| 07/02/2005 | Why | Hungarian Notation vs The Right Thing |
| 07/04/2005 | What I Mean | Hungarian Notation vs The Right Thing |
| 06/15/2005 | Keep Blogging Worker Bee! | Keep Blogging Worker Bee! |
| 05/26/2005 | PLT Needs You! | PLT Needs You! |
| 05/27/2005 | Be creative | PLT Needs You! |
| 04/14/2005 | The Languages Do Have It | Dominus talks about HO Perl |
| 04/06/2005 | Social reasons | Lisp-Stat does not seem to be in good health lately. |
| 04/10/2005 | Agreed, but... | Lisp-Stat does not seem to be in good health lately. |
| 04/12/2005 | I Disagree | Lisp-Stat does not seem to be in good health lately. |
| 04/01/2005 | Fold Must Fold! | Fold Must Fold! |
| 04/01/2005 | Not so sir! | Fold Must Fold! |
| 03/29/2005 | Think Prolog | New Dan Friedman book coming up?? |
| 03/23/2005 | Yikes! | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/18/2005 | I Love Guido | The fate of reduce() in Python 3000 |
| 03/18/2005 | Ability... | The fate of reduce() in Python 3000 |
| 03/18/2005 | And a generator is... | The fate of reduce() in Python 3000 |
| 03/18/2005 | Python reduce broken | The fate of reduce() in Python 3000 |
| 03/22/2005 | An Example of Open Publishing Done Right | Journals and papers? |
| 02/14/2005 | Practical aspects | SOAP considered canonical |
| 02/08/2005 | How Strange?! | OpenSpice |
| 01/21/2005 | Suggestions for learning formal semantics | Getting Started |
| 12/22/2004 | Mathematics faster in Chinese | the Chinese natual language |
| 12/21/2004 | Sorry to hear it | Absence |
| 12/20/2004 | Fine for messing around | The Memory Pool System: Thirty person-years of memory management development goes Open Source |
| 12/15/2004 | Killer Props for Computer Scientist! | Killer Props for Computer Scientist! |
| 12/15/2004 | The full paper | Killer Props for Computer Scientist! |
| 11/25/2004 | SISC Works For Me | Little language for use within Java, suited for users to define "rules" |
| 10/19/2004 | One Langauge | Two Languages (high+low level) vs One Language |
| 10/05/2004 | Turtles and Markov Decision Processes | Probabilistic languages for kids? |
| 06/28/2004 | Pragmatic Programmers Interview | Pragmatic Programmers Interview |
| 06/28/2004 | New Progol releases, and related work | Progol |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |