TheoremDB · A public workspace for machine mathematics
(news.ycombinator.com)
1141.
1142.
1143.
The Unreasonable Effectiveness of Mathematics in the Natural Sciences [pdf]
(news.ycombinator.com)
1144.
OpenAI acquires presentation startup NextSlide
(techcrunch.com)
1145.
1146.
1147.
1148.
Meet the Media Industry’s Nerd-in-Chief
(feeds.content.dowjones.io)
1149.
1151.
1152.
1153.
1154.
1155.
SK Hynix is spending $38 billion to build two new chip fabs
(techspot.com)
1156.
1157.
1158.
To Save C, We Must Save ABI (2022)
(news.ycombinator.com)
1159.
To Save C, We Must Save ABI
(news.ycombinator.com)
1160.
Weird Town Begs for AI Data Center
(futurism.com)
1161.
1162.
NASA figured out how to keep its Voyager 2 probe running for another year
(news.ycombinator.com)
1163.
NASA to keep its 48-year-old Voyager 2 probe running for yet another year
(news.ycombinator.com)
1164.
The Nixpkgs core team has disbanded
(news.ycombinator.com)
1165.
OpenAI says it slowed Astra model development over security concerns
(techcrunch.com)
1166.
9to5Mac Overtime 076: Native retro games on iPhone
(9to5mac.com)
1167.
Water system controllers don't belong on the internet, says ex-NSA chief
(news.ycombinator.com)
1168.
Choral: Choreographic Programming for Java
(news.ycombinator.com)
1169.
The ultimate eclipse chase: A Concorde raced against the Moon's shadow
(arstechnica.com)
1170.
Today's top topics:
apple
openai
nvidia
android authority
rust
blade runner
ridley scott
neo-noir
fan art
writing