Luca 🤓

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

A recap: TU Wien rector: “Here at TUW our motto, our belief, our mission is ‘Tech for people!’ and now let’s all welcome prof. Hinton 👏” GH: “Machines will enslave us and all we can do to avoid extinction is convince them they’re our own mothers” TUWR: “And another big clap for Hinton, everybody! 👏”

Here we go

I made it out of the waitlist and got a seat to the Gödel Lecture letsfngoooooo 🚀🚀🚀 #tuwien informatics.tuwien.ac.at/news/3166

post fastfetch

Everyone uses 65537 as the public key and nobody bats an eye. Then you use 4 as the private key ONCE and

Herregud es ist dunkel

Go to your camera roll and search "boat" and then post a pic of a boat you like

I’m having a Blade Runner moment. Am I… Am I a replicant? Just because 15 years ago I googled “hyphen endash emdash differences”?

Become unabliteratable

Happy #AdaLovelace day!

Excuse me for the doomerposting but the fact that this petition has not managed its goal of 75k signatures in 4 months is utterly abysmal. Maybe we truly do not have the strength to affect this decision. #unisretten mein.aufstehn.at/petitions/un...

Pictures from #floc2026 just got released and

I wrote a blog post on "TCS, AI, and the Adults in the Room," addressed to the senior researchers and established academics in our field: minorfree.github.io/Clement/ Thanks to @hunglv.bsky.social for lending me his blog!

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!

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

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

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

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

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

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

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

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

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

Shameless plug for my own talk this Friday: lucadistefano.eu/news/2026-09... #highlights26

Open problems session at #Highlights2026 goes brrrr

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

Hark! Automata/Games/Logic-in-CompSci folks! See you in Vienna for #HIGHLIGHTS26 ? 👀 highlights-conference.org/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?

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

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 😅

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

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

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

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 :)

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!

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

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

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

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

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

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

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

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

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

feelsgoodman dot jpg