Lobster Roll

All Programming (General) 8177 Systems / Low-Level / OS 6631 Programming Languages / CS Theory 4253 Data / Databases / Infrastructure 3846 Web Development 2760 AI / Machine Learning 2325 Security / Privacy 2166 Culture / Philosophy / History / Reading 2105 Productivity / Career / Business 1501 Maker / DIY / Hardware 1281 Gaming / Retro Computing 995 Design / UX / Visualization 915 Science / Math / Physics 837 Apple / macOS / iOS 697 Internet / Digital Culture 332 Health / Fitness / Lifestyle 24 Crypto / Blockchain 10

Science / Math / Physics

A New Era for Mechanical CAD (dl.acm.org)
Sierpiński triangle? In my bitwise AND? (lcamtuf.substack.com)
A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
Spatial Data-Management (1979) (media.mit.edu)
Reservoir Sampling (samwho.dev)
Barycentric Coordinates (2020) (observablehq.com)
Summer of Math Exposition 4 (some.3b1b.co)
How prime factorizations govern the Collatz conjecture (perette.barella.org)
Debugging a Logic Circuit in IDP-Z3 (simonvandevelde.be)
Post-Quantum Cryptography on NetBSD (netmeister.org)
Uncovering the mechanics of The Games: Winter Challenge (mrwint.github.io)
Correct application of the Lanczos filter in 2D (github.com)
Astro Linker Chrome Extension - A Fun Personal Project (thelinell.com)
NIST F4 Cesium Fountain Atomic Clock Joins Elite Group That Keeps the World on Time (nist.gov)
Comparison with Traditional Mathematics (aplwiki.com)
Reversing the Fossilization of Computer Science Conferences (cacm.acm.org)
Good regulator theorem (en.wikipedia.org)
The Elo Rating System in the MLB (thelinell.com)
How We Diagnosed and Fixed the 2023 Voyager 1 Anomaly from 15 Billion Miles Away (youtube.com)
/usr/share/units/definitions.units (salsa.debian.org)
Implementing Unsure Calculator in 100 lines of Haskell (alt-romes.github.io)
The ‘trickonometry’ of math olympiad inequalities (andreinc.net)
Stonean spaces, projective objects, the Riesz representation theorem, and (possibly) condensed mathematics (terrytao.wordpress.com)
Floating point round trip radix conversion (johndcook.com)
First Successful Lightning Triggering and Guiding Using a Drone (group.ntt)
What is cosh(List(Bool))? Or beyond algebra: analysis of data types (nikitadanilov.github.io)
A5 - Pentagonal Spatial Index (a5geo.org)
On the cruelty of really teaching computing science (1988) (cs.utexas.edu)
Efficient E-Matching for Super Optimizers (blog.vortan.dev)
Matrix Calculus for Machine Learning and Beyond (github.com)