Stories by quamserena

My experience with Lean 4 for general programming

Referential Transparency

Sorry, AI code still sucks

Pain Points of OCaml

Ask HN: What editor for LaTeX notes do you use?

Using Derive_more for Errors in Rust

America's strategic posture (2023) [pdf]