Working on interesting (and fun) networking or networked systems research? Why not discuss it with the world: submit to NINeS 2027! The deadline is approaching register your papers by July 30, and submit them by August 6. More details at nines-conference.org.

I've been telling people for 25 years that Jane Street is not interested in formal methods. No more! And we're actively hiring to form a new formal methods team! blog.janestreet.com/formal-metho...

Formal methods and the future of programming

I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.

blog.janestreet.com

Congratulations to Dr. Mark Moeller! He wrote a very nice PhD dissertation and passed his B-exam (Cornell-speak for "dissertation defense") with flying colors. He'll start as an Assistant Professor at Holy Cross in a few months...

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!

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

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

Singaporean President visits downtown Ithaca’s cooperative craft shop - The Ithaca Voice

ITHACA, N.Y. — Singaporean President Tharman Shanmugaratnam made a visit to Ithaca Thursday, making a few purchases at the Handwork Gallery on Cayuga Street while protected by a fleet of […]

ithacavoice.org

Congratulations to the CrowdStrike Software Update team for winning the 2025 FIFA Turing Award!

I wrote a thing! Technically it’s an opinion piece but secretly it’s a love letter to Cornell. www.cornellsun.com/article/2025...

FOSTER | "Any Person, Any Study," — If You Can Keep It

In our guest room, Professor of Computer Science Nate Foster reflects on Cornell’s recent settlement with the Trump administration — a deal he argues trades principle for expedience.

cornellsun.com

Cornell AAUP statement on “the deal” aaup-cornell.org/2025/11/07/s...

Statement on Cornell’s agreement with federal government

The Cornell AAUP chapter has consistently stated that any deal with the Trump administration would be strategically unwise and a betrayal of Cornell’s principles. This remains the case. We ar…

aaup-cornell.org

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.

Team 545

I came all the way to Coimbra wearing this silly t-shirt and @justinesherry.bsky.social isn’t even here 😭

Tired of receiving one-line “reviews”? Ask your doctor whether NINes is right for you. for you.

We are getting closer to the NINeS deadline (October 1). Watch Scott talk about why you should submit your work to NINeS!

Colden was one of the fastest cyclists in Ithaca and a sometimes member of Team 545. The best mechanic in town, he built up a bike for me a few years ago. I’m shocked he’s gone but unsurprised by his final heroic act—putting himself in danger to protect others. RIP 💔 sfstandard.com/2025/07/31/s...

San Francisco crime: Cyclist mourned as hero after stabbing death

He stood between girls and a man who was harassing them. Then he was stabbed in the neck.

sfstandard.com

This week, we hear @natefoster.bsky.social's response to Why Nines? A cat is involved in producing the video, but like many good producers does not appear in the video.

I like to eat these chips this time of year. It’s so damn literal! (With apologies to Mitch Hedberg.)

What if the real POPL wasn't the papers we submitted, but all the memes we posted in Slack channels along the way...

The voiceover to me writing the introduction for our POPL submission... "Girl, don't do it, it's not worth it" "I'm not gonna do it girl, I was just thinking about it, I'm not gonna do it" "I DID IT"

I can't believe it's POPL 2026. My first submission is legal drinking age now in all US states 🍻

Next up @apanda talks about Why Nines? No cats this time because they were all busy working on their NINeS papers.

Team 545

Watch @gianniantichi.bsky.social (and Ludo) answer the question Why NINeS?

Team 545