The foundations of a provably secure operating system (PSOS) (1979) [pdf](www.csl.sri.com)rurban301h9
Multiple commencement speakers booed for AI comments during graduation speeches(www.nbcnews.com)wrxd582h26
Crystals found inside wreckage from the first nuclear bomb test(www.scientificamerican.com)jumploops892d32
It is time to give up the dualism introduced by the debate on consciousness(www.noemamag.com)ahalbert41028h258
Ask an Astronaut: 333 hours of Q&A footage with astronauts(askanastronaut.issinrealtime.org)gaws1553d12
Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep(github.com)Bibabomas34519h113
Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely(idahonews.com)ChrisArchitect20013h201
Cannibalistic attacks between gray seals leave telltale “corkscrew” injuries(www.science.org)gmays654d29
Trials on veterans suggest ibogaine could provide a new treatment for PTSD(www.bbc.com)bushwart9823h106
Mozilla to UK regulators: VPNs are essential privacy and security tools(blog.mozilla.org)WithinReason7571d321
VoIP brings back old-fashioned pay phones to rural Vermont (2025)(spectrum.ieee.org)bookofjoe15515h49
Microsoft admits Windows 11's dedicated Copilot key breaks certain workflows(www.windowscentral.com)01-_-162h3
Mercurial, 20 years and counting: how are we still alive and kicking? [video](fosdem.org)ibobev1973d220
Étienne Ghys: The Shape of Letters: From Leonardo da Vinci to Donald Knuth(www.youtube.com)tzury336h4
The History of ThinkPad: From IBM’s Bento Box to Lenovo’s AI Workstations(www.jdhodges.com)zdw10113h50
America's Most-Spoken Languages After English and Spanish(www.visualcapitalist.com)RyeCombinator487h26