Lobster Roll

All Programming (General) 3773 Systems / Low-Level / OS 2950 Programming Languages / CS Theory 2127 Data / Databases / Infrastructure 1761 AI / Machine Learning 1523 Web Development 1308 Security / Privacy 1009 Culture / Philosophy / History / Reading 962 Productivity / Career / Business 731 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

Are Two Heads Better Than One? (eieio.games)
Disagreements over post-quantum encryption for TLS (lwn.net)
Desperately seeking squircles (2018) (figma.com)
Struggling Towards an Algebraic Theory of Music (reasonablypolymorphic.com)
Fixed Points and Strike Mandates (2012) (pvk.ca)
dp_knapsack_sliding_hirschberg, a new activation memory budget solver for PyTorch (jedrzej.maczan.pl)
Lambda Calculus in K (web.archive.org)
Introducing geometric algebra (youtube.com)
How should we peer review software? (mirawelner.com)
interop and mathml core (conflor.es)
Datacenters in space are a terrible, horrible, no good idea (taranis.ie)
Schubfach: The smallest state-of-the-art double-to-string implementation (vitaut.net)
Rope science, part 11 - practical syntax highlighting (2017) (xi-editor.io)
Putting Rigid Bodies to Rest (hbaktash.github.io)
Is Matrix Multiplication Ugly? (mathenchant.wordpress.com)
ML-KEM Mythbusting (keymaterial.net)
A Very Fast 64–Bit Date Algorithm: 30-40% faster (benjoffe.com)
Evolution of Streaming Computation Models (medium.com)
Python is not a great language for data science. Part 1: The experience (blog.genesmindsmachines.com)
Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation (steuwer.info)
Nonpareil: High-Fidelity HP Calculator Simulator (nonpareil.brouhaha.com)
How Deep is Challenger Deep? (storymaps.arcgis.com)
Solving Fizz Buzz with Cosines (susam.net)
How Slide Rules Work (amenzwa.github.io)
The Geometry Behind Normal Maps (shlom.dev)
Digital Signals Theory (brianmcfee.net)
DRAM Errors and Cosmic Rays: Space Invaders or Science Fiction? (arxiv.org)
Towards interplanetary QUIC traffic (ochagavia.nl)
Typechecking is undecideable when 'type' is a type (1989) (dspace.mit.edu)
The Programming of Algebra (arxiv.org)