Nicola Gigante

So it’s been a while now that I’m pondering this choice, and it’s time to do it. I’m quitting Twitter/X. If anybody cares, here’s a short thread on why. 1/n

So this is it. So long, and thanks for all the fish. 7/7

Because by keeping using this “service” we are feeding an insane propaganda machine that is actively hurting our society. I’ll go somewhere else looking for news and networking. Do yourself a favour and do the same! 6/n

So it’s been a while now that I’m pondering this choice, and it’s time to do it. I’m quitting Twitter/X. If anybody cares, here’s a short thread on why. 1/n

@fernandaedi I don’t know anything about linguistics but 1) congratulations and 2) please tell me the name of the font you used in the title 😱

What’s your favourite paper title style?

@TaliaRinger Meanwhile the mom of the typical Italian guy calls to him through the window when the lunch is ready 😂

I wish this were me

Time to write a good paper!

#FM2024 officially started 🚀 Check out today's exciting program ➡️ easychair.org/smart-program/…

@filippie509 @edzitron Almost. Equity can be sold.

@edzitron Wait wasn't "equity" essentially an ability to participate in future profits of a company?

Wait, companies investing in the $100bn funding round *don't get equity in OpenAI?* they get a SHARE OF PROFITS? From the COMPANY THAT BURNS MONEY? theinformation.com/articles/why-j…

@lorisdanto If you mean industrial success stories, I may not be the best to ask to, because I’m mostly a theoretician in this area :)

@gignico What are you favorite three success stories in reactive synthesis?

Who still works on program synthesis here?

Today @icfp_conference starts strong with an amazing keynote by @nikivazou on Refinement Types

We didn’t

This half-assed lightsaber battle captures almost everything that is wrong with (most) AI art in one short video: 1. It is entirely derivative 2. The original artists have been totally ripped off 3. It sucks. Nobody would have watched Star Wars if the battles were this pathetic.

Best Italian PhD Thesis Award in Theoretical Computer Science 2024 to Nicola Cotumaccio (Gran Sasso Science Institute) for his thesis "Data Compression Meets Automata Theory", supervised by Nicola Prezza, Travis Gagie and Catia Trubiani. See eatcs.org/index.php/ital… Kudos!

🤺 Da #Paris2024 a Uniud: Giulia Rizzi, campionessa olimpica e studentessa dell’Ateneo, incontra il Magnifico Rettore La schermitrice, oro nella spada a squadre a Parigi, ha ricevuto i più sentiti complimenti per la vittoria alle #Olimpiadi. ➡️ bit.ly/GiuliaRizzi