Blog
Julia Markus Himmel's blog, mostly about formal verification, in particular in the programming language Lean.