Mea Culpa – Dark Hours(blog.terrygodier.com)

568 points by satvikpendem 2 months ago | 255 comments

Terry Godier's blog post apologizing for problems with Dark Hours, a website he launched to show what can be seen in the night sky.

How Gödel's Proof Works (2020)(quantamagazine.org)

104 points by tzury 2 months ago | 44 comments

Monumental proof settles geometric Langlands conjecture(quantamagazine.org)

183 points by jandrewrogers 2 years ago | 27 comments

Dario Amodei's stance on open weights is self-serving and short-sighted(janilowski.pl)

42 points by janilowski 2 months ago | 8 comments

Jev meets the Trolley Problem(zachlandes.com)

589 points by zlandes86 11 days ago | 231 comments

Blog post by Zach Landes exploring how Jev, a fast cheap decision-making AI model that outputs choices with probabilities, handles the trolley problem.

New upper bound found for the Heilbronn triangle problem(quantamagazine.org)

31 points by rbanffy 3 years ago | 15 comments