HN Explorer

practal

↗ HN profile [ 62.6 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. How to Formalize All of Mathematics (xenaproject.wordpress.com)
    1 points 81
  2. The End of Mathematics (daniellitt.com)
    33 points 7
  3. We're excited to announce that AXLE is switching from Lean to Rocq (axle.axiommath.ai)
    3 points 1
  4. AI for Math Winners (renaissancephilanthropy.org)
    1 points 0
  5. Persistent sequences with insert and delete and canonical structure? (cs.stackexchange.com)
    1 points 1
  6. Three challenges in machine-based reasoning (amazon.science)
    1 points 0
  7. Mathematics in the 20th century, by Michael Atiyah [pdf] (2002) (marktomforde.com)
    122 points 18
  8. 1 points 0
  9. Show HN: Deep Dive into Abstraction Logic [video] (youtube.com)

    Used NotebookLM for the first time, on the current draft of my book about Abstraction Logic, to generate a podcast automatically without further guidance, PDF in, audio file out. Love the result, the hosts are even more…

    1 points 0
  10. Show HN: Recursive teXt (recursivetext.com)

    Recursive teXt (RX) is a new and simple general-purpose text format. Let me know your thoughts!

    2 points 0