HN Explorer

hnipps

↗ HN profile [ 70.7 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Formally Verifying the Easy Part (brainflow.substack.com)
    3 points 5
  2. I formally verified AI-generated code. All 4 bugs were in the integration layer (brainflow.substack.com)
    1 points 1