Researcher (RTD/a) at the University of Bozen, Italy @unibz. This profile is on hold. Please do yourself a favour and quit using this platform.
Bolzano, Italy
Joined November 2010
- Tweets3.2K
- Following153
- Followers289
- Likes707
Pinned Tweet
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
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
What’s your favourite paper title style?
0%On The X Problem
100%An ABC Approach to X
0%X: An ABC Approach
0%X: Good, Bad, and Ugly
1 votes • Final results
Nicola Gigante retweeted
#FM2024 officially started 🚀
Check out today's exciting program ➡️ easychair.org/smart-program/…
Nicola Gigante retweeted
Today @icfp_conference starts strong with an amazing keynote by @nikivazou on Refinement Types
Nicola Gigante retweeted
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.
This quoted post is unavailable.
Nicola Gigante retweeted
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/italian-… Kudos!
Nicola Gigante retweeted
🤺 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
Nicola Gigante retweeted
We are excited to announce that our Beginner’s Tutorial for Satisfiability Modulo Theories is now live on the cvc5 website! The tutorial includes hands-on exercises that can be run using Python or the SMT-LIB language with cvc5 or z3!
Check it out here: cvc5.github.io/tutorials/beg…
