From 735b245871d94cb6ace8913cd1370b02b5aeb28b Mon Sep 17 00:00:00 2001 From: Leonardo Santiago Date: Sat, 1 Jun 2024 15:25:15 -0300 Subject: remove old theme, use bearblog theme instead --- public/posts/software-correctness/index.html | 821 --------------------------- 1 file changed, 821 deletions(-) delete mode 100644 public/posts/software-correctness/index.html (limited to 'public/posts/software-correctness') diff --git a/public/posts/software-correctness/index.html b/public/posts/software-correctness/index.html deleted file mode 100644 index 5a495c1..0000000 --- a/public/posts/software-correctness/index.html +++ /dev/null @@ -1,821 +0,0 @@ - - - - - - - - - - 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