Stories by baruchel

Is mathematics mostly chaos or mostly order?

André Seznec Receives the 2025 ACM-IEEE CS Eckert-Mauchly Award

There's no cheating this random number generator

IBM to build first large-scale, error-corrected quantum computer by 2028

New Quantum Algorithm Factors Numbers with One Qubit

The new Gödel Prize winner tastes great and is less filling

Platform for Formalizing Sequences from Online Encyclopedia of Integer Sequences

Quantum Universe

The Core of Fermat's Last Theorem Just Got Superpowered

Why You Should Care About Functional Programming

Dimension 126 Contains Twisted Shapes, Mathematicians Prove

Rocq 9.0.0

Boris Spassky (1937-2025) Chess World Champion and Legendary Grandmaster

Lambda Calculus and Lisp, part 2 (recursion excursion)

Lambda Calculus and Lisp, part 1

When is it worth the time and effort to verify a proof FORMALLY?

Thinking Big

Code41 Watches

MD Nichrome: On Spacing and Sci-Fi

Multizork

1 2 3 4