1171.
1172.
1173.
1174.
1175.
1176.
1177.
Peano arithmetic is enough, because Peano arithmetic encodes computation
(news.ycombinator.com)
1178.
1179.
1180.
GCP Outage
(news.ycombinator.com)
1181.
US-backed Israeli company's spyware used to target European journalists
(news.ycombinator.com)
1182.
1183.
Today's top topics:
google
apple
openai
anthropic
spacex
samsung
remarkable
android authority
microsoft
amazon