Pratyush Mishra
Pratyush Mishra
@zkproofs.bsky.social
Current: Asst Professor at Penn CIS

Past:
Cryptographer at Aleo
Crypto and computer security PhD, UC Berkeley

he/him
Also comparing Mamdani to communists is laughable. The guy is barely left of FDR
November 7, 2025 at 1:08 AM
capitalism ≠ decentralized economic control. There is a rich history and theory of market socialism and anarchism that explores an anti-capitalist perspective on decentralized market design.
November 7, 2025 at 1:05 AM
lol what. no.

Leftism, even though not by itself a particularly coherent term, definitely stands in opposition to liberal capitalist politics. Like, just talk to an average leftist
November 5, 2025 at 1:32 PM
This is casting an immutable reference to a mutable one. This breaks all of rust‘s safety guarantees. rustc will make optimizations on the assumption that such casts don’t happen
November 2, 2025 at 9:02 PM
Usually when DJB endorses something these days, it’s a sign to *not* use that. (Speaking as a cryptographer)
November 2, 2025 at 2:26 PM
Dependency version unification (which was a thing last I tried Haskell) makes deep dep trees a PITA, whereas cargo just duplicates dependencies
October 17, 2025 at 12:14 PM
They have been rapidly diversifying their investments for this reason
October 16, 2025 at 3:54 AM
Ordered!
October 3, 2025 at 5:24 PM