Steve Huntsman
@stevehuntsman.bsky.social
American with bittersweet memories of living in a shining city on a hill. Mathematician. Give em hell Devils. Go Navy. русский военный корабль, иди на хуй. Currently clean on OPSEC. Entropy always wins. Views my own.
Pinned
Steve Huntsman
@stevehuntsman.bsky.social
· Mar 22
Kid had strong sign game at the White House today
My pet conspiracy theory: since Grothendieck invented schemes, modern algebraic geometry is obviously a CIA op designed to cook the brains of smart folks who think he was a cool guy
Scheme (mathematics) - Wikipedia
en.wikipedia.org
February 18, 2026 at 11:06 PM
My pet conspiracy theory: since Grothendieck invented schemes, modern algebraic geometry is obviously a CIA op designed to cook the brains of smart folks who think he was a cool guy
I am frequently reminded that there’s a huge difference between a guy who marries his boss’s daughter and a guy who goes to work for his father-in-law
February 17, 2026 at 4:36 PM
I am frequently reminded that there’s a huge difference between a guy who marries his boss’s daughter and a guy who goes to work for his father-in-law
Reposted by Steve Huntsman
It isn’t a huge deal most likely. I’ve had Claude prove a theorem I knew to be true but hadn’t worked out a proof—I didn’t tell it the result but just asked, and verified the proof after beating it over the head for an hour. Useful, sure. But Claude also lies and craps the bed on linear algebra. /1
February 16, 2026 at 1:04 AM
It isn’t a huge deal most likely. I’ve had Claude prove a theorem I knew to be true but hadn’t worked out a proof—I didn’t tell it the result but just asked, and verified the proof after beating it over the head for an hour. Useful, sure. But Claude also lies and craps the bed on linear algebra. /1
If you want to destroy a bunch of fascists and bury their ideology for a lifetime it helps to have some mathematicians on the task. Look at the dude below, and at Turing, and at Los Alamos…and at Hilbert.
February 15, 2026 at 6:34 AM
If you want to destroy a bunch of fascists and bury their ideology for a lifetime it helps to have some mathematicians on the task. Look at the dude below, and at Turing, and at Los Alamos…and at Hilbert.
It’s almost like the Pax Americana actually meant something despite what Mark Carney pointed out
No one, absolutely no one, rushed to fill the niche left by Trump and Musk and Rubio murdering USAID, and that should tell us a lot about other governments.
February 14, 2026 at 11:59 AM
It’s almost like the Pax Americana actually meant something despite what Mark Carney pointed out
Reposted by Steve Huntsman
You can’t have a rules-based order and let the PRC turn a democracy into the East Xinjiang Gulag. Pick one.
February 13, 2026 at 11:58 PM
You can’t have a rules-based order and let the PRC turn a democracy into the East Xinjiang Gulag. Pick one.
Imagine if there was a plausible way to fuck up hypocrites and save the rules-based order…
![From https://arxiv.org/abs/2509.18523
Abstract-
Inconsistencies are ubiquitous in law, administra-tion, and jurisprudence. Though a cure is too much to hope for, we propose a technological remedy. Large language models (LLMs) can accurately extract propositions from arguments and compile them into natural data structures that enable coherence-driven inference (CDI) via combinatorial optimization. This neu-rosymbolic architecture naturally separates concerns and enables meaningful judgments about the coherence of arguments that can inform legislative and policy analysis and legal reasoning.
I. INTRODUCTION
Imagine that public officials could be nudged [1] to develop more coherent bodies of policy, law, and jurisprudence [21-[4].
Imagine that individuals could be nudged towards epistemic virtue in reasoning about the coherence of their observations and beliefs. Imagine an approach to artificial intelligence that was capable of doing these things in a way that could be trusted and verified.
An approximation of this sort of Utopia is actually plausible, as we indicate below. The underlying idea is a neurosym-bolic architecture [5], [6] for artificial intelligence that is fundamentally rooted in resolving incoherence and ambi-guity. This architecture cleanly separates concerns between local "fast/system 1" inference [7] via large language models (LLMs) and global "slow/system 2" inference via combinatorial optimzation, called coherence-driven inference (CDI)](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:jo2hkinon4xilcemhuazjpjr/bafkreifvr6qmb7pcy5fyryjlmd2ot55lhhy7z5guw2pk7pm333tdo2x2gu@jpeg)
February 13, 2026 at 6:09 PM
Imagine if there was a plausible way to fuck up hypocrites and save the rules-based order…
Reposted by Steve Huntsman
Thank you to Nick for recognizing our work
Deeply honored
Deeply honored
Fuentes, yesterday: “Our #1 political enemy is women because women constrain everything, every conversation, every man, everything. They have to be imprisoned. They are the ones that are hurting the fertility rate. They're the ones making us sympathetic to poor people, which are also brown people.”
Nick Fuentes: “The number one political enemy in America is women. … They have to be imprisoned.”
www.mediamatters.org
February 12, 2026 at 4:15 PM
Thank you to Nick for recognizing our work
Deeply honored
Deeply honored
Fukken solved the old fashioned way
Distance calculation is a gross hardcode but works and is verified
Take that you goddamn bots
Distance calculation is a gross hardcode but works and is verified
Take that you goddamn bots
Not sure if I want to bother sampling from compact manifolds of constant negative curvature or not. Claude sure can’t be fucked to sort out something conceptually simple and perfectly specified that nevertheless involves annoying details for any plausible implementation. Maybe I’ll do 2D and call it
February 12, 2026 at 11:12 AM
Fukken solved the old fashioned way
Distance calculation is a gross hardcode but works and is verified
Take that you goddamn bots
Distance calculation is a gross hardcode but works and is verified
Take that you goddamn bots
Could be one of the biggest hits since Toropets 🇺🇦🤞🦩
February 12, 2026 at 10:57 AM
Could be one of the biggest hits since Toropets 🇺🇦🤞🦩
My old man said half of infinity is different than infinity to his dying day. Then I found out from my mom that he had been trolling me from my adolescence on and did in fact understand the Hilbert hotel argument almost the whole time.
Today's lecture for my Infinity class is on equinumerosity and the notion of size. You are welcome to follow along with the readings for our class.
www.infinitelymore.xyz/p/equinumero... #InfinitelyMore #BookOfInfinity
www.infinitelymore.xyz/p/equinumero... #InfinitelyMore #BookOfInfinity
Equinumerosity and comparison of size
What does it mean for two sets to have the same size? Galileo's paradox identifies tension between notions of equinumerosity and Euclid's principle that the whole is greater than any proper part.
www.infinitelymore.xyz
February 10, 2026 at 4:21 PM
My old man said half of infinity is different than infinity to his dying day. Then I found out from my mom that he had been trolling me from my adolescence on and did in fact understand the Hilbert hotel argument almost the whole time.
Not sure if I want to bother sampling from compact manifolds of constant negative curvature or not. Claude sure can’t be fucked to sort out something conceptually simple and perfectly specified that nevertheless involves annoying details for any plausible implementation. Maybe I’ll do 2D and call it
February 9, 2026 at 4:07 PM
Not sure if I want to bother sampling from compact manifolds of constant negative curvature or not. Claude sure can’t be fucked to sort out something conceptually simple and perfectly specified that nevertheless involves annoying details for any plausible implementation. Maybe I’ll do 2D and call it
February 9, 2026 at 3:57 PM
Reposted by Steve Huntsman
When you put it all together, this is what the fiscal flows for immigrants have looked like for the last 30 years. Immigrants have reduced the deficit every year for 3 decades.
February 3, 2026 at 4:29 PM
When you put it all together, this is what the fiscal flows for immigrants have looked like for the last 30 years. Immigrants have reduced the deficit every year for 3 decades.
Jet lag = holonomy on a U(1) bundle over a sphere with two points identified, the origin and destination
February 8, 2026 at 12:08 AM
Jet lag = holonomy on a U(1) bundle over a sphere with two points identified, the origin and destination
Reposted by Steve Huntsman
Today at Brookhaven National Laboratory, the Relativistic Heavy Ion Collider smashed up its last particles.
Since 2000 RHIC has collided particles at near light speed to recreate the particles that existed just after the Big Bang. Last year, Science reported on its legacy. https://scim.ag/4afRdTM
Since 2000 RHIC has collided particles at near light speed to recreate the particles that existed just after the Big Bang. Last year, Science reported on its legacy. https://scim.ag/4afRdTM
Storied atom-smasher that makes tiny Big Bangs wraps up mission
For 26 years, the Relativistic Heavy Ion Collider has re-created the quark-gluon plasma that filled the infant universe
www.science.org
February 6, 2026 at 10:56 PM
Today at Brookhaven National Laboratory, the Relativistic Heavy Ion Collider smashed up its last particles.
Since 2000 RHIC has collided particles at near light speed to recreate the particles that existed just after the Big Bang. Last year, Science reported on its legacy. https://scim.ag/4afRdTM
Since 2000 RHIC has collided particles at near light speed to recreate the particles that existed just after the Big Bang. Last year, Science reported on its legacy. https://scim.ag/4afRdTM
I just read in the Atlantic that Bashar al-Assad’s oldest kid finished a PhD in number theory at Moscow State weeks before the regime fell. His dissertation doesn’t pop up, but this article does. I wonder if that gmail address still works?
February 6, 2026 at 8:27 PM
I just read in the Atlantic that Bashar al-Assad’s oldest kid finished a PhD in number theory at Moscow State weeks before the regime fell. His dissertation doesn’t pop up, but this article does. I wonder if that gmail address still works?
I am quite sure that at least 25% of voters are dumber than the median voter
I think people don't really understand what the bottom half of the American electorate looks like in terms of political knowledge. What has happened in the extreme-turnout elections of recent years is that decisive numbers of these people have started voted in presidential cycles
February 6, 2026 at 1:12 AM
I am quite sure that at least 25% of voters are dumber than the median voter
Reposted by Steve Huntsman
"I have only changed in spite of myself. Every scrap of progress has been torn from my clenched talons by citizens who loved me more than themselves and their neighbors more than me."
I’m Still Your America
Hey, patriot. It’s been a week. As ICE spreads terror through the streets, and Teacup Eichmann presided over the murder of yet another innocent civ...
buff.ly
February 4, 2026 at 2:02 PM
"I have only changed in spite of myself. Every scrap of progress has been torn from my clenched talons by citizens who loved me more than themselves and their neighbors more than me."