The Development of the C Language (1993)(bell-labs.com)

212 points by gus_leonel 3 years ago | 282 comments

The Development of the C Language (2003)(cm.bell-labs.co)

167 points by cpeterso 3 years ago | 21 comments

Dissecting the gzip format (2011)(infinitepartitions.com)

84 points by solannou 2 years ago | 33 comments

Finding and Understanding Bugs in C Compilers (2011) [pdf](users.cs.utah.edu)

23 points by djoldman 1 year ago | 3 comments

Mathematics for Computer Science (2018) [pdf](courses.csail.mit.edu)

366 points by vismit2000 9 months ago | 62 comments

PDF of the 2018 revision of the MIT textbook Mathematics for Computer Science by Eric Lehman, F. Thomson Leighton, and Albert R. Meyer.

SBCL: A Sanely-Bootstrappable Common Lisp (2008) [pdf](research.gold.ac.uk)

102 points by pabs3 7 months ago | 68 comments

Crypto in 2026: Oh, This Is the Bad Place(stephendiehl.com)

325 points by ibobev 4 months ago | 407 comments

Stephen Diehl blog post criticizing the state of crypto in 2026, citing a presidential memecoin, prediction markets on military actions, and shadow dollar systems.

Python 3.13 Gets a JIT(tonybaloney.github.io)

1023 points by todsacerdoti 2 years ago | 504 comments

Blog post by Anthony Shaw explaining the experimental copy-and-patch JIT compiler added to CPython for Python 3.13.

Olympus: Correcting the power dynamic of code (2024)(danieltemkin.com)

5 points by jarmiaq 12 days ago | 0 comments

Daniel Temkin's page for Olympus, an esoteric programming language that reframes the programmer-computer power dynamic by having code petition gods.

15,000 lines of verified cryptography now in Python(jonathan.protzenko.fr)

447 points by todsacerdoti 1 year ago | 142 comments

Blog post by Jonathan Protzenko describing how CPython now uses the formally verified HACL* library for all its default hash and HMAC algorithms.

Claude Code can debug low-level cryptography(words.filippo.io)

446 points by Bogdanp 11 months ago | 199 comments

Filippo Valsorda's blog post on using Claude Code to debug his new Go implementation of the ML-DSA post-quantum signature algorithm.

Can gzip be a language model?(nathan.rs)

384 points by networked 1 month ago | 149 comments

A blog post by Nathan Barry exploring whether gzip compression can be used as a language model to generate text, with an interactive beam search demo.