The Theory of Interstellar Trade [pdf] (1978)(princeton.edu)

74 points by AFF87 6 months ago | 24 comments

Terence Tao, at 8 years old (1984) [pdf](gwern.net)

456 points by gurjeet 8 months ago | 278 comments

A 1984 academic paper by M. A. (Ken) Clements giving a biographical account of Terence Tao's mathematical precociousness as a young child and its educational implications.

RRB-Trees: Efficient Immutable Vectors (2012) [pdf](infoscience.epfl.ch)

36 points by azhenley 4 months ago | 7 comments

Compiling Prolog to Forth [pdf](vfxforth.com)

114 points by PaulHoule 8 months ago | 9 comments

The cryptoint library (2025) [pdf](cr.yp.to)

21 points by akkartik 18 days ago | 0 comments

Daniel J. Bernstein's paper describing cryptoint, a C/C++ library of constant-time integer functions designed to resist compiler optimizations that introduce timing leaks.

Fabrice Bellard: Biography (2009) [pdf](ipaidia.gr)

344 points by lioeters 10 months ago | 120 comments

A PDF biography of programmer Fabrice Bellard by Andy Gocke and Nick Pizzolato, covering his background and influential software contributions.

Everything you always wanted to know about mathematics (2013) [pdf](math.cmu.edu)

841 points by ggr2342 3 years ago | 142 comments

A PDF textbook from Carnegie Mellon introducing mathematical thinking, logic, and proof-writing for beginning university students.

Jepsen: Amazon RDS for PostgreSQL 17.4(jepsen.io)

581 points by aphyr 1 year ago | 138 comments

Jepsen analysis by Kyle Kingsbury showing Amazon RDS for PostgreSQL multi-AZ clusters violate Snapshot Isolation, exhibiting Long Fork anomalies across versions 13.15 to 17.4.

How close can pure functional programming get to C?(rtfeldman.com)

268 points by stmonty 9 days ago | 94 comments

Richard Feldman's blog post benchmarking roc-deflate, a pure Roc DEFLATE library, against C's libdeflate, finding it under 10% slower, and describing Roc-specific optimizations.

Nobody ever gets credit for fixing problems that never happened (2001) [pdf](web.mit.edu)

881 points by Jtsummers 2 years ago | 390 comments

PDF of Repenning and Sterman's 2001 California Management Review paper on why organizations underinvest in process improvement and capability building.

The recently proposed o(n log n) integer multiplication algorithm [pdf](web.maths.unsw.edu.au)

295 points by craigcitro 11 days ago | 290 comments

A PDF by David Harvey (UNSW) on the recently proposed O(n log n) algorithm for integer multiplication.

Monoidal computer I: Basic computability by string diagrams (2012)(arxiv.org)

3 points by measurablefunc 11 days ago | 0 comments

arXiv abstract page for Dusko Pavlovic's 2012 paper proposing a model of computation based on monoidal categories and string diagrams.