user: baruchel
1251 karma | created 12 years ago
recent submissions
Assigning Open Problems in Class
(blog.computationalcomplexity.org)
18 pts|14 days ago|5 comments
Mathematicians find largest prime number to date
(fediscience.org)
1 pts|19 days ago|2 comments
18 pts|22 days ago|2 comments
1 month ago|discuss
2 months ago|discuss
2 months ago|discuss
The Year in Mathematics
(quantamagazine.org)
3 pts|2 months ago|discuss
Ramanujan's 100-year-old pi formula is still revealing the Universe
(sciencedaily.com)
3 pts|2 months ago|discuss
The Year in Computer Science
(quantamagazine.org)
3 pts|2 months ago|discuss
50 years of proof assistants
(lawrencecpaulson.github.io)
144 pts|2 months ago|30 comments
2 months ago|discuss
New Font Release: Bhs
(fsd.it)
1 pts|2 months ago|discuss
The Little Theorems
(blog.computationalcomplexity.org)
1 pts|3 months ago|discuss
3 months ago|discuss
Set theory with types
(lawrencecpaulson.github.io)
125 pts|3 months ago|19 comments
A New Bridge Links the Math of Infinity to Computer Science
(quantamagazine.org)
7 pts|3 months ago|discuss
3 months ago|discuss
To Have Machines Make Math Proofs, Turn Them into a Puzzle
(quantamagazine.org)
2 pts|3 months ago|discuss
Steven Heller's Font of the Month: Archive Matrix
(ilovetypography.com)
59 pts|3 months ago|5 comments