Handling Rust errors with anyhow while still distinguishing internal vs user errors2026-04-04·1173 words·6 minsRust Anyhow Errors
Trying to understand that Archimedean Property is not expressible in first-order logic2026-04-01·756 words·4 minsMathematics Logic
Setting up a blog with Obsidian, Hugo, Blowfish, and Github Pages2026-03-28·1157 words·6 minsObsidian Hugo Blowfish GitHub Blog
Some criticisms of Rust I saw (spoiler: they don't make much sense to me)2026-03-28·941 words·5 minsRust Memory-Safety Programming-Languages
