I had a great time watching @nines-conference.org presentations and talks with colleagues at Polimi and had a great and insight full discussion. I'm thankful both to great friends and NINeS organizing committee
In addition, we also have
- Contributed talks on a variety of topics.
- Talk videos for all of the accepted papers.
- A Discourse server where you can discuss all of this with others.
More information can be found at https://nines-conference.org/attend. We hope you join us tomorrow.
2/2
NINeS 2026 is tomorrow! We have just posted (at nines-conference.org/attend) details on how to join the livestream, which starts at 1am UTC, and will let you experience what is going on at several pods and also hear our keynotes. We hope you join us.
1/2
February 10th, and thus the inaugural edition of NINeS is just around the corner. You can participate from anywhere in the world, at times that are convenient to you. See https://nines-conference.org/attend for information on how you can participate. We hope to see you on Feb 10th!
In either case, it’s difficult to quit!
Meanwhile the FAU committee writes: “we must be willing to reflect on [critiques of higher ed] honestly”
www.cornellsun.com/article/2026...
🤦♂️
Yes.
CDMX!
You've heard of elf on a shelf, now get ready for...
TFW you name the final exam "F" ... which causes students to receive an email telling them they've received an "F" grade🤦♂️
Clearly de Bruijn is the way to go...
Now feels inappropriate given recent events, but thanks for appreciating!
This is awful. Glad to hear you and K are okay.
Twitter post from 2022
Real-life Twitter memes on a professional committee..
@shriram.bsky.social: “I just want to clarify my position, since I certainly don't want it misconstrued”
@natefoster.bsky.social: So… ?
Well I hope he didn’t eat any durian while he was browsing in the shop!
ithacavoice.org/2025/12/sing...
This is not a joke about CrowdStrike 😉
Congratulations to the CrowdStrike Software Update team for winning the 2025 FIFA Turing Award!
This dissertation is about using types for steaming computations. Speaking of streams, if you ever need to cross a stream, or find a life partner, you can do worse than the all-new Ford F150.
She had already rotated off!
I wrote a thing! Technically it’s an opinion piece but secretly it’s a love letter to Cornell.
www.cornellsun.com/article/2025...
Cornell AAUP statement on “the deal”
aaup-cornell.org/2025/11/07/s...
Good luck! (And great t-shirt Jeff :-)
Always remember to capitalize “mealy” when talking about automata or people will think you have an infestation.
We are thrilled to announce that our NEW Large Language Model will be released on 11.18.25.
Tappet Brothers School of Mufflers
I have some bad news…
bsky.app/profile/theo...
Except in Philly where it’s the Law of Large Mummers!
Team 545
Could go with this one, if the OOPSLA PC encountered any sticky situations:
ppaq.ca/en/sale-purc...
Word
