diff options
| author | Paul Duncan <pabs@pablotron.org> | 2023-07-04 03:22:18 -0400 |
|---|---|---|
| committer | Paul Duncan <pabs@pablotron.org> | 2023-07-04 03:22:18 -0400 |
| commit | b1ffd7ad795a086a09ce290a3467755cc4ec970a (patch) | |
| tree | a9896b11dce39cb509ba22817c77311af4c00c82 | |
| parent | 729f47695d587d27778d68958b0b4cf3d9209732 (diff) | |
| download | pablotron.org-b1ffd7ad795a086a09ce290a3467755cc4ec970a.tar.bz2 pablotron.org-b1ffd7ad795a086a09ce290a3467755cc4ec970a.zip | |
TODO.md: add ideas
| -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 |