Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

The foundations of a provably secure operating system (PSOS) (1979) [pdf]

A report on burnout in open source software communities (2025) [pdf]

High dimensional geometry is transforming the MRI industry (2017) [pdf]

Self-Distillation Enables Continual Learning [pdf]

Foundations of Metrology(1981) [pdf]

AI eats the world (Spring 26) [pdf]

How to Write to SSDs

Ice Cream Blending (1965) [pdf]

Most “chat with PDF” apps fail because of this

GraphCompose v1.5 released — open-source declarative PDF layout engine for Java

How to Write to SSDs [pdf]

The Hiddn Financial Bubble in AI Infrastructure [pdf]

Revisiting PQ WireGuard

A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs

The Cost of Doing Business: How SF's Tax Structure Constrains Economic Growth [pdf]

A Tale of Two Worlds, a Formal Story of WireGuard Hybridization

Found a free, offline PDF tool.

Show HN: Filling PDF forms with AI using client-side tool calling

Embedded Rust or C Firmware? Lessons from an Industrial Microcontroller Use Case with Ariel OS

1 month of Rust later, I shipped the second version of my PDF CLI

Release 0.9.0 of miro-pdf, multi-page support

Ancient DNA reveals pervasive directional selection across West Eurasia [pdf]

PDF of the current POSIX standard

DeepSeek: Thinking with Visual Primitives [pdf]

Quantum Computing and Blockchain [pdf]

Bullshit About Bullshit Machines [pdf]

Flow Map Learning via Nongradient Vector Flow [pdf]

SPEAKE(a)R: Turn Speakers to Microphones for Fun and Profit [pdf] (2017)

PDF Extractor (OCR/selectable text)

The Theory of Interstellar Trade [pdf] (1978)

More →