b baruchel Joined 12 years ago Karma 1,545 Submissions 222 Member since Apr 1 Teacher in Computer Science at University of Pau and the Adour Region (France) View on Hacker News
Why I didn’t sign the Fields medallists’ letter t terrytao.wordpress.com 45 baruchel 1 month ago 7 comments
How I came to write that paper with Leslie Lamport l lawrencecpaulson.github.io 58 baruchel 2 months ago 11 comments
The million-dollar math problem hardly anyone is trying to solve s scientificamerican.com 2 baruchel 5 months ago 2 comments
What Do Gödel's Incompleteness Theorems Mean? q quantamagazine.org 163 baruchel 5 months ago 65 comments
From Probable to Provable: What Automated Reasoning Means for the Board m mariothomas.com 1 baruchel 5 months ago 0 comments
Mikan: a proof assistant for cubical type theory (forked from Agda) m mathstodon.xyz 2 baruchel 6 months ago 0 comments