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.

It's important to realize that different kinds of polymorphism in type systems can be quite orthogonal. Here are some forms of polymorph...

The IBM hub module brings 48 10Gbit/s optical links to a Power7 board.

There's a nice discussion going on in the LtU thread Choosing a VM for a concurrent language . Some quotes, out of context: Sean McDirm...

If there's one thing that irritates me about the pg-led Lisp renaissance it's the fascination with the Ur-Lisp. Rewriting that Ur-Li...

Good binary formats rock. Reading the ELF spec was quite eye-opening for me. Dalvik's DEX format is another nice one. Interestingly, D...

As usual, Jonathan Corbet does an admirable job of informing us on happenings in kernel land in his summaries of The 2010 Linux Storage and ...

The Axis of Eval is my second blog, after the venerable plans within plans within plans . (Yeah, there were others.) Both of these blogs ha...

Good rules are few and far between in the programming scene. The first time I heard of what I now call the No Paranoia Rule was in the foll...