BedrockNews

BedrockNews

Ctrl + K
Log In
Community
Someone Ported Go's Extended GCD from BoringSSL, Broke Two Invariants, and Nobody Noticed Until a Formal Verifier Did | BedrockNews