baruchel

Joined 4/1/2014, 9:43:08 AM has 510 karma

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

Posts

Quantum computers just beat classical ones – Exponentially and unconditionally
by baruchel on 6/30/2025, 3:20:48 PM with 0 comments
New proof dramatically compresses space needed for computation
by baruchel on 6/27/2025, 1:59:28 PM with 62 comments
How Does Graph Theory Shape Our World?
by baruchel on 6/26/2025, 1:58:42 PM with 0 comments
The Distribution of Prime Numbers: A Geometrical Perspective
by baruchel on 6/26/2025, 1:35:13 PM with 0 comments
Quantum dice: Scientists harness true randomness from entangled photons
by baruchel on 6/23/2025, 3:41:59 PM with 0 comments
Is mathematics mostly chaos or mostly order?
by baruchel on 6/20/2025, 3:21:26 PM with 88 comments
André Seznec Receives the 2025 ACM-IEEE CS Eckert-Mauchly Award
by baruchel on 6/17/2025, 6:40:46 PM with 0 comments
There's no cheating this random number generator
by baruchel on 6/11/2025, 8:17:37 PM with 0 comments
IBM to build first large-scale, error-corrected quantum computer by 2028
by baruchel on 6/10/2025, 10:47:41 AM with 3 comments
New Quantum Algorithm Factors Numbers with One Qubit
by baruchel on 6/9/2025, 2:52:45 PM with 0 comments
The new Gödel Prize winner tastes great and is less filling
by baruchel on 6/9/2025, 2:42:33 PM with 47 comments
Platform for Formalizing Sequences from Online Encyclopedia of Integer Sequences
by baruchel on 6/9/2025, 11:45:48 AM with 0 comments
Quantum Universe
by baruchel on 6/3/2025, 3:03:29 PM with 0 comments
The Core of Fermat's Last Theorem Just Got Superpowered
by baruchel on 6/2/2025, 2:56:51 PM with 0 comments
Why You Should Care About Functional Programming
by baruchel on 5/30/2025, 2:16:14 PM with 0 comments
Dimension 126 Contains Twisted Shapes, Mathematicians Prove
by baruchel on 5/5/2025, 3:34:56 PM with 84 comments
Rocq 9.0.0
by baruchel on 3/12/2025, 6:51:54 PM with 0 comments
Boris Spassky (1937-2025) Chess World Champion and Legendary Grandmaster
by baruchel on 2/27/2025, 8:00:01 PM with 0 comments
Lambda Calculus and Lisp, part 2 (recursion excursion)
by baruchel on 2/23/2025, 9:30:16 AM with 0 comments
Lambda Calculus and Lisp, part 1
by baruchel on 2/23/2025, 9:29:50 AM with 17 comments