iiinova — where your digital self keeps evolving

Reposted by Nate Foster

New Ideas in Networked Systems @nines-conference.org · 18/07/2026

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.

nines-conference.org

NINeS 2027

055

Reposted by Nate Foster

Yaron Minsky @yminsky.bsky.social · 11/06/2026

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

blog.janestreet.com

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.

38119

Nate Foster @natefoster.bsky.social · 28/05/2026

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

140

Reposted by Nate Foster

Farbod @fshahinfar1.bsky.social · 10/02/2026

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

054

Reposted by Nate Foster

New Ideas in Networked Systems @nines-conference.org · 09/02/2026

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 nines-conference.org/attend. We hope you join us tomorrow. 2/2

nines-conference.org

NINeS 2026

011

Reposted by Nate Foster

New Ideas in Networked Systems @nines-conference.org · 09/02/2026

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

nines-conference.org

NINeS 2026

014

Reposted by Nate Foster

New Ideas in Networked Systems @nines-conference.org · 31/01/2026

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 nines-conference.org/attend for information on how you can participate. We hope to see you on Feb 10th!

nines-conference.org

Attending NINeS 2026

066

Nate Foster @natefoster.bsky.social · 08/01/2026

You've heard of elf on a shelf, now get ready for...

010

Nate Foster @natefoster.bsky.social · 22/12/2025

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

060

Nate Foster @natefoster.bsky.social · 13/12/2025

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… ?

140

Nate Foster @natefoster.bsky.social · 07/12/2025

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

1210

Nate Foster @natefoster.bsky.social · 09/10/2025

Always remember to capitalize “mealy” when talking about automata or people will think you have an infestation.

080

Reposted by Nate Foster

Merriam-Webster @merriam-webster.com · 01/10/2025

We are thrilled to announce that our NEW Large Language Model will be released on 11.18.25.

649249448244

Nate Foster @natefoster.bsky.social · 08/09/2025

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

160

Nate Foster @natefoster.bsky.social · 07/09/2025

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

A reviewer after getting one-line "reviews" from HotNets.

101

Reposted by Nate Foster

New Ideas in Networked Systems @nines-conference.org · 02/09/2025

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

0117

Nate Foster @natefoster.bsky.social · 01/08/2025

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

sfstandard.com

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.

140

Reposted by Nate Foster

New Ideas in Networked Systems @nines-conference.org · 16/07/2025

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.

044

Nate Foster @natefoster.bsky.social · 15/07/2025

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

050

Nate Foster @natefoster.bsky.social · 11/07/2025

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

180

Nate Foster @natefoster.bsky.social · 11/07/2025

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"

170

Nate Foster @natefoster.bsky.social · 11/07/2025

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

030

Reposted by Nate Foster

New Ideas in Networked Systems @nines-conference.org · 08/07/2025

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

084

Reposted by Nate Foster

New Ideas in Networked Systems @nines-conference.org · 02/07/2025

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

284

Reposted by Nate Foster

New Ideas in Networked Systems @nines-conference.org · 30/06/2025

📢 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

nines-conference.org

NINeS 2026

076

Nate Foster @natefoster.bsky.social · 30/06/2025

Can confirm 🐫🇫🇷🐫🇫🇷

051

Nate Foster @natefoster.bsky.social · 18/06/2025

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.

160

Reposted by Nate Foster

Yaron Minsky @yminsky.bsky.social · 13/06/2025

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.

510840

Nate Foster @natefoster.bsky.social · 07/06/2025

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

040

Nate Foster @natefoster.bsky.social · 05/06/2025

Writing my CAREER proposal in the 2010s (after several years of anemic hiring and with an NSF pumped full of Obama stimulus funds) vs. junior faculty writing CAREER proposals today

2151

Nate Foster @natefoster.bsky.social · 01/06/2025

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

020

Nate Foster @natefoster.bsky.social · 29/05/2025

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

060

Nate Foster @natefoster.bsky.social · 27/05/2025

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

061

Nate Foster @natefoster.bsky.social · 24/05/2025

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”

161

Nate Foster @natefoster.bsky.social · 23/05/2025