baruchel

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

Posts

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