user: baruchel

1251 karma | created 12 years ago

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

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

(no title)

1 month ago|discuss

(no title)

2 months ago|discuss

(no title)

2 months ago|discuss

The Year in Mathematics (quantamagazine.org)

3 pts|2 months ago|discuss

3 pts|2 months ago|discuss

The Year in Computer Science (quantamagazine.org)

3 pts|2 months ago|discuss

Apples (xkcd.com)

2 pts|2 months ago|discuss

50 years of proof assistants (lawrencecpaulson.github.io)

144 pts|2 months ago|30 comments

(no title)

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

(no title)

3 months ago|discuss

Set theory with types (lawrencecpaulson.github.io)

125 pts|3 months ago|19 comments

7 pts|3 months ago|discuss

(no title)

3 months ago|discuss

2 pts|3 months ago|discuss

Steven Heller's Font of the Month: Archive Matrix (ilovetypography.com)

59 pts|3 months ago|5 comments