Sign in

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə)

@timhenke.bsky.social
2.5K followers 1.4K following 25K posts

🇳🇱 Postdoc in Quantisation of moduli spaces, QFT, TQFT & CFT, Algebraic Geometry, Differential Geometry, moduli geometry – Masters in: Maths/Physics/Logic – Help me learn 🇵🇹🇩🇰🇮🇹🇩🇪🇫🇷 by talking to me! (he/him) Forse tu non pensavi ch'io löico fossi

PostsRepliesMedia
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 37s
so where does the tactic come from? This is very strange behaviour even from far-right populists
000
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 1m
2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2! 2!
000
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 3m
I continue to be quite confused at the focus on Somali and Haitian immigrants because I never had the sense that these were particularly large immigrant demographics tbqh
100
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 6m
I bet Snowden is at least a little pissed at this stolen valour
000
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 6m
I remember back when it used to *mean* something to be an "enemy of the state"
110
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 11m
I hesitate to ask but what do you mean there is no good coffee place in the entire town? What - pardon my french - hell hole doesn't have at least a couple of good coffee shops?
000
Reposted by 🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə)
Better Things Are Possible @internethippo.bsky.social · 19/11/2025
It's not a foolproof plan but every political debate from now on should be a Normal Guy competition. Ask them to describe grocery shopping in detail. Talk about what it's like to have a friend
121107742039
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 4h
they are shameless liars, which is sorta part of the problem
020
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 4h
The advisory council did in fact advise this, but it didn't make a damned bit of difference because OpenAI doesn't give two shiny shits about being helpful bsky.app/profile/timh...
120
Reposted by 🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə)
Colin @colin-fraser.net · 8h
It’s roasting time
812810
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 4h
I've been insulted before, but
[censored] has added you to the "discourse" moderation list
040
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 8h
this guy is always talking about how he doesn't know words But also: his wife calls him Sir?
030
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 9h
going outside w/o jacket in oct and still sweating. Mediterranean is wild
010
Reposted by 🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə)
John C. Baez @johncarlosbaez.bsky.social · 12h
It turns out that Open-AI's natural language proof of Navier-Stokes has mistakes that aren't in the Lean formalization: arxiv.org/abs/2610.08144
arxiv.org
Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this pro...
2144
Reposted by 🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə)
Mezentine @mezentine.bsky.social · 07/10/2026
Okay so Male Fantasies is a 1977 book written by Klaus Theweleit, a sociologist who grew up in post-war Germany grappling with the male culture of his parents and grandparents, essentially, and how it led to the Freikorps and eventually the Nazis.
422064
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 22h
nobody seems to have! Which is really quite surprising to me
020
Reposted by 🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə)
SMBC Comics @smbccomics.bsky.social · 07/10/2026
It's not a topical comic in that I suspect I'll be posting it every few years for a long time. COMIC ◆ www.smbc-comics.com/comic/woops PATREON ◆ www.patreon.com/ZachWeinersm... STORE ◆ smbc-store.myshopify.com
3-panel SMBC comic update. A man is checking news headlines on his phone, with the first stating "president raises tariffs; deports workers; starts war." The man says "woops," still looking down at his phone. The final panel shows a scene from earlier, where the man is wishing on a monkey's paw: "Monkey's Paw, I wish people cared about basic economics." One of the fingers on the paw curls ominously.
634758
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 23h
Mikhail "Misha" Verbitsky, famous Russian mathematician en.wikipedia.org/wiki/Misha_V...
en.wikipedia.org
Misha Verbitsky - Wikipedia
120
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 23h
💛
010
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 23h
Sorry, but has anyone heard about Verbitsky getting fired from IMPA on August 26th over his blog posts? I'm pretty surprised at how much this flew under the radar, especially given how much publicity his arrest garnered only a few months before
Letter

Rio de Janeio. August 26.2026.
To
Mikhaa Verbitskiy
Having IMPA recently become awcre
Of posts authored by you.
accessble
unacceptable content øven the
position you hold, with potentid
darnaging consequences including to
IMPRS own reputation, thereby
resdting in the loss of the minirnurn trust
requied for the employrnent
relationship, this notice serves to
the termnation of your
employment contract for cause.
pi-rsuant to Article 482. subparagraph
"b" of the of Labor Laws
(CLT). effective as of today's date.

Signed
Marcelo Viana
Director General
26/08/2026blogpost

September 5th, 2026
02:22 am
[Link]

IMPA everything
Well, ok, since everyone has already written,
I will just send the information, without any ratings
(like, friends asked not to report anything from themselves yet)

I was kicked out of work for bad posts in the blog,
some well-wisher collected 46 posts starting from the 2000s, provided
them with explanations, author's translation and automatic translation into
English and Portuguese, and hello. I did not see the letter itself, I
do not know who the author is.

Also
https://posic.livejournal.com/3803494.html
https://zona.media/news/2026/09/04/tiphareth
https://sotaproject.com/news/118194
https://x.com/sotanews/status/2095590355949265392
https://t.me/svtvnews/94281
https://portmedia.info/news/matematika-mihaila-verbiczkogo-uvolili
https://x.com/mironov_fm/status/2095239 457326669999

I will not discuss this for a while,
again, my friends asked. I'll write later.

Hello
Current Mood:  sick
Current Music: Solaris - ARCHIV 1 BACK TO THE ROOTS
151
Reposted by 🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə)
Evan Washington @eewash.bsky.social · 07/10/2026
the end of a disney channel original movie about a teen who runs away to join the circus:
0162
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 07/10/2026
Some part of me is genuinely curious what cursed tyranny they're gonna cook up here
030
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 07/10/2026
When I'm in a toothless competition
020
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 07/10/2026
Probably a mix
030
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 07/10/2026
Got it from the GC, not sure what the origin is
120
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 07/10/2026
In case anyone was wondering if the "mathematics advisory group" was doing anything beyond pissing in the wind
Infographic detailing how openai actively ignored every single item advised by the group of mathematicians installed to advise them
2236
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 07/10/2026
Don't really envy LEGO, whose children's toy became the central communicative medium for far-right terrorist governments They could stand to grow a spine and take these things down, though
030
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 07/10/2026
what happened in the mid-60s?
graph saying

US death penalty has shrinking majority support

it shows that there was a brief moment in the mid-60s where people were slightly against the death penalty, before a rapid surge in support peaking in the 90s, after which the support is waning again
260
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026
The masses yearn for a gap
030
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026
From the people who brought you "use AI to parent your snotnose kid you hate" and "use AI to deal with your bitch wife you hate", the new revolutionary AI use case: "use AI to socialise with your shitty friends you hate"
072
Reposted by 🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə)
NY Times Pitchbot @nytpitchbot.bsky.social · 06/10/2026
In calling on Teheran to wipe out Los Angeles and San Diego, Trump challenged long-standing norms of presidential comportment.
291069145
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026
Lady next to me is watching a documentary interviewing AI CEOs but shaking her head the whole time so everyone else on the bus knows she disapproves
150
Reposted by 🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə)
Iain Bancarz 🇨🇦 @iainrb.bsky.social · 17/11/2025
Cancer researcher here. I am very, very tired of "this machine will cure cancer" claims. It's used as a way to shut down discussion, because who doesn't want to cure cancer? But they can't deliver a cure for cancer. They might as well be promising a magical genie to grant your wishes.
0103
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026
It hit me that the main incentive the AI CEOs have for curing cancer is that then they finally have a good riposte for people hating on them forcing garbage AI features into everything
2110
Reposted by 🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə)
mtsw @mtsw.bsky.social · 06/10/2026
one of the ways the media shows which side they prefer, is which politicians they quote uncharitably out-of-context and which they clean up for even when what they actually say and do is offensive (the Biden story ran on the front page less than a week before the 24 election)
412716721
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026
Haha
000
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026
Stories starting with "ruler is consumed by fear that…" always turn out well
030
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026
That's always a good sign
130
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026
The quacks who have assistant roles in healthcare always fascinated me
100
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026
Hardly a conundrum. Any deviation from the norm will be punished, especially when those deviations make them question the hard dividing line between "Us" and "Them"
000
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026
Possibly relevant to note the past tense in any employment activity Nebulous "fully qualified healthcare professional" may or may not be obscuring some light termination
140
Reposted by 🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə)
Viktor Winetrout @viktorwinetrout.bsky.social · 06/10/2026
She's a 10 but she lures sailors to their death with her enchanted song
17508110
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026
Literally inconceivable to imagine any other politician say any of this
010
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026
Die Dolchstöße werden weitergehen bis sich die Moral verbessert
010
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026
This is not funny. NYT writers only say they don't understand what Trump meant when they can't sanewash his deplorable statements
080
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026
Many have noted Trump's curious tendency to choose "two weeks" for every timeframe he's asked about I happen to personally know a narcissist who likewise always defaulted to "two weeks" for every timeframe Is this a broader narcissistic pattern or just a coincidence?
150
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026
graph meme

Title: climate change: a timeline

First: "climate change isn't real"

Then, edited: "I'm gonna be a farmer"

Then: "oops"

Then, with "fuck" crossed out, it says: "I hope the weather returns to normal again"
1142
Reposted by 🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə)
Barbara Fantechi @barbarafantechi.bsky.social · 05/10/2026
The paper we just finished started from an idea ~1 year ago. "USING AI, you can go from idea to paper much faster" I'm told. In that year a lot else happened, professionally and privately. But still we found some time to work on the paper. #MathSky
1407
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026
have you noticed China is always doing stuff?
010
Reposted by 🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə)
Rick Burin @rickburin.bsky.social · 06/10/2026
I want to hear more about the second of these writing sessions
Jeffrey Archer, former
Conservative politician and novelist, dies aged 86
Publisher says author died peacefully at home
'between writing sessions'
491507277