diff options
-rw-r--r-- | TODO.md | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 |