The gpg.fail aftermath: On responsible disclosure, GPG, and the state of security in 2026 [32:37]
slides In 2025, I [the speaker] found and disclosed a bunch of vulnerabilities in GPG, the most used PGP…
Read at source →Source
Lobsters
Computing-focused link community
Technology · 1782 articles · page 26 of 50 · fetched 25 minutes ago
Is truth futureproof? On the possible futures of mechanized proofs
Interactive theorem provers play increasingly important roles in the programming languages and mathematics communities,…
Read at source →
AdSponsoredSiguimi
Pure chronological social — no algorithm
See who you follow, newest first. Free to join. Posts that stay visible — not buried by an algo.
Join siguimi.com →
Everything is a Trust Decision
A machine checked proof of the exhaustive boundaries of trust. I'll let the text carry the rest. Comments
Read at source →
Fastly Speedtest Test
The result should fairly accurately reflect cache fetch speed you’re going to get with the official Nix binary cache ;)…
Read at source →
