1.
2.
The acyclic e-graph: Cranelift's mid-end optimizer
(news.ycombinator.com)
3.
New Silent Hill game inspired by tiny fishing village in Fife
(feeds.bbci.co.uk)
4.
5.
Extracting verified C++ from the Rocq theorem prover at Bloomberg
(news.ycombinator.com)
6.
OSHA investigating new crane accident at SpaceX’s Starbase facility
(techcrunch.com)
9.
Creating fair dice from random objects
(news.ycombinator.com)
Today's top topics:
google
apple
openai
google health
chatgpt
anthropic
samsung
android authority
nvidia
spacex