First screen, captured . Hover to scroll the page, or open the video.
Full page

Captured . Click for the whole screenshot.
Looks similar
LLMs are making formal software verification feasible at a much larger scale(anthropic.com)
429 points by johnbender | 265 comments
Anthropic research post describing how Claude produced formal proofs of crash-freedom for RISC-V binaries of 123 OSS-Fuzz open-source libraries, finding bugs along the way.
LLM agents play Pokemon showdown(olivergrabner.com)
25 points by grabnero | 14 comments
A research write-up on a multi-agent environment where LLM teammates coordinate via chat in Pokémon Showdown 2v2 battles, comparing win rates across talk modes.
Related stories
Things to know when you get cancer(jjmaxwell4.com)
1850 points by jjmaxwell4 | 442 comments
A personal blog post by someone diagnosed with oral squamous cell carcinoma in 2026, listing practical lessons learned about navigating cancer care.
Denmark close to wiping out cancer-causing HPV strains after vaccine roll-out(gavi.org)
904 points by slu | 333 comments
Gavi VaccinesWork article reporting a Danish nationwide study showing HPV types 16 and 18 nearly eliminated after the vaccine roll-out.
Colorectal Cancer Is Rising Among the Young, Even Kids and Teens(gizmodo.com)
14 points by gumby | 1 comments
Gizmodo article reporting research that colorectal cancer is rising in people 20 and under, often aggressive and diagnosed late, and differs from adult disease.
The Future Is Niri(ersei.net)
388 points by mattjhall | 202 comments
A personal blog post giving the author's opinion on the Niri scrollable tiling Wayland compositor after years of using Sway and i3.
Scientific conferences are leaving the US amid border fears(nature.com)
355 points by mdhb | 243 comments
Nature news article reporting that scientific conferences are relocating or pausing US meetings because foreign researchers fear border and travel problems.
MIT Study Finds AI Use Reprograms the Brain, Leading to Cognitive Decline(publichealthpolicyjournal.com)
438 points by cainxinth | 432 comments
Article reporting on an MIT study claiming that using AI tools like ChatGPT alters brain activity and leads to cognitive decline.











