The Conquest of Hell Gate [pdf]

PDF to Text, a challenging problem

For $595, you get what nobody else can give you for twice the price (1982) [pdf]

DoD Directive 3000.09: Autonomy in weapons systems [pdf]

Exposed Industrial Control Systems and Honeypots in the Wild [pdf]

Qwen3 Technical Report [pdf]

ClawPDF – Open-Source Virtual/Network PDF Printer with OCR and Image Support

Domain/OS Design Principles (1989) [pdf]

The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf]

Power generation from nuclear fusion not expected in the foreseeable future [pdf]

Cardiac: A CARDboard Illustrative Aid to Computation [pdf]

Memetics – A Growth Industry in US Military Operations (2006) [pdf]

Why I Am Not Going to Buy a Computer (1987) [pdf]

Propositions as Types (2014) [pdf]

When the Ground Thaws (2018) [pdf]

Implicit UVs: Real-time semi-global parameterization of implicit surfaces [pdf]

Analysis of the Russian information manipulation set Storm-1516 [pdf]

Programmers Guide to the AMIBIOS (1993) [pdf]

pdfCropMargins – auto-detect and cut PDF margins for small-screen reading

State of the Art PFAS [pdf]

Programming Beyond Practices

Best Cloud Storage for Managing and Editing Word, Excel, and PDF Documents in a Python Web App?

STEPS 2012 Progress and Final NSF Report

A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf]

Communicating Chorrectly with a Choreography

US vs. Google amicus curiae brief of Y Combinator in support of plaintiffs [pdf]

The Secret Services' involvement in the making of The Line of Fire (1993) [pdf]

The Amoeba Microkernel

Ada in China (1994)

Art of the Propagator (2008)

More →