iiinova — where your digital self keeps evolving

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

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

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 · 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 · 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, 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 · 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 · 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 · 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 · 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

Heartbreaking. During my stint at GU/Chalmers (2020-22) I met brilliant folks from all over the world and it led to some of my best research + life in general. Yet I have a hard time recommending Sweden to anyone w/o an 🇪🇺 passport. (And I heard horror stories already back then)

140

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

Well glad to see that... someone... out there came to very similar conclusions 😅 cacm.acm.org/opinion/the-...

cacm.acm.org

The Sweeter Lesson – Communications of the ACM

000

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

This reminds me that my boss has set up a Web page with ALL the deadlines. If you’re not the anxious type you might like it! www.trustcps.eu/cs_conferenc...

trustcps.eu

TrustCPS Group — TU Wien

Trustworthy Cyber-Physical Systems (TrustCPS) at TU Wien — formal methods and AI for safe, secure, sustainable CPS.

020

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

The village chief in a future Nolan adaptation of Asterix: “our La Tène culture is collapsing”

000

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

Got asked to review for a Q2 journal. Review due in 18 days. Easiest decision of my life 🤷‍♂️

000

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

@mayor.nyc.gov keep your hands OFF the retired diplomat living in Paris omg!!!! 😾😾

000

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

Heatwave tip 7: shut off A/C in your staffers’ offices so the higher-ups can keep doing their Very Important Stuff unaffected 😀 www.politico.eu/article/eu-c...

politico.eu

EU Commission HQ forced to shut down air-conditioning amid heatwave

As Brussels bakes, the Berlaymont building’s AC stops working.

010

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

Tbh a clanker recently wrote for me a parser that handled function arguments by doing setattr(myFunctionCall, f”arg{n}”, arg) and I am pretty sure that is not good code

010

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

What a thrill 😃 Check out our latest reactive synthesis paper! link.springer.com/chapter/10.1... #CAV2026 @floc2026.bsky.social

021

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

Follow up: the angle “Odysseus was in a fugue state for 10 years, crashed the Bronze age, made his whole journey up to partly justify him leading all his men to die, & only made it after psychoanalysis with Calypso” is unhinged yet compelling

000

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

Heading to Lisbon for CAV @floc2026.bsky.social ! Can’t wait

030

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

ODYSSEY takes 🧿 * Wanted to hate it but couldn't * A lot of the "woke" stuff has been discussed since antiquity * The good thing about classics is that you can cut out 80% of them and whatever remains is still PLENTY * Dialogue is still his weakest spot 🥲 * Go watch it on the biggest screen you can

010

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

"most of the things we do online, even the public stuff, are not intended to be "manifestly public" in the way that the public broadcast protocol is." This nicely sums up my thoughts. I am not putting actual private stuff on my PDS anytime soon, but I wouldn't mind a bit of access control 😅

050

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

If our LLM wrecking crew at TUW manages to run this locally I’ll be one happy critter omg

010

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

An overlooked security feature of Matrix: you can use Element's unread messages badges as a cryptographically secure PRNG

000

Luca 🤓 @lucadistefano.eu · 11/07/2026

We should all agree that solving this is a top priority for atproto. It's great that I control my PDS, but if I can't control who can access it and how it's like owning a house without locks 😕

Picture of an elephant in a room, with the caption "Address me". The caption is set in the Papyrus font.

2200

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

@stemlabels.xyz is there any way to get labelled again? i used to have the Computer Science label but apparently not anymore 😔

000

Reposted by Luca 🤓

Eurosky Social @eurosky.social · 07/07/2026

A message to all Eurosky members and friends We need your help - can you support Eurosky with a monthly or one-off donation? If you can, please visit whydonate.com/fundraising/...

Screenshort of a letter (al text continued in thread)

Title: A message to all Eurosky members and friends

We need your help - can you support Eurosky with a monthly or one-off donation?

We are building Eurosky on the principle that it is possible to build better social tech that also prioritize people’s interests over corporate greed. Since the beginning of the year we’ve taken big steps towards our mission of building independent infrastructure and experience for social media in Europe.

In April we launched a fundraiser to help accelerate our roadmap, in particular:

- Building a European microblogging app backend, to support European apps
- Growing our PDS capacity
- Supporting up to 100k users

Since then, we have raised nearly €15,000 Euros that have directly contributed to:

- Upgrading our PDS servers, which are now used by more than 22,000 people, up from around 10,000 when we launched the fundraiser - with plenty of room to grow.
- Deploying a high availability Eurosky relay in Europe serving Atmosphere apps, so apps can access Atmosphere data easily from a European source.
- Deploying a PLC mirror in Europe serving Atmosphere apps, to ensure that people’s identities also have a European server.
- Kicked off building the microblogging backend (“app view”) with a deployment planned for the end of July.
- Developed and launched mu, our microblogging application with wildly cool features, hitting 100k active users in its first month, to rave reviews.

Whilst all of this costs more than the 15k we raised, it would not have been possible without it.

23215131

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

This is not surprising. Everyone is under intense pressure to publish "AI" papers, no matter their background.

000

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

My crackpot theory is that Zenodo's upload is deliberately slow so that you fill in the metadata out of boredom

021

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

I love cinema. I have access to, like, 5 different platforms. Yet, a few months ago I wanted to watch Wild at Heart and had no legal options. This is a film that WON CANNES, by one of the most universally acclaimed and beloved directors of all times! Make it make sense!

130

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

Errr my For You feed is thrashing quite a bit these last 24 hours, now it settled for Japanese BSky??

110

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

4th of July! Couldn't think of a better date to move my PDS to @eurosky.social 🇪🇺

1282

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

This is discrimination against the branch that uses bools. May Armin Biere forgive you

110

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

Days since I had to ask Anna for some foundational text in computer science that has utterly disappeared from the face of the Earth: 0️⃣

010

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

I am not 100% against services backed by identity verification. But in the EU this is a solved problem: we have eIDAS (for better or worse). If you ask me to upload a scan of my passport I’m going to laugh at you #wsocial

000

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

Wow bsky is also a weather app now 🌞

Screenshot of trending topics on Bluesky, with “weather solstice - hot” in the top spot

010