baruchel | Dark Hacker News

user:	baruchel
created:	April 1, 2014
karma:	1.5k
about:	Teacher in Computer Science at University of Pau and the Adour Region (France)

1.	Ordinal definability–how did Gödel do it?(infinitelymore.xyz) 2 points by baruchel 17 days ago \| 0 comments
2.	Why I didn’t sign the Fields medallists’ letter(terrytao.wordpress.com) 45 points by baruchel 20 days ago \| 7 comments
3.	How I came to write that paper with Leslie Lamport(lawrencecpaulson.github.io) 58 points by baruchel 47 days ago \| 11 comments
4.	The computer that helped win World War II(spectrum.ieee.org) 208 points by baruchel 77 days ago \| 79 comments
5.	Create Your Own Variants • PyChess(pychess.org) 1 points by baruchel 85 days ago \| 0 comments
6.	The million-dollar math problem hardly anyone is trying to solve(scientificamerican.com) 2 points by baruchel 142 days ago \| 2 comments
7.	What Do Gödel's Incompleteness Theorems Mean?(quantamagazine.org) 163 points by baruchel 142 days ago \| 65 comments
8.	The mathematician who doesn't exist(newscientist.com) 3 points by baruchel 153 days ago \| 0 comments
9.	From Probable to Provable: What Automated Reasoning Means for the Board(mariothomas.com) 1 points by baruchel 154 days ago \| 0 comments
10.	Mikan: a proof assistant for cubical type theory (forked from Agda)(mathstodon.xyz) 2 points by baruchel 155 days ago \| 0 comments
11.	Why Not Use Lean?(lawrencecpaulson.github.io) 6 points by baruchel 167 days ago \| 0 comments
12.	Rocq 9.2.0 Released(rocq-prover.org) 2 points by baruchel 184 days ago \| 1 comment
13.	Eniac, the First General-Purpose Digital Computer, Turns 80(spectrum.ieee.org) 127 points by baruchel 203 days ago \| 53 comments
14.	Can the Most Abstract Math Make the World a Better Place?(quantamagazine.org) 5 points by baruchel 217 days ago \| 0 comments
15.	How many steps in a "chain of victories" separate you from your favorite player?(mastodon.online) 2 points by baruchel 219 days ago \| 0 comments
16.	Assigning Open Problems in Class(blog.computationalcomplexity.org) 18 points by baruchel 234 days ago \| 5 comments
17.	Mathematicians find largest prime number to date(fediscience.org) 1 points by baruchel 239 days ago \| 2 comments
18.	Any chess position with 8 pieces on board and one pair of pawns has been solved(mastodon.online) 18 points by baruchel 242 days ago \| 2 comments
19.	The Year in Mathematics(quantamagazine.org) 3 points by baruchel 293 days ago \| 0 comments
20.	Ramanujan's 100-year-old pi formula is still revealing the Universe(sciencedaily.com) 3 points by baruchel 294 days ago \| 0 comments
21.	The Year in Computer Science(quantamagazine.org) 3 points by baruchel 295 days ago \| 0 comments