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 library, etc., and that further I d like very much for the Prelude to Continue reading "DESIGNING INTEROPERABLE DATA STRUCTURES FOR SCHEME,…
The following is a feature request / feedback item I sent to the Evernote team today. I think it also serves as a kind of mini-review of their current AI assistant implementation in the app, so I thought I d share it here as well in case it s useful to the hive mind: hi, when i Continue reading "Mini-review of the Evernote AI assistant implementation, 2026-08-01"
Right now, I am experimenting with using tldraw offline as a desktop environment. In order to facilitate this, I ve used the agent skill they ship with it to hack on the environment a bit and add a few things: a little Codex TUI terminal window (that runs on xterm.js); another similar launcher for RUNE, my Continue reading "EXPERIMENTING WITH 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. It is similar to the Lean theorem prover, but much simpler. It uses SRFI-9 DEFINE-RECORD-TYPE to represent the types, and its logical core is based in part on Nils Holm’s amk miniKanren style system, which is explained in his book Logic Continue reading "PROVER, A PROOF ASSISTANT WRITTEN IN…
Here are some opinionated, cookbook-style high-level instructions for using Claude Code to be productive as a tech writer in July 2026: Additional notes:
(A part of) my Evernote replacement dream is starting to come true. Via the Crumby app development platform, we now have a viable Conflux web frontend. With help from GPT-5.6-sol, we now have Conflux serving to the machines on my Tailnet (including my phone), and it was time to build the next piece: my Continue reading "MY EVERNOTE REPLACEMENT DREAM"
Yesterday, we (GPT-5.6-sol and I) began the work of converting the Conflux Web frontend from a standalone app to just another app running on the Crumby app development platform. The new GPT is very capable, and has seemed to perform the port quite easily. Along the way, we dropped the requirement to sync to Continue reading "THE STORY OF CONFLUX, MY PLAINTEXT WIKI"
Last night, with Fable s help, we optimized the Onion Scheme interpreter using the usual methods ; i.e., although we still have the tree-walking interpreter in place as a fallback, we added an internal compiler that does closure compilation and other magics, and emits Perl code internally that can run quickly on the perl VM. This brought Continue reading "ONION SCHEME, NOW 5x FASTER, AND WITH…
I am very pleased and proud to observe that, for my needs and use cases, Synergy is just as good as Claude Code now. It has all the essential features of a terminal-based coding agent:
Yesterday, with Claude Fable s help, we added the following features fixes to Synergy: In my quick test, Deepseek V4 had no problem making tool calls with EXEC. (I did not have it do anything with APPLY_PATCH yet.) I m also feeling good about adding LOOM-style history to Synergy with Claude Fable s help. We will need Continue reading " A WHOLE NEW WORLD FOR SYNERGY, THANKS TO CLAUDE FABLE"