Loading...

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

Native compilation of Prolog predicates with Cranelift [pdf]

Recurrent noise limiting coding, Mandelbrot (1954) [pdf]

Advances in Zero-Knowledge Proofs: Bridging the Gap Between Theory and Practice [pdf]

eBPF Verifier Code Review – NCC Group [pdf]

DOJ filed paperwork to US District Court to force Google to spin off Chrome [pdf]

Harnessing Vision for Computation (2008) [pdf]

Nickel Plating Handbook [pdf]

Fact [pdf]

Large-Scale Dimension Reduction with Both Global and Local Structure (2021) [pdf]

Important information to all residents of Sweden – In case of crisis or war [pdf]

A Lunar Space Elevator Could Be Built for $2B [pdf]

The surprising effectiveness of test-time training for abstract reasoning [pdf]

fancy-cat: pdf viewer inside the terminal

FBDetect: Catching Tiny Performance Regressions at Hyperscale [pdf]

Claude can now view images within a PDF

Gadsby: Wikip_dia's Lost Lipogram (2015) [pdf]

Languages ... by finite semigroups [generalised to] trees and graphs (2020)[pdf]

Netnews: The Origin Story [pdf]

mdp – A Markdown to pdf transpiler written in pure Rust (github.com/theiskaa)

Unix Programmer's Manual Third Edition [pdf] (1973)

SqueakJS: A modern and practical Smalltalk that runs in any browser (2014) [pdf]

Practical Radio Circuits (2003) [pdf]

Reexamination of 1975 "Edmund Fitzgerald" Storm Using Today's Technology [pdf]

Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis

Reconstruction of Lomonosov's Discovery of Venus's Atmosphere (2012) [pdf]

It’s Time to Replace TCP in the Datacenter (2023)

SuperC: parsing all of C by taming the preprocessor

Understanding Trust Relationships in Cloud-Based Confidential Computing

A history of Erlang

Ghosts of Departed Proofs (2018)

More →