the logic grimoire

I am becoming quite excited about the Onion C compiler & Onion VM projects.

Yesterday, we started in earnest on the Onion C compiler.

I was thinking yesterday that it might be fun to write a C compiler in Perl.

Right now I am talking with Codex about adding screen support (or really, using it on the back-end) to gain persistent state for every xterm.js window in my SpatialTerminal project to augment tldraw offline (which I wrote a bit about here).

Something I’ve been thinking about recently is that, given that the PROVER proof assistant exists now, and that it is embedded in the context of my larger Scheme Prelude ™, which has e.g. combinatorics libraries, and will eventually have a YAGL-like graph…

The following is a feature request / feedback item I sent to the Evernote team today.

Right now, I am experimenting with using tldraw offline as a desktop environment.

Right now, for reasons I don’t entirely understand, I’m working on a proof assistant written in Scheme.

Here are some opinionated, cookbook-style high-level instructions for using Claude Code to be productive as a tech writer in July 2026: Keep a local wiki with your todo list (I like todo.txt) and all project state stored in its pages (gleaned from your co…

(A part of) my Evernote replacement dream is starting to come true.