Hey, I'm Jacob Chvatal.
I'm interested in:
- Formal verification
- Programming language development
- Interdisciplinary, accessible design
I'm working on:
- Transforming the Scandinavian grain market at Skira
- Developing Sieve, a multimedia inspiration platform for creative people
- Transforming the way I build and manage software with Nix and NixOS
I'm learning about:
- Formal verification and type theory with Coq, Idris and Haskell
- Compiler construction and static analysis with Rust and Ocaml
If you'd like, you can check out my notes or keep up with my blog.
(This note also serves as my /now page, as seen here.)