Absolutely unreal: I found a fifth bug in libcrux, this time in its PSQ implementation that would allow a denial of service via a malcrafted AES-GCM ciphertext.
I couldn't submit my PR: Cryspen blocked me after I submitted my first four PRs, which included a fix for a critical nonce reuse bug.
February 8, 2026 at 11:15 AM
Absolutely unreal: I found a fifth bug in libcrux, this time in its PSQ implementation that would allow a denial of service via a malcrafted AES-GCM ciphertext.
I couldn't submit my PR: Cryspen blocked me after I submitted my first four PRs, which included a fix for a critical nonce reuse bug.
If Trump weren’t at the helm, I’d be tempted to think the entire Greenland affair was a superbly choreographed show aimed at breaking up the EU as a coherent political entity, with no real military threat. But it’s Trump, so there’s no 4D chess here.
January 20, 2026 at 3:31 PM
If Trump weren’t at the helm, I’d be tempted to think the entire Greenland affair was a superbly choreographed show aimed at breaking up the EU as a coherent political entity, with no real military threat. But it’s Trump, so there’s no 4D chess here.