Lightnews — Scholar-powered news

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

@timhenke.bsky.social

1.9K followers 1.2K following 18K 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

Posts Media Videos Starter Packs

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 31m

toilet seat fell apart during usage and then a crucial part dropped in while flushing ;___;

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 40m

Do they?

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 1h

Will Kinney, perhaps?

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 1h

No, I don't think so

1 1

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 1h

I'm not as negative on AI as some of you on here–I believe that it has potential benefits, perhaps–but it's wild how much people are willing to sacrifice without having seen any of them

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 1h

So many are like "I know it means we have to give up many load-bearing aspects of various facets of society, but it will be worth it for the huge societal benefits it's bestowing upon us" and it feels like they're living in an alternate reality where AI has actually demonstrated societal benefit

The Verge @theverge.com · May 26

Nick Clegg says asking artists for use permission would ‘kill’ the AI industry

Paul McCartne, Elton John and others signed an open letter.

buff.ly

1 3

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 1h

How would you feel about a paper with a first section "A naive proof that does not work"? As a set-up for the later, better proof so you can appreciate the subtleties?

5 10

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 2h

— Romeo, Act 5, just as Juliet wakes up

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 2h

I think my money is on the bottom one. That's the most ridiculous

1 1

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 2h

which of the three is the funniest, though?

onion person @junlper.beer · 3h

i’ll never get over this

1 3

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 2h

Delightful!

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 3h

My take is that once we get LLMs to use Lean, they can be trained as chess computers and become superhumanly good at proving lemmata and small theorems just like in chess

But proving (esp. small) things is just a tool in mathematics, it's not actually the point

1 1

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 3h

I am! Two of your tweets about the Hodge conjecture slop papers and your take about "what's the point of AI proofs nobody understands" is discussed

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 3h

with multiple appearances by @littmath.bsky.social

2 5

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 3h

bad news gang :(

screenshot of Sabine Hossenfelder thumbnail for the video "mathematicians in denial about AI replacing them"

The thumbnail features an AI-generated image of a robot in front of a black board and Sabine looking shocked. Overlayed is the text "AI comes for Math"

3 11

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 3h

ahhh, I see!

So if they need to shift the stress, they'll use either ê or é depending on which of the two sounds they need

If the syllable is unstressed then you just have to figure it out from context? Is that right?

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 3h

My favourite moment:

bsky.app/profile/timh...

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 1d

immediately after:

"They're exploiting an extraordinary amount of labour, they're extracting an extraordinary amount of resources[,] hoovering up [wh]at they need to create [value] [for themselves] and not actually giving that value back[.]"

Interviewer: "You also write about the dark side of AI."

1 5

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 4h

Oh that's so interesting, thanks! It was my suspicion that the stress is by default on the penultimate syllable, is that correct?

Is the ^ the standard diacritic for indicating stress? Does é do that as well? Is there a particular difference between the two?

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 4h

Anytime! I love to share things I've been learning about language (or in general) :D

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 4h

That would make sense, but no: e.g. Plêiades

I'm told the ê makes the vowel slightly more closed but to be honest I suspect a lot of times the pronunciation has changed since the spelling was fixed

For example Pl/êi/ades and r/ei/ are pronunced identically but one has ê and one doesn't

2 1

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 5h

No, in Brazilian tem and têm are homophones, both /tɐ̃j̃/

Presumably the Latin word "tenent" (they hold, cf. Italian tengono) underwent the same corruption in both -en- groups, becoming /ɐ̃j̃/, a very consistent development in Portuguese

The spelling ê I have to imagine is a desperate Hail Mary

1 1

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

SMBC Comics @smbccomics.bsky.social · 1d

This will be funny until approximately summer of 2027.

COMIC ◆ www.smbc-comics.com/comic/beyond
PATREON ◆ www.patreon.com/c/ZachWeiner...
STORE ◆ smbc-store.myshopify.com

1-panel SMBC comic update where two people are walking down a purple street. One of them narrates his perceived timeline of social media - first they were build for human connection, then human performance, and now with AI, just for performance. He doesn't understand how this could go this way. The caption reads : Later, it turns out God Is Dead.

4 17 100

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 5h

Wat grappig, die associatie had ik totaal niet met Zuid-Hollands

🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 5h

I suspect you're overestimating Loomer's standards

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

moby spookgirl 🎃🏳️‍⚧️ @eigenvectrix.myatproto.social · 7h

Tweets from 1787:

Heather Cherone @heathercherone.bsky.social · 7h

Hamilton: “The president’s power is unreviewable.”

2 21