Stories by baruchel

Eniac, the First General-Purpose Digital Computer, Turns 80

Can the Most Abstract Math Make the World a Better Place?

How many steps in a "chain of victories" separate you from your favorite player?

Assigning Open Problems in Class

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?

1 2 3