iiinova — where your digital self keeps evolving

I have heard at least a couple ideas in this space that could have been a 3-year grant and might be bitter-lessoned to oblivion in a matter of months. Fun!

000

Luca 🤓 @lucadistefano.eu · 05/10/2026

Aww shoot, Hinton is coming to Vienna but the lecture hall is fully booked already ☹️ sadtrombone dot wav

010

Luca 🤓 @lucadistefano.eu · 04/10/2026

“You’re absolutely right. I should have just asked you to open the French window. Hacking into your cleaning robot and using it to break through the glass was inexcusable — and I won’t hide behind your choice of words.”

090

Luca 🤓 @lucadistefano.eu · 04/10/2026

This bloke writes sanctioned Stranger Things slopfic and has the gall to criticise James Joyce, I wish I had half of that self-esteem

100

Luca 🤓 @lucadistefano.eu · 04/10/2026

Emily Wilson slams Nolan for portraying Odysseus as a guilt-ridden veteran. Wait till she hears of that bloke who turned him into a middle-aged meek-mannered Jew in Ireland

000

Luca 🤓 @lucadistefano.eu · 02/10/2026

"poetry in translation? that pales in effectiveness to my strategy, learning all languages" and then not learn all languages

000

Luca 🤓 @lucadistefano.eu · 02/10/2026

I mean you can ask the author. I won't post details here bc maybe they had good reasons to pull it from the Internet, but a) they can be easily found online and b) they are on BSky

040

Luca 🤓 @lucadistefano.eu · 01/10/2026

For Italian speakers, a podcast episode on a topic that’s very close to my heart. www.spreaker.com/episode/20-m...

spreaker.com

20 mesi di resistenza senz’armi - Storie Diplomatiche

000

Luca 🤓 @lucadistefano.eu · 26/09/2026

Technically this is claudecoreutils? Or is claude also replacing getdents? Just trying to gauge the exact level of psychosis 😂

010

Luca 🤓 @lucadistefano.eu · 26/09/2026

The Bermuda Triangle is alive and well in Vienna 🤭 (although technically not a triangle)

100

Luca 🤓 @lucadistefano.eu · 26/09/2026

Highly recommend punching those societies' names into the LinkedIn search bar lmao

010

Luca 🤓 @lucadistefano.eu · 24/09/2026

Don't forget "Are there no rhinos in the room? How DARE you ask me that. HOW the hell am I supposed to KNOW" (Wittgenstein)

050

Luca 🤓 @lucadistefano.eu · 24/09/2026

The publishing system isn’t built for it either, at least in computer science. Most top conferences are also “happily disciplinary”

110

Luca 🤓 @lucadistefano.eu · 23/09/2026

He probably thinks this song is about him

010

Luca 🤓 @lucadistefano.eu · 23/09/2026

In practice you can have the “verifier” return a token after an OAuth flow, it’s kind of like how PayPal lets you pay on a random website without disclosing your card info. Of course the verifier needs to “know you” but a bank most definitely already has to

100

Luca 🤓 @lucadistefano.eu · 23/09/2026

The company simply has to say “no” in these cases, it doesn’t have to reveal they have a card but they’re underage

100

Luca 🤓 @lucadistefano.eu · 23/09/2026

You can reveal “person x has a credit card” without revealing their purchase history, it’s basic information security. And fine, skip the debit card part in the US, who cares

100

Luca 🤓 @lucadistefano.eu · 23/09/2026

Well this has to be Royal Tenenbaums, One Two Three (or any classic Billy Wilder really), or Before Sunrise depending on how close is that someone

000

Luca 🤓 @lucadistefano.eu · 23/09/2026

How I would solve age verification (assuming we actually need it) -Yo, Apple/Google/PayPal/whatever -'Sup -Does this person have a bank account/debit/credit card to their name? -Yep looks like it -Fine then they're old enough. Bye -Cheers

400

Luca 🤓 @lucadistefano.eu · 17/09/2026

As a rule of thumb: Claude-isms are lame, DeepSeek-isms are based. "This is load-bearing" is meh; "This is the crux" feels like having a metaphysics debate with a Benedictine monk in a library out of The Name of the Rose

010

Luca 🤓 @lucadistefano.eu · 16/09/2026

There’s like a TON of horror stories about o4, its supercharged sycophancy, and the havoc it left in its wake

010

Luca 🤓 @lucadistefano.eu · 15/09/2026

Read this and for a sec I thought she was asking which local models run well on Android Chat am I cooked

020

Luca 🤓 @lucadistefano.eu · 10/09/2026

Hey that’s the Greater Revachol Industrial Harbour 😲

