Blogs

Filtering for "rust"

• 2021-11-06 Peano: deriving natural number axioms with Rust compiler
• 2021-11-06 Using 17th century math to solve Advent of Code 2020.25