Pratyush Mishra's Avatar

Pratyush Mishra

@zkproofs.bsky.social

Current: Asst Professor at Penn CIS Past: Cryptographer at Aleo Crypto and computer security PhD, UC Berkeley he/him

656 Followers  |  490 Following  |  214 Posts  |  Joined: 15.04.2023  |  1.7837

Latest posts by zkproofs.bsky.social on Bluesky

There is no extant C compiler implemented in Rust that is anywhere near the sophistication of this compiler: there's nothing to directly "copy".

06.02.2026 03:06 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

If a human read a shit-ton of compiler books and somehow absorbed the code for every open-source compiler, and then produced a to-spec C compiler in just 2 weeks, I would be very impressed. I wouldn't diss them by saying "you just read every textbook out there"

06.02.2026 02:02 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

I will just continue to say, opsec does matter, now more than ever.

Please do not look to Johnny-come-lately "all the anarchists I don't like are feds, actually" adventurists for opsec advice.

Especially when they've spent the past 48 hours saying it's good and virtuous to snitch-record protesters

04.02.2026 20:58 β€” πŸ‘ 395    πŸ” 97    πŸ’¬ 9    πŸ“Œ 0

You . What I am saying is that liberals don't get to say "vote blue no matter who" and then turn around and also dictate what tactics protestors and activists use.

04.02.2026 19:16 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Do you mean in return position or argument position? I love it in argument position because I don't have to pollute my actual generic arguments with implementation details (and not all traits are object-safe).

04.02.2026 14:49 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Lmao, and normie libs, with all their billions in resources, helped prevent fascism exactly how?

04.02.2026 13:41 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

In Hindi (and presumably other Indian languages) Jira means cumin lol

04.02.2026 12:45 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

lol it would be real great if people complaining about anarchism took a moment to read up on even, say, the wiki page

04.02.2026 12:42 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

impl Rng(Core) too!

03.02.2026 23:07 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Upgrading editions can require changes, yes, but every Rust compiler understands and can compile code from old editions.

03.02.2026 23:03 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Yes, Rust has strong backwards compatibility guarantees

03.02.2026 21:17 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
A night at the museum A night at the Philadelphia Art Museum

New blog post about my visit to the Philly Art Museum.

photos.pratyush.zip/a-night-at-t...

#photography #streetphotography #philadelphia

02.02.2026 05:00 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Preview
A night at the museum A night at the Philadelphia Art Museum

New blog post about my visit to the Philly Art Museum.

photos.pratyush.zip/a-night-at-t...

#photography #streetphotography #philadelphia

02.02.2026 05:00 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Preview
Train(station)spotting Train(station)spotting in Philly.

breaking up the doomposting with some snaps from in and around Philly's Amtrak station.

photos.pratyush.zip/train-statio...

#philadelphia #photography #streetphotography

30.01.2026 06:17 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Hadn't realised that the third party review of Twitter's chat protocol had been published and wow github.com/trailofbits/...

28.01.2026 18:21 β€” πŸ‘ 118    πŸ” 35    πŸ’¬ 2    πŸ“Œ 6

People talk about who has citizenship and who does not as though these are absolute, ontological qualities that confer moral worth, as opposed to legal fictions invented by the state to distinguish between an in-group and an out-group, and can be conferred or withdrawn at any time.

28.01.2026 17:59 β€” πŸ‘ 84    πŸ” 24    πŸ’¬ 4    πŸ“Œ 2

I added bluesky comments to my photoblog, so any replies appear as comments there! Pretty seemless with this blog post: elmc.at/bluesky-comm...

27.01.2026 03:01 β€” πŸ‘ 0    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0

Some snaps from Philly's 9 inches of snow:
snapsoflife.bearblog.dev/the-snow-pil...

26.01.2026 03:27 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 1

Escalation has already started. Every successful activist movement requires a diversity of tactics.

25.01.2026 21:17 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

It is perhaps understandable for Indians in India to think like this; usually it stems from a misbegotten nationalism.

But people of Indian-descent who grew up outside India also hold such beliefs, no doubt in large part due to phenomena like those you outlined

25.01.2026 07:07 β€” πŸ‘ 4    πŸ” 1    πŸ’¬ 2    πŸ“Œ 0

Unfortunately some times this ahistorical revisionism is adopted even by the post-colonial subject.

Eg there is a not insignificant number of Indians who think that India pre-colonisation was a paradise for women.

25.01.2026 07:05 β€” πŸ‘ 5    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0

Also, there was plenty of popular support for, eg, the Black Panthers.

25.01.2026 06:44 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

There is no popular support for the β€œgovernment pointing guns”. See, eg BLM , now, etc.

When you completely give up your rights to self defense to the state, you make yourself vulnerable to the state.

25.01.2026 06:43 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

that is an extremely reductive view of the Indian independence movement. Indians had plenty of avenues of anti-British protest, including violent ones. In the end the tipping factor was probably just the UK coming under *Western* pressure to give up colonies.

25.01.2026 00:07 β€” πŸ‘ 9    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Your reminder that cops in LA maje $20 to $30k more than starting tenure track faculty in the CSU system. In case you’re curious about priorities.

24.01.2026 23:39 β€” πŸ‘ 158    πŸ” 36    πŸ’¬ 2    πŸ“Œ 4

Once again, immigration is not even a problem. Immigrants are not more criminal, they don't cost jobs, they don't harm the economy. There is no reason for any of this. It is hurting ourselves to hurt them.

24.01.2026 16:08 β€” πŸ‘ 2922    πŸ” 799    πŸ’¬ 30    πŸ“Œ 34

These temperatures would be cold even in Celsius…

24.01.2026 02:16 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
Snapshots of an Ordinary Life Photographing daily life.

started a new photo blog:

snapsoflife.bearblog.dev

23.01.2026 19:51 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Glide A breezy tiling window manager for macOS.

Announcing Glide, a tiling window manager I've been working on for macOS.

glidewm.org

14.01.2026 07:46 β€” πŸ‘ 109    πŸ” 15    πŸ’¬ 9    πŸ“Œ 1

Funny thing is that text does talk about non-Western sources such as the Quran and Native American traditions, so maybe they just didn’t look hard enough?

14.01.2026 00:02 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

@zkproofs is following 20 prominent accounts