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
@zkproofs.bsky.social
Current: Asst Professor at Penn CIS Past: Cryptographer at Aleo Crypto and computer security PhD, UC Berkeley he/him
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 π 0If 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 π 0I 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
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 π 0Do 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 π 0Lmao, and normie libs, with all their billions in resources, helped prevent fascism exactly how?
04.02.2026 13:41 β π 2 π 0 π¬ 1 π 0In Hindi (and presumably other Indian languages) Jira means cumin lol
04.02.2026 12:45 β π 1 π 0 π¬ 0 π 0lol 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 π 0impl Rng(Core) too!
03.02.2026 23:07 β π 0 π 0 π¬ 1 π 0Upgrading 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 π 0Yes, Rust has strong backwards compatibility guarantees
03.02.2026 21:17 β π 1 π 0 π¬ 1 π 0New blog post about my visit to the Philly Art Museum.
photos.pratyush.zip/a-night-at-t...
#photography #streetphotography #philadelphia
New blog post about my visit to the Philly Art Museum.
photos.pratyush.zip/a-night-at-t...
#photography #streetphotography #philadelphia
breaking up the doomposting with some snaps from in and around Philly's Amtrak station.
photos.pratyush.zip/train-statio...
#philadelphia #photography #streetphotography
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 π 6People 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 π 2I 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 π 0Some snaps from Philly's 9 inches of snow:
snapsoflife.bearblog.dev/the-snow-pil...
Escalation has already started. Every successful activist movement requires a diversity of tactics.
25.01.2026 21:17 β π 0 π 0 π¬ 1 π 0It 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
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.
Also, there was plenty of popular support for, eg, the Black Panthers.
25.01.2026 06:44 β π 0 π 0 π¬ 0 π 0There 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.
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 π 0Your 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 π 4Once 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 π 34These temperatures would be cold even in Celsiusβ¦
24.01.2026 02:16 β π 0 π 0 π¬ 1 π 0started a new photo blog:
snapsoflife.bearblog.dev
Announcing Glide, a tiling window manager I've been working on for macOS.
glidewm.org
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