Hacker News headlines

76

Why don't you use dependent types? (lawrencecpaulson.github.io)

5 days ago | baruchel | github.io | best

3

What Is the Funniest Number? (futilitycloset.com)

a month ago | baruchel | futilitycloset.com | newest

2

Terence Tao on non-monotonicity in research (mathstodon.xyz)

a month ago | baruchel | mathstodon.xyz | newest

26

Mathematicians discover prime number pattern in fractal chaos (scientificamerican.com)

a month ago | baruchel | scientificamerican.com | best

2

Terence Tao on Crowdsourced Effort (mathstodon.xyz)

a month ago | baruchel | mathstodon.xyz | newest

1

Clyde Kruskal talks about his Father Martin on Martin's 100th birthday (computationalcomplexity.org)

a month ago | baruchel | computationalcomplexity.org | newest

3

New Math Revives Geometry's Oldest Problems (quantamagazine.org)

a month ago | baruchel | quantamagazine.org | newest

57

A simple way to measure knots has come unraveled (quantamagazine.org)

a month ago | baruchel | quantamagazine.org | best

3

The Quest to Find the Longest-Running Simple Computer Program (wired.com)

a month ago | baruchel | wired.com | newest

3

Self-Assembly Gets Automated in Reverse of 'Game of Life' (quantamagazine.org)

a month ago | baruchel | quantamagazine.org | newest

21

New knot theory discovery overturns long-held mathematical assumption (scientificamerican.com)

2 months ago | baruchel | scientificamerican.com | best

24

Lisp Still Matters (funcall.blogspot.com)

2 months ago | baruchel | blogspot.com | newest

4

What Happens When a Scientific Field Changes Its Mind – Scientific American (scientificamerican.com)

3 months ago | baruchel | scientificamerican.com | newest

4

'It's a Mess': A Brain-Bending Trip to Quantum Theory's 100th Birthday Party (quantamagazine.org)

3 months ago | baruchel | quantamagazine.org | newest

2

How Can Math Protect Our Data? (quantamagazine.org)

3 months ago | baruchel | quantamagazine.org | newest

55

Breaking the sorting barrier for directed single-source shortest paths (quantamagazine.org)

3 months ago | baruchel | quantamagazine.org | best

3

Some thoughts on journals, refereeing, and the P vs. NP problem (computationalcomplexity.org)

3 months ago | baruchel | computationalcomplexity.org | newest

119

At 17, Hannah Cairo solved a major math mystery (quantamagazine.org)

3 months ago | baruchel | quantamagazine.org | best

3

Tetris Presents Math Problems Even Computers Can't Solve – Scientific American (scientificamerican.com)

4 months ago | baruchel | scientificamerican.com | newest

1

A 'Grand Unified Theory' of Math Just Got a Little Bit Closer (wired.com)

4 months ago | baruchel | wired.com | newest

1

Why Did the Universe Begin? (quantamagazine.org)

4 months ago | baruchel | quantamagazine.org | newest

2

Landmark Langlands Proof Advances Grand Unified Theory of Math (scientificamerican.com)

4 months ago | baruchel | scientificamerican.com | newest

3

A New Geometry for Einstein's Theory of Relativity (quantamagazine.org)

4 months ago | baruchel | quantamagazine.org | frontpage

2

Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup (weizmann.ac.il)

4 months ago | baruchel | weizmann.ac.il | newest

1

For Algorithms, Memory Is a Far More Powerful Resource Than Time (wired.com)

4 months ago | baruchel | wired.com | newest

2

The Magic Theorem (aperiodical.com)

4 months ago | baruchel | aperiodical.com | newest

1

Computer Scientists Figure Out How to Prove Lies (quantamagazine.org)

4 months ago | baruchel | quantamagazine.org | newest

6

Science Makes the U.S. a Great Nation (scientificamerican.com)

4 months ago | baruchel | scientificamerican.com | frontpage

1

Scientists just simulated the "impossible" – fault-tolerant quantum code cracked (sciencedaily.com)

4 months ago | baruchel | sciencedaily.com | newest

1

Tom Gauld on an alternative use for unsolved mathematical problems (newscientist.com)

4 months ago | baruchel | newscientist.com | newest

2

Quantum computers just beat classical ones – Exponentially and unconditionally (sciencedaily.com)

5 months ago | baruchel | sciencedaily.com | newest

29

New proof dramatically compresses space needed for computation (scientificamerican.com)

5 months ago | baruchel | scientificamerican.com | best

1

How Does Graph Theory Shape Our World? (quantamagazine.org)

5 months ago | baruchel | quantamagazine.org | frontpage

2

The Distribution of Prime Numbers: A Geometrical Perspective (computationalcomplexity.org)

5 months ago | baruchel | computationalcomplexity.org | newest

1

Quantum dice: Scientists harness true randomness from entangled photons (sciencedaily.com)

5 months ago | baruchel | sciencedaily.com | newest

18

Is mathematics mostly chaos or mostly order? (quantamagazine.org)

5 months ago | baruchel | quantamagazine.org | best

1

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

5 months ago | baruchel | acm.org | newest

3

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

5 months ago | baruchel | sciencenews.org | newest

7

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

5 months ago | baruchel | technologyreview.com | frontpage

1

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

5 months ago | baruchel | quantamagazine.org | newest

42

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

5 months ago | baruchel | computationalcomplexity.org | best

1

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

5 months ago | baruchel | github.io | newest

1

Quantum Universe (scientificamerican.com)

5 months ago | baruchel | scientificamerican.com | newest

2

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

5 months ago | baruchel | quantamagazine.org | newest

2

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

6 months ago | baruchel | substack.com | newest

47

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

6 months ago | baruchel | quantamagazine.org | best

2

Rocq 9.0.0 (rocq-prover.org)

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

3

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

9 months ago | baruchel | europechess.org | newest

4

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

9 months ago | baruchel | babbagefiles.xyz | newest

30

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

9 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