HN Explorer

hnipps

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