HN Explorer

burglarhobbit

↗ HN profile [ 896 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. The Illusion of Discovery: AI-Generated Proofs of 'Open' Math Problems (bpatwa.substack.com)
    2 points 0
  2. The Panini-Backus Form in Syntax of Formal Languages (infinityfoundation.com)
    2 points 0