Loading...

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

PDF of the current POSIX standard

Program analysis using random interpretation (2005) [pdf]

The Mechanics of Steins Gate (2023) [pdf]

Ironpress, native HTML/md to PDF in Rust, no Chrome needed

Introduction to Computer Music (2009) [pdf]

IBM 3270 Information Display System: Color and Programmed Symbols (1979) [pdf]

CVA6-CFI: A First Glance at RISC-V Control-Flow Integrity Extensions

Functional Algorithms, Verified

Show HN: Free, in-browser PDF editor

Securing Elliptic Curve Cryptocurrencies Against Quantum Vulnerabilities [pdf]

Claude's Cycles [pdf]

Dijkstra's Crisis: The End of Algol and Beginning of Software Engineering (2010) [pdf]

The Emotional Labor Behind AI Intimacy (2025) [pdf]

An Example of Statistical Investigation of the Text Eugene Onegin – Markov, 1913 [pdf]

You can now run a full Linux operating system inside a 6mb PDF

A Chess Playing Machine – Shannon (1950) [pdf]

The Emotional Labor Behind AI Intimacy (2025) [pdf]

Ariane 6 user's manual [pdf]

Can Programming Be Liberated from the von Neumann Style? (1977) [pdf]

FCC adds "routers produced in foreign countries" to covered list [pdf]

The LCA problem revisited [pdf]

Order Granting Preliminary Injunction – Anthropic vs. U.S. Department of War [pdf]

Stdwin: Standard window interface by Guido Van Rossum [pdf]

Linux Running in a PDF (2025)

An unsolicited guide to being a researcher [pdf]

A PDF generation library for Go with playground included

US Court of Appeals: TOS may be updated by email, use can imply consent [pdf]

Tesla: Failure of the FSD's degradation detection system [pdf]

Claude's Cycles [pdf]

What every computer scientist should know about floating-point arithmetic (1991) [pdf]

More →