🦞🌯 Lobster Roll

All LHN/.~Ars
RSS
NewestOldestTop ScoredMost Discussed
Triangle of Power (2016) (youtube.com)
L 6 pts 0 comments by veqq Feb 28, 2026 mathvideo Science / Math / Physics thread
The Science of Detecting LLM-Generated Text (dl.acm.org)
L 9 pts 3 comments by lr0 Feb 28, 2026 ai AI / Machine LearningScience / Math / Physics thread
Photons that aren’t actually there influence superconductivity (arstechnica.com)
~ 15 pts 6 comments by unknown Feb 28, 2026 ~science Science / Math / Physics thread
Texans love Big Bend for its wildness. Donald Trump wants to put a wall through it. (texasmonthly.com)
~ 16 pts 3 comments by unknown Feb 28, 2026 ~enviro Science / Math / Physics thread
Ancient stepwells brought back to life as India begins to run out of water (theguardian.com)
~ 13 pts 4 comments by unknown Feb 27, 2026 ~enviro Science / Math / Physics thread
Cultivating a robust and efficient quantum-safe HTTPS (security.googleblog.com)
L 7 pts 0 comments by agwa Feb 27, 2026 browserscryptographysecurity Web DevelopmentSecurity / PrivacyScience / Math / Physics thread
NASA announces major overhaul of Artemis moon program amid safety concerns, delays (cbsnews.com)
~ 16 pts 1 comments by unknown Feb 27, 2026 ~space Science / Math / Physics thread
Did Kellogg’s do the math on donut holes? (youtube.com)
~ 13 pts 1 comments by unknown Feb 27, 2026 ~science Science / Math / Physics thread
The Man Who Stole Infinity (quantamagazine.org)
L 12 pts 1 comments by jo3_l Feb 27, 2026 historicalmath Science / Math / PhysicsCulture / Philosophy / History / Reading thread
OsmAnd's Faster Offline Navigation (osmand.net)
L 24 pts 9 comments by eBPF Feb 26, 2026 mathperformance Data / Databases / InfrastructureScience / Math / Physics thread
Deterministic Programming with LLMs (mcherm.com)
L 1 pts 5 comments by mcherm Feb 25, 2026 mathvibecoding AI / Machine LearningProgramming (General)Science / Math / Physics thread
Orbital space race heats up in Arctic north – Europe lags far behind the US and China in orbital space launches, but new facilities are opening up (bbc.com)
~ 6 pts 0 comments by unknown Feb 25, 2026 ~space Science / Math / Physics thread
Chemist Hitler Louis nears three dozen retractions for image duplication, self-citation and more (retractionwatch.com)
~ 32 pts 13 comments by unknown Feb 25, 2026 ~science Science / Math / Physics thread
I built a space simulation that runs in the browser and it feels good enough to share it now (luna.watermelonson.com)
~ 62 pts 28 comments by unknown Feb 24, 2026 ~space Web DevelopmentScience / Math / Physics thread
The evolution of eyes began with one (nytimes.com)
~ 11 pts 2 comments by unknown Feb 24, 2026 ~science Science / Math / Physics thread
Lithium plume in our atmosphere traced back to returning SpaceX rocket (sciencealert.com)
~ 29 pts 12 comments by unknown Feb 23, 2026 ~space Science / Math / Physics thread
CSLib: The Lean Computer Science Library (arxiv.org)
L 11 pts 0 comments by avsm Feb 22, 2026 formalmethods Programming (General)Programming Languages / CS TheoryScience / Math / PhysicsCulture / Philosophy / History / Reading thread
The Four-Color Theorem 1852–1976 (ams.org)
L 17 pts 0 comments by fanf Feb 22, 2026 historicalmath Design / UX / VisualizationScience / Math / PhysicsCulture / Philosophy / History / Reading thread
Cosmologically Unique IDs (jasonfantl.com)
L 30 pts 3 comments by hongminhee Feb 22, 2026 distributed Data / Databases / InfrastructureScience / Math / Physics thread
The physics of dub techno — a musicologist explains (youtube.com)
~ 9 pts 4 comments by unknown Feb 22, 2026 ~music Science / Math / PhysicsCulture / Philosophy / History / Reading thread
The Future of Math Research in the Age of AI (siliconreckoner.substack.com)
L 0 pts 1 comments by jkopin Feb 22, 2026 mathvibecoding AI / Machine LearningScience / Math / Physics thread
Hemmi/Post 1460 Versalog (Sliderule emulator) (thingsabove.github.io)
L 3 pts 0 comments by cyplo Feb 21, 2026 math Science / Math / PhysicsGaming / Retro Computing thread
NASA chief classifies Starliner flight as “Type A” mishap, says agency made mistakes (arstechnica.com)
~ 31 pts 6 comments by unknown Feb 20, 2026 ~space Science / Math / Physics thread
Lindenmayer Systems (justinpombrio.net)
L 47 pts 13 comments by justinpombrio Feb 20, 2026 artmath Science / Math / PhysicsCulture / Philosophy / History / Reading thread
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4 (arxiv.org)
L 4 pts 1 comments by lr0 Feb 19, 2026 mathvibecoding AI / Machine LearningScience / Math / Physics thread
The Perils of ISBN (rygoldstein.com)
L 7 pts 2 comments by jevinskie Feb 19, 2026 science Science / Math / Physics thread
UMD scientists create ‘smart underwear’ to measure human flatulence (cbmg.umd.edu)
~ 21 pts 4 comments by unknown Feb 19, 2026 ~science Science / Math / Physics thread
Salt: Systems programming, mathematically verified (salt-lang.dev)
L 9 pts 18 comments by munksgaard Feb 19, 2026 pltvibecoding AI / Machine LearningProgramming (General)Programming Languages / CS TheoryScience / Math / Physics thread
130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone? (arxiv.org)
L 8 pts 1 comments by edoput Feb 18, 2026 formalmethodspdf Programming Languages / CS TheoryScience / Math / Physics thread
This is a brief description of a project that has already autoformalized a large portion of the general topology from the Munkres textbook (which has in total 241 pages in 7 chapters and 39 sections). The project has been running since November 21, 2025 and has as of January 4, 2026, produced 160k ...
LeBron James Is President – Exploiting LLMs via "Alignment" Context Injection (github.com)
L 24 pts 7 comments by skavanagh Feb 17, 2026 aiprogrammingscience AI / Machine LearningProgramming (General)Science / Math / Physics thread