Across writing, notes, and work.
Turns commits, PRs, and issues into release notes people actually read. Reads real history from any public repository, throws away merge commits and dependency bumps, rewrites each change as a benefit rather than an echo of the commit subject, and groups it sensibly.
Work
A language for stating what must be true of a system, and a compiler that refuses to let you break it. Declare data, behavior, seams, and closures, and a deterministic checker proves on every keystroke that nothing reaches a sealed resource except through its gateway. Ships as a command-line compiler and a desktop IDE.
Work
A local-first secrets manager, on the premise that secrets belong next to the repository that uses them. Per-repo vaults, AEAD encryption bound at rest to the device through the TPM, Secure Enclave, or Linux keychain. Export is a portable file, passphrase or public-key encrypted.
Work