HN Explorer

baruchel

↗ HN profile [ 80.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Letter to a worried student (David Madore) (madore.org)
    1 points 0
  2. Ordinal definability–how did Gödel do it? (infinitelymore.xyz)
    1 points 0
  3. I didn't sign the Fields medallists' letter (terrytao.wordpress.com)
    2 points 9
  4. I came to write THAT paper with Leslie Lamport (lawrencecpaulson.github.io)
    1 points 11
  5. The computer that helped win World War II (spectrum.ieee.org)
    208 points 28
  6. Create Your Own Variants • PyChess (pychess.org)
    1 points 0
  7. The million-dollar math problem hardly anyone is trying to solve (scientificamerican.com)
    2 points 2
  8. What Do Gödel's Incompleteness Theorems Mean? (quantamagazine.org)
    163 points 21
  9. The mathematician who doesn't exist (newscientist.com)
    3 points 0
  10. From Probable to Provable: What Automated Reasoning Means for the Board (mariothomas.com)
    1 points 0
  11. Mikan: a proof assistant for cubical type theory (forked from Agda) (mathstodon.xyz)
    2 points 0
  12. Why Not Use Lean? (lawrencecpaulson.github.io)
    6 points 0
  13. Rocq 9.2.0 Released (rocq-prover.org)
    2 points 1
  14. Eniac, the First General-Purpose Digital Computer, Turns 80 (spectrum.ieee.org)
    127 points 26
  15. Can the Most Abstract Math Make the World a Better Place? (quantamagazine.org)
    5 points 0
  16. How many steps in a "chain of victories" separate you from your favorite player? (mastodon.online)
    2 points 0
  17. Assigning Open Problems in Class (blog.computationalcomplexity.org)
    18 points 4
  18. Mathematicians find largest prime number to date (fediscience.org)
    1 points 2
  19. Any chess position with 8 pieces on board and one pair of pawns has been solved (mastodon.online)
    18 points 2
  20. The Year in Mathematics (quantamagazine.org)
    3 points 0
  21. Ramanujan's 100-year-old pi formula is still revealing the Universe (sciencedaily.com)
    3 points 0
  22. The Year in Computer Science (quantamagazine.org)
    3 points 0
  23. Apples (xkcd.com)
    2 points 0
  24. 50 years of proof assistants (lawrencecpaulson.github.io)
    144 points 11
  25. New Font Release: Bhs (fsd.it)
    1 points 0