The Impact of Generative AI on Critical Thinking [pdf]

HHS Grants Terminated [pdf]

Paged Out #6 [pdf]

Software-Defined Radio for Engineers (2018) [pdf]

File Systems Unfit as Distributed Storage Back Ends (2019)

The Carbon Bankroll 2.0 [pdf] (2024)

The R Inferno (2011) [pdf]

Technical Mathematics (1954) [pdf]

Concise Machine Learning [pdf]

The SeL4 Microkernel: An Introduction [pdf]

Learning Theory from First Principles [pdf]

Foxit devs here. Looking for input from Java developers on PDF & eSign API improvements

Working on better PDF APIs at Foxit. Python folks, what would you actually want?

Mathematical Compact Models of Advanced Transistors [pdf]

TrapC: Memory Safe C Programming with No UB

Four Lectures on Standard ML (1989) [pdf]

Show HN: Morphik – Open-source RAG that understands PDF images, runs locally

Coding Theory and Cryptography [pdf]

The Child and the Shadow (1975) [pdf]

Write very large PDF files with streaming?

A Tale of Four Kernels [pdf] (2008)

Advanced Algorithms [pdf]

Gemma 3 Technical Report [pdf]

The Surprise of Multiple Dependency Graphs

Playa PDF: A strong pdfminer successor

Constant-Time Code: The Pessimist Case [pdf]

Unix Needs a True Integrated Environment: CASE Closed (1989) [pdf]

Guidelines for Evaluating Differential Privacy Guarantees

Warren's Abstract Machine: A Tutorial Reconstruction (1999)

How to Secure Existing C and C++ Software Without Memory Safety [pdf]

More →