🦞🌯 Lobster Roll

All LHN/.~Ars
RSS

Showing stories from 2025-10. View all

NewestOldestTop ScoredMost Discussed
Shouting at stars: A history of interstellar messages (youtube.com)
Show HN: TAUT2 – Mathematical logic exercises in the browser (taut-logic.com)
Hi HN,<p>This is something I originally built for my students when I was teaching logic at the University of Buenos Aires (I have now moved to philosophy of science).<p>I had planned to add some commercial features like paid courses β€” and even developed a good part of it β€” but I got caught up in oth...
Why zero is the most important number in all of mathematics (newscientist.com)
An ancient generalization of the Pythagorean Theorem (johndcook.com)
Quantum Nanodiamonds from 1 Step, Industrial-Scale Pressure and Temp Process (advanced.onlinelibrary.wiley.com)
Clay Mathematics Institute: Status of P vs. NP [video] (youtube.com)
Quantum technology is coming to the real world (ft.com)
Consequences of Undecidability in Physics on the Theory of Everything [pdf] (jhap.du.ac.ir)
Bepuphysics 2.4 [video] (youtube.com)
The Abode of Salvation (rohanparanjpe.substack.com)
NYT photo essay: How NASA’s lunar photography brought the heavens down to Earth (nytimes.com)
How Bill Gates is reframing the climate change debate (axios.com)
Opportunistically Parallel Lambda Calculus (dl.acm.org)
Ask HN: I feel Twitter's algorithm just changed. Is there any way to confirm it?
Programming Isn't Math, It's Linguistics [video] (youtube.com)
OpenAI says hallucinations are mathematically inevitable, not engineering flaws (computerworld.com)
Mathematical proof debunks idea the universe is a computer simulation (phys.org)
AI Discovers Algorithm That Beats NSDI'24 Best Paper (adrs-ucb.notion.site)
Book: Fabulous Adventures in Data Structures and Algorithms (manning.com)
Language Models are Injective and Hence Invertible (arxiv.org)
Transformer components such as non-linear activations and normalization are inherently non-injective, suggesting that different inputs could map to the same output and prevent exact recovery of the input from a model's representations. In this paper, we challenge this view. First, we prove mathemati...
ZOZO's Contact Solver for physics-based simulations (github.com)
State of the post-quantum Internet in 2025 (blog.cloudflare.com)
Mind of a Mathematician (2019) (paw.princeton.edu)
Signal's Post-Quantum Cryptographic Implementation – Schneier on Security (schneier.com)
Bidding algorithms (and their impact on electricity markets) (currentlyspeaking.substack.com)
A mathematical study of the excess growth rate (arxiv.org)
IBM Cloud is experiencing a quantum computer outage (theregister.com)
Affluent Investors Are Using Options Math to Borrow on the Cheap (bloomberg.com)
How the most feared algorithm in algebra is simple
When I started implementing Buchberger&#x27;s algorithm in TypeScript for my algebraic engine RomiMath, I discovered something surprising: this algorithm, considered one of the most complex in computational algebra, is actually pure mechanics.<p>Let&#x27;s break it down to earth, step by step, witho...
Adding quantum resistance to WireGuard (2021) (kudelskisecurity.com)