from Hacker News

baruchel

joined 4/1/14, 9:43 AM has 460 karma

• Quantum dice: Scientists harness true randomness from entangled photons

  by baruchel on 6/23/25, 3:41 PM, with 0 comments

• Is mathematics mostly chaos or mostly order?

  by baruchel on 6/20/25, 3:21 PM, with 83 comments

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

  by baruchel on 6/17/25, 6:40 PM, with 0 comments

• There's no cheating this random number generator

  by baruchel on 6/11/25, 8:17 PM, with 0 comments

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

  by baruchel on 6/10/25, 10:47 AM, with 3 comments

• New Quantum Algorithm Factors Numbers with One Qubit

  by baruchel on 6/9/25, 2:52 PM, with 0 comments

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

  by baruchel on 6/9/25, 2:42 PM, with 47 comments

• Platform for Formalizing Sequences from Online Encyclopedia of Integer Sequences

  by baruchel on 6/9/25, 11:45 AM, with 0 comments

• Quantum Universe

  by baruchel on 6/3/25, 3:03 PM, with 0 comments

• The Core of Fermat's Last Theorem Just Got Superpowered

  by baruchel on 6/2/25, 2:56 PM, with 0 comments

• Why You Should Care About Functional Programming

  by baruchel on 5/30/25, 2:16 PM, with 0 comments

• Dimension 126 Contains Twisted Shapes, Mathematicians Prove

  by baruchel on 5/5/25, 3:34 PM, with 84 comments

• Rocq 9.0.0

  by baruchel on 3/12/25, 6:51 PM, with 0 comments

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

  by baruchel on 2/27/25, 8:00 PM, with 0 comments

• Lambda Calculus and Lisp, part 2 (recursion excursion)

  by baruchel on 2/23/25, 9:30 AM, with 0 comments

• Lambda Calculus and Lisp, part 1

  by baruchel on 2/23/25, 9:29 AM, with 17 comments

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

  by baruchel on 2/25/24, 8:46 PM, with 0 comments

• Thinking Big

  by baruchel on 1/23/24, 6:56 PM, with 0 comments