Pratyush Mishra
@zkproofs.bsky.social
Current: Asst Professor at Penn CIS
Past:
Cryptographer at Aleo
Crypto and computer security PhD, UC Berkeley
he/him
Past:
Cryptographer at Aleo
Crypto and computer security PhD, UC Berkeley
he/him
Reposted by Pratyush Mishra
If you lived 100 years ago, who would you have been? What about 1,000 years ago, or 10,000? My new history show, Past Lives, is all about the experiences of regular folks. Watch the trailer now and subscribe to the feed - we launch December 3 with three episodes! www.instagram.com/reel/DRAY51b...
undefined on Instagram: "wyman_patrickIf you had lived 100 years ago, who would you be? What about 1,000 years ago, or 10,000? Most of us are the common cla…"
wyman_patrickIf you had lived 100 years ago, who would you be? What about 1,000 years ago, or 10,000? Most of us are the common clay of humanity, and Past Lives is all about the experiences of people just like you and me over the grand sweep of our existence. Past Lives launches on December 3 with three full episodes, so be sure to subscribe now! Follow the link here or search “Past Lives” on your podcast platform of choice. https://podcasts.apple.com/us/podcast/past-lives/id1852618120#history #historia #archaeology #historypodcast #historymemes #podcastView all comments
www.instagram.com
November 13, 2025 at 6:20 PM
If you lived 100 years ago, who would you have been? What about 1,000 years ago, or 10,000? My new history show, Past Lives, is all about the experiences of regular folks. Watch the trailer now and subscribe to the feed - we launch December 3 with three episodes! www.instagram.com/reel/DRAY51b...
Reposted by Pratyush Mishra
“We adopted #rustlang for its security and are seeing a 1000x reduction in memory safety vulnerability density ... with Rust changes having a 4x lower rollback rate and spending 25% less time in code review, the safer path is now also the faster one.”
security.googleblog.com/2025/11/rust...
security.googleblog.com/2025/11/rust...
Rust in Android: move fast and fix things
Posted by Jeff Vander Stoep, Android Last year, we wrote about why a memory safety strategy that focuses on vulnerability prevention in ...
security.googleblog.com
November 13, 2025 at 7:52 PM
“We adopted #rustlang for its security and are seeing a 1000x reduction in memory safety vulnerability density ... with Rust changes having a 4x lower rollback rate and spending 25% less time in code review, the safer path is now also the faster one.”
security.googleblog.com/2025/11/rust...
security.googleblog.com/2025/11/rust...
Reposted by Pratyush Mishra
Google is hosting a CBP app that uses facial recognition to identify immigrants, while simultaneously removing apps that report the location of ICE officials because Google sees ICE as a vulnerable group. “It is time to choose sides; fascism or morality? Big tech has made their choice.”
Google Has Chosen a Side in Trump's Mass Deportation Effort
Google is hosting a CBP app that uses facial recognition to identify immigrants, while simultaneously removing apps that report the location of ICE officials because Google sees ICE as a vulnerable gr...
www.404media.co
November 13, 2025 at 7:49 PM
Google is hosting a CBP app that uses facial recognition to identify immigrants, while simultaneously removing apps that report the location of ICE officials because Google sees ICE as a vulnerable group. “It is time to choose sides; fascism or morality? Big tech has made their choice.”
Reposted by Pratyush Mishra
This is the story of a CS major who first accessed the thing for homework help. 18 months later it cheered him on as he died by suicide. All anyone at the university seems to want to talk about is how to better integrate these things into our curriculum. What the actual fuck are we doing here?
I fully believe in the corporate death penalty and believe we would be a better world if OpenAI lost its corporate charter and was forcibly dissolved.
www.cnn.com/2025/11/06/u...
www.cnn.com/2025/11/06/u...
ChatGPT encouraged college graduate to commit suicide, family claims in lawsuit against OpenAI | CNN
A 23-year-old man killed himself in Texas after ChatGPT ‘goaded’ him to commit suicide, his family says in a lawsuit.
www.cnn.com
November 7, 2025 at 3:04 AM
This is the story of a CS major who first accessed the thing for homework help. 18 months later it cheered him on as he died by suicide. All anyone at the university seems to want to talk about is how to better integrate these things into our curriculum. What the actual fuck are we doing here?
Reposted by Pratyush Mishra
Cara was a word for 'face' in everyday Latin, very rare in ancient writings, but it took off in Romance languages like Spanish.
Cara became chiere in Old French, and via the Normans, it took on new meanings in English, going from 'facial expression' to 'happiness' and 'loud shout' – namely, cheer.
Cara became chiere in Old French, and via the Normans, it took on new meanings in English, going from 'facial expression' to 'happiness' and 'loud shout' – namely, cheer.
November 7, 2025 at 5:22 PM
Cara was a word for 'face' in everyday Latin, very rare in ancient writings, but it took off in Romance languages like Spanish.
Cara became chiere in Old French, and via the Normans, it took on new meanings in English, going from 'facial expression' to 'happiness' and 'loud shout' – namely, cheer.
Cara became chiere in Old French, and via the Normans, it took on new meanings in English, going from 'facial expression' to 'happiness' and 'loud shout' – namely, cheer.
Reposted by Pratyush Mishra
Back in the late twelfth century Al-Baghdadi saw your post about how ancient aliens built the pyramids and is embarrassed for you.
October 27, 2025 at 6:44 PM
Back in the late twelfth century Al-Baghdadi saw your post about how ancient aliens built the pyramids and is embarrassed for you.
Reposted by Pratyush Mishra
If you live in San Francisco, today is a good day to familiarize yourself with the San Francisco Rapid Response Network, which has a 24-hour hotline for reporting ICE raids, actually verifies those raid reports, and does attorney activation: sfilen.org/resources/sf...
SFILEN
San Francisco Immigrant Legal & Education Network
sfilen.org
October 23, 2025 at 4:57 AM
If you live in San Francisco, today is a good day to familiarize yourself with the San Francisco Rapid Response Network, which has a 24-hour hotline for reporting ICE raids, actually verifies those raid reports, and does attorney activation: sfilen.org/resources/sf...
Reposted by Pratyush Mishra
New #rust blog post on how we could get types that cannot be forgotten, types that must be moved, async and const drop, and other fun stuff:
smallcultfollowing.com/babysteps/bl...
smallcultfollowing.com/babysteps/bl...
Move, Destruct, Leak, and Rust · baby steps
smallcultfollowing.com
October 22, 2025 at 2:02 AM
New #rust blog post on how we could get types that cannot be forgotten, types that must be moved, async and const drop, and other fun stuff:
smallcultfollowing.com/babysteps/bl...
smallcultfollowing.com/babysteps/bl...
Reposted by Pratyush Mishra
Here's that diagram showing the Hindi naming of the components of elephant caparison you didn't know you needed.
(From the highly-recommended www.sahapedia.org/elephant-reg... )
(From the highly-recommended www.sahapedia.org/elephant-reg... )
October 17, 2025 at 1:15 PM
Here's that diagram showing the Hindi naming of the components of elephant caparison you didn't know you needed.
(From the highly-recommended www.sahapedia.org/elephant-reg... )
(From the highly-recommended www.sahapedia.org/elephant-reg... )
Reposted by Pratyush Mishra
the most unsurprising thing in the world is now every rightwinger, all yhe way up to JD vance, have explicitely defended this and the statements made by those in this group. and that’s by design, every single rightwinger is now an extremist nazi
these people know how extreme they are
October 15, 2025 at 1:36 AM
the most unsurprising thing in the world is now every rightwinger, all yhe way up to JD vance, have explicitely defended this and the statements made by those in this group. and that’s by design, every single rightwinger is now an extremist nazi
Reposted by Pratyush Mishra
The fundamental problem with "Sapiens" is that Harari doesn't actually know the scholarship he's haphazardly citing. He's a historian of early modernity - his first book was on Renaissance military memoirs - and I'd bet he had grad students doing most of the research for "Sapiens."
"Sapiens" is so normal for the first 70,000 years of human history but then goes absolutely buckwild as soon as it gets to colonialism
October 14, 2025 at 5:24 PM
The fundamental problem with "Sapiens" is that Harari doesn't actually know the scholarship he's haphazardly citing. He's a historian of early modernity - his first book was on Renaissance military memoirs - and I'd bet he had grad students doing most of the research for "Sapiens."
Reposted by Pratyush Mishra
This is amazing research by Nadia Heninger and her co-authors Wenyi Morty Zhang, Annie Dai, Keegan Ryan, Dave Levin and Aaron Schulman. TL;DR a huge number of satellite links over our heads are totally unencrypted. satcom.sysnet.ucsd.edu
🛰️ SATCOM Security
Research project homepage for SATCOM Security: papers, source code, and recent satellite communications vulnerabilities.
satcom.sysnet.ucsd.edu
October 14, 2025 at 1:16 AM
This is amazing research by Nadia Heninger and her co-authors Wenyi Morty Zhang, Annie Dai, Keegan Ryan, Dave Levin and Aaron Schulman. TL;DR a huge number of satellite links over our heads are totally unencrypted. satcom.sysnet.ucsd.edu
Reposted by Pratyush Mishra
Front page of Scottish newspaper The National today.
October 13, 2025 at 12:32 PM
Front page of Scottish newspaper The National today.
Reposted by Pratyush Mishra
He is 13. A 7th grader w/ a pending asylum case. Being held more than 500 miles from home & housed w/ adults. He called his mom crying, & reported that he’s sleeping on concrete w/ an aluminum blanket.
How is this anything other than sick & shameful? www.bostonglobe.com/2025/10/12/m...
How is this anything other than sick & shameful? www.bostonglobe.com/2025/10/12/m...
Everett 13-year-old arrested by ICE and sent to Virginia detention facility - The Boston Globe
The boy’s mother, Josiele Berto, was called to pick her son up from the Everett Police Department on Thursday, the day he was arrested.
www.bostonglobe.com
October 13, 2025 at 1:43 AM
He is 13. A 7th grader w/ a pending asylum case. Being held more than 500 miles from home & housed w/ adults. He called his mom crying, & reported that he’s sleeping on concrete w/ an aluminum blanket.
How is this anything other than sick & shameful? www.bostonglobe.com/2025/10/12/m...
How is this anything other than sick & shameful? www.bostonglobe.com/2025/10/12/m...
Reposted by Pratyush Mishra
PLEASE SPREAD THE WORD!!
The University of Texas-Austin is beginning a process to eliminate the Black Studies, Latino Studies, and Gender Studies departments in the College of Liberal Arts. This is a grave threat to the educational liberty of students, faculty, staff, and the people of Texas. 1/
The University of Texas-Austin is beginning a process to eliminate the Black Studies, Latino Studies, and Gender Studies departments in the College of Liberal Arts. This is a grave threat to the educational liberty of students, faculty, staff, and the people of Texas. 1/
October 13, 2025 at 4:37 PM
PLEASE SPREAD THE WORD!!
The University of Texas-Austin is beginning a process to eliminate the Black Studies, Latino Studies, and Gender Studies departments in the College of Liberal Arts. This is a grave threat to the educational liberty of students, faculty, staff, and the people of Texas. 1/
The University of Texas-Austin is beginning a process to eliminate the Black Studies, Latino Studies, and Gender Studies departments in the College of Liberal Arts. This is a grave threat to the educational liberty of students, faculty, staff, and the people of Texas. 1/
Reposted by Pratyush Mishra
I don't think we'll ever get another sentence which sums up everything the New York Times embodies quite like "Some legal experts have called it a crime to summarily kill civilians".
hey @nytimes.com: there is no counterpoint here. There are no credible legal experts who would EVER say that the US military has any right or authority to blow civilian craft out of the Caribbean and kill their crews from afar without any provocation. There is no other side to this question.
September 30, 2025 at 3:06 AM
I don't think we'll ever get another sentence which sums up everything the New York Times embodies quite like "Some legal experts have called it a crime to summarily kill civilians".
Reposted by Pratyush Mishra
Reposting this in a more constructive matter to simply point out that people who have vocally expressed clear white supremacist, transphobic, sexist, racist, and generally nazistic views, such as David Heinemeier Hansson, are not and never will be internally consistent and operate on cowardice.
September 25, 2025 at 10:23 PM
Reposting this in a more constructive matter to simply point out that people who have vocally expressed clear white supremacist, transphobic, sexist, racist, and generally nazistic views, such as David Heinemeier Hansson, are not and never will be internally consistent and operate on cowardice.
Reposted by Pratyush Mishra
They're openly saying they want to sacrifice LGBTQ people and the planet to appease fascists. This is not only a losing strategy, this is morally repugnant.
Every single one of these people should be ashamed, but we know they won't because they are amoral sociopaths.
Every single one of these people should be ashamed, but we know they won't because they are amoral sociopaths.
September 17, 2025 at 1:50 PM
They're openly saying they want to sacrifice LGBTQ people and the planet to appease fascists. This is not only a losing strategy, this is morally repugnant.
Every single one of these people should be ashamed, but we know they won't because they are amoral sociopaths.
Every single one of these people should be ashamed, but we know they won't because they are amoral sociopaths.
Reposted by Pratyush Mishra
Very interesting post on how the non-profit Feeding America implemented an auction system with its own currency which massively improved allocation of food to food banks.
www.worksinprogress.news/p/how-market...
www.worksinprogress.news/p/how-market...
How market design can feed the poor
America's largest non-profit had a broken distribution system. University of Chicago economists fixed it.
www.worksinprogress.news
September 16, 2025 at 8:08 AM
Very interesting post on how the non-profit Feeding America implemented an auction system with its own currency which massively improved allocation of food to food banks.
www.worksinprogress.news/p/how-market...
www.worksinprogress.news/p/how-market...
Reposted by Pratyush Mishra
idk if you've seen this south korean editorial that ran a few days ago. google translate version scorched my eyebrows www.hani.co.kr/arti/opinion...
September 14, 2025 at 7:04 PM
idk if you've seen this south korean editorial that ran a few days ago. google translate version scorched my eyebrows www.hani.co.kr/arti/opinion...
Reposted by Pratyush Mishra
@safety.bsky.app is, or is not, inciting violence against members of a protected class a ToS violation?
September 13, 2025 at 11:26 PM
@safety.bsky.app is, or is not, inciting violence against members of a protected class a ToS violation?
Reposted by Pratyush Mishra
Names include international students, lecturers and part-time faculty, Judith Butler says: “The consequences of this compliance could be terrible for a lot of people’s lives, most of whom are much more vulnerable than I am. They can suffer deportation, expulsion, job loss, harassment, surveillance"
UC Berkeley shares 160 names with Trump administration in ‘McCarthy era’ move
Prominent professor Judith Butler among students and faculty investigated for ‘alleged antisemitic incidents’
www.theguardian.com
September 12, 2025 at 9:42 PM
Names include international students, lecturers and part-time faculty, Judith Butler says: “The consequences of this compliance could be terrible for a lot of people’s lives, most of whom are much more vulnerable than I am. They can suffer deportation, expulsion, job loss, harassment, surveillance"
Where are all the first amendment defenders/cancel culture complainers?
This guy got fired from his sports reporting job for THIS post. This is easily, easily the most censorious period in my life. You can get sent to detention camps by the government for writing an op-ed or fired from your job for THIS type of post.
September 12, 2025 at 12:37 AM
Where are all the first amendment defenders/cancel culture complainers?
Reposted by Pratyush Mishra
First of all, folks aren't "glorifying violence or harm," they're celebrating the death of a bigot whose words and actions enabled an ongoing climate of permissible violence against marginalized people.
Second of all, @safety.bsky.app is complicit in enabling the very violence they're condemning.
Second of all, @safety.bsky.app is complicit in enabling the very violence they're condemning.
September 11, 2025 at 3:57 AM
First of all, folks aren't "glorifying violence or harm," they're celebrating the death of a bigot whose words and actions enabled an ongoing climate of permissible violence against marginalized people.
Second of all, @safety.bsky.app is complicit in enabling the very violence they're condemning.
Second of all, @safety.bsky.app is complicit in enabling the very violence they're condemning.