Theorem co-founder @diagram_chaser reveals the one-line change that took verifying…
This is a dev post classified by Jev as Security (a tutorial), kept by the Dev Radar because it carries real work, not commentary.
Theorem co-founder @diagram_chaser reveals the one-line change that took verifying real-world HTTPS code from 4,000 millennia to seconds: "The project that I worked on in my PhD was verifying the code that runs HTTPS in browsers like Chrome and Firefox." "You plot this beautiful graph that is an exponential in the number of bits in the prime, where you're like, it takes a couple seconds on my tiny toy examples, and on real-world examples, it would take over 4,000 millennia." "The thing that it's actually checking is that you wrote the same thing in two different ways. This should be very fa
Posted by MTS (516k followers) 8 h ago · 17 likes · 5.8k views · view the original post on X. Kept by the Dev Radar as Security.
More dev work like this
- 🚨SlowMist TI Alert🚨 — @SlowMist_Team
- Yep — @thorstenball
- 🚨SlowMist TI Alert: TraderTraitor Resurfaces via Weaponized Terraform Projects🚨 — @SlowMist_Team
- AI Agent 会写代码、会搜资料，但遇到真实安全事件，很多时候还是不知道该从哪里下手。 — @bkdgiffug
- Here's an API security question I wish every developer would ask: — @shehackspurple
- 80–90% of modern applications rely on open-source code you didn't write - making… — @jfrog
- One of my favorite lessons from #Plugin4Shell has almost nothing to do with AI. — @shehackspurple
- Every #developer now manages a team of agents. — @jfrog
Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 20.7k posts from 4.9k X accounts over the last 21 days, 2.4k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-22 08:21 UTC. Full method.