Stories by baruchel

Mathematicians find largest prime number to date

Any chess position with 8 pieces on board and one pair of pawns has been solved

The Year in Mathematics

Ramanujan's 100-year-old pi formula is still revealing the Universe

The Year in Computer Science

Apples

50 years of proof assistants

50 Years of Proof Assistants

New Font Release: Bhs

The Little Theorems

Set theory with types

A New Bridge Links the Math of Infinity to Computer Science

To Have Machines Make Math Proofs, Turn Them into a Puzzle

Steven Heller's Font of the Month: Archive Matrix

Why don't you use dependent types?

What Is the Funniest Number?

Terence Tao on non-monotonicity in research

Mathematicians discover prime number pattern in fractal chaos

Terence Tao on Crowdsourced Effort

Clyde Kruskal talks about his Father Martin on Martin's 100th birthday

1
2
3