Immemorial (@thinkingheights) header
Immemorial (@thinkingheights) profile picture

A neuro-convergent person.

Joined January 2026
Photo by Immemorial (@thinkingheights)Photo by Immemorial (@thinkingheights)Photo by Immemorial (@thinkingheights)Photo by Immemorial (@thinkingheights)Photo by Immemorial (@thinkingheights)Photo by Immemorial (@thinkingheights)Photo by Immemorial (@thinkingheights)Photo by Immemorial (@thinkingheights)Photo by Immemorial (@thinkingheights)Photo by Immemorial (@thinkingheights)
I should've added that in the internal logic / type theory of any topos FunExt always holds. So, my thread below in fact proves that the following categories are not topoi: - Poly(C), for any category C with pullbacks - Game Categories - The syntactic category of TTs
naively, functional extensionality (funext) says if two functions take equal values, then they are equal. Two observations about funext: 1. If you're new to type theory, it's instructive to think about why funext fails in the initial/syntactic model – don't cheat with ai!
6
1,340
The West’s abuse of the economic weapon has created a vast, underground world economy, with dark fleets, shadow banking, illicit money flows, front companies, and shadowy middle men. One consequence of these developments is to vastly enlarge the space for illicit activity world wide. One is reminded here of the Prohibition and the big bang of corruption with the fx controls of the early License Raj. It’s not just criminals and smugglers, shadow bankers and dark shippers. The opportunities for rebels and warlords have expanded dramatically—illicit arms flows have expanded in tandem. We’re seeing this especially in Horn and the Sahel. I suppose it is fitting that the US is itself reduced to playing cat-and-mouse along the Oman route. Command of the sea, per Mahan, “is the possession of that overbearing power on the sea which drives the enemy’s flag from it, or allows it to appear only as a fugitive.” 😂
What this report makes clear is the bankruptcy of US sanctions policy. It has achieved so much at hurting average people with inflation and shortages but it has achieved nothing in changing government behavior or even denting its ability to fight a war. That is what should be alarming about this report. reuters.com/world/iran/irans…
9
60
2
285
12,367
I was just on @France24_fr talking about the difference between a docker and a computer scientist facing automation. Dockers all over the world are on strike, and with just-in-time, interconnected supply chains, their bargaining power is huge. They’ve read Acemoglu, and it shows
2
4
35
994
Politico is run by the idiot Zionismus-über-alles Döpfner, a Peter Thiel cuck. What else did you expect?!
Horrific, failed Iran War endorsed in Politico. No mention of Minab. No mention of U.S. casualties. Both dismissed as “rage.” Just “war is best, actually” talking points. To add to the author’s unproven what ifs with a proven one - “what if” more Iranian children are killed?
1
120
Max 20X becomes 10X so it has to be renamed to Ultra. And you pay the same for half the tokens limit. Shrinkification before enshitification?
We’re renaming our Max plans: Max 5x → Max Max 20x → Ultra Max is still $100/month, and Ultra is still $200. If you’re a subscriber, there’s nothing you need to do. We’re also removing the 5-hour limit for verified Ultra accounts, starting today with most existing subscribers. Newer accounts keep a temporary limit until they’re verified, which helps us prevent fraud and abuse. You'll get an email when it's removed. Weekly limits remain unchanged. View our plans here: claude.com/pricing
1
5
291
That priceless reaction from Zare after demolishing his American opponent Wyatt Hendrickson 10-0 to storm into the freestyle wrestling final at the World Championships in Astana! What a champ! Gold awaits tomorrow.
28
16
8
442
42,700
High yield spreads going exponential. Fairly reliable financial crisis indicator. 🫧💥
High yield credit spreads are skyrocketing. The ICE BofA CCC- bond yield index is at 6 year highs. Historically, high yield corporate spreads were able to identify impending economic problems before equity markets could. Probably nothing...
2
25
182
4,824
lol they copied shahed, named it lucas. now they copy lego memes too copying is lame, especially for memes.
They're actually copying Iran's Lego videos. Remarkable what Iran has managed to do against the global superpower: destroying US bases, downing scores of aircraft & now even seeing the US imitate its propaganda. Whatever else, the era of uncontested American dominance is over.
1
84
everything in a sense started with gamers, the GPUs. today is the games tomorrow is everything else. exploit claude to build your local harness while you can and then throw claude out to the curb when the times come.
Looks like it they are cracking down on Claude Code videogame mashups. I've seen some amazing ones posted in group chats. The way this has progressed since September, it will soon be as easy as mixing together two colors of paint.
There's a new version of this post
22
After $INTC yesterday, today now $AMD, $MU, and $HYNX double digit in the red.
BREAKING: Almost $1 TRILLION has been wipedout from US stock market at open as S&P 500 dumps 1.11%.
1
3
217
This is a universal pattern. People will ask almost everyone for an answer except the person likely to know. Some of them have begun to turn to AI. Now they won't even ask the AI. People massively overestimate basic curiosity. That's why "everyone will learn from AI" is bunk.
My friend made a really impressive app. It's live and has users. He has no idea where it's hosted.
8
20
3
298
13,844
Trump (2016): No more forever wars in the mid east. Trump (2024): I'll end all wars in 24 hrs if elected. Now, Vance (2026): This war won't be a forever war. lol
3
169
with the current rate of loss of control soon we will not even know that "nothing works". what the hell is water?!
This is the story of our entire economy now. Everything is automated and nothing works.
3
161
Immemorial retweeted
If you work at JSOC or the CIA, take a good look at these fishermen you tried to kill. Why did you try to kill them? Is it because you are stupid, bad people who lack decency and morals? Yes, definitely. But also because your intel is dogshit and AI is just making it worse.
Los tripulantes de la última embarcación interceptada por EE. UU. "don Ruffo" con la anuencia de Ecuador, han sido declarados inocentes, al igual que los tripulantes de las demás embarcaciones sometidos a procesos penales. Esto evidencia las mentiras de Reimberg y Loffredo: nunca hubo informes de inteligencia que sustentaran sus acusaciones. Los pescadores de Manta fueron víctimas de graves violaciones de DD. HH. que podrían constituir crímenes de lesa humanidad. Gran defensa del Abg. Juan Alvea de Manta
22
618
7
2,896
34,797
Will North Korea join too?
42
Replying to @tekbog
we are building a world of infinite abundance where anyone can get anything they want. except for RAM, we will own all of it
1
1
6
140
Total hacked is around $3.5B now across multiple chains…
Yet unconfirmed, but possibly there is a massive binance hack happening right now. It looks like a @binance wallet has been drained into new address. Contract call was funded by Tornado Cash. TX hash: 0x53bd38b816c23e74134786c29a8c18d792777998a3b9326047b583100e88e2f3
42
171
65
987
237,987
Did he also start the war in Iran because Grok told him that Bibi is right that Khamenei is unpopular, people will rise up and the regime will fall after 4 days?!
The ranking members of the House Judiciary and Oversight Committees have written a letter to President Trump asking whether he has been soliciting advice from Grok in order to help carry out his official duties as President of the United States. They also demanded that he preserve any prompts sent to Grok, ChatGPT, Claude, Gemini, and Perplexity, as well as outputs in response to those prompts, that were 'submitted to AI chatbots in carrying out your constitutional, statutory, or other official or ceremonial duties.' The letter was provided by Politico.
1
4
203
State capture.
“This spring, the U.S. military faced a similar dilemma in the Middle East. According to a Reuters report that cited Pentagon documents, U.S. forces used Starshield to pilot their drones for strikes against Iran. When SpaceX found out, it raised the price for Starshield service in that region from roughly $5,000 per terminal per month to $25,000. The Pentagon agreed to pay. In Ukraine, Musk could be attempting a similar upsell.” theatlantic.com/national-sec…
3
144
This is not good.
Trump is reportedly planning to restart war with Iran after the election. Some of us have been briefed on the war plan. And while I cannot disclose any details, I can say this: the plan is insane. It will not achieve objectives and will set off a new cycle of escalation.
3
104
They tried to honey pot Jensen to get him to send more gpu to China.
79