🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə)
@timhenke.bsky.social
🇳🇱 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
Forse tu non pensavi ch'io löico fossi
Centrists are inventing Nazism from first principles
November 20, 2025 at 6:52 PM
Centrists are inventing Nazism from first principles
(a) incredibly funny eyebrow game over here
(b) "This guy went offline to protect himself from brain worms and is now speaking unintelligible gibberish" is a glorious sentence lol no introspection whatsoever haha
(b) "This guy went offline to protect himself from brain worms and is now speaking unintelligible gibberish" is a glorious sentence lol no introspection whatsoever haha
November 20, 2025 at 3:59 PM
(a) incredibly funny eyebrow game over here
(b) "This guy went offline to protect himself from brain worms and is now speaking unintelligible gibberish" is a glorious sentence lol no introspection whatsoever haha
(b) "This guy went offline to protect himself from brain worms and is now speaking unintelligible gibberish" is a glorious sentence lol no introspection whatsoever haha
deranged crank comment with hilarious establishmentary doublethink but I confess the linguist in me is mostly interested in "compartmalised"
November 20, 2025 at 3:46 PM
deranged crank comment with hilarious establishmentary doublethink but I confess the linguist in me is mostly interested in "compartmalised"
Have you ever wondered why emulating a farting sound is called "blowing raspberries"?
Raspberry/-ies is a clipping of "raspberry tart" which was originally Cockney rhyming slang for "fart"
Raspberry/-ies is a clipping of "raspberry tart" which was originally Cockney rhyming slang for "fart"
November 19, 2025 at 5:10 PM
Have you ever wondered why emulating a farting sound is called "blowing raspberries"?
Raspberry/-ies is a clipping of "raspberry tart" which was originally Cockney rhyming slang for "fart"
Raspberry/-ies is a clipping of "raspberry tart" which was originally Cockney rhyming slang for "fart"
She appears to be moving into explicit political commentary?
Just the standard libertarian schtick: "all regulations are bad 😡 the welfare state is holding back progress"
Just the standard libertarian schtick: "all regulations are bad 😡 the welfare state is holding back progress"
November 19, 2025 at 9:37 AM
She appears to be moving into explicit political commentary?
Just the standard libertarian schtick: "all regulations are bad 😡 the welfare state is holding back progress"
Just the standard libertarian schtick: "all regulations are bad 😡 the welfare state is holding back progress"
well, well, well
Look who suddenly comes to believe that those "alarmists" may have been on to something
Look who suddenly comes to believe that those "alarmists" may have been on to something
November 19, 2025 at 9:26 AM
well, well, well
Look who suddenly comes to believe that those "alarmists" may have been on to something
Look who suddenly comes to believe that those "alarmists" may have been on to something
absolutely unhinged monologue. I cannot possibly think what the most fucked up part is
"I cant believe these youngsters aren't listening to my justifications just bc they saw the carnage"
"stupidly, holocaust education made kids think holocausts are bad"
I did not know this mentality was possible
"I cant believe these youngsters aren't listening to my justifications just bc they saw the carnage"
"stupidly, holocaust education made kids think holocausts are bad"
I did not know this mentality was possible
November 19, 2025 at 9:18 AM
absolutely unhinged monologue. I cannot possibly think what the most fucked up part is
"I cant believe these youngsters aren't listening to my justifications just bc they saw the carnage"
"stupidly, holocaust education made kids think holocausts are bad"
I did not know this mentality was possible
"I cant believe these youngsters aren't listening to my justifications just bc they saw the carnage"
"stupidly, holocaust education made kids think holocausts are bad"
I did not know this mentality was possible
"the Left believes in doing all these horrible things"
"Really? I don't remember that"
"Oh yes, of course they don't talk about that on the Left"
???
"Really? I don't remember that"
"Oh yes, of course they don't talk about that on the Left"
???
![Tweet sharing a video clip
Bill Maher: “[The left] started to teach that every baby is, I don’t know, [let’s not even put the gender on the] birth certificate.”
Patton Oswalt: “Were we teaching that?”
Bill Maher: “Yes we were. Teach it—it was a law here in California.”
Patton Oswalt: “Teaching what?”
Bill Maher: “Don’t put s*x on the birth certificate. We’ll see.”
Patton Oswalt: “I’m sorry, I don’t remember that.”
Bill Maher: “I know, because it doesn’t get in the BlueSky bubble.”
BOOM!](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ldv7gbrnwo3n7y5pwdmbrw6v/bafkreiczcbb6ws2pubtnzw2izkdn2yfjsquxvdz27mc7wq2p7pjworohde@jpeg)
November 18, 2025 at 11:14 PM
"the Left believes in doing all these horrible things"
"Really? I don't remember that"
"Oh yes, of course they don't talk about that on the Left"
???
"Really? I don't remember that"
"Oh yes, of course they don't talk about that on the Left"
???
@radishharmers.bsky.social is doing the Lord's work 🙏
![S: If we define a proposition S as "Ken Klippenstein will never assert S", then you, Ken Klippenstein, cannot correctly assert S. Someone else can correctly assert S but you cannot. Does this amount to a blocker for the ability of Ken Klippenstein to be conscious? Of course not.
K: Isn’t it “no sufficiently complex formalizable statement will ever asset S” — which means it’s outside the domain of logic. Which is what I take Seth to be saying about consciousness
S: No (as @davemotorcycle1 also notes), the statement used in Gödel's incompleteness theorem is always specific to a particular proof system.
For any proof system P, we can consider the specific statement S(P) = "P does not assert S(P)". It will follow that P cannot correctly assert S(P). We can do this for any sufficiently complex P, but the statement S(P) is different in each case.
The Gödel statement for any particular consistent formal proof system, while not provable in that system, is always provable in another consistent formal proof system
And we can consider S(Sridhar) or S(Ken) in just the same way as S(Peano Arithmetic) or S(ZFC) or whatever.
[People are less bothered by S(Sridhar) or S(Ken) because S(Sridhar) or S(Ken) are not statements in the language of arithmetic, as Sridhar and Ken are not themself defined arithmetically.
But that has no bearing on questions about consciousness. Consciousness is not specifically about making arithmetic assertions.]
K: that's the point in my view - consciousness will always outrun proof systems. i dont purport to know what it is, but it's clearly not (just) arethmetic assertions. which is what "AI" today is](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ldv7gbrnwo3n7y5pwdmbrw6v/bafkreia5ch65mdfi4kx2nqbpnerfkikt6bg5c5k7w56trh6nzr2wp4cneu@jpeg)
November 18, 2025 at 11:07 AM
@radishharmers.bsky.social is doing the Lord's work 🙏
The brave renegade truth teller: "the people must be made to believe obvious lies to pacify them"
November 17, 2025 at 10:52 AM
The brave renegade truth teller: "the people must be made to believe obvious lies to pacify them"
Little bit of a row in philosophy spaces. Not really any story except that continental philosophy professors are slightly embarrassingly easy to bait into crashing out over an edgy undergrad's blog post
Only thing I found interesting was this revelation, which sheds some light on the divide
Only thing I found interesting was this revelation, which sheds some light on the divide
November 15, 2025 at 8:49 AM
Little bit of a row in philosophy spaces. Not really any story except that continental philosophy professors are slightly embarrassingly easy to bait into crashing out over an edgy undergrad's blog post
Only thing I found interesting was this revelation, which sheds some light on the divide
Only thing I found interesting was this revelation, which sheds some light on the divide
why did far-right influencer and Trump enthusiast Benny Johnson like this lol
November 15, 2025 at 8:42 AM
why did far-right influencer and Trump enthusiast Benny Johnson like this lol
Kinda sucks that "paedophilic elites secretly topple democratic governments" appears to be pretty unambiguously true
Not entirely sure what conspiracy theorists find so comforting about this
Not entirely sure what conspiracy theorists find so comforting about this
November 15, 2025 at 8:34 AM
Kinda sucks that "paedophilic elites secretly topple democratic governments" appears to be pretty unambiguously true
Not entirely sure what conspiracy theorists find so comforting about this
Not entirely sure what conspiracy theorists find so comforting about this
What did he know?!
November 15, 2025 at 6:15 AM
What did he know?!
okay so we just need a detector the size of a gigaparsec 😅😭
November 14, 2025 at 6:48 PM
okay so we just need a detector the size of a gigaparsec 😅😭
Incredibly welcome menu at this reservation but I do feel like they could've had a more consistent type theory
Now it feels like I have an allergy allergy
Now it feels like I have an allergy allergy
November 14, 2025 at 12:47 PM
Incredibly welcome menu at this reservation but I do feel like they could've had a more consistent type theory
Now it feels like I have an allergy allergy
Now it feels like I have an allergy allergy
btw did we all catch this huge spike in searches for "ephebophilia" lol
November 14, 2025 at 2:56 AM
btw did we all catch this huge spike in searches for "ephebophilia" lol
under no circumstances do you "gotta hand it to" Nicholas P. Jacobson Eric Fuentes, but I can't deny that it's funny how little respect he has for his supporters
November 13, 2025 at 11:04 PM
under no circumstances do you "gotta hand it to" Nicholas P. Jacobson Eric Fuentes, but I can't deny that it's funny how little respect he has for his supporters
The Catechism of the Catholic Church (No. 2377) states that IVF is “morally unacceptable” because it separates the marriage act from procreation and establishes “the domination of technology” over human life.
www.usccb.org/sites/defaul...
www.usccb.org/sites/defaul...
November 13, 2025 at 10:53 PM
The Catechism of the Catholic Church (No. 2377) states that IVF is “morally unacceptable” because it separates the marriage act from procreation and establishes “the domination of technology” over human life.
www.usccb.org/sites/defaul...
www.usccb.org/sites/defaul...
Incredible things are happening lmao how is this real
November 13, 2025 at 8:59 PM
Incredible things are happening lmao how is this real
"Only racists are allowed to be angry about paedophiles" is a surprisingly succinct summary of conservative politics
November 13, 2025 at 5:53 PM
"Only racists are allowed to be angry about paedophiles" is a surprisingly succinct summary of conservative politics
ya boy sure seems to disagree with you
November 13, 2025 at 5:47 PM
ya boy sure seems to disagree with you
Trump is taking the Epstein news quite well
November 13, 2025 at 5:32 PM
Trump is taking the Epstein news quite well
Not the first time, either. Chris repeatedly ripped her new ones and she keeps coming back for more
November 13, 2025 at 5:26 PM
Not the first time, either. Chris repeatedly ripped her new ones and she keeps coming back for more