The foundations of a provably secure operating system (PSOS) (1979) [pdf]
(news.ycombinator.com)
121.
122.
It is time to give up the dualism introduced by the debate on consciousness
(news.ycombinator.com)
123.
124.
125.
126.
127.
Your doctor’s AI notetaker may be making things up, Ontario audit finds
(arstechnica.com)
128.
Canvas got hacked, provost banned exams, professor responded by assigning Hayek
(news.ycombinator.com)
129.
130.
131.
132.
133.
Cisco Releases Open-Source 'DNA Test for AI Models'
(slashdot.org)
134.
135.
137.
138.
Agent-harness-kit scaffolding for multi-agent workflows (MCP, provider-agnostic)
(news.ycombinator.com)
139.
140.
How this CEO took charge during a crisis and built a firefighting powerhouse
(feeds.feedburner.com)
141.
142.
144.
145.
146.
Cheaper tokens, bigger bills: The new math of AI infrastructure
(venturebeat.com)
147.
148.
149.
We obtained nearly 1,000 complaints about SpaceX’s Starlink. Here’s what they reveal
(feeds.feedburner.com)
150.
Intrinsic polar vortex crystals in A-site layer-ordered perovskites
(feeds.nature.com)
Today's top topics:
federal