macOS Tahoe is certified Unix 03 [pdf]
(news.ycombinator.com)
391.
392.
Power series, power serious (1999) [pdf]
(news.ycombinator.com)
393.
Advanced Scheme Techniques (2004) [pdf]
(news.ycombinator.com)
394.
Making io_uring pervasive in QEMU [pdf]
(news.ycombinator.com)
395.
Picat: A Logic-based Multi-paradigm Language (2014) [pdf]
(news.ycombinator.com)
396.
Picat: A Logic-based Multi-paradigm Language(2014) [pdf]
(news.ycombinator.com)
397.
398.
Integer Programming (1977) [pdf]
(news.ycombinator.com)
399.
Integer Programming (2002) [pdf]
(news.ycombinator.com)
400.
No Silver Bullet: Essence and Accidents of Software Engineering (1986) [pdf]
(news.ycombinator.com)
401.
A Technical Update on Submarine Cables [pdf]
(news.ycombinator.com)
402.
Evolving the OCaml Programming Language (2025) [pdf]
(news.ycombinator.com)
403.
Lively Linear Lisp (1992) [pdf]
(news.ycombinator.com)
404.
Still Asking: How Good Are Query Optimizers, Really? [pdf]
(news.ycombinator.com)
405.
Tetris is NP-hard even with O(1) rows or columns (2020) [pdf]
(news.ycombinator.com)
406.
Tetris is NP-hard even with O(1) rows or columns [pdf]
(news.ycombinator.com)
407.
9 great PDF scanner apps you should use instead of Microsoft Lens
(androidauthority.com)
408.
Essential Coding Theory [pdf]
(news.ycombinator.com)
409.
Canaries in the Coal Mine? Recent Employment Effects of AI [pdf]
(news.ycombinator.com)
410.
411.
The Unix-Haters Handbook (1994) [pdf]
(news.ycombinator.com)
412.
SSD-IQ: Uncovering the Hidden Side of SSD Performance [pdf]
(news.ycombinator.com)
413.
Valve Software handbook for new employees [pdf]
(news.ycombinator.com)
414.
Determinants and causal effects of admission to selective private colleges [pdf] (2023)
(news.ycombinator.com)
415.
The theory and practice of selling the Aga cooker (1935) [pdf]
(news.ycombinator.com)
416.
From GPT-4 to GPT-5: Measuring progress through MedHELM [pdf]
(news.ycombinator.com)
417.
From GPT-4 to GPT-5: Measuring Progress in Medical Language Understanding [pdf]
(news.ycombinator.com)
418.
Mirror Ball Emoji Proposal (2018) [pdf]
(news.ycombinator.com)
419.
Show HN: PlutoPrint – Generate PDFs and PNGs from HTML with Python
(news.ycombinator.com)
420.
Lean proof of Fermat's Last Theorem [pdf]
(news.ycombinator.com)