HN Explorer

baruchel

↗ HN profile [ 73.7 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Create Your Own Variants • PyChess (pychess.org)
    1 points 0
  2. The million-dollar math problem hardly anyone is trying to solve (scientificamerican.com)
    2 points 2
  3. What Do Gödel's Incompleteness Theorems Mean? (quantamagazine.org)
    163 points 21
  4. The mathematician who doesn't exist (newscientist.com)
    3 points 0
  5. From Probable to Provable: What Automated Reasoning Means for the Board (mariothomas.com)
    1 points 0
  6. Mikan: a proof assistant for cubical type theory (forked from Agda) (mathstodon.xyz)
    2 points 0
  7. Why Not Use Lean? (lawrencecpaulson.github.io)
    6 points 0
  8. Rocq 9.2.0 Released (rocq-prover.org)
    2 points 1
  9. Eniac, the First General-Purpose Digital Computer, Turns 80 (spectrum.ieee.org)
    127 points 26
  10. Can the Most Abstract Math Make the World a Better Place? (quantamagazine.org)
    5 points 0
  11. How many steps in a "chain of victories" separate you from your favorite player? (mastodon.online)
    2 points 0
  12. Assigning Open Problems in Class (blog.computationalcomplexity.org)
    18 points 4
  13. Mathematicians find largest prime number to date (fediscience.org)
    1 points 1
  14. Any chess position with 8 pieces on board and one pair of pawns has been solved (mastodon.online)
    18 points 2
  15. The Year in Mathematics (quantamagazine.org)
    3 points 0
  16. Ramanujan's 100-year-old pi formula is still revealing the Universe (sciencedaily.com)
    3 points 0
  17. The Year in Computer Science (quantamagazine.org)
    3 points 0
  18. Apples (xkcd.com)
    2 points 0
  19. 50 years of proof assistants (lawrencecpaulson.github.io)
    144 points 11
  20. New Font Release: Bhs (fsd.it)
    1 points 0
  21. The Little Theorems (blog.computationalcomplexity.org)
    1 points 0
  22. Set theory with types (lawrencecpaulson.github.io)
    125 points 8
  23. A New Bridge Links the Math of Infinity to Computer Science (quantamagazine.org)
    7 points 0
  24. To Have Machines Make Math Proofs, Turn Them into a Puzzle (quantamagazine.org)
    2 points 0
  25. Steven Heller's Font of the Month: Archive Matrix (ilovetypography.com)
    59 points 3