baruchel | Dark Hacker News

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

1.	What Do Gödel's Incompleteness Theorems Mean?(quantamagazine.org) 4 points by baruchel 2 hours ago \| 0 comments
2.	The mathematician who doesn't exist(newscientist.com) 3 points by baruchel 10 days ago \| 0 comments
3.	From Probable to Provable: What Automated Reasoning Means for the Board(mariothomas.com) 1 points by baruchel 12 days ago \| 0 comments
4.	Mikan: a proof assistant for cubical type theory (forked from Agda)(mathstodon.xyz) 2 points by baruchel 13 days ago \| 0 comments
5.	Why Not Use Lean?(lawrencecpaulson.github.io) 6 points by baruchel 25 days ago \| 0 comments
6.	Rocq 9.2.0 Released(rocq-prover.org) 2 points by baruchel 41 days ago \| 1 comment
7.	Eniac, the First General-Purpose Digital Computer, Turns 80(spectrum.ieee.org) 127 points by baruchel 60 days ago \| 53 comments
8.	Can the Most Abstract Math Make the World a Better Place?(quantamagazine.org) 5 points by baruchel 75 days ago \| 0 comments
9.	How many steps in a "chain of victories" separate you from your favorite player?(mastodon.online) 2 points by baruchel 77 days ago \| 0 comments
10.	Assigning Open Problems in Class(blog.computationalcomplexity.org) 18 points by baruchel 91 days ago \| 5 comments
11.	Mathematicians find largest prime number to date(fediscience.org) 1 points by baruchel 97 days ago \| 2 comments
12.	Any chess position with 8 pieces on board and one pair of pawns has been solved(mastodon.online) 18 points by baruchel 99 days ago \| 2 comments
13.	The Year in Mathematics(quantamagazine.org) 3 points by baruchel 151 days ago \| 0 comments
14.	Ramanujan's 100-year-old pi formula is still revealing the Universe(sciencedaily.com) 3 points by baruchel 152 days ago \| 0 comments
15.	The Year in Computer Science(quantamagazine.org) 3 points by baruchel 153 days ago \| 0 comments
16.	Apples(xkcd.com) 2 points by baruchel 156 days ago \| 0 comments
17.	50 years of proof assistants(lawrencecpaulson.github.io) 144 points by baruchel 156 days ago \| 30 comments
18.	164 days ago \| discuss
19.	New Font Release: Bhs(fsd.it) 1 points by baruchel 166 days ago \| 0 comments
20.	The Little Theorems(blog.computationalcomplexity.org) 1 points by baruchel 175 days ago \| 0 comments
21.	Set theory with types(lawrencecpaulson.github.io) 125 points by baruchel 177 days ago \| 19 comments
22.	A New Bridge Links the Math of Infinity to Computer Science(quantamagazine.org) 7 points by baruchel 178 days ago \| 0 comments