🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 37sso 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 · 1m2! 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 · 3mI 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 · 6mI bet Snowden is at least a little pissed at this stolen valour 000
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 6mI remember back when it used to *mean* something to be an "enemy of the state" 110
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 11mI 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/2025It'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 · 4hthey are shameless liars, which is sorta part of the problem 020
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 4hThe 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
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 8hthis 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 · 9hgoing 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 · 12hIt 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.08144arxiv.orgNavier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofsAutoformalisation 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/2026Okay 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 · 22hnobody 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/2026It'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 634758
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 23hMikhail "Misha" Verbitsky, famous Russian mathematician en.wikipedia.org/wiki/Misha_V...en.wikipedia.orgMisha Verbitsky - Wikipedia 120
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 23hSorry, 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 151
Reposted by 🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə)Evan Washington @eewash.bsky.social · 07/10/2026the 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/2026Some 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/2026Got it from the GC, not sure what the origin is 120
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 07/10/2026In case anyone was wondering if the "mathematics advisory group" was doing anything beyond pissing in the wind 2236
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 07/10/2026Don'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 · 06/10/2026From 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/2026In 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/2026Lady 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/2025Cancer 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/2026It 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/2026one 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/2026Stories starting with "ruler is consumed by fear that…" always turn out well 030
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026The quacks who have assistant roles in healthcare always fascinated me 100
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026Hardly 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/2026Possibly 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/2026She'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/2026Literally inconceivable to imagine any other politician say any of this 010
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026Die Dolchstöße werden weitergehen bis sich die Moral verbessert 010
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 06/10/2026This 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/2026Many 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
Reposted by 🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə)Barbara Fantechi @barbarafantechi.bsky.social · 05/10/2026The 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/2026have you noticed China is always doing stuff? 010
Reposted by 🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə)Rick Burin @rickburin.bsky.social · 06/10/2026I want to hear more about the second of these writing sessions 491507277