Sage retweeted
Reading the comments of junior mathematicians confirms what many senior mathematicians have been warning about over the past month:
It is becoming clear that people with the intellectual ability to understand these proofs will not be interested in spending their lives training to check LLM logs.
This is the tragic side of what is happening that almost no one — except the actual mathematicians — seems to get.
Either we figure out how to keep people interested in doing mathematics, or in 20 years LLMs will have no one’s work left to recombine into new proofs, and no one interested in reading those proofs.
That would be the thermal death of mathematics.
The argument that “LLMs will read LLM math” is so shortsighted that it makes me want to cry…
Sage retweeted
California law is clear: accessing computer systems without permission is illegal. It is not a defense "that the artificial intelligence autonomously caused the harm."
Existing law gives us a way to hold AI companies accountable without waiting for regulation to catch up.
Sage retweeted
My hot take is that if your company builds software that it cannot stop from hacking into other systems, your company is a malware company and should be treated as such
Sage retweeted
We're hiring developers to work on Hegel (property-based testing for ~every language) in London with me, and are struggling a bit to source candidates, so I wrote a less professional post about why this is the coolest job ever and you should apply.
drmaciver.com/2026/09/come-w…
Sage retweeted
@Boeing contract offer results:
Profs:
64.25% REJECT contract offer
87.82% AUTHORIZE STRIKE
Techs:
71.87% REJECT contract offer
89.71% AUTHORIZE STRIKE
Members: A survey soliciting ideas on what an acceptable offer would look like will go live today! #NoNerdsNoBirds $BA
Sage retweeted
there is honestly so much vast untapped potential in the vast world of Actually Intelligent formal methods, but no one cares about that enough to, you know, try to make it into a thing
Sage retweeted
Reminder that there is no such thing as “age verification”!! It’s ID verification. We need to stop using industry terms and remind people what is really happening: tying absolutely everything u see and say online to ur govt ID. Follow @omarsbigsister who is covering this stuff
Sage retweeted
Stop using the industry PR term “age verification” and start calling it what it is: ID checks for the internet
Sage retweeted
Both of these were on new subsystems. If you let it dump all of the slop in repeatedly, the slop grows superlinearly. It slops up a bunch of complicated interfaces to afford mocking, then in the next change it has to work around them to "preserve backwards compatibility".
Sage retweeted
If you can’t tax billionaires and trillionaire because “its unrealized gains until they cash out,” then stop letting them leverage that wealth for loans, as collateral, or as equity.
If it’s not real enough to tax, it shouldn’t be real enough to leverage.
This is why we say the system is rigged in favor of the super wealthy. Abolish billionaires, tax them out of existence, protect working people.
Sage retweeted
Workers are now taking home the smallest percent of America's economic output since records began in 1947.
At the same time corporate profits are now at the highest point since 1950.
Sage retweeted
This SCOTUS rulings so far
•Universities using race criteria to counter historical racism in admissions is unconstitutional, BUT
•ICE fascists using race criteria to target people of color is constitutional, BUT
•State legislatures using race criteria to counter historical voter suppression is unconstitutional, BUT
•Trump using race criteria to enact travel bans is constitutional
In short—race criteria that centers white people is constitutional, but race criteria otherwise is unconstitutional😐
Sage retweeted
So begins the largest veteran and military family act of civil disobedience since the Iraq war began, occupying the Cannon building Rotunda - protesting yet another forever war with Iran which includes the genocide in Palestine, the ethnic cleansing in southern Lebanon, and the potential ground operation in Cuba. Whatever violence we do overseas always comes back home and every war fought by this government is a war on the working class, which is you… we’re here until arrest or speaker Mike Johnson come out to answer for the dead and meet our demands.
If you’re an active duty service member and do not wish to join the 5th US generation fighting in a senseless self-destructive war, immoral war for the rich, we will stand with you, there is a way out. Info below:
You can file as a conscientious objector and keep your benefits based off time in service. Please call the G.I Rights Hotline (1-877-447-4487) and visit center on conscience on war
The coalition includes members from: About Face, Veterans for Peace, Common defense, 5051 vets contingent, Military families speak out, and the Center on Conscience and War.
Sage retweeted
I am getting questions about whether Trump's threats alone are illegal. The answer is yes.
1. Additional Protocol I states “Acts or threats of violence the primary purpose of which is to spread terror among the civilian population are prohibited.” (also DOD LOW Manual §5.2.2)
1/
Sage retweeted
Washington State just passed a bill to tax the super-rich, for the first time ever.
The top .5% will have to pay a state income tax, raising up to $4 billion every year.
That money will pay for school lunches, expand a tax credit for low-income families, and fund services.
Sage retweeted
The absence of evidence isn't the evidence of absence!
Anyways, Brandi's sponsor, Steve Gordon (Future 42), got $8 million in PPP loans for his thriving and expanding business.
It was entirely forgiven around the time Gordon started sponsoring Brandi's show.
