blog

commit: c27b6e95b9d9b8c95808df29e1de99e454796a00
parent a2cf2c1e3569c1ec642a35fae91ae5a77d1beaa5
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date:   Sun, 18 Apr 2021 10:59:06 +0200

notes/computing-truths: Fix assert about correction

Diffstat:
M
notes/computing-truths.txt
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/notes/computing-truths.txt b/notes/computing-truths.txt
@@ -25,7 +25,7 @@ I would love to be proved wrong or shown doubts on any of this, thanks a lot if 
 - So called "Unique IDs" aren't always unique
 
 ## Correctness
-- You can easily assert correction in a program (I do not believe that languages like F* actually do solve this entirely)
+- Asserting correction is hard (I do not believe that languages like F* actually do solve this entirely)
 - An audit only shows the problems found, it cannot found all of them
 - You cannot build an entirely secure machine