SQL Has Problems. We Can Fix Them: Pipe Syntax In SQL (2024)

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

Retargeting JIT compilers by using C-compiler generated executable code (2004)

How I built in-browser PDF editing without uploading files

Show HN: Sfsym – Export Apple SF Symbols as Vector SVG/PDF/PNG

CellForge 1.0 — a Jupyter notebook IDE in Rust (axum + wry), single 30 MB binary, embedded Typst for PDF export

Adding PDF support to my Rust image converter

Release 0.8.0 of miro-pdf, now with presentation and fullscreen modes!

PDF editor

stet — a PostScript and PDF toolkit in pure Rust (interpreter + reader + writer, browser demo)

Olga 0.1.1 — a unified Rust doc-extraction engine (PDF/DOCX/XLSX/HTML), 1.62× faster than format specialists in an independent bench

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]

More →