Lobster Roll

All Programming (General) 3775 Systems / Low-Level / OS 2952 Programming Languages / CS Theory 2127 Data / Databases / Infrastructure 1762 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

Formally verifying FP division with Gappa (community.arm.com)
11 pts 2 comments by fanf Sep 4, 2025 formalmethodsmath Programming Languages / CS TheoryScience / Math / Physics
Video Game Blurs (and how the best one works) (blog.frost.kiwi)
82 pts 9 comments by FrostKiwi Sep 3, 2025 graphicsmath Science / Math / PhysicsGaming / Retro Computing
Aperiodic Tilings V: the Refinable Frontier (chiark.greenend.org.uk)
15 pts 0 comments by fanf Sep 2, 2025 math Science / Math / Physics
WeakC4: a search-free, low-knowledge solution to 7x6 Connect 4 (2swap.github.io)
2 pts 0 comments by fanf Sep 1, 2025 mathvisualization Design / UX / VisualizationScience / Math / Physics
The ASCII Side of the Moon (aleyan.com)
15 pts 12 comments by aleyan Sep 1, 2025 artsciencevisualization Design / UX / VisualizationScience / Math / PhysicsCulture / Philosophy / History / Reading
Are We Decentralized Yet? (arewedecentralizedyet.online)
46 pts 11 comments by drmorr Aug 30, 2025 distributedscience Data / Databases / InfrastructureScience / Math / Physics
Triangle Grids (kvachev.com)
31 pts 3 comments by veqq Aug 30, 2025 gamesmath Science / Math / PhysicsGaming / Retro Computing
God created the real numbers (ethanheilman.com)
21 pts 18 comments by EthanHeilman Aug 29, 2025 historicalmathphilosophy Science / Math / PhysicsCulture / Philosophy / History / Reading
Tic-tac-toe meets Lean 4 (ochagavia.nl)
16 pts 6 comments by wofo Aug 28, 2025 formalmethodsmathplt Programming Languages / CS TheoryScience / Math / Physics
Rupert’s property: cut a hole in a polyhedron big enough for an identical copy to slide through (johncarlosbaez.wordpress.com)
31 pts 2 comments by fanf Aug 28, 2025 math Science / Math / Physics
Compositional Datalog on SQL: Relational Algebra of the Environment (philipzucker.com)
21 pts 3 comments by philzook Aug 26, 2025 databasesplt Programming Languages / CS TheoryData / Databases / InfrastructureScience / Math / Physics
Structural vs. Mathematical “Under” (2023) (dyalog.com)
12 pts 5 comments by Arya Aug 26, 2025 aplplt Programming Languages / CS TheoryScience / Math / Physics
Sharing is Scaring: Why is Cloud File-Sharing Hard? (blog.brownplt.org)
10 pts 0 comments by pushcx Aug 25, 2025 cogscidistributedformalmethods Programming Languages / CS TheoryData / Databases / InfrastructureScience / Math / Physics
Line scan camera image processing (train photography) (daniel.lawrence.lu)
32 pts 1 comments by kevinmehall Aug 24, 2025 artgraphicsmath Design / UX / VisualizationScience / Math / PhysicsCulture / Philosophy / History / Reading
AI Chatbots Undermining the Enlightenment (maggieappleton.com)
15 pts 1 comments by facundoolano Aug 23, 2025 sciencevibecoding AI / Machine LearningScience / Math / Physics
Adventures in State Space (youtube.com)
11 pts 0 comments by linkdd Aug 22, 2025 mathvideo Science / Math / Physics
L2AW theorem (law-theorem.com)
4 pts 0 comments by av Aug 20, 2025 compscidatabasesdistributed Programming Languages / CS TheoryData / Databases / InfrastructureScience / Math / Physics
Jovial Reverse Polish Notation Calculators (jrpn.jovial.com)
7 pts 0 comments by johnolinda Aug 19, 2025 mathreversing Systems / Low-Level / OSScience / Math / Physics
Prime Number Grid (susam.net)
15 pts 5 comments by susam Aug 19, 2025 mathshow Programming (General)Science / Math / Physics
Desync the Planet – Rsync Remote Code Execution (phrack.org)
3 pts 1 comments by runxiyu Aug 19, 2025 security Programming (General)Security / PrivacyScience / Math / Physics
QuakeCon 2013: The Physics of Light and Rendering - A Talk by John Carmack (youtube.com)
2 pts 0 comments by imad Aug 18, 2025 graphicsvideo Science / Math / Physics
Decoding the representation of code in the brain: An fMRI study (2017) (web.eecs.umich.edu)
2 pts 0 comments by hwayne Aug 18, 2025 cogscipdf Programming (General)Science / Math / Physics
A short statistical reasoning test (emiruz.com)
3 pts 0 comments by knl Aug 18, 2025 math Science / Math / Physics
Gaussian Processes for Machine Learning (gaussianprocess.org)
11 pts 0 comments by MiraWelner Aug 17, 2025 aibookmathpdf AI / Machine LearningScience / Math / PhysicsCulture / Philosophy / History / Reading
Beyond Booleans: Propositions in Lean (overreacted.io)
25 pts 1 comments by jo3_l Aug 17, 2025 mathplt Programming Languages / CS TheoryScience / Math / Physics
Dicing an Onion, the Mathematically Optimal Way (pudding.cool)
27 pts 2 comments by drmorr Aug 16, 2025 math Science / Math / Physics
Meschers: Geometry Processing of Impossible Objects (anadodik.github.io)
9 pts 0 comments by soulseeder Aug 16, 2025 graphics Science / Math / Physics
An interactive guide to sensor fusion with quaternions (quaternion.cafe)
26 pts 3 comments by sharpcoder Aug 15, 2025 hardwaremath Science / Math / PhysicsMaker / DIY / Hardware
NaN-Propagation: A Novel Method for Sparsity Detection in Black-Box Computational Functions (arxiv.org)
11 pts 7 comments by fanf Aug 14, 2025 math Programming Languages / CS TheoryScience / Math / PhysicsCulture / Philosophy / History / Reading
Study: Social media probably can’t be fixed (arstechnica.com)
43 pts 51 comments by snej Aug 13, 2025 distributedscience Data / Databases / InfrastructureScience / Math / PhysicsInternet / Digital Culture