iiinova — where your digital self keeps evolving

Luca 🤓 @lucadistefano.eu · 2h

As mandated by BSky‘s user agreement, I hereby notify the Atmosphere that I’ve started this

000

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

Pictures from #floc2026 just got released and

Picture of myself at the Federated Logic Conference social dinner, Juky 2026

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/07/2026

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

031

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

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

What are your all time favorite textbooks? Here are a few of mine.

Cover of the Handbook of Model Checking, a textbook.

Cover of Proof and Types, a textbook on the Curry-Howard Correspondence.

Cover of Problems in Mathematical Analysis, a book of calculus exercises by B. Demidovich.

040

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

A fresh security threat proudly brought to you (as in, made scalable) by code agents. Bot creates a repository & opens a discussion masquerading as a CVE report. Tagged users receive an email from a legit #Github domain, but ofc the link within is malicious. Just amazing 😒

011

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

When the For You feed is down

000

Luca 🤓 @lucadistefano.eu · 12/12/2025

Cheers to one year of academic coding shenanigans 🐍🐍🐍 #compsci #compsky

Screenshot from git-wrapped dot com, showing Github stats from 2025.
Universal rank: top 5% Longest streak: 8 days Total commits: 555 Total Stars: 31 Top language: Python

020

Luca 🤓 @lucadistefano.eu · 03/12/2025

My most-used emojis in 2025. Guess I’m a bit emotional 🥹 anisota.net/harvest

020

Luca 🤓 @lucadistefano.eu · 01/12/2025

I’ve got a shiny Computer Science label from @stemlabels.xyz 🏷️ they have plenty of categories to choose from and I highly recommend you apply for yours! Let’s make #AcademicSky easier to discover and navigate 🤩 #compsci #compsky #academicchatter #signalboost

020

Luca 🤓 @lucadistefano.eu · 04/02/2025

I mean... When you phrase it like that, shouldn't everyone check the "Sub-Saharian Africa" box? 🤔

000

Luca 🤓 @lucadistefano.eu · 09/12/2024

Giving the presentation I wish I’d attended when I was an undergrad ✨ Many thanks to Vincenzo Arceri (@ arcerivincenzo on the other site) and Uni of Parma for hosting me!

110

Luca 🤓 @lucadistefano.eu · 04/11/2024

mrw airport security confiscate my 7cm nail file (the limit is 6)

000

Luca 🤓 @lucadistefano.eu · 15/10/2024

Helping finish a work on C code quality in the large, the fellows have scraped something like 2B lines of code off GitHub, stuff ranging from embedded OSs to compilers to drivers... And of course I've already found like 8 copies of #DOOM

000

Luca 🤓 @lucadistefano.eu · 06/07/2024

The #CORE conference ranking portal has been down for a few days by now. It will come back up but meanwhile let this old man dream

000

Luca 🤓 @lucadistefano.eu · 06/07/2024

Attending an interesting workshop on asynchronous hyperproperties :) #tuwien

000

Luca 🤓 @lucadistefano.eu · 23/06/2024

Ok l should just have called it “Last CfP” good to know

000

Luca 🤓 @lucadistefano.eu · 28/09/2023

When Scopus finally indexes your paper

000

Luca 🤓 @lucadistefano.eu · 28/08/2023

I will never mentally recover from this #DunePartTwo

000

Luca 🤓 @lucadistefano.eu · 15/06/2023

Comunque le tre regole di Sara sono praticamente le cose che ti insegnano (o dovrebbero insegnarti) nello Scoutismo, ma non siete pronti per questa conversazione #qmnmrc #QuestoMondoNonMiRenderaCattivo #zerocalcare