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 |