All
Programming (General) 3775
Systems / Low-Level / OS 2951
Programming Languages / CS Theory 2127
Data / Databases / Infrastructure 1761
AI / Machine Learning 1525
Web Development 1308
Security / Privacy 1009
Culture / Philosophy / History / Reading 962
Productivity / Career / Business 732
Gaming / Retro Computing 538
Maker / DIY / Hardware 516
Design / UX / Visualization 491
Science / Math / Physics 428
Apple / macOS / iOS 355
Internet / Digital Culture 162
Health / Fitness / Lifestyle 14
Crypto / Blockchain 4
Science / Math / Physics
The golden ratio as a number base
(apieceofthepi.substack.com)
HSBC publishes yet another claim of quantum advantage that isn’t
(scottaaronson.blog)
Identity Types
(bartoszmilewski.com)
An Empirical Study of Type-Related Defects in Python Projects
(rebels.cs.uwaterloo.ca)
The Naming of Tack Symbols
(math.uwaterloo.ca)
Procedural Rhetoric: Opinions as Algorithms
(entropicthoughts.com)
The FLP theorem
(shachaf.net)
The Napkin project
(web.evanchen.cc)
The History of a Science Hidden in Astronomy Code
(youtube.com)
Bluffing in Scrabble
(arxiv.org)
Claude Can (Sometimes) Prove It
(galois.com)
Rupert's Snub Cube and other Math Holes
(tom7.org)
Fuzzy Graph
(fuzzygraph.com)
Rendezvous Hashing Explained (2020)
(randorithms.com)
The pirate-based logic of Rust shared references
(ais523.me.uk)
Smalltalk and Lambda Calculus
(blog.ielliott.io)
The Evolution of Logical Replication in PostgreSQL: A Firsthand Account
(enterprisedb.com)
FatNums: An Alternate Representation for School Arithmetic (2020)
(parentheticallyspeaking.org)
A love letter to the CSV format (2024)
(medialab.sciencespo.fr)
The CP-SAT Primer
(d-krupke.github.io)
Hilbert space: treating functions as vectors
(eli.thegreenplace.net)
Unexplanations: relational algebra is math (2024)
(scattered-thoughts.net)
Integer Programming (1977)
(web.mit.edu)