Lobster Roll

All Programming (General) 796 Systems / Low-Level / OS 583 AI / Machine Learning 541 Programming Languages / CS Theory 428 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

Enamored with Macy (addisoncrump.info)
1 pts 1 comments by addison 2h ago science Science / Math / Physics
Proof Tree Playground (kmicinski.com)
2 pts 0 comments by ocramz 9h ago formalmethodsmath Programming Languages / CS TheoryScience / Math / Physics
Lambda Calculus Explorer (kmicinski.com)
7 pts 0 comments by ocramz 16h ago compilersformalmethods Systems / Low-Level / OSProgramming Languages / CS TheoryScience / Math / Physics
Post-Quantum Cryptography Beyond TLS: Remain Quantum Safe (akamai.com)
1 pts 0 comments by fanf 1d ago cryptography Security / PrivacyScience / Math / Physics
Linux in Space: Linux, the most popular OSn the known universe, may be ready to take off again. In a big way (windriver.com)
5 pts 0 comments by asteroid Mar 2, 2026 linux Systems / Low-Level / OSScience / Math / Physics
Vibecoding Challenge 2: The Five Feathers (Spring 2026) (gist.github.com)
17 pts 5 comments by Corbin Mar 2, 2026 aimathpltvibecoding AI / Machine LearningProgramming Languages / CS TheoryScience / Math / Physics
Hacking Super Mario 64 using covering spaces (+ hyperbolic geometry) (happel.ai)
8 pts 4 comments by slot Mar 2, 2026 gamesmath Science / Math / PhysicsGaming / Retro Computing
Triangle of Power (2016) (youtube.com)
6 pts 0 comments by veqq Feb 28, 2026 mathvideo Science / Math / Physics
The Science of Detecting LLM-Generated Text (dl.acm.org)
9 pts 3 comments by lr0 Feb 28, 2026 ai AI / Machine LearningScience / Math / Physics
Cultivating a robust and efficient quantum-safe HTTPS (security.googleblog.com)
7 pts 0 comments by agwa Feb 27, 2026 browserscryptographysecurity Web DevelopmentSecurity / PrivacyScience / Math / Physics
The Man Who Stole Infinity (quantamagazine.org)
12 pts 1 comments by jo3_l Feb 27, 2026 historicalmath Science / Math / PhysicsCulture / Philosophy / History / Reading
OsmAnd's Faster Offline Navigation (osmand.net)
24 pts 9 comments by eBPF Feb 26, 2026 mathperformance Data / Databases / InfrastructureScience / Math / Physics
Deterministic Programming with LLMs (mcherm.com)
1 pts 5 comments by mcherm Feb 25, 2026 mathvibecoding AI / Machine LearningProgramming (General)Science / Math / Physics
CSLib: The Lean Computer Science Library (arxiv.org)
11 pts 0 comments by avsm Feb 22, 2026 formalmethods Programming (General)Programming Languages / CS TheoryScience / Math / PhysicsCulture / Philosophy / History / Reading
The Four-Color Theorem 1852–1976 (ams.org)
17 pts 0 comments by fanf Feb 22, 2026 historicalmath Design / UX / VisualizationScience / Math / PhysicsCulture / Philosophy / History / Reading
Cosmologically Unique IDs (jasonfantl.com)
30 pts 3 comments by hongminhee Feb 22, 2026 distributed Data / Databases / InfrastructureScience / Math / Physics
The Future of Math Research in the Age of AI (siliconreckoner.substack.com)
0 pts 1 comments by jkopin Feb 22, 2026 mathvibecoding AI / Machine LearningScience / Math / Physics
Hemmi/Post 1460 Versalog (Sliderule emulator) (thingsabove.github.io)
3 pts 0 comments by cyplo Feb 21, 2026 math Science / Math / PhysicsGaming / Retro Computing
Lindenmayer Systems (justinpombrio.net)
47 pts 13 comments by justinpombrio Feb 20, 2026 artmath Science / Math / PhysicsCulture / Philosophy / History / Reading
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4 (arxiv.org)
4 pts 1 comments by lr0 Feb 19, 2026 mathvibecoding AI / Machine LearningScience / Math / Physics
The Perils of ISBN (rygoldstein.com)
7 pts 2 comments by jevinskie Feb 19, 2026 science Science / Math / Physics
Salt: Systems programming, mathematically verified (salt-lang.dev)
9 pts 18 comments by munksgaard Feb 19, 2026 pltvibecoding AI / Machine LearningProgramming (General)Programming Languages / CS TheoryScience / Math / Physics
130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone? (arxiv.org)
8 pts 1 comments by edoput Feb 18, 2026 formalmethodspdf Programming Languages / CS TheoryScience / Math / Physics
LeBron James Is President – Exploiting LLMs via "Alignment" Context Injection (github.com)
24 pts 7 comments by skavanagh Feb 17, 2026 aiprogrammingscience AI / Machine LearningProgramming (General)Science / Math / Physics
The Evolution of x86 SIMD: From SSE to AVX-512 (bgslabs.org)
3 pts 7 comments by hoistbypetard Feb 17, 2026 hardwareperformance Systems / Low-Level / OSData / Databases / InfrastructureScience / Math / PhysicsMaker / DIY / Hardware
A relationship between the Collatz conjecture and the Fibonacci numbers (vincentrolfs.dev)
28 pts 13 comments by vrolfs Feb 16, 2026 math Science / Math / Physics
Rendering the Visible Spectrum (brandonli.net)
42 pts 2 comments by susam Feb 15, 2026 graphicsmath Science / Math / Physics
Stargazing Buddy: A practical guide to observing the night sky for real skies and real equipment (stargazingbuddy.com)
11 pts 1 comments by carsyoursken Feb 12, 2026 science Science / Math / Physics
Hard-braking events as indicators of road segment crash risk (research.google)
4 pts 2 comments by aleyan Feb 9, 2026 privacyscience Security / PrivacyScience / Math / Physics
First Proof (arxiv.org)
4 pts 0 comments by Corbin Feb 7, 2026 mathpdfvibecoding AI / Machine LearningScience / Math / Physics