2From Probable to Provable: What Automated Reasoning Means for the Board (opens in new tab)(mariothomas.com)1baruchel4d ago0
3Mikan: a proof assistant for cubical type theory (forked from Agda) (opens in new tab)(mathstodon.xyz)2baruchel5d ago0
6Eniac, the First General-Purpose Digital Computer, Turns 80 (opens in new tab)(spectrum.ieee.org)127baruchel1mo ago53
7Can the Most Abstract Math Make the World a Better Place? (opens in new tab)(quantamagazine.org)5baruchel2mo ago0
8How many steps in a "chain of victories" separate you from your favorite player? (opens in new tab)(mastodon.online)2baruchel2mo ago0
9Assigning Open Problems in Class (opens in new tab)(blog.computationalcomplexity.org)18baruchel2mo ago5
10Mathematicians find largest prime number to date (opens in new tab)(fediscience.org)1baruchel2mo ago2
11Any chess position with 8 pieces on board and one pair of pawns has been solved (opens in new tab)(mastodon.online)18baruchel3mo ago2
13Ramanujan's 100-year-old pi formula is still revealing the Universe (opens in new tab)(sciencedaily.com)3baruchel4mo ago0
