welcome

This is a personal index of computing research, systems programming, useful tools, and small web experiments.

/notes.

ongoing Experiments online

New browser tools and small systems experiments are collected as they become usable.

always Current interests

Low-level software, logic, verification, networks, and functional programming.

/02

Directory

The work here moves between C, ASM, Python, Lisp, and Haskell, with interests in POSIX, 80386, RISC-V, MIPS, logic, formal verification, functional programming, operating systems, and networks.

/03

Projects

Repositories in the open — languages, libc, classification, and language models.

/04

Contact

Reach out on any channel below — plaintext, encrypted, or synchronous.

▲