Posts By: renox
| Date | Post | Topic |
| 07/06/2012 | Uh? | Why languages and not systems? |
| 06/26/2012 | local type inference | Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. |
| 06/06/2012 | Self defeating | Synth programming language concept |
| 04/24/2012 | Not only sugar | Why and How People Use R |
| 04/25/2012 | Difficult to say | Why and How People Use R |
| 04/25/2012 | Unsure | Why and How People Use R |
| 02/20/2012 | Interesting language | Julia, a language for technical computing |
| 02/22/2012 | Not bikesheeding: just an embarrassing mistake | Julia, a language for technical computing |
| 02/10/2012 | Strange advocacy | Effective Scala |
| 02/05/2012 | Rarely realy? | Active Variables in Common Lisp |
| 04/28/2012 | Still the "external world" issue | STEPS 2011 Progress Report (personal computing in 20kLOC) |
| 01/18/2012 | <a href="deca#comment-68891" class="active">Sure it should</a> | Deca, an LtU-friendly bare metal systems programming language |
| 01/03/2012 | <a href="deca#comment-68768" class="active">Why not Ada?</a> | Deca, an LtU-friendly bare metal systems programming language |
| 11/18/2011 | Not really | REPL-schmepl? |
| 11/22/2011 | latency | REPL-schmepl? |
| 11/14/2011 | So where's P != NP proof? | math proofs are more robust than computer proofs |
| 10/17/2011 | Not very good post | "Crutches in language design", accidental complexity and feature overlap |
| 10/14/2011 | Not so sure | Dennis Ritchie passed away |
| 10/10/2011 | Google's Dart announced | Google's Dart announced |
| 09/16/2011 | Curious generalisation | Google's "The Future of JavaScript" internal memo leaked |
| 09/14/2011 | Small? | What needs to be done? |
| 09/14/2011 | Practical basic datatypes | What needs to be done? |
| 09/01/2011 | Funny tittle | the gnu extension language |
| 08/27/2011 | One "old" book that I like | quite "old" books discussion |
| 08/29/2011 | DbC | quite "old" books discussion |
| 09/01/2011 | Well some good books are "bad" too | quite "old" books discussion |
| 09/05/2011 | RPC is a very, very bad idea | Asynchronous messaging as integral part of programming language |
| 04/23/2011 | Lot's of impurity | Nomenclature for impure functions |
| 04/14/2011 | "as much a value" is debatable | Redhat's New Language |
| 04/15/2011 | Agreed | Redhat's New Language |
| 04/15/2011 | Thanks | Staking Claims: A History of Programming Language Design Claims and Evidence |
| 04/18/2011 | Uh? | Staking Claims: A History of Programming Language Design Claims and Evidence |
| 03/22/2011 | Not new.. | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/03/2011 | Thanks for the link [NT] | InfoQ Video + transcript of Mark Miller on making ECMAScript secure |
| 03/02/2011 | Fake reference? | Object capabilities for protecting object slots in prototype-based languages? |
| 02/27/2011 | Some info on Go's GC | InfoQ video + transcript of Rob Pike on Go |
| 01/27/2011 | Thanks | I've run out of programming languages to study |
| 12/31/2010 | debugwritestring? Ouch! | Request for feedback: Epoch Programming Language |
| 01/03/2011 | Not that sure.. | Memory, Actions and Extensible Syntax |
| 12/21/2010 | Sigh, a bit lazy? | Azul's Pauseless Garbage Collector |
| 12/05/2010 | An interesting serie but | Ghosts of Unix Past: a historical search for design patterns |
| 11/29/2010 | Yacc is dead? In short: No | Yacc is dead |
| 12/15/2010 | Typo? | Tolerant vs. Demanding Software |
| 10/14/2010 | Uh? | The barrier to take-up of language innovation |
| 10/15/2010 | Strange assertion | The barrier to take-up of language innovation |
| 09/16/2010 | Number unlimited in size? | New Dataflow Programming Language |
| 09/17/2010 | Long live the king.. | New Dataflow Programming Language |
| 09/03/2010 | Yet reality didn't comply | Choosing a VM for a concurrent language |
| 09/03/2010 | You're losing the big picture | Choosing a VM for a concurrent language |
| 08/23/2010 | I wonder why there are not | The Grafwegen Hi Compiler named Hic release 0.1 |
| 08/24/2010 | But what should be the default behaviour? | The Grafwegen Hi Compiler named Hic release 0.1 |
| 08/26/2010 | Masochism? | The Grafwegen Hi Compiler named Hic release 0.1 |
| 08/24/2010 | Uhm, Java ? | The Grafwegen Hi Compiler named Hic release 0.1 |
| 08/20/2010 | In theory, yes | Miguel de Icaza on Java lawsuit |
| 08/07/2010 | Added value? | Lexical Analysis with Extended Identifiers and Disambiguation by Table Look-up. |
| 07/27/2010 | Confusing | paper: "Purely Functional Structured Programming" |
| 07/27/2010 | Thanks | paper: "Purely Functional Structured Programming" |
| 07/28/2010 | Maybe related to naming | paper: "Purely Functional Structured Programming" |
| 04/28/2010 | pipes have other issue as well | The Structure of Authority: Why security is not a separable concern |
| 03/11/2010 | Not always | functional equivalance? |
| 02/26/2010 | And more precisely? | plt vs. something else for programming in the large? |
| 02/26/2010 | Unix has very constrained interface? | plt vs. something else for programming in the large? |
| 02/24/2010 | Uh? | Recent Progress in Quantum Algorithms |
| 02/10/2010 | Except for equality comparisons | NaNs and reflexivity |
| 01/27/2010 | Depends on your users | Operator precedence |
| 01/23/2010 | Does Einstein really say this? | Quantum Lambda Calculus |
| 01/20/2010 | EPR paradox? | Quantum Lambda Calculus |
| 12/29/2009 | An error somewhere | Claiming Infinity |
| 12/14/2009 | Disagree with your first point | Why Object-Oriented Languages Need Tail Calls |
| 11/14/2009 | Uh? | Go or Unladen Swallow? |
| 10/30/2009 | Is-it still litterate programming? | Literate Programming: Retrospect and Prospects |
| 10/16/2009 | YMMV | Safe Garbage Collection = Regions + Intensional Type Analysis |
| 07/29/2009 | Uh? | Evaluation and Usability of Programming Languages and Tools (PLATEAU) |
| 07/30/2009 | Mmm | Evaluation and Usability of Programming Languages and Tools (PLATEAU) |
| 07/24/2009 | Depends | Resolved Debates in Syntax Design ? |
| 07/01/2009 | gold | Modern dynamic linking infrastructure for PLT |
| 06/18/2009 | Bleh should be optionnal | How important is it to have catchalls and interceptors in a programming language |
| 06/18/2009 | Read again | How important is it to have catchalls and interceptors in a programming language |
| 04/09/2009 | Quite funny | Why are objects so unintuitive? |
| 03/30/2009 | I didn't get everything | Subsumption at all costs |
| 10/12/2011 | Strange conclusion for case 1 | Subsumption at all costs |
| 03/08/2009 | That's a measure of success | Dao, the official 1.0 version is released |
| 03/08/2009 | A fashion industry | Dao, the official 1.0 version is released |
| 02/03/2009 | Avoiding overflow | Tagged Arithmetic Optimization |
| 02/03/2009 | [[Current ML implementations | Tagged Arithmetic Optimization |
| 02/04/2009 | Not here | Tagged Arithmetic Optimization |
| 01/30/2009 | John Hughes's claim is a bit shocking | PL Grand Challenges |
| 01/23/2009 | The issue is about the default type | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
| 01/21/2009 | Really needed? 0! | Nested functions - how many nesting levels are really needed? |
| 01/09/2009 | Depends | 2008 In Review - What Happened with Programming Languages? |
| 01/15/2009 | what's the minimum then? | 2008 In Review - What Happened with Programming Languages? |
| 01/16/2009 | The devil is in the 'and' | 2008 In Review - What Happened with Programming Languages? |
| 01/19/2009 | Thanks | 2008 In Review - What Happened with Programming Languages? |
| 01/04/2009 | Uh? | 2008 In Review - What Happened with Programming Languages? |
| 12/20/2008 | Uh | If Programming Languages were <T> |
| 12/17/2008 | As an aside | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 11/09/2008 | A few remarks | The Origins of the BitC Programming Language |
| 11/10/2008 | I'm curious | Question concerning parameterization over literals |
| 09/27/2008 | Agreed(NT) | Reia: Python/Ruby style language on top of Erlang |
| 09/19/2008 | A part! | The Transactional Memory / Garbage Collection Analogy |
| 09/16/2008 | Are GC compatible with games engine? | Twilight of the GPU |
| 09/17/2008 | Agreed | Twilight of the GPU |
| 09/12/2008 | Probably OT but still interesting | Irresistible programs |
| 09/13/2008 | Talking about a classic with a bug | Irresistible programs |
| 09/17/2008 | Depends where | Irresistible programs |
| 09/04/2008 | Still not there | Communicating Scala Objects |
| 09/03/2008 | Agreed | Google chrome |
| 08/27/2008 | The answer is in the paper | Towards Hard Real-Time Erlang |
| 08/26/2008 | Apparently, it's not-Lisp bashing topic | Features of Common Lisp |
| 07/23/2008 | Why restrict it? | FP in D 2.0 |
| 07/23/2008 | Logging pure function | FP in D 2.0 |
| 07/18/2008 | Lisaac and Ada | Systems programming in languages other than C? |
| 07/16/2008 | Scope? | Practical Bits of Making a Compiler for a New Language |
| 07/14/2008 | is zero overhead really true? | Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml |
| 06/29/2008 | .Net equivalent on Unix? Java. | The hits and misses of Microsoft |
| 06/28/2008 | Ada? | Request for participation |
| 06/13/2008 | Not that obvious | Functional Programming in the ACM CS Curriculum |
| 05/27/2008 | No proof | Software complexity as means of professional advancement |
| 05/27/2008 | Bah | Software complexity as means of professional advancement |
| 05/20/2008 | Not surprising | Scala Lift Off Unconference review |
| 05/10/2008 | Thanks | OO via first class enviroments: Bla |
| 04/25/2008 | Agreed. | 2nd Revision of "Thoughts about the Best Introductory Language" |
| 03/25/2008 | Code? | STEPS Toward The Reinvention of Programming: First Year Progress Report |
| 03/25/2008 | Thanks | STEPS Toward The Reinvention of Programming: First Year Progress Report |
| 02/27/2008 | When there's "nothing" to do | exceptions again |
| 02/27/2008 | Very interesting | Chris Okasaki on Indentation Syntax |
| 01/31/2008 | Not restricted to FP | Don't try FP in industry! |
| 01/31/2008 | Bah | Arc is released |
| 01/27/2008 | Real-Time or not? | Embedded concurrent FPish languages? |
| 01/31/2008 | Thanks. | Embedded concurrent FPish languages? |
| 01/16/2008 | Just some points | Ruby vs. Smalltalk |
| 01/15/2008 | Not really. | Prediction for 2008 |
| 01/15/2008 | Sigh | Prediction for 2008 |
| 01/24/2008 | +1 | Prediction for 2008 |
| 12/12/2007 | Hard to say | Avi Bryant: Ruby IS-A Smalltalk |
| 12/13/2007 | Only to beginners | Avi Bryant: Ruby IS-A Smalltalk |
| 12/15/2007 | No: easy only for beginners | Avi Bryant: Ruby IS-A Smalltalk |
| 12/06/2007 | C's syntax for variable declaration is ugly | poll: syntax |
| 12/05/2007 | Python | poll: syntax |
| 12/06/2007 | Very doutful that QNL would be useful for writing | poll: syntax |
| 12/07/2007 | Not convincing | poll: syntax |
| 12/08/2007 | Debatable | poll: syntax |
| 12/12/2007 | Haskell is quite alien | poll: syntax |
| 12/03/2007 | Premature deduction IMHO | Quantifying the Performance of Garbage Collection vs. Explicit Memory Management |
| 10/25/2007 | keyword == parameter passing by name | On DSL, Smalltalk and FP |
| 10/25/2007 | I wouldn't call rand deterministic | On the Importance of Purity |
| 10/05/2007 | XQuery's syntax, strange. | Introducing the XQVM programming language. |
| 09/18/2007 | What is an 'uniqueness type'? | Uniqueness Types Instead STM |
| 09/18/2007 | Not for outsiders | Online video course on monads |
| 09/03/2007 | One thing they forgot: infighting | No Name: Just Notes on Software Reuse |
| 08/27/2007 | Interesting | D Programming Language Conference |
| 08/28/2007 | Curious too | Garbage Collection Without Paging |
| 08/28/2007 | Difference with 'Page level Cooperative GC'? | Garbage Collection Without Paging |
| 08/09/2007 | Some of the problem are common | Ralph Johnson: Erlang, the next Java |
| 08/01/2007 | it's --> its | Monad Description For Imperative Programmer |
| 08/01/2007 | Well, maybe he wants to make | Monad Description For Imperative Programmer |
| 08/09/2007 | There is no single 'right' direction | Monad Description For Imperative Programmer |
| 06/25/2007 | Local only though | Carnap Programming Language |
| 07/01/2007 | Too bad, it starts with SYN, ACK | Trickles: A Stateless Network Stack for Improved Scalability, Resilience and Flexibility |
| 05/27/2007 | No difference, what about recursion? | Lambda in C# 3.0 |
| 05/10/2007 | But is-it pratical? | "The language of the future is javascript" |
| 05/04/2007 | For things used only once, | Rules of good declarative language design |
| 05/04/2007 | As you asked for opinions: I | Functional Object-Oriented Programming |
| 05/07/2007 | Security issue | Is Integer wrapping an exceptional condition? |
| 05/17/2007 | Relative efficiency | Is Integer wrapping an exceptional condition? |
| 05/19/2007 | Strange | Is Integer wrapping an exceptional condition? |
| 05/12/2007 | Most niches? | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/15/2007 | Interesting. | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/16/2007 | Thinking back | Microsoft's new Dynamic Language Runtime (DLR) |
| 04/18/2007 | extremely accessible??? | Course on Interactive Computer Theorem Proving Based on Coq |
| 04/23/2007 | Comparing apples and oranges. | Thoughts about the Best Introductory Language |
| 04/02/2007 | Interesting | Putting functional database theory into practice: NixOS |
| 03/23/2007 | At the end | No Ifs, Ands, or Buts |
| 03/11/2007 | That's debatable: when the | Gilad Bracha on tuples |
| 02/25/2007 | Thanks for the link | On the fact that the Atlantic Ocean has two sides |
| 03/03/2007 | Interoperability with who? | The Computer Revolution Hasn't Happened Yet |
| 02/26/2007 | Interesting | Dao, a new programming language |
| 02/26/2007 | -For the exception handling: | Dao, a new programming language |
| 03/07/2007 | Maybe you could have a look | Dao, a new programming language |
| 02/13/2007 | Familiarity | Easy to learn and use |
| 02/14/2007 | Easy to learn and use | Easy to learn and use |
| 02/14/2007 | I meant unknown in the | Easy to learn and use |
| 02/20/2007 | OK, I've finally found some | Easy to learn and use |
| 03/06/2007 | Thanks for your answer, note | Easy to learn and use |
| 02/14/2007 | I would say that Python | Easy to learn and use |
| 02/09/2007 | While his point is | Patrick Logan on Software Transaction Memory |
| 02/07/2007 | OK for small scale SMP | ACM Queue: Realtime Garbage Collection |
| 02/05/2007 | Fit with Albert? | Meta-Compilation of Language Abstractions |
| 01/21/2007 | I think that the 'yay' was | F3: New statically typed scripting language for java |
| 01/17/2007 | >it can be distributed with | Great Expectations: Java Virtual Machine |
| 02/10/2007 | Depends on the domain | Why people don't use functional programming? |
| 01/03/2007 | Both are ugly | Why numbering should start at 0 |
| 01/02/2007 | > But I think it worth it - | "Limits to implicit parallelism in functional application" |
| 12/22/2006 | Thanks for the link, a very | Misc items |
| 12/18/2006 | But do you really want to | Why do we need finally in try? |
| 12/08/2006 | My take: handling 'disk | Exceptions |
| 12/13/2006 | This idea has been | Exceptions |
| 05/15/2008 | Uh? | Programming (language) puzzles |
| 11/24/2006 | Or should the result of | De-Scheming MIT? |
| 10/30/2006 | Still hard | Best Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!! |
| 10/31/2006 | Yes, thanks using the type | Best Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!! |
| 10/30/2006 | Perhaps Scala or D | Want to learn something new |
| 10/31/2006 | Note that it's not me who | Want to learn something new |
| 10/31/2006 | I was sure that I've read | Want to learn something new |
| 11/10/2006 | Not a judgement. | Want to learn something new |
| 11/05/2006 | Wrong I believe | Future of software design? |
| 10/16/2006 | Well I think that his point | Good Ideas, Through the Looking Glass |
| 10/06/2006 | I agree that more human | Assembly language for Power Architecture |
| 10/06/2006 | OK let'me try this | Assembly language for Power Architecture |
| 10/06/2006 | Too bad Limbo is totally | Google Code Search |
| 10/06/2006 | Could you give an example | Google Code Search |
| 10/03/2006 | Well for readability, I'd | An Incremental Approach to Compiler Construction |
| 10/02/2006 | I'm not surprised that your | Machine Obstructed Proof |
| 06/21/2006 | Rule #1: provide good complete spec | Rules for Developing Safety-Critical Code |
| 06/18/2006 | Note that we're talking | Why only 'minimal' languages |
| 06/16/2006 | Many feature in the language --> implementation problem | Why only 'minimal' languages |
| 05/22/2006 | Too verbose/unclear | Gilad Bracha: Will Continuations continue? |
| 05/22/2006 | Agreed about your point, | Gilad Bracha: Will Continuations continue? |
| 05/16/2006 | Well you can consider | ruby vs python |
| 03/30/2009 | Thanks | Functional Relational Programming: Out of the tar pit |
| 02/21/2006 | I'm not sure I understand | Gilad Is Right |
| 02/12/2006 | Tongue in cheek? | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | Well, I find this point | Guido: Language Design Is Not Just Solving Puzzles |
| 02/19/2006 | I'm not an expert but aren't | Interval Datatype |
| 02/04/2006 | I think that he calls it a | Unix as programming language |
| 02/04/2006 | I had to maintain a quite | Unix as programming language |
| 10/26/2009 | Only? | The Next Mainstream Programming Languages |
| 10/26/2009 | After reading this | The Next Mainstream Programming Languages |
| 02/04/2006 | Note that there is research | The Next Mainstream Programming Languages |
| 02/02/2006 | GC for memory, ok but for resources? | The Next Mainstream Programming Languages |
| 02/05/2006 | I disagree: verbosity is a | The Next Mainstream Programming Languages |
| 10/18/2008 | Linux for work, WindowsXP for games | Choice of OS of LtU readers |
| 01/11/2006 | >> "There is no standard synt | Tim Bray: Don't Invent XML Languages |
| 01/01/2006 | I didn't use Scala, just read | Auld Lang Alice |
| 01/02/2006 | New python? Not really | Auld Lang Alice |
| 12/30/2005 | An interesting article linked by GPGPU | Accelerator: simplified programming of graphics processing units for general-purpose uses via data-parallelism |
| 12/30/2005 | Depends what you call "good" | Accelerator: simplified programming of graphics processing units for general-purpose uses via data-parallelism |
| 01/03/2006 | Already done. | Accelerator: simplified programming of graphics processing units for general-purpose uses via data-parallelism |
| 01/06/2006 | > Dem's fightin' words! Littl | Accelerator: simplified programming of graphics processing units for general-purpose uses via data-parallelism |
| 11/10/2005 | Simplicity? | CaSe SenSitIviTy! What is its purpose in programming language syntax? |
| 11/12/2005 | About multiple inheritance | OCaml 3.0.9 |
| 11/06/2005 | Could you clarify? | An Overview of the Singularity Project |
| 09/25/2005 | Enabling tail-call optimisati | Don Box: Scheme Is Love |
| 08/31/2005 | Static typing with explicit type declaration is wordy | Tim Bray on Ruby |
| 08/06/2005 | Note that nobody has reused t | Overloading - Syntactic Heroin? |
| 08/08/2005 | Whoops | Overloading - Syntactic Heroin? |
| 07/30/2005 | Bah, having only interface ma | A Typed Intermediate Language for Compiling Multiple Inheritance |
| 07/31/2005 | I still don't get your first | A Typed Intermediate Language for Compiling Multiple Inheritance |
| 07/12/2005 | I disagree: readability is key | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/01/2006 | Not by hand | Sudoku |
| 06/11/2005 | Uh? | Happy Birthday, PHP... |
| 06/26/2008 | Doesn't matter. | Let's make a programming language! |
| 02/28/2005 | A paper on the Implementation of Lua 5.0 | A paper on the Implementation of Lua 5.0 |
| 02/23/2005 | Language matter less than good feedback | Don Box: Teaching my kids to program |
| 11/18/2004 | Skribe language looks cleaner that Lout. | Skribe 1.2b released |
| 11/18/2004 | You have a point | Skribe 1.2b released |
| 11/21/2004 | Depends | Skribe 1.2b released |
| 10/26/2004 | I wouldn't use popularity as a criteria | Dr. Kenneth Iverson Passes Away |
| 01/29/2009 | A trade-off | Explaining monads |
| 12/16/2008 | Different level | Explaining monads |
| 12/19/2008 | Thanks a lot | Explaining monads |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |