Recent Posts

• Quantum dice: Scientists harness true randomness from entangled photons
  by baruchelon 6/23/2025, 3:41:59 PM with 0 comments
• Is mathematics mostly chaos or mostly order?
  by baruchelon 6/20/2025, 3:21:26 PM with 15 comments
• André Seznec Receives the 2025 ACM-IEEE CS Eckert-Mauchly Award
  by baruchelon 6/17/2025, 6:40:46 PM with 0 comments
• There's no cheating this random number generator
  by baruchelon 6/11/2025, 8:17:37 PM with 0 comments
• IBM to build first large-scale, error-corrected quantum computer by 2028
  by baruchelon 6/10/2025, 10:47:41 AM with 2 comments
• New Quantum Algorithm Factors Numbers with One Qubit
  by baruchelon 6/9/2025, 2:52:45 PM with 0 comments
• The new Gödel Prize winner tastes great and is less filling
  by baruchelon 6/9/2025, 2:42:33 PM with 7 comments
• Platform for Formalizing Sequences from Online Encyclopedia of Integer Sequences
  by baruchelon 6/9/2025, 11:45:48 AM with 0 comments
• Quantum Universe
  by baruchelon 6/3/2025, 3:03:29 PM with 0 comments
• The Core of Fermat's Last Theorem Just Got Superpowered
  by baruchelon 6/2/2025, 2:56:51 PM with 0 comments
• Why You Should Care About Functional Programming
  by baruchelon 5/30/2025, 2:16:14 PM with 0 comments
• Dimension 126 Contains Twisted Shapes, Mathematicians Prove
  by baruchelon 5/5/2025, 3:34:56 PM with 14 comments
• Rocq 9.0.0
  by baruchelon 3/12/2025, 6:51:54 PM with 1 comment
• Boris Spassky (1937-2025) Chess World Champion and Legendary Grandmaster
  by baruchelon 2/27/2025, 8:00:01 PM with 0 comments
• Lambda Calculus and Lisp, part 2 (recursion excursion)
  by baruchelon 2/23/2025, 9:30:16 AM with 0 comments
• Lambda Calculus and Lisp, part 1
  by baruchelon 2/23/2025, 9:29:50 AM with 5 comments
• When is it worth the time and effort to verify a proof FORMALLY?
  by baruchelon 2/25/2024, 8:46:28 PM with 0 comments
• Thinking Big
  by baruchelon 1/23/2024, 6:56:17 PM with 0 comments