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 --- .../posts/correctness-is-all-you-need/index.html | 750 ------------------- public/posts/index.html | 691 ----------------- public/posts/index.xml | 22 - public/posts/page/1/index.html | 10 - public/posts/software-correctness/index.html | 821 --------------------- 5 files changed, 2294 deletions(-) delete mode 100644 public/posts/correctness-is-all-you-need/index.html delete mode 100644 public/posts/index.html delete mode 100644 public/posts/index.xml delete mode 100644 public/posts/page/1/index.html delete mode 100644 public/posts/software-correctness/index.html (limited to 'public/posts') diff --git a/public/posts/correctness-is-all-you-need/index.html b/public/posts/correctness-is-all-you-need/index.html deleted file mode 100644 index ae904b3..0000000 --- a/public/posts/correctness-is-all-you-need/index.html +++ /dev/null @@ -1,750 +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 - - - - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - -
- -
- - - -
- - - - -
- 
>>> 0.1 + 0.2
-0.30000000000000004
-

which of course is an annoying encounter for the unitiated in floats, but there’s a much bigger problem, that usually isn’t noticed at all until much later, that float addition itself isn’t even associative:

-
>>> (0.1 + 0.2) + 0.3
-0.6000000000000001
->>> 0.1 + (0.2 + 0.3)
-0.6
->>> 0.1 + (0.2 + 0.3) == (0.1 + 0.2) + 0.3
-False
->>>
-

and this is a problem, because associativity is a big underlying assumption that we commonly have for numbers, when, for example, summing a list in reverse. other common pitfalls include:

-
    -
  • not all numbers have an additive inverse, ie. for some number n, n + (-n) != n.
    • -
  • not all numbers different than 0 have a multiplicative inverse, ie. for some number n, n / n != 1.
    • -
  • addition is not commutative, ie. for numbers a b, a + b != b + a.
    • -
-

and the list goes you on, you get the idea. this usually isn’t thought of the main problems in

- -
- - - - - - - -
- - - - - - - - - - - - - - -
-
- - - - - - -
-
- - -
- - - - -
- - - -

- © - 2024 - leonardo santiago -

- - - - -

- - - powered by Hugo & Blowfish -

- - -
- - - - - - -
- -
- - - diff --git a/public/posts/index.html b/public/posts/index.html deleted file mode 100644 index 154bba7..0000000 --- a/public/posts/index.html +++ /dev/null @@ -1,691 +0,0 @@ - - - - - - - - - - posts · lowest case - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- ↓skip to main content -
- - -
- -
- - -
- - - - - - - - - - - - - - - -
-
-
- - -
-
- - - - - - - - -
-
- - - -
- -

posts

-
- - - - - - - - - - - - - - - - - - - - - - -
- - -
- - -
- - - - - -
-
- -
- -
- - - - -
- - - - - - - - -
- - -

- 2024 -

- - - - - - - - - - - - - - - - - - - - - - - - - - -
-
- -
correctness is all you need
- - - -
-
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - ·1 min - - - - -
- - - - - -
- - - - - - - - - - - - - - - - coq - - - - - - - - rust - - - - - - - -
- - - -
- -
- - - -
- - - - - - - - - -
- - - - -
- - - -

- © - 2024 - leonardo santiago -

- - - - -

- - - powered by Hugo & Blowfish -

- - -
- - - - - - -
- -
- - - diff --git a/public/posts/index.xml b/public/posts/index.xml deleted file mode 100644 index 104d58d..0000000 --- a/public/posts/index.xml +++ /dev/null @@ -1,22 +0,0 @@ - - - - posts on lowest case - http://localhost:1313/posts/ - Recent content in posts on lowest case - Hugo -- gohugo.io - en - © 2024 leonardo santiago - Thu, 09 May 2024 23:35:32 -0300 - - correctness is all you need - http://localhost:1313/posts/correctness-is-all-you-need/ - Thu, 09 May 2024 23:35:32 -0300 - - http://localhost:1313/posts/correctness-is-all-you-need/ - >>> 0. - - - - - diff --git a/public/posts/page/1/index.html b/public/posts/page/1/index.html deleted file mode 100644 index 3e3304d..0000000 --- a/public/posts/page/1/index.html +++ /dev/null @@ -1,10 +0,0 @@ - - - - http://localhost:1313/posts/ - - - - - - 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