ideas to blog about
-
contract driven programming (this should be fundamental. umich teaches to think like this, so do other colleges. why not bake it into languages like ada or d? beyond formal verification, it can and should be a simple way to add documentation very much like test cases (similar to runtime asserts)
-
sqlx recipes
-
20K LOC in rust. all the stupid things I'd done and lessons learned.
-
combining new-type idiom with serde_json to ergonomically get compile-time guarantees.