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...

I believe the preferable solution is typeclasses as record types, instances as records, scoped implicit parameters for propagating them arou...

I've been thinking about what it is that still sets Lisp apart from all other dynamic languages. I've come to three core principles,...

Great response to Ask HN: Do you use more than one programming language? Not only do I use multiple languages professionally, I don't kn...

Excellent article by Bryan Cantrill, Concurrency’s Shysters : [C]oncurrency is still being used to instill panic in the uninformed. This tim...

Ian Lance Taylor is working on split stacks . This will permit the stacks of gccgo goroutines, which are mapped to native threads, to start...