A Science of Concurrent Programs
(lamport.azurewebsites.net)
All
Programming (General) 33880
Systems / Low-Level / OS 24467
Programming Languages / CS Theory 17538
Data / Databases / Infrastructure 13902
Web Development 11469
Culture / Philosophy / History / Reading 10287
Security / Privacy 9989
Productivity / Career / Business 7299
Maker / DIY / Hardware 5817
AI / Machine Learning 4812
Science / Math / Physics 3792
Design / UX / Visualization 3595
Gaming / Retro Computing 3345
Apple / macOS / iOS 2618
Internet / Digital Culture 1313
Crypto / Blockchain 337
Health / Fitness / Lifestyle 89
Science / Math / Physics
Turing kicked us out of Heaven (2023)
(buttondown.com)
Massive Text Embedding Benchmark (2022)
(arxiv.org)
Magical Fibonacci Formulae
(orlp.net)
Time Standards Reference
(geometrian.com)
Say the prime
(saytheprime.com)
The CRAPL: An academic-strength open source license
(matt.might.net)
Building our Astro Starlight page with Nix & flake.parts
(blog.eigenvalue.net)
Hurmet: A notebook for calculations
(hurmet.org)
Probability-Generating Functions
(entropicthoughts.com)
How on Earth does ^.?$|^(..+?)\1+$ produce primes?
(youtube.com)
Rudimentary 3D on the 2D HTML Canvas
(charlespetzold.com)
Understanding leap seconds and time scales
(nyxspace.com)
Embeddings are underrated
(technicalwriting.dev)
TLA from first principles
(buttondown.com)
LinearCosine: When AI Researchers Decided Multiplication was Too Mainstream
(amanpriyanshu.github.io)
1+1=2 (2006)
(blog.plover.com)
(2^136279841)-1 is the New Largest Known Prime Number
(mersenne.org)
Decoding Europa Clipper
(destevez.net)
What Is Theoretical Computer Science?
(cacm.acm.org)
Adams Bridge: An Accelerator for Post-Quantum Resilient Cryptography
(techcommunity.microsoft.com)
Danger, AI Scientist, Danger
(thezvi.substack.com)
Exploring the intertwingularity of a docs site
(technicalwriting.dev)
On the cruelty of really teaching computing science
(cs.utexas.edu)
Abstract Machines of Systems Biology
(worrydream.com)