P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
(news.ycombinator.com)
2641.
2642.
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
(news.ycombinator.com)
2643.
Restoring youth to old immune cells: mRNA therapy turns back the clock
(feeds.nature.com)
2644.
Restoring youth to old immune cells: mRNA therapy turns back the clock.
(feeds.nature.com)
2645.
2646.
Annual flu vaccines are far from ideal — this is why
(feeds.nature.com)
2647.
2649.
Meta Segment Anything Model Audio
(news.ycombinator.com)
2650.
2651.
China lowers anti-dumping tariffs on pork imports from the EU
(feeds.feedburner.com)
2652.
Downing Street insists negotiations over US-UK tech deal still live
(feeds.bbci.co.uk)
2653.
NASA’s MAVEN Spacecraft May Actually Be Lost in Space
(gizmodo.com)
2654.
Show HN: CommerceTXT – An open standard for AI shopping context (like llms.txt)
(news.ycombinator.com)
2655.
Show HN: Solving the ~95% legislative coverage gap using LLM's
(news.ycombinator.com)
2656.
I don't think Lindley's paradox supports p-circling
(news.ycombinator.com)
2657.
Detailed balance in large language model-driven agents
(news.ycombinator.com)
2658.
2659.
ArkhamMirror: Airgapped investigation platform with CIA-style hypothesis testing
(news.ycombinator.com)
2660.
2661.
Science’s role in my <i>Great British Sewing Bee</i> success
(feeds.nature.com)
2662.
Man Made Troubles (1953) [video]
(news.ycombinator.com)
2663.
A quarter of US-trained scientists eventually leave
(news.ycombinator.com)
2664.
1/4 of US-Trained Scientists Eventually Leave. Is the US Giving Away Its Edge?
(news.ycombinator.com)
2665.
2666.
2667.
Pro-democracy HK tycoon Jimmy Lai convicted in national security trial
(news.ycombinator.com)
2668.
We Put Flock Under Surveillance: Go Make Them Behave Differently [video]
(news.ycombinator.com)
2669.
Commodore 64 Ultimate Review: 21st Century Computing from a 1982 perspective
(tomshardware.com)
2670.
MIT Missing Semester 2026
(news.ycombinator.com)