New Silent Hill game inspired by tiny fishing village in Fife
(feeds.bbci.co.uk)
1.
2.
3.
Extracting verified C++ from the Rocq theorem prover at Bloomberg
(news.ycombinator.com)
4.
OSHA investigating new crane accident at SpaceX’s Starbase facility
(techcrunch.com)
7.
Creating fair dice from random objects
(news.ycombinator.com)
Today's top topics:
android
zdnet
cnet
gael cooper
pudding pops
nbc news
twin cities
apple
google pixel
google