Anatomy of a Lean proof for software engineers(agostbiro.net)
103 points by abiro | 33 comments
A blog post walking software engineers through the structure of a Lean proof, using a finite automata problem from a theory of computation textbook.
#finite-automata on Hacker News
2 stories tagged finite-automata, newest first.
Regex engine internals as a library(blog.burntsushi.net)
350 points by kretaceous | 71 comments
Andrew Gallant's blog post on rewriting Rust's regex crate and exposing its internals as the separately versioned regex-automata library, with a tour of its API.