hnipps

Karma: 2
Created: 3 years ago

Recent Submissions

1. ▲ A leap-second bug in Everest's OCPP 1.6 charging schedules (crosscheck.harrynicholls.com) 3 points · 7 days ago · 0 comments
2. ▲ Formally Verifying the Easy Part (brainflow.substack.com) 3 points · 7 months ago · 5 comments
3. ▲ I formally verified AI-generated code. All 4 bugs were in the integration layer (brainflow.substack.com) 1 point · 7 months ago · 1 comment

All submissions on HN · View profile on HN