Lobster Roll

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

Tag proposal: quantum
Code golfing a tiny demo using maths and a pinch of insanity (blog.pkh.me)
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)
VBARE: A simple alternative to Protobuf & Cap'n Proto for schema evolution (rivet.dev)
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)
Beyond Orthogonality: How Language Models Pack Billions of Concepts into 12,000 Dimensions (nickyoder.com)
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)
Introducing nanonext: breaking down language barriers in data science (tidyverse.org)
From Unit Tests to Whole Universe Tests (with Will Wilson) (youtu.be)
A love letter to the CSV format (2024) (medialab.sciencespo.fr)
The CP-SAT Primer (d-krupke.github.io)
Geometric Deep Learning: Grids, Groups, Graphs, Geodesics, and Gauges (2021) (arxiv.org)
Hilbert space: treating functions as vectors (eli.thegreenplace.net)
Unexplanations: relational algebra is math (2024) (scattered-thoughts.net)
Integer Programming (1977) (web.mit.edu)