baruchel
- Karma
- 1,238
- Created
- 11 years ago
About
Teacher in Computer Science at University of Pau and the Adour Region (France)Recent Submissions
- 1. ▲ The Year in Mathematics (quantamagazine.org)
- 2. ▲ Ramanujan's 100-year-old pi formula is still revealing the Universe (sciencedaily.com)
- 3. ▲ The Year in Computer Science (quantamagazine.org)
- 4. ▲ Apples (xkcd.com)
- 5. ▲ 50 years of proof assistants (lawrencecpaulson.github.io)
- 6. ▲ New Font Release: Bhs (fsd.it)
- 7. ▲ The Little Theorems (blog.computationalcomplexity.org)
- 8. ▲ Set theory with types (lawrencecpaulson.github.io)
- 9. ▲ A New Bridge Links the Math of Infinity to Computer Science (quantamagazine.org)
- 10. ▲ To Have Machines Make Math Proofs, Turn Them into a Puzzle (quantamagazine.org)