A Turing Machine in the classic style : Here's the awesome video: ( via LtU )

I'm an incredibly slow programmer (in the hobby projects I do for the love of it, that is). My ratio of thinking to typing must be aroun...

( via proggit )

Julian Hyde graciously transcribed the following table from Jeff Dean's Stanford talk : L1 cache reference 0.5 ns Branch mispredict ...

Makes me wish I understood category theory: Foundations for Structured Programming with GADTs ( neelk's LtU post ) by Patricia Johann ...

To create complex random data objects and shapes like these, use Boltzmann sampling. From the paper Boltzmann Samplers for the Random Genera...

In the LtU permathread Why are objects so unintuitive? , Jonathan Shapiro adds another piece to the puzzle : All of the mappings we have so...

This dependent typing thing has me. For the first time in years I find I'm actually learning something about programming. There is life...

David Barbour's Concurrency as basis for Scalable Parallelism may change the way you think about programming: It has been observed th...

Since discovering Ωmega , I've been drawn into the fantastic world of dependent typing. Dependent types allow the expression of static i...

Just wanted to mention that for keeping up with GNU/Linux progress, the following two sources are very good: Michael Kerrisk's Linux man...

This could be big - in the October 2010 GNU Toolchain Update (subscribe!), Nick Clifton reports that split stacks have been added to GCC. ...

I think that's a great statue showing the act of algorithm design.

When programming, I often find myself striving for minimalism. Trying to make the program as succinct as possible, sweating over details lik...

I want transactional memory like the next guy, but comments like this one by Linus indicate that we still have a long way to go: So that...

Ah, blogging. On the one hand there's value to reading someone's opinion unfiltered and raw. On the other hand it creates a lot of f...

Of course, once you investigate higher-order types, you begin to think about unifying the type and term levels. Reading a bit about this I f...

In the process of formalizing generics for my Lisp, I'm also studying FGJ ω again, the extension of Featherweight Generic Java with hi...

In the previous post, Minimal generics for an untyped language , I've discussed some basic requirements for the implementation of parame...

So, I'm developing a Lisp, which means I have to support untyped, dynamically type-checked code in any case. But I still like typeful pr...

Fast dynamic casting , a cute paper by Michael Gibbs and Bjarne Stroustrup: We have demonstrated that it is possible for a linker to generat...

From a bit to a few hundred megabytes, from a microsecond to a half an hour of computing confronts us with completely baffling ratio of 10 9...

Diligence, Patience, Humility.