Hi HN, I've been exploring various applications of formal methods to ML/interpretability and I've been hoping to get more eyes on the approach. I have been working on a small interpretability project ...
Fewer outsiders, less feedback, and an uncertain fate for a new science board report...
I made a web game inspired by Geoguessr and Wordle, where you get shown a 3D model of a random human protein each day, and you have to triangulate its gene name using similarity clues. My background i...
Starlink satellites with solar arrays deployed. | Image: SpaceX After one of its Starlink satellites exploded and another narrowly avoided colliding with a Chinese satellite, SpaceX says it will lower...
Getty Images; Tyler Le/BI Five years ago, Tim Cannon, a cancer doctor in Virginia, saw that his colon cancer patients were getting younger and their cancer was more aggressive. He had just diagnosed t...
Auroras may be visible from Alaska to Illinois as an incoming coronal mass ejection could disrupt Earth's magnetic field and trigger geomagnetic storm conditions....
Rippling's CPO said he prefers to understaff than overstaff all his projects. Illustration by Thomas Fuller/SOPA Images/LightRocket via Getty Images Rippling's product chief Matt MacInnis says he deli...
Akhil Nagori, Evann Sun, and Lucas Shengwen Yen at the Thermo Fisher Scientific Junior Innovators Challenge. Society for Science Three California teenagers created text-to-speech smart glasses powered...
A SpaceX Falcon 9 rocket blasts off carrying Starlink satellites into orbit. Paul Hennessy/SOPA Images/LightRocket via Getty Images SpaceX is moving over 4,000 Starlink satellites to a lower orbit. An...
An online video has gone viral showing 93-year-old Dr. Marshall Lindheimer, who has dementia, hearing about his groundbreaking research to treat and diagnose the pregnancy condition of preeclampsia....
NASA said on Thursday it will return a crew from the International Space Station to Earth within days after an astronaut experienced a medical issue, marking the orbital labâs first evacuation for hea...
Chinese researchers have proposed a simple yet powerful theory to explain one of physicsâ oldest puzzles: why time only moves forward and why travelling to the past remains impossible. Physicist Cai Q...
Article URL: https://www.cia.gov/readingroom/docs/CIA-RDP96-00789R002800180001-2.pdf Comments URL: https://news.ycombinator.com/item?id=46417110 Points: 5 # Comments: 0...
Article URL: https://phys.org/news/2025-12-einstein-probe-ray-flare-nearby.html Comments URL: https://news.ycombinator.com/item?id=46471784 Points: 4 # Comments: 1...
Article URL: https://arxiv.org/abs/2512.24617 Comments URL: https://news.ycombinator.com/item?id=46542982 Points: 5 # Comments: 0...
DeepSeekâs latest technical paper, co-authored by the firmâs founder and CEO Liang Wenfeng, has been cited as a potential game changer in developing artificial intelligence models, as it could transla...
Altcoins lagged Bitcoin in 2025, but XRP, Zcash and Algorand outperformed on regulatory clarity, privacy demand and tokenization....
New discoveries and fresh looks at familiar worlds show how far exoplanet science has come â and how much remains unknown....
Research shows what canines really can sense â and how social media and human projection fuel belief in their supernatural abilities....
Researchers built autonomous robots the size of salt grainsâwith onboard computers, sensors, and motors that think and swim independently for months....