1. BLAKE3: One Function, Fast Everywhere  github.com
   2022-12-28 01:50:48   #pdf #merkle_trees #cryptography #code #new
2. Using a magic wand to break the iPhone's last security barrier  github.com
   2022-11-03 11:43:04   #security #ios #hardware #reversing #cryptography #code #new #pdf
3. Programming and Proving in Agda  github.com
   2022-10-26 17:22:37   #pdf #plt #code #new
4. RUDRA: Finding Memory Safety Bugs in Rust at the Ecosystem Scale  github.com
   2022-10-25 11:21:44   #pdf #security #rust #code #new
5. A generator for complex geometry. Used in conjunction with Blender or OpenVDB  gitlab.com
   2022-09-12 14:15:39   #pdf #programming #graphics #clojure #code #new
6. The Dao of Functional Programming [pdf]  github.com
   2022-05-22 09:45:21   #code #new #pdf
7. When eBPF meets TLS. Defeating TLS encryption with eBPF tricks [pdf]  github.com
   2022-05-20 20:45:13   #code #new #pdf
8. The Firmware Supply-Chain Security Is Broken  github.com
   2022-05-20 04:16:57   #security #hardware #slides #code #new #pdf
9. Syntax-Directed Recognition of Hand-Printed Two-Dimensional Mathematics (1967)  github.com
   2022-04-05 21:12:09   #pdf #math #plt #code #new
10. Roskomsvoboda Statement (info-isolation of Russia) [pdf]  github.com
    2022-03-09 17:03:53   #code #pdf

< 2 / 2 >