aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--TODO.md4
1 files changed, 3 insertions, 1 deletions
diff --git a/TODO.md b/TODO.md
index 8055b7a..3915a2a 100644
--- a/TODO.md
+++ b/TODO.md
@@ -287,7 +287,7 @@ this stuff may not make any sense.
- good book: primes: a computational approach (crandall primes)
- pi-apalooza (pis found while looking for ethernet spool)
- flex bookworm update (details in notes)
-- z3-sudoku
+- z3-sudoku (github sudoku-solver)
- c impls of poly1305, siphash
## linkdump (2022-08-10):
@@ -378,6 +378,8 @@ this stuff may not make any sense.
- <https://current.workingdirectory.net/posts/2023/enough-about-ai/>
- <https://mirrors.edge.kernel.org/pub/linux/kernel/people/paulmck/perfbook/perfbook.html>
- <https://www.sevarg.net/2023/03/25/why-people-hate-tech/>
+- 4 pillars of program analysis (slide 5):
+ <https://llvm.org/devmtg/2020-09/slides/Using_the_clang_static_ananalyzer_to_find_bugs.pdf>
## done
* add project folders