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.	The computer that helped win World War II(spectrum.ieee.org) 208 points by baruchel 26 days ago \| 79 comments
2.	Create Your Own Variants • PyChess(pychess.org) 1 points by baruchel 35 days ago \| 0 comments
3.	The million-dollar math problem hardly anyone is trying to solve(scientificamerican.com) 2 points by baruchel 91 days ago \| 2 comments
4.	What Do Gödel's Incompleteness Theorems Mean?(quantamagazine.org) 163 points by baruchel 91 days ago \| 65 comments
5.	The mathematician who doesn't exist(newscientist.com) 3 points by baruchel 102 days ago \| 0 comments
6.	From Probable to Provable: What Automated Reasoning Means for the Board(mariothomas.com) 1 points by baruchel 104 days ago \| 0 comments
7.	Mikan: a proof assistant for cubical type theory (forked from Agda)(mathstodon.xyz) 2 points by baruchel 105 days ago \| 0 comments
8.	Why Not Use Lean?(lawrencecpaulson.github.io) 6 points by baruchel 117 days ago \| 0 comments
9.	Rocq 9.2.0 Released(rocq-prover.org) 2 points by baruchel 133 days ago \| 1 comment
10.	Eniac, the First General-Purpose Digital Computer, Turns 80(spectrum.ieee.org) 127 points by baruchel 152 days ago \| 53 comments
11.	Can the Most Abstract Math Make the World a Better Place?(quantamagazine.org) 5 points by baruchel 167 days ago \| 0 comments
12.	How many steps in a "chain of victories" separate you from your favorite player?(mastodon.online) 2 points by baruchel 169 days ago \| 0 comments
13.	Assigning Open Problems in Class(blog.computationalcomplexity.org) 18 points by baruchel 183 days ago \| 5 comments
14.	Mathematicians find largest prime number to date(fediscience.org) 1 points by baruchel 188 days ago \| 2 comments
15.	Any chess position with 8 pieces on board and one pair of pawns has been solved(mastodon.online) 18 points by baruchel 191 days ago \| 2 comments
16.	The Year in Mathematics(quantamagazine.org) 3 points by baruchel 243 days ago \| 0 comments
17.	Ramanujan's 100-year-old pi formula is still revealing the Universe(sciencedaily.com) 3 points by baruchel 244 days ago \| 0 comments
18.	The Year in Computer Science(quantamagazine.org) 3 points by baruchel 245 days ago \| 0 comments
19.	Apples(xkcd.com) 2 points by baruchel 248 days ago \| 0 comments
20.	50 years of proof assistants(lawrencecpaulson.github.io) 144 points by baruchel 248 days ago \| 30 comments
21.	255 days ago \| discuss
22.	New Font Release: Bhs(fsd.it) 1 points by baruchel 258 days ago \| 0 comments
23.	The Little Theorems(blog.computationalcomplexity.org) 1 points by baruchel 267 days ago \| 0 comments