skip to main content
  1. posts/

correctness is all you need

·1 min
coq rust
table of contents

you’re using the pythegorean theorem? that old unmaintained crap?

said no one, ever. the pythegorean theorem is treated as a mathematical foundation, that needs no questioning and that will always work. however, that couldn’t be more different from the way we treat modern software, ie. afraid of upgrading, avoiding unmaintained projects, and having to deal with constant breakage of upstream packages. why?

taxonomy of bugs
#