CapROS: Capability-Based Reliable Operating System
(news.ycombinator.com)
4291.
4292.
Grant cuts, arrests, lay-offs: Trump made 2025 a tumultuous year for science
(feeds.nature.com)
4293.
Elevated errors across many models
(news.ycombinator.com)
4294.
Anthropic Outage for Opus 4.5 and Sonnet 4/4.5 across all services
(news.ycombinator.com)
4295.
JSDoc is TypeScript
(news.ycombinator.com)
4296.
4297.
Absynth is back and weirder than ever after 16 years
(theverge.com)
4298.
Apple Maps claims it's 29,905 miles away
(news.ycombinator.com)
4299.
The World of OCR (C. 1960) [video]
(news.ycombinator.com)
4300.
4301.
Modern SID chip substitutes [video]
(news.ycombinator.com)
4302.
Rocket Lab – 'Raise and Shine' Launch for JAXA [video]
(news.ycombinator.com)
4303.
Lean theorem prover mathlib
(news.ycombinator.com)
4304.
Lean Theorem Prover Mathlib
(news.ycombinator.com)
4305.
4306.
An Implementation of J (1992)
(news.ycombinator.com)
4307.
An Implementation of J
(news.ycombinator.com)
4308.
Purdue University Approves New AI Requirement for All Undergrads
(news.ycombinator.com)
4309.
A new AAA Alien game is reportedly in the works
(engadget.com)
4310.
Are we stuck with the same Desktop UX forever? [video]
(news.ycombinator.com)
4311.
Analysis finds anytime electricity from solar available as battery costs plummet
(news.ycombinator.com)
4312.
4313.
4314.
Scientists Detect Huge Rotating Structure in Space
(futurism.com)
4315.
Wine 11.0 RC2 – Run Windows Applications on Linux, BSD, Solaris and macOS
(news.ycombinator.com)
4316.
Capsudo: Rethinking sudo with object capabilities
(news.ycombinator.com)
4317.
Capsudo: Rethinking Sudo with Object Capabilities
(news.ycombinator.com)
4318.
Motion (YC W20) Is Hiring Senior Staff Front End Engineers
(news.ycombinator.com)
4319.
4320.
Today's top topics:
cnet