Stories by baruchel

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

New Math Revives Geometry's Oldest Problems

A simple way to measure knots has come unraveled

The Quest to Find the Longest-Running Simple Computer Program

Self-Assembly Gets Automated in Reverse of 'Game of Life'

New knot theory discovery overturns long-held mathematical assumption

1
2
3