projects and programming

Current focus is on automating pain points and augmenting human/ai cognition with software.

Background spans Philosophy, Computer Science, and Mathematics. Professional work in distributed systems, infrastructure automation, and anywhere that formal reasoning about correctness actually matters.

This site is built with Astro, Tailwind CSS, and TypeScript. Interactive elements are written in Rust and compiled to WebAssembly.