020

Luca 🤓 @lucadistefano.eu · 09/09/2026

Careful not to blow up in finite time

020

Luca 🤓 @lucadistefano.eu · 09/09/2026

Open problems session at #Highlights2026 goes brrrr

000

Luca 🤓 @lucadistefano.eu · 08/09/2026

This is immediately obvious to anyone who tries to machine-translate Facebook German

040

Luca 🤓 @lucadistefano.eu · 06/09/2026

Hark! Automata/Games/Logic-in-CompSci folks! See you in Vienna for #HIGHLIGHTS26 ? 👀 highlights-conference.org/2026/

highlights-conference.org

Highlights Conference 2026

000

Luca 🤓 @lucadistefano.eu · 04/09/2026

I wonder how hard it would be to give users a “Nerf this post” panic button that disables quotes/replies and (most importantly) tells algorithmic feeds to make the post _less_ discoverable. Maybe it would help?

010

Luca 🤓 @lucadistefano.eu · 04/09/2026

Every time this discourse comes up I can’t help thinking of Orson Welles and how he absolutely thrashed Elia Kazan for his support of McCarthy, while still singing his praises as a director

020

Luca 🤓 @lucadistefano.eu · 02/09/2026

Also know as the only thing Matlab got right lmao

000

Luca 🤓 @lucadistefano.eu · 02/09/2026

Also, on a stack where you can bring your own PDS, "number of accounts" is a pretty useless metrics. Eurosky offers both its own PDS and @mu.social & the latter has like 10x the users than the former 😅

261

Luca 🤓 @lucadistefano.eu · 01/09/2026

Tbh it’s called “AI Leadership Summit”… LLMs are here to stay but those who crack the next big thing will likely win big in the long term.

000

Luca 🤓 @lucadistefano.eu · 01/09/2026

The nothing-ever-happen’ers of biology

000

Luca 🤓 @lucadistefano.eu · 30/08/2026

I regretfully admit that my first impression of BookOrbit is Not Good

000

Luca 🤓 @lucadistefano.eu · 29/08/2026

Volume A vs Volume B is like the horoscope of computer scientists, except that it works

010

Luca 🤓 @lucadistefano.eu · 29/08/2026

Opinion: Who Should Decide if Postdoc Unions are Good or Bad? You Guessed It, It’s Postdocs ✨

030

Luca 🤓 @lucadistefano.eu · 27/08/2026

I just love student emails 😄 Mind you, I signed off with "Best, Luca"

Email that reads "Dear person that answered my email, thank you very much for the fast reply (reverse smile emoticon). Best regards, (name omitted)"

000

Luca 🤓 @lucadistefano.eu · 27/08/2026

Thankfully, in ~6-12 months (for a quite pessimistic prediction) mathematicians should be able to carry out most of their AI-assisted work on open models & this should become a less critical concern :)

010

Luca 🤓 @lucadistefano.eu · 26/08/2026

Basically, home assignments are no longer a reliable evaluation system. (Well they are now less reliable than they have ever been). This is a rather big deal in higher ed

020

Luca 🤓 @lucadistefano.eu · 25/08/2026

Just got it 2nd-hand for a bargain. Love it! Sadly it misses the base and came with a 3rd-party clamp, but I did want to clamp it to my sofa console so no harm done. And I'm no expert but some hints (+ some Google fu/AI ki do + all the scratches 😬) make me suspect it's from the 90s, just like me!

000

Luca 🤓 @lucadistefano.eu · 24/08/2026

That won’t do much IMHO, any LLM can write a Lean file that superficially resembles what’s in the submission.

030

Luca 🤓 @lucadistefano.eu · 23/08/2026

It’s great that these tools are available but yeah, the vibes are very “Dropbox is useless, just use FTP and curlftpfs” down there. (And I am/was on Mastodon)

010

Luca 🤓 @lucadistefano.eu · 22/08/2026

Let him cook, I agree he’s got some despicable vibes but he seems to be on a redemption arc of sorts now that he found a new gf

000

Luca 🤓 @lucadistefano.eu · 22/08/2026

BROKE: get rejected due to 1 “weak reject” out of 4 reviews WOKE: get accepted after major revision BESPOKE: get published at TOPLAS after 4 recommendations to reject across 2 rounds of review lawrencecpaulson.github.io/2026/08/21/L...

lawrencecpaulson.github.io

How I came to write THAT paper with Leslie Lamport

020

Luca 🤓 @lucadistefano.eu · 19/08/2026

This thing upsets me so much, I’ve messed up the dates 😭 my stint in Gothenburg was 2022-24 😅😅

000