Hacker News new | ask | show | jobs
by ngrislain 83 days ago
Fair point! Updated. I’m definitely coming at this more from a Lean 4/formal methods perspective than a POSIX one.