commit: 8ce0414c2eb9fad04bef50dd916c78607ab8d0ce
parent 0ec5e1296939abaa20bd4bca667e856ddbdaad58
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date: Sun, 18 Apr 2021 10:59:06 +0200
notes/computing-truths: Fix assert about correction
Diffstat:
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
