nill0's submissions

1 pts| 2 days ago | discuss

2 pts| 2 days ago | discuss

How Is a Fish Like a Number? (derangedmathematician.substack.com)

1 pts| 2 days ago | discuss

3 pts| 5 days ago | discuss

29 pts| 6 days ago | 6 comments

Sphere Packing in Lean (github.com)

1 pts| 22 days ago | discuss

2 pts| 22 days ago | discuss

2 pts| 22 days ago | discuss

62 pts| 23 days ago | 10 comments

We Made the Isospectral Drums and It Went Fine (prismika.github.io)

3 pts| 23 days ago | discuss

26 pts| 25 days ago | discuss

Mathematics Subject Classification [pdf] (zbmath.org)

1 pts| 1 month ago | discuss

Can Biology Be Reduced to Physics? [video] (youtube.com)

2 pts| 1 month ago | discuss

53 pts| 1 month ago | 10 comments

Structured Inventions [pdf] (uspas.fnal.gov)

1 pts| 1 month ago | discuss

Mechanical Computing [pdf] (raney.seas.upenn.edu)

2 pts| 1 month ago | discuss

1 pts| 1 month ago | discuss

Trigonometric series and set theory [pdf] (pma.caltech.edu)

1 pts| 1 month ago | discuss

Period three implies Chaos (1975) [pdf] (its.caltech.edu)

1 pts| 1 month ago | discuss

Rediscovering Galois Theory (groshanlal.github.io)

3 pts| 2 months ago | discuss