baruchel

1,519 karmajoined April 1, 2014On HN

Teacher in Computer Science at University of Pau and the Adour Region (France)

Recent submissions

How I came to write that paper with Leslie Lamport lawrencecpaulson.github.io
58baruchel22d11 comments
The computer that helped win World War II spectrum.ieee.org
208baruchel1mo79 comments
Create Your Own Variants • PyChess pychess.org
1baruchel1modiscuss
The million-dollar math problem hardly anyone is trying to solve scientificamerican.com
2baruchel3mo2 comments
What Do Gödel's Incompleteness Theorems Mean?quantamagazine.org
163baruchel3mo65 comments
The mathematician who doesn't exist newscientist.com
3baruchel4modiscuss
From Probable to Provable: What Automated Reasoning Means for the Board mariothomas.com
1baruchel4modiscuss
Mikan: a proof assistant for cubical type theory (forked from Agda)mathstodon.xyz
2baruchel4modiscuss
Why Not Use Lean?lawrencecpaulson.github.io
6baruchel4modiscuss
Rocq 9.2.0 Released rocq-prover.org
2baruchel5mo1 comment
Eniac, the First General-Purpose Digital Computer, Turns 80 spectrum.ieee.org
127baruchel5mo53 comments
Can the Most Abstract Math Make the World a Better Place?quantamagazine.org
5baruchel6modiscuss
How many steps in a "chain of victories" separate you from your favorite player?mastodon.online
2baruchel6modiscuss
Assigning Open Problems in Class blog.computationalcomplexity.org
18baruchel6mo5 comments
Mathematicians find largest prime number to date fediscience.org
1baruchel7mo2 comments
Any chess position with 8 pieces on board and one pair of pawns has been solved mastodon.online
18baruchel7mo2 comments
The Year in Mathematics quantamagazine.org
3baruchel8modiscuss
Ramanujan's 100-year-old pi formula is still revealing the Universe sciencedaily.com
3baruchel8modiscuss
The Year in Computer Science quantamagazine.org
3baruchel8modiscuss
Apples xkcd.com
2baruchel8modiscuss
50 years of proof assistants lawrencecpaulson.github.io
144baruchel9mo30 comments
New Font Release: Bhs fsd.it
1baruchel9modiscuss
The Little Theorems blog.computationalcomplexity.org
1baruchel9modiscuss
Set theory with types lawrencecpaulson.github.io
125baruchel9mo19 comments
A New Bridge Links the Math of Infinity to Computer Science quantamagazine.org
7baruchel9modiscuss
To Have Machines Make Math Proofs, Turn Them into a Puzzle quantamagazine.org
2baruchel10modiscuss
Steven Heller's Font of the Month: Archive Matrix ilovetypography.com
59baruchel10mo5 comments
Why don't you use dependent types?lawrencecpaulson.github.io
269baruchel10mo116 comments
What Is the Funniest Number?futilitycloset.com
2baruchel11mo1 comment
Terence Tao on non-monotonicity in research mathstodon.xyz
2baruchel11modiscuss

All submissions and comments on Hacker News.