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 · 31/05/2026

Ahh yes. I was a long term visitor and had a badge. Anyway, it was a very nice bike room!

010

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

Is there not a bike room still? I have vague memories of using it ca. 2006…

101

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

As always, research is more fun with friends...

020

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

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

Perhaps they only wanted to park on the other side of the arrow?

000

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

Switch to the Analog Library Premium Edition™️! al.radbox.org

al.radbox.org

Analog Library Premium Edition™

000

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

Looking forward to the study team’s future work on the socio-technical aspects of other ABSes: American Bible Society, Adaptive Bitrate Streaming, the Arch Build System, Antigua Broadcasting Service, Cadillac braking systems, etc.

020

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

I think the feeling is not to glorify but ask: if the French will mobilize to protest something like raising the retirement age by a couple of years, why do we do nothing as our entire republic slips away?

110

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

Say what you will about the tenets of attention, Dude, at least it’s an architecture.

010

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

Both are calendar year and prorated as needed. Until recently, Cornell’s policy was 10 vacation days per calendar year, plus 13 university holidays. The grad student union negotiated for an increase to 12 vacation days in the contract signed in 2025.

010

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

To be clear: I like your policy! I might not put it on the web as some of the policies it is in tension with may have legal ramifications. And this illustrates some of the issues with treating PhD students as sort-of students / sort-of employees… work conditions depend on the advisor / lab culture.

100

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

At EPFL, all PhDs get 5 weeks of paid vacation, two of which must be taken consecutively, in addition to 9 public holidays. So 36 days in total! But I wouldn’t have known how to pull this off in the US…

210

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

I’m also curious: how do you square your group’s enlightened vacation guidelines with Cornell HR and/or effort certification on federal grants? Perhaps you fund part of every student on gift/discretionary funds to cover the difference?

100

Nate Foster @natefoster.bsky.social · 27/03/2026

Nice, but it seems confused on the definitions of assistantships at CU. For example, GRA != RA != GA. Also, the Grad School says "Hourly limits for GRA appointments are not explicitly defined..." vs. your "GRA and TA both represent a certain, bounded amount of work in terms of hours per week."

100

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 · 28/01/2026

In either case, it’s difficult to quit!

020

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 · 14/12/2025

Now feels inappropriate given recent events, but thanks for appreciating!

120

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

This is awful. Glad to hear you and K are okay.

120

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

This is not a joke about CrowdStrike 😉

240

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 · 02/12/2025

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.

250

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

Good luck! (And great t-shirt Jeff :-)

010

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.

648249418243

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

Tappet Brothers School of Mufflers

000

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

I have some bad news… bsky.app/profile/theo...

250

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

Except in Philly where it’s the Law of Large Mummers!

000

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

Could go with this one, if the OOPSLA PC encountered any sticky situations: ppaq.ca/en/sale-purc...

ppaq.ca

120

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

Missed opportunity to not name it the “strategic reviewer reserve”

230

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

There are many good ideas for improving reviewing culture in CS. But the core issues cut much deeper. So, while mechanism is important, we believe simple mechanistic fixes are unlikely to be effective. With NINeS, we are creating a community and a culture that is truly different.

100