Thinking With Computers

Clj + Graal: Compiling a Clojure static binary.

I have been plugging away at a first implementation of Ludus for a while now, and it’s both quite nice in terms of syntax, and it’s Turing-complete! (All of the gory details of my design process and implementation state are available in the ludus-spec repo on Github.) I have much more to say about Ludus and its design in the (near) future (just once this term ends and I revise my second book…).

---

Hello, world. Let's think with computers.

Hi, there. Welcome to the Thinking with Computers research blog. Pardon our dust; we’re still getting set up. This is a stab at an introduction to what we’ll be doing here.

---