I recently completed my PhD in Computer Science at Stanford University. While there, I explored how transactional memory could make it easier to write parallel programs for multi-core processors as part of the TCC. For example, before Stanford I was a technical architect at Ariba.

MUPIS - Modellieren und Programmieren in der Schule. Ist ein Projekt zur Anfängerausbildung im Programmieren, das seit 1999 an der Universität Tübingen und anderswo entwickelt wird. Die entstandenen didaktischen Konzepte, Software und Materialien wurden in zahlreichen Anfängerausbildungen erprobt und kontinuierlich verbessert. Das Buch Schreibe Dein Programm! Das kostenlos unter einer Creative-Commons-Lizenz verfügbar ist.

Unlike the 10,000 others on the internet, this one actually worked for me. A nice thing is that, with a few tweaks, this setup also works on UNIX-like machines. A mail server is out there on the interwebs somewhere.

Random code snippets, projects and musings about software from Eric Kidd, a developer and entrepreneur. Proving sorted lists correct using the Coq proof assistant. About 15 years ago, I was hanging out at the MIT AI Lab, and there was an ongoing seminar on the Coq proof assistant. The idea was that you wouldnt have to guess whether your programs were correct; you could. Is true, and we know.

Scheme 48 is an implementation of Scheme written by Richard Kelsey. It is based on a byte-code interpreter and is designed to be used as a testbed for experiments in implementation techniques and as an expository tool. The current version of Scheme 48 is 1. Kali is a distributed version of Scheme built on top of Scheme 48. Instructions for getting the current development sources and building them are here.