Hacker News headlines

1

Is Mathematics Mostly Chaos or Mostly Order? (quantamagazine.org)

2 days ago | baruchel | quantamagazine.org | frontpage

1

André Seznec Receives the 2025 ACM-IEEE CS Eckert-Mauchly Award (acm.org)

5 days ago | baruchel | acm.org | newest

3

There's no cheating this random number generator (sciencenews.org)

a week ago | baruchel | sciencenews.org | newest

7

IBM to build first large-scale, error-corrected quantum computer by 2028 (technologyreview.com)

a week ago | baruchel | technologyreview.com | frontpage

1

New Quantum Algorithm Factors Numbers with One Qubit (quantamagazine.org)

a week ago | baruchel | quantamagazine.org | newest

42

The new Gödel Prize winner tastes great and is less filling (computationalcomplexity.org)

a week ago | baruchel | computationalcomplexity.org | best

1

Platform for Formalizing Sequences from Online Encyclopedia of Integer Sequences (provables.github.io)

a week ago | baruchel | github.io | newest

1

Quantum Universe (scientificamerican.com)

2 weeks ago | baruchel | scientificamerican.com | newest

2

The Core of Fermat's Last Theorem Just Got Superpowered (quantamagazine.org)

2 weeks ago | baruchel | quantamagazine.org | newest

2

Why You Should Care About Functional Programming (borkar.substack.com)

3 weeks ago | baruchel | substack.com | newest

47

Dimension 126 Contains Twisted Shapes, Mathematicians Prove (quantamagazine.org)

a month ago | baruchel | quantamagazine.org | best

2

Rocq 9.0.0 (rocq-prover.org)

3 months ago | baruchel | rocq-prover.org | newest

3

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

4 months ago | baruchel | europechess.org | newest

4

Lambda Calculus and Lisp, part 2 (recursion excursion) (babbagefiles.xyz)

4 months ago | baruchel | babbagefiles.xyz | newest

30

Lambda Calculus and Lisp, part 1 (babbagefiles.xyz)

4 months ago | baruchel | babbagefiles.xyz | frontpage

1

When is it worth the time and effort to verify a proof FORMALLY? (computationalcomplexity.org)

a year ago | baruchel | computationalcomplexity.org | newest

1

Thinking Big (futilitycloset.com)

a year ago | baruchel | futilitycloset.com | newest