King's College team wins access to cutting-edge Google quantum chip
(feeds.bbci.co.uk)
1.
2.
3.
The acyclic e-graph: Cranelift's mid-end optimizer
(news.ycombinator.com)
4.
New Silent Hill game inspired by tiny fishing village in Fife
(feeds.bbci.co.uk)
5.
6.
Extracting verified C++ from the Rocq theorem prover at Bloomberg
(news.ycombinator.com)
7.
OSHA investigating new crane accident at SpaceX’s Starbase facility
(techcrunch.com)
10.
Creating fair dice from random objects
(news.ycombinator.com)
Today's top topics:
android authority
polymarket
chatgpt
apple
anthropic
fake bets
sony
ai chatbots
iphone
ifixit