Taylor Hornby

@defusesec.bsky.social

PLURR ❤️. Helping secure the Zcash ecosystem, learning music production at https://soundcloud.com/earthrise5, writing and other stuff at https://defuse.ca/, https://bqp.io/

MASSIVE rewrite of my Verification Theatre paper now on ePrint with added: - Three new bugs that are *inside* libcrux's verified core, - Comparison to Amazon's verified LibCrypto components, - Many additional sections, discussion and details! Huge rewrite! Go read it! eprint.iacr.org/2026/192

Verification Theatre: False Assurance in Formally Verified Cryptographic Libraries

Every formally verified system embeds a verification boundary: the interface between code with machine-checked proofs and code that is trusted without them. We study what happens when this boundary is...

eprint.iacr.org

The showed us cute missing dogs & we consented to turning our doorbell cameras into a mass human tracking system. Mark my words, Ring's Search Party will become the next Flock. Only instead of just being sketchy cameras installed in parking lots, it will be everywhere. That's their play.

Guys if you see observers thank them. There’s real stress and burnout in the ranks right now. People understand they are waking up every day to chase and monitor federal thugs who can execute them. But they keep doing it nonstop to protect their neighbors

yeah. let’s serialize pointer offsets, send them over the network to other people, then fix them up when they get back. what’s the worst that could happen. live a little

We recently discovered an unauthorized, modified version of one of our audit reports shared online via a deceptive URL. While we quickly resolved the issue, it served as a reminder of the importance of authenticity and provenance in security reporting. leastauthority.com/blog/lessons...

Lessons Learned from a Typosquatted Audit Report - Least Authority

We identified and addressed a typosquatting issue promptly, but the incident reinforced why authenticity and provenance matter deeply in security reporting.

leastauthority.com

I think it’s pretty clear at this point that one of the main impacts of LLMs is to disrupt thinking: to make it so that far too many people never properly learn how to do it, and then to control the output so there are thoughts that people never learn how to think.

Alberta: Please speak up against Bill 9 and the Notwithstanding Clause while the legislation is being debated in the Legislature. Here's two initiatives that send messages to elected officials & will keep you informed of next steps: transactionalberta.ca savethecharter.ca #ableg #abpoli #CanPoli

URGENT: Stop Alberta's Government From Overriding Charter Rights of Trans Youth

Healthcare is a right, protected by evidence, compassion, and core Canadian values.

transactionalberta.ca