Posts By: kragen
| Date | Post | Topic |
| 06/15/2010 | Forth | seL4: Formal Verification of an Operating-System Kernel |
| 06/15/2010 | ease of proof of correctness | seL4: Formal Verification of an Operating-System Kernel |
| 02/02/2012 | a weird priority reversal | Small is Beautiful: the design of Lua |
| 02/07/2012 | Yes, but | Small is Beautiful: the design of Lua |
| 02/07/2012 | It's about interfaces | Small is Beautiful: the design of Lua |
| 06/10/2010 | unseemly gloating | Have tracing JIT compilers won? |
| 11/21/2009 | Go or Unladen Swallow? | Go or Unladen Swallow? |
| 11/21/2009 | "OS" | Go or Unladen Swallow? |
| 11/21/2009 | A lot of the framework | Go or Unladen Swallow? |
| 11/21/2009 | If your server is paging | Go or Unladen Swallow? |
| 05/13/2010 | an article form | Iterators Must Go |
| 03/14/2009 | That was my initial thought | A Tiny Computer |
| 12/01/2008 | Talk to Emile van Sebille | Remembering everything - a new(?) idea for a new PL |
| 12/01/2008 | They're using OMeta now for | Parsing Expression Grammars |
| 12/01/2008 | Quines are the most historically important programs of all! | Irresistible programs |
| 12/01/2008 | Overflow isn't a bug if it | Irresistible programs |
| 12/01/2008 | META-II? The modern | Irresistible programs |
| 05/17/2009 | missing page! | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
| 05/17/2009 | Nitpicking the nitpick. | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
| 05/03/2005 | You're at the wrong level of abstraction | From Perl Monks: "pissed off about functional programming" |
| 05/03/2005 | Advantages of C over C++ | Why do they program in C++? |
| 04/16/2005 | v. smart! | Links |
| 04/16/2005 | I was hoping to comment, but... | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/14/2009 | Designing Analog Chips | Building a Modern Computer From First Principles |
| 03/14/2009 | Is your assessment based on | Building a Modern Computer From First Principles |
| 03/14/2009 | I disagree | Building a Modern Computer From First Principles |
| 03/30/2009 | Thanks! I may try that out, | Building a Modern Computer From First Principles |
| 02/03/2005 | side effects inside transactions | Composable memory transactions |
| 01/11/2005 | sac is proprietary | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
| 12/01/2008 | Was "?" actually bad? I've | Shoot-out: most annoying compiler error message |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |