HN Explorer

practal

↗ HN profile [ 110 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. The End of Mathematics (daniellitt.com)
    33 points 7
  2. We're excited to announce that AXLE is switching from Lean to Rocq (axle.axiommath.ai)
    3 points 1
  3. AI for Math Winners (renaissancephilanthropy.org)
    1 points 0
  4. Persistent sequences with insert and delete and canonical structure? (cs.stackexchange.com)
    1 points 1
  5. Three challenges in machine-based reasoning (amazon.science)
    1 points 0
  6. Mathematics in the 20th century, by Michael Atiyah [pdf] (2002) (marktomforde.com)
    122 points 18
  7. 1 points 0
  8. 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
  9. 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