From 31bc6a2f54d86a4978be063f5e614881c625c597 Mon Sep 17 00:00:00 2001 From: Leonardo Santiago Date: Wed, 29 May 2024 08:44:12 -0300 Subject: new blog using hugo again --- public/posts/software-correctness/index.html | 821 +++++++++++++++++++++++++++ 1 file changed, 821 insertions(+) create mode 100644 public/posts/software-correctness/index.html (limited to 'public/posts/software-correctness/index.html') diff --git a/public/posts/software-correctness/index.html b/public/posts/software-correctness/index.html new file mode 100644 index 0000000..5a495c1 --- /dev/null +++ b/public/posts/software-correctness/index.html @@ -0,0 +1,821 @@ + + + + + + + + + + correctness is all you need · lowest case + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ ↓skip to main content +
+ + +
+ +
+ + +
+ + + + + + + + + + + + + + + +
+
+
+ + +
+
+ + + + + + + + +
+
+ + + +
+ + +
+ +
    + + + + + + + + + +
  1. + posts/ +
    2. + + + + +
+ + + +

+ 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 +
+ + + # + + +

+ +
+ + + + + + + +
+ + + + + + + + + + + + + + +
+ +
+ + +
+ + + + +
+ + + +

+ © + 2024 + leonardo santiago +

+ + + + +

+ + + powered by Hugo & Blowfish +

+ + +
+ + + + + + +
+ +
+ + + -- cgit v1.2.3