From b1ffd7ad795a086a09ce290a3467755cc4ec970a Mon Sep 17 00:00:00 2001
From: Paul Duncan <pabs@pablotron.org>
Date: Tue, 4 Jul 2023 03:22:18 -0400
Subject: TODO.md: add ideas

---
 TODO.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3