1The million-dollar math problem hardly anyone is trying to solve (opens in new tab)(scientificamerican.com)2baruchel1mo ago2Save
2What Do Gödel's Incompleteness Theorems Mean? (opens in new tab)(quantamagazine.org)163baruchel1mo ago65Save
4From Probable to Provable: What Automated Reasoning Means for the Board (opens in new tab)(mariothomas.com)1baruchel1mo ago0Save
5Mikan: a proof assistant for cubical type theory (forked from Agda) (opens in new tab)(mathstodon.xyz)2baruchel1mo ago0Save
8Eniac, the First General-Purpose Digital Computer, Turns 80 (opens in new tab)(spectrum.ieee.org)127baruchel3mo ago53Save
9Can the Most Abstract Math Make the World a Better Place? (opens in new tab)(quantamagazine.org)5baruchel3mo ago0Save
10How many steps in a "chain of victories" separate you from your favorite player? (opens in new tab)(mastodon.online)2baruchel3mo ago0Save
11Assigning Open Problems in Class (opens in new tab)(blog.computationalcomplexity.org)18baruchel4mo ago5Save
12Mathematicians find largest prime number to date (opens in new tab)(fediscience.org)1baruchel4mo ago2Save
13Any chess position with 8 pieces on board and one pair of pawns has been solved (opens in new tab)(mastodon.online)18baruchel4mo ago2Save
15Ramanujan's 100-year-old pi formula is still revealing the Universe (opens in new tab)(sciencedaily.com)3baruchel6mo ago0Save
