Hraness
Theme
Appearance

saved

What if the developer tooling stack was just this

by geoffXpublished

Hraness republishes this public post from a saved copy. The post is the author’s own words.

geoff @GeoffreyHuntley

early

what if we reduced the entire damn developer tooling stack down to just this. if tokens are a fuel, then what is the engine? what if the engine could self-evolve, live whilst powering down the highway?

or in cs50 style with diagrams with worked examples.

https://gist.github.com/ghuntley/b8e28634090c51895d7972ff6a7c5619

Image transcription

(defun run (goal)

(loop until (invariants) ; done when the heap says so

for form = (ask-model (observe goal)) ; re-read, then one form

do (assert (not (locked-p form))) ; the kernel is not the world

(let ((snap (snapshot)))

(restart-case (eval form) ; menu stays live until picked

(abort () (restore snap)))))) ; bad commit, old heap, next

turn

A macOS window shows a Lisp defun named run that loops until invariants hold, asks a model for one form, snapshots, evals under restart-case, and restores the snapshot on abort.