Of course I can fix your computer, Dad! I'm a computer scientist, I know computers. A computer can be formally defined as a 7-tuple M=⟨Q, Γ, b, Σ,δ,q₀,F⟩, where... Dad?

parents PLEASE check your kids candy this Halloween just found another L2 in my child’s Snickers Bar

With hindsight, it is interesting to see what news articles got right and wrong about Polymarket. By far, the most breath-taking wrong article has to be this one from TIME magazine: "Don’t Trust the Political Prediction Markets." time.com/7095708/financ…

Haseeb ＞|＜ ai16zdao If a founder reaches out to ai16z by accident instead of a16z for a cheque, I think the filter is net positive for a16z.

Let’s not forget the classic…. Reviewer 1: “the paper is well-written” Reviewer 2: “one can barely understand the content of the paper. A complete rewrite is recommended”

I think it’s safe to say that Financial Cryptography is going well! Got the inspiration I needed for the paper presentation tomorrow! 💥

How to Read a Paper

Either: 1) ECDSA PK is exposed 2) PK is hashed onchain Quantum computers (theoretically) knock out 1). 2) are 160-bit hashes. Compute needed to find 2nd preimages (in PQ) is 2^80. However, we should consider multi-targets, so it’s actually closer to 2^70 and trouble starts…

Great work by Craig Gidney: reduction of his widely quoted estimate for factoring RSA-2048 from 20 million noisy qubits to 1 million. This kind of advances are in line with predictions from experts that factoring RSA-2048 could be feasible by 2040. arxiv.org/abs/2505.15917