baruchel
- Karma
- 1,233
- Created
- 11 years ago
About
Teacher in Computer Science at University of Pau and the Adour Region (France)Recent Submissions
- 1. ▲ The Year in Computer Science (quantamagazine.org)
- 2. ▲ Apples (xkcd.com)
- 3. ▲ 50 years of proof assistants (lawrencecpaulson.github.io)
- 4. ▲ New Font Release: Bhs (fsd.it)
- 5. ▲ The Little Theorems (blog.computationalcomplexity.org)
- 6. ▲ Set theory with types (lawrencecpaulson.github.io)
- 7. ▲ A New Bridge Links the Math of Infinity to Computer Science (quantamagazine.org)
- 8. ▲ To Have Machines Make Math Proofs, Turn Them into a Puzzle (quantamagazine.org)
- 9. ▲ Steven Heller's Font of the Month: Archive Matrix (ilovetypography.com)
- 10. ▲ Why don't you use dependent types? (lawrencecpaulson.github.io)