Lobster Roll

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

Science / Math / Physics

Experiential Robotics Platform moves out of beta phase (news.sparkfun.com)
Kill Math (2011) (worrydream.com)
What is plus times plus? (youtu.be)
Torch Lens Maker - library for differentiable geometric optics based on PyTorch (victorpoughon.github.io)
PeanoScript: TypeScript but it's a theorem prover (peanoscript.mjgrzymek.com)
Pi - 5 Trillion Digits (2010) (numberworld.org)
The Evolution of the Interface (2000) (asktog.com)
Grove: A Bidirectionally typed collaborative structure editor calculus (youtube.com)
Does X cause Y? An in-depth evidence review (cold-takes.com)
The Pi-Search Page (angio.net)
MathML Core (developer.mozilla.org)
Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus (dl.acm.org)
Huh? The valuable role of interjections (knowablemagazine.org)
AstroNvim, an aesthetically pleasing and feature-rich Neovim config (docs.astronvim.com)
Testing Causality in Scientific Modelling Software (export.arxiv.org)
The Hitchhiker's Guide to Digital Colour (hg2dc.com)
Rocket Science of Simulation Testing - HYTRADBOI2025 (youtu.be)
The Perceptron (youtu.be)
ARCO: The Smartest Way to Access Big Geospatial Data (blog.lobelia.earth)
Programming Really Is Simple Mathematics (bertrandmeyer.com)
The Evolution of Agile Imposters: Why We Can't Estimate Our Own Software (junglecoder.com)
A new math library for Ada - NeoSIMD (blog.adacore.com)
Scrap Your ORM—Replace Your ORM With Relational Algebra (youtu.be)
Nyx Space and Rust Power Firefly's Blue Ghost Lunar Landing (nyxspace.com)
Hello, Policy Gradient (kirkroerig.com)
What I Saw at the Evolution of Plan 9 (adi.onl)
Where are all the Rewrite Rules? (philipzucker.com)
Programming with Math | The Lambda Calculus (youtu.be)
Learning: the hardest problem in computer science (herostrat.us)
In Video Games, The Player Never Moves (youtube.com)