HN Explorer

practal

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