A leap-second bug in Everest's OCPP 1.6 charging schedulescrosscheck.harrynicholls.com·3 pts·hnipps·0
I formally verified AI-generated code. All 4 bugs were in the integration layerbrainflow.substack.com·1 pts·hnipps·1