Nate Foster's Avatar

Nate Foster

@natefoster.bsky.social

Husband, dad, cyclist, OCaml h4x0r, Cornell CS professor (in that order)

930 Followers  |  254 Following  |  138 Posts  |  Joined: 25.07.2023  |  2.0392

Latest posts by natefoster.bsky.social on Bluesky

Post image

Always remember to capitalize โ€œmealyโ€ when talking about automata or people will think you have an infestation.

09.10.2025 00:50 โ€” ๐Ÿ‘ 7    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Video thumbnail

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

01.10.2025 14:38 โ€” ๐Ÿ‘ 24894    ๐Ÿ” 8307    ๐Ÿ’ฌ 657    ๐Ÿ“Œ 2197

Tappet Brothers School of Mufflers

30.09.2025 21:50 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I have some bad newsโ€ฆ
bsky.app/profile/theo...

24.09.2025 00:40 โ€” ๐Ÿ‘ 5    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

Except in Philly where itโ€™s the Law of Large Mummers!

16.09.2025 12:17 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image Post image Post image

Team 545

12.09.2025 13:42 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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

09.09.2025 17:06 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Word

09.09.2025 16:05 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Missed opportunity to not name it the โ€œstrategic reviewer reserveโ€

09.09.2025 16:05 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0
Post image

I came all the way to Coimbra wearing this silly t-shirt and @justinesherry.bsky.social isnโ€™t even here ๐Ÿ˜ญ

08.09.2025 21:22 โ€” ๐Ÿ‘ 5    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

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.

07.09.2025 18:10 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

NINeS: let's create a community that is welcoming of new ideas, constructive about flawed ideas, and humble about our ability to tell the difference.

07.09.2025 15:56 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Side effects may include:
* Unexpected bursts of creativity.
* A sudden urge to think big about what's next.
* Overuse of whiteboards for sketching new ideas.
* Occasional feelings of optimism about the future of computer science.

07.09.2025 15:56 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Benefits may include:
* Breakthrough ideas you didnโ€™t know you had.
* Constructive reviews that go beyond โ€œNeeds more experiments.โ€
* PCs who actually read your paper.
* Sessions filled with insights, dialogue, and real community.

07.09.2025 15:56 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

NINeS @nines-conference.org is the first conference specifically formulated to combat stale ideas, reviewer fatigue, and shallow program committees. By stimulating the community's collective creative pathways, NINeS will help restore energy, imagination, and genuine dialogue in networking research.

07.09.2025 15:56 โ€” ๐Ÿ‘ 3    ๐Ÿ” 2    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
A reviewer after getting one-line "reviews" from HotNets.

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

Tired of receiving one-line โ€œreviewsโ€? Ask your doctor whether NINes is right for you. for you.

07.09.2025 15:56 โ€” ๐Ÿ‘ 0    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

I guess their grades weren't good enough for "GPA 43"? ๐Ÿ˜†

04.09.2025 15:05 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Video thumbnail

We are getting closer to the NINeS deadline (October 1).

Watch Scott talk about why you should submit your work to NINeS!

02.09.2025 14:27 โ€” ๐Ÿ‘ 10    ๐Ÿ” 6    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Headquarters or head waters?

08.08.2025 19:25 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
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.

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

01.08.2025 20:49 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Maybe you can get funding from ARIA (UK version)

31.07.2025 15:10 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Video thumbnail

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.

16.07.2025 13:51 โ€” ๐Ÿ‘ 4    ๐Ÿ” 4    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Late July chips

Late July chips

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

15.07.2025 12:19 โ€” ๐Ÿ‘ 5    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

We need Leo and Matthieu doing a โ€œLean Wit It, Rocq Wit Itโ€ dance

11.07.2025 23:22 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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

11.07.2025 14:40 โ€” ๐Ÿ‘ 9    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

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"

11.07.2025 12:55 โ€” ๐Ÿ‘ 7    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

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

10.07.2025 23:06 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

h3rr dr3y3rz

09.07.2025 16:41 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Video thumbnail

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

08.07.2025 13:51 โ€” ๐Ÿ‘ 8    ๐Ÿ” 4    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

Team 545

04.07.2025 11:40 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

@natefoster is following 20 prominent accounts