Pratyush Mishra

A labelled diagram of elephant caparison

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... )

Dependency version unification (which was a thing last I tried Haskell) makes deep dep trees a PITA, whereas cargo just duplicates dependencies

They have been rapidly diversifying their investments for this reason

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

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."

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

How Genocide Happened

Front page of Scottish newspaper The National today.

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.

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...

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/

Ordered!

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".

DHH post from September 11 2025 titled Words are not Violence

Post from DHH on September 24 2025 titled Calling someone a "nazi" is a permission slip for violence

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.

In particular, Berkeley EECS requires multiple lab courses.

Berkeley EECS does require 2 physics and 1 hard science elective, along with intro EE and math courses

Berkeley CS has other breadth requirements, but the math components require rigorous analytical thinking and training.

I’m sorry for your loss :(

Clearly undocumented parents who’ve spent 20 years in the country and paid all their taxes and have never committed a crime are the bad guys

A collaborator and I have sketched fairly simple design for private accounts. It’s not particularly complicated

I deactivated my twitter account so have been out of the loop, but is there some discussion about this happening somewhere online?

"News article titled A New Democratic Think Tank Wants to Curb the Influence of Liberal Groups, published September 17, 2025, in The New York Times by Reid J. Epstein. The article explains that the Searchlight Institute, led by Adam Jentleson, aims to persuade Democrats to play down issues like climate change and LGBTQ rights to appeal to more voters. A color photo beneath shows five people standing outdoors: Cam Thompson, Charlotte Swasey, Adam Jentleson (center), Tré Easton, and Danielle Deiseroth."

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.

How market design can feed the poor America's largest non-profit had a broken distribution system. University of Chicago economists fixed it.

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...

Maga is fundamentally a populist white racism. The slogan "Make America Great Again" is more accurately described as "Make White America Greater." The fact that the tariff policy insisted on a 50% tariff only on steel and aluminum stems from the concentration of these groups in the Rust Belt.

The massive crackdown on illegal immigrants at the Hyundai-LG Energy Solutions joint venture plant in Georgia must be understood in this context. The scenes of our workers being chained and escorted away were reminiscent of the dragging of African slaves in the 18th and 19th centuries. The Department of Homeland Security boasted of "the largest single-site raid in history," and Immigration and Customs Enforcement even brazenly released footage of the raid, which was highly violating human rights, as if to boast of their "achievement."

Far-right whites may have secretly rejoiced. Even politicians like the Georgia governor and local lawmakers, who had been active in attracting factories, have shifted their stance and sympathized with their grievances. This is likely because it's difficult to ignore the anti-immigrant sentiment of native Americans. Like the McCarthyism that swept through American society in the 1950s, irrational madness dominates American society. The recent visa issue, which could have been resolved diplomatically with advance notice from an ally, is difficult to explain beyond political maneuvering. The fact that they mobilized helicopters and armored vehicles for show, as if they had been caught, is difficult to explain.

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...

@safety.bsky.app is, or is not, inciting violence against members of a protected class a ToS violation?

this is absolute nonsense. Baku moderation policies recently have absolutely catered towards appeasing right-wingers, and it’s a good idea to call that out.

Especially when the explanatory tweet doesn’t actually address what they’ve done

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’

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"

yes that is true

Where are all the first amendment defenders/cancel culture complainers?

The problem is that large swathes of the left have developed a mindless aversion to positive technological solutions to social problems.

So naturally the technologically-forward spaces are dominated by right-wingers

Bluesky Safety v @safety.bsky.app Bluesky Elder Glorifying violence or harm violates Bluesky's Community Guidelines. We review reports and take action on content that celebrates harm against anyone. Violence has no place in healthy public discourse, and we're committed to fostering healthy, open conversations September 10, 2025 at 6:26 PM ® Replies disabled

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.

Woo!! Coral goes to S&P! eprint.iacr.org/2025/1420 Coral is an amazing system to check over ZKP that a document conforms to a grammar (JSON, C, TOML). Super happy with this work and the amazing work of all the co-authors!