Movie you've watched more than six times with a gif. Hard mode: no Stars (Wars nor Trek), LOTR, or Marvel, Disney Animated or Pixar.

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

Can't stop thinking about the #MadMen #HBOMax disaster, and how the dynamics of today's markets at scale basically erase any love or respect for the firms' own crafts. Imagine telling someone in the 00s/10s that HBO would do something like this to one of their top shows of all time.

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

Let’s rename it Intl Conference of LLM Reviews, so we get to keep the same acronym 😬 #compsci #compsky #academicsky

Just write “re-enters”. I beg you.

Another great day for the community 🫩 How can we ask for (let alone command) trust from the world at large, when we cannot even trust our own tools? #AcademicSky #compsky #compsi #iclr

Welcome to @stemlabels.xyz, an AT protocol labeler that adds STEM specialties to your account! There's over 450 specialties to choose from. Send a DM to request a label!

Done with my Operating Systems classes 🥹 Will I miss teaching youngsters the warts of C and POSIX? (Gulp) MAYBE? #compsky #compsci #academicchatter

We know who the culprit is, and honestly it is unbelievable that we cannot have good things because scarce (and might I add, publicly funded) resources are stolen by reckless gold rushers. Rate-limit or link-maze them all to hell, honestly. #compsci #compsky #academicchatter

Cried over Aeschylus at the airport ✅

Good news everyone! 🎉 #compsci #compsky #academicsky cacm.acm.org/news/a-messa...

This is grotesque 🙂

Our #dblp user survey is still open: sidonia.dagstuhl.de/survey/index... We will be happy to hear from you!

Reported 3 (small) bugs in 3 leading formal reasoning tools in the last 2 days. You can just do things 🤓 #compsky #compsci

Rogue (DOS, 1984)

French speaker: parles-tu Français ? Me: oui mais seulement un petit peu French person: youtu.be/etmSWkeRYbk?...

TLDR; The PSF has made the decision to put our community and our shared diversity, equity, and inclusion values ahead of seeking $1.5M in new revenue. Please read and share. pyfound.blogspot.com/2025/10/NSF-... 🧵

Happy Ada Lovelace day everybody! 💾🎉 #compsky #compsci

The combination of only allowing ridiculously short rebuttals AND late reviews is, for lack of a better term, a double travesty #academiccgatter #academicsky #justconferencethings

Big news: Internet Archive Europe ( @internetarchive.eu ) has opened its new HQ in Amsterdam! 🎉 A home for preservation, access & shared cultural heritage. Read coverage from @mariabustillos.com in Flaming Hydra: flaminghydra.com/freedom-and-...

It is now believed that there may be hundreds of thousands of people on the Internet

...And antipapers, of course 😅 blog.jim-nielsen.com/2025/my-antis/ #compsky #academicchatter #academicsky

Graz was a blast btw ☺️💻

Too many great movies to remember him by, but one that really stuck with me is 3 Days of the Condor, where he plays the patron saint of bookworms 🥹 #robertredford

When ACM ByteCast drops an episode of an author you cited >>>>>

I'll present our #CAV25 paper "Full LTL Synthesis over Infinite-State Arenas" at the #VASSAL workshop in Graz (co-located with #RV25)! My pal and colleague Shaun gave an excellent presentation in Zagreb, hope I'll match that bar :) #academicchatter #compsky #compsci vassal.fit.vut.cz/vassal-works...

One of the harbingers of AI mannerisms creeping into human content is the dreaded “x is not y, it’s z”. Perhaps it’s a frequency illusion but I see it everywhere now. Folks, don’t waste my time telling me what x is not, please! 🙏

Call me a walking stereotype, but I love me some good chiptune when I need to focus at work. And yet I'd never heard of this excellent website! 🤯 👾 #chiptune #keygenmusic

Big growth in adoption, uv the "most admired" technology + Pydantic in the top 5... Good times for #Python developers I guess! 🐍 survey.stackoverflow.co/2025

Had to setup (X)RDP to remote into a Tailscale’d Linux box and run a GUI client that connects to a server on another (CLI-only) Linux box through a SSH-forwarded port. All during #CAV week #compsky #tailscale

Kind of crazy how many citations are lost on #scopus, a tool that can seal your fate whenever you apply to an academic job. I can only assume its stats are utterly inaccurate for senior researchers that no longer need or care to "set the record straight". #compsky #academicchatter

📄 My tool paper "Execution and monitoring of HOA automata with HOAX" has been accepted to RV 2025! My first sole-author publication 🥹 🔗 And the tool is open source! github.com/lou1306/hoax See you in Graz! #compsci #compsky #automata #rv2025 #runtimeverification

Come to Austria! We have research money AND palatschinken 🇦🇹 www.oeaw.ac.at/en/news/25-n... #academicchatter #academicsky #oeaw

A brilliant talk on AI and sycophancy that I attended a while ago, glad to see it’s finally been uploaded! #sycophancy #compsci #compsky #vienna youtu.be/dKPPYmU8ttg?...

Discovering more and more missing citations from my Scopus profile, it's astounding 🫠

Bomb scare earlier today at #tuwien, luckily nothing bad happened but the whole area around the Freihaus (btw, not my building) was cordoned off, and investigations are still underway. Stay safe everybody

Yesterday I had my first chess dot com opponent crash out on me before ragequitting 💚

"Because I want to know what makes language language. I believe that everything we call ‘language’ has imperfections, dross, in itself, but I want to get to know what is so polluted. That through which I am able to say something. For that must be something very peculiar." arxiv.org/abs/2506.071...

In light of yesterday’s #WWDC, regrettably #CHI has been put on an indefinite hiatus 💀 #compsky #apple #liquidglass

Final preprint of our #CAV25 paper is on ArXiv! And with a shiny Reusable badge awarded to our software artifact 🏅 See you in Zagreb! doi.org/10.48550/arX... #compsci #compsky #synthesis

The list of accepted papers for CAV 2025 is now out! conferences.i-cav.org/2025/accepted/ Register for #cav25 now at: conferences.i-cav.org/2025/registr...

How I wish someone would sponsor DBLP by shouldering the cost of a real ticketing system 🥲

I’m too lazy to make a new edit. So, picture this, but with @overleaf.com instead of DBLP #compsci #compsky

This confirms some information I recently got from friends studying in Göteborg. It’s an embarrassing and unfortunate development for a country that in most other respects would be a great place to pursue a PhD. universitetslararen.se/2025/05/08/i...

The r/changemyview paper is ethically bankrupt, and accepting it for publication should be treated as aiding & abetting. Simple as. #compsky #zurich #reddit #compsci

Essential reading #compsky #compsci

Student I'm working with passed his PhD proficiency exam 🥲 They grow up so fast 🥲🥲

I got a refurb ThinkPad from eBay. I can finally declare I’m a tech guy

My calm&collected reaction after @firefox.com added vertical tabs