Y Hacker News new | ask | show | jobs

user: baruchel created: 2014-04-01 karma: 1391 Teacher in Computer Science at University of Pau and the Adour Region (France) submissions: The million-dollar math problem hardly anyone is trying to solve 2 points | 2 comments What Do Gödel's Incompleteness Theorems Mean? 163 points | 65 comments The mathematician who doesn't exist 3 points | 0 comments From Probable to Provable: What Automated Reasoning Means for the Board 1 points | 0 comments Mikan: a proof assistant for cubical type theory (forked from Agda) 2 points | 0 comments Why Not Use Lean? 6 points | 0 comments Rocq 9.2.0 Released 2 points | 1 comments Eniac, the First General-Purpose Digital Computer, Turns 80 127 points | 53 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Can the Most Abstract Math Make the World a Better Place? 5 points | 0 comments How many steps in a "chain of victories" separate you from your favorite player? 2 points | 0 comments Assigning Open Problems in Class 18 points | 5 comments Mathematicians find largest prime number to date 1 points | 2 comments Any chess position with 8 pieces on board and one pair of pawns has been solved 18 points | 2 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments The Year in Mathematics 3 points | 0 comments Ramanujan's 100-year-old pi formula is still revealing the Universe 3 points | 0 comments The Year in Computer Science 3 points | 0 comments Apples 2 points | 0 comments 50 years of proof assistants 144 points | 30 comments New Font Release: Bhs 1 points | 0 comments The Little Theorems 1 points | 0 comments 0 points | 0 comments Set theory with types 125 points | 19 comments A New Bridge Links the Math of Infinity to Computer Science 7 points | 0 comments