Lobster Roll

All Programming (General) 798 Systems / Low-Level / OS 583 AI / Machine Learning 542 Programming Languages / CS Theory 429 Data / Databases / Infrastructure 377 Web Development 276 Security / Privacy 233 Culture / Philosophy / History / Reading 210 Productivity / Career / Business 162 Gaming / Retro Computing 129 Design / UX / Visualization 112 Maker / DIY / Hardware 112 Science / Math / Physics 72 Apple / macOS / iOS 67 Internet / Digital Culture 48 Health / Fitness / Lifestyle 5

Science / Math / Physics

Broken proofs and broken provers (lawrencecpaulson.github.io)
The largest number representable in 64 bits (tromp.github.io)
Lambda cube (en.wikipedia.org)
GNU Units (gnu.org)
Category Theory and Inclusivity (youtu.be)
You can't handle the Buddhabrot! (2024) (lcamtuf.substack.com)
A Simple fwd_diff<T> for Forward-Mode AD in C++ (solidean.com)
Implementing the transcendental functions in Ivy (commandcenter.blogspot.com)
Here's how to generate a truly random number with quantum physics (popsci.com)
Who is using AI to code? Global diffusion and impact of generative AI (science.org)
You CAN Average Percentiles (2016) (rpubs.com)
CSLib: A Focused Effort on Formalizing Computer Science in Lean (cslib.io)
Efficiently testing multiple primes at once (johndcook.com)
Comparing Optimization Methods for a Heat Sink Design for 3D Printing (comsol.it)
Visualizing Delaunay Triangulation (2022) (ianthehenry.com)
Nvidia Stock Crash Prediction (entropicthoughts.com)
Floating-Point Printing and Parsing Can Be Simple And Fast (research.swtch.com)
People cannot "just pay attention" to (boring, routine) things (utcc.utoronto.ca)
The Astro Technology Company joins Cloudflare (astro.build)
Ergonomic abstractions for numerical computing: My story so far (ocramz.github.io)
Primecoin and Cunningham Prime Chains (johndcook.com)
When Models Manipulate Manifolds: The Geometry of a Counting Task (transformer-circuits.pub)
A Unique Performance Optimization for a 3D Geometry Language (cprimozic.net)
An Adequate Left-Associated Binary Numeral System in the lambda-Calculus (brics.dk)
Cloudspecs: Cloud Hardware Evolution Through the Looking Glass (muratbuffalo.blogspot.com)
Celeste & TowerFall Physics (maddymakesgames.com)
Lessons from Blogging and the Evolution of the Open Web (openchannels.fm)
Relax for the same result (2015) (sive.rs)
Brain Data in Clojure 2: BrainFloj in Premise and Practice - Lyons (youtube.com)
A4 Paper Stories (susam.net)