•
Beginning a collection of Lean snippets
1 min read · May 18, 2025
2025 · Lean, Lean-snippets, formalization · lean
close encounters with floats of the other kind
4 min read · March 15, 2024
2024 · VAE, IWAE, floating-points, VI, low-level · research