baruchel | Dark Hacker News

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

1.	The million-dollar math problem hardly anyone is trying to solve(scientificamerican.com) 2 points by baruchel 45 days ago \| 2 comments
2.	What Do Gödel's Incompleteness Theorems Mean?(quantamagazine.org) 163 points by baruchel 45 days ago \| 65 comments
3.	The mathematician who doesn't exist(newscientist.com) 3 points by baruchel 56 days ago \| 0 comments
4.	From Probable to Provable: What Automated Reasoning Means for the Board(mariothomas.com) 1 points by baruchel 57 days ago \| 0 comments
5.	Mikan: a proof assistant for cubical type theory (forked from Agda)(mathstodon.xyz) 2 points by baruchel 58 days ago \| 0 comments
6.	Why Not Use Lean?(lawrencecpaulson.github.io) 6 points by baruchel 70 days ago \| 0 comments
7.	Rocq 9.2.0 Released(rocq-prover.org) 2 points by baruchel 86 days ago \| 1 comment
8.	Eniac, the First General-Purpose Digital Computer, Turns 80(spectrum.ieee.org) 127 points by baruchel 106 days ago \| 53 comments
9.	Can the Most Abstract Math Make the World a Better Place?(quantamagazine.org) 5 points by baruchel 120 days ago \| 0 comments
10.	How many steps in a "chain of victories" separate you from your favorite player?(mastodon.online) 2 points by baruchel 122 days ago \| 0 comments
11.	Assigning Open Problems in Class(blog.computationalcomplexity.org) 18 points by baruchel 137 days ago \| 5 comments
12.	Mathematicians find largest prime number to date(fediscience.org) 1 points by baruchel 142 days ago \| 2 comments
13.	Any chess position with 8 pieces on board and one pair of pawns has been solved(mastodon.online) 18 points by baruchel 145 days ago \| 2 comments
14.	The Year in Mathematics(quantamagazine.org) 3 points by baruchel 196 days ago \| 0 comments
15.	Ramanujan's 100-year-old pi formula is still revealing the Universe(sciencedaily.com) 3 points by baruchel 197 days ago \| 0 comments
16.	The Year in Computer Science(quantamagazine.org) 3 points by baruchel 198 days ago \| 0 comments
17.	Apples(xkcd.com) 2 points by baruchel 202 days ago \| 0 comments
18.	50 years of proof assistants(lawrencecpaulson.github.io) 144 points by baruchel 202 days ago \| 30 comments
19.	209 days ago \| discuss
20.	New Font Release: Bhs(fsd.it) 1 points by baruchel 211 days ago \| 0 comments
21.	The Little Theorems(blog.computationalcomplexity.org) 1 points by baruchel 220 days ago \| 0 comments
22.	Set theory with types(lawrencecpaulson.github.io) 125 points by baruchel 223 days ago \| 19 comments