Nate Foster

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

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

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

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

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 😭

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

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

📢 We are excited to announce NINeS, a new online conference dedicated to bold, foundational ideas in networked systems! Submissions due Oct 1; event on Feb 10. Join us! nines-conference.org #NINeS

Can confirm 🐫🇫🇷🐫🇫🇷

Team 545

Team 545

My PLDI hotel doesn't have a 4th floor because of superstition, but c'mon man... my room is on the 5th floor, and I know what floor I’m really on.

I'm pleased to announce OxCaml! OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.

Been a while since I did a bike race, but looks like I haven't forgotten my pain face.

First bike race since 2023… Oof. For once, my Garmin gets it right.

Nice to see some big lambdas at the SRI Formal Methods Summer School

Teaching at a formal methods summer school today so naturally... Thanks @justinesherry.bsky.social!

At a soccer tournament near Philly… Overheard a family discussing Sheetz vs. Wawa and one of them said: “The Pope went to Villanova so you know he loves Wawa”

I order the club sandwich all the time and I'm not even a member, man. I don't know how I get away with it.

🐈‍⬛🟥🐈‍⬛🟥🐈‍⬛🟥