1. Simple Verification of Rust Programs via Functional Purification (2016)  github.com
    2023-07-19 12:19:36   #pdf #rust #formalmethods #code #new
  2. OwnCloud Infinite Scale added EULA that prohibits commercial use [pdf]  github.com
    2023-07-10 09:08:42   #code #new #pdf
  3. Stable Diffusion XL technical report [pdf]  github.com
    2023-07-04 13:00:43   #code #new #pdf
  4. The Molecular Geometry ABC'S Book  github.com
    2023-05-26 20:37:13   #science #pdf #education #code #new
  5. Mobile Exploitation, the past, present, and future  github.com
    2023-04-18 04:52:13   #pdf #security #android #ios #code #new
  6. Show HN: Codon: A Compiler for High-Performance Pythonic Applications and DSLs [pdf]  regmedia.co.uk
    2023-03-12 21:06:42   #pdf
  7. Show HN: Billionaire Activist Investor calling for more layoffs [pdf]  www.tcifund.com
    2023-01-22 12:57:55   #pdf
  8. [Proposal] Analysis of Speedup Gain of Undefined Behavior Optimizations in OpenBSD  tildegit.org
    2023-01-05 16:54:11   #pdf #c #performance #code #new
  9. More Tales from the iOS macOS Kernel Trenches  github.com
    2023-01-02 17:04:01   #pdf #security #ios #mac #code #new
  10. BLAKE3: One Function, Fast Everywhere  github.com
    2022-12-28 01:50:48   #pdf #merkle_trees #cryptography #code #new
  11. 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
  12. Programming and Proving in Agda  github.com
    2022-10-26 17:22:37   #pdf #plt #code #new
  13. RUDRA: Finding Memory Safety Bugs in Rust at the Ecosystem Scale  github.com
    2022-10-25 11:21:44   #pdf #security #rust #code #new
  14. 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
  15. The Dao of Functional Programming [pdf]  github.com
    2022-05-22 09:45:21   #code #new #pdf
  16. When eBPF meets TLS. Defeating TLS encryption with eBPF tricks [pdf]  github.com
    2022-05-20 20:45:13   #code #new #pdf
  17. The Firmware Supply-Chain Security Is Broken  github.com
    2022-05-20 04:16:57   #security #hardware #slides #code #new #pdf
  18. Syntax-Directed Recognition of Hand-Printed Two-Dimensional Mathematics (1967)  github.com
    2022-04-05 21:12:09   #pdf #math #plt #code #new
  19. Roskomsvoboda Statement (info-isolation of Russia) [pdf]  github.com
    2022-03-09 17:03:53   #code #pdf

< 2 / 2 >