1. DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf]  github.com
    2025-11-27 20:03:25   #code #new #pdf
  2. WhatsApp Census  github.com
    2025-11-18 17:38:04   #pdf #security #code #new
  3. Kronecker in (O(p(n)^3): A Novel approach to 80-year-old P-hard problem [pdf]  github.com
    2025-11-11 00:13:34   #code #new #pdf
  4. High-performance 2D graphics rendering on the CPU using sparse strips [pdf]  github.com
    2025-11-10 22:05:16   #code #new #pdf
  5. Built-in Mapping for More Powerful, Intuitive Code  github.com
    2025-10-01 05:00:54   #compsci #code #new #pdf
  6. Show HN: Walk-through of rocket landing optimization paper [pdf]  scpowers.github.io
    2025-07-29 07:02:37   #pdf
  7. The FastLanes File Format  github.com
    2025-07-24 18:46:53   #pdf #databases #code #new #docs
  8. Kimi-K2 Tech Report [pdf]  github.com
    2025-07-21 20:03:22   #code #new #pdf
  9. A Treatise for One Network – Anonymous National Deliberation [pdf]  simurgh-beau.github.io
    2025-07-16 14:21:20   #new #pdf
  10. llm.pdf: Run LLMs inside a PDF file  github.com
    2025-04-20 11:59:39   #ai #code #new #pdf
  11. Basis of the Kalman Filter [pdf]  github.com
    2025-02-12 20:17:08   #code #new #pdf
  12. DeepSeek releases Janus Pro, a text-to-image generator [pdf]  github.com
    2025-01-27 16:57:45   #code #new #pdf #release
  13. DoomPDF  doompdf.pages.dev
    2025-01-14 10:46:41   #pdf #games #new
  14. Show HN: Doom (1993) in a PDF  doompdf.pages.dev
    2025-01-13 00:50:43   #pdf
  15. Show HN: A playable game of Tetris inside a PDF  th0mas.nl
    2025-01-09 13:31:33   #pdf
  16. C++'s next decade  github.com
    2024-09-24 11:01:09   #pdf #cpp #code #new
  17. Data types as Lattices – Dana Scott [pdf]  github.com
    2024-08-09 17:48:10   #code #new #pdf
  18. Diving into deep learning: Understanding Deep Learning book review [pdf]  github.com
    2024-07-03 22:43:05   #code #new #pdf
  19. Bzip2 Format Specification [pdf]  github.com
    2024-04-10 18:07:47   #code #new #pdf
  20. AArch64-Explore/vol1 M1 Explainer  github.com
    2024-03-30 13:49:09   #pdf #hardware #code #new
  21. Dumping Firmware for fun and learning [pdf]  github.com
    2024-01-20 11:55:19   #code #new #pdf
  22. Just Pocket Change? Examining The Cost Of “Nickel and Dime” Exploit Mitigations  github.com
    2023-12-09 04:43:58   #pdf #security #windows #slides #code #new
  23. Old engineering simulation games, now open source [pdf]  github.com
    2023-11-17 22:32:55   #code #new #pdf
  24. Outer Loop Vectorization: A SIMT Approach  gitlab.com
    2023-10-16 15:08:57   #pdf #compilers #code #new
  25. Functional Data Structures and Algorithms. A Proof Assistant Approach  functional-algorithms-verified.org
    2023-09-01 00:24:35   #pdf #book #formalmethods #plt #new

< 1 / 2 >