Nate Foster
@natefoster.bsky.social
Husband, dad, cyclist, OCaml h4x0r, Cornell CS professor (in that order)
I wrote a thing! Technically it’s an opinion piece but secretly it’s a love letter to Cornell.
www.cornellsun.com/article/2025...
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.
www.cornellsun.com
November 12, 2025 at 12:45 AM
I wrote a thing! Technically it’s an opinion piece but secretly it’s a love letter to Cornell.
www.cornellsun.com/article/2025...
www.cornellsun.com/article/2025...
Always remember to capitalize “mealy” when talking about automata or people will think you have an infestation.
October 9, 2025 at 12:50 AM
Always remember to capitalize “mealy” when talking about automata or people will think you have an infestation.
Reposted by Nate Foster
We are thrilled to announce that our NEW Large Language Model will be released on 11.18.25.
October 1, 2025 at 2:38 PM
We are thrilled to announce that our NEW Large Language Model will be released on 11.18.25.
I came all the way to Coimbra wearing this silly t-shirt and @justinesherry.bsky.social isn’t even here 😭
September 8, 2025 at 9:22 PM
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.
September 7, 2025 at 3:56 PM
Tired of receiving one-line “reviews”? Ask your doctor whether NINes is right for you. for you.
Reposted by Nate Foster
We are getting closer to the NINeS deadline (October 1).
Watch Scott talk about why you should submit your work to NINeS!
Watch Scott talk about why you should submit your work to NINeS!
September 2, 2025 at 2:27 PM
We are getting closer to the NINeS deadline (October 1).
Watch Scott talk about why you should submit your work to NINeS!
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...
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
August 1, 2025 at 8:49 PM
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/2025/07/31/s...
Reposted by Nate Foster
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.
July 16, 2025 at 1:51 PM
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.)
(With apologies to Mitch Hedberg.)
July 15, 2025 at 12:19 PM
I like to eat these chips this time of year. It’s so damn literal!
(With apologies to Mitch Hedberg.)
(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...
July 11, 2025 at 2:40 PM
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"
"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"
July 11, 2025 at 12:55 PM
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"
"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 🍻
July 10, 2025 at 11:06 PM
I can't believe it's POPL 2026. My first submission is legal drinking age now in all US states 🍻
Reposted by Nate Foster
Next up @apanda
talks about Why Nines? No cats this time because they were all busy working on their NINeS papers.
talks about Why Nines? No cats this time because they were all busy working on their NINeS papers.
July 8, 2025 at 1:51 PM
Next up @apanda
talks about Why Nines? No cats this time because they were all busy working on their NINeS papers.
talks about Why Nines? No cats this time because they were all busy working on their NINeS papers.
Reposted by Nate Foster
Watch @gianniantichi.bsky.social (and Ludo) answer the question Why NINeS?
July 2, 2025 at 9:23 PM
Watch @gianniantichi.bsky.social (and Ludo) answer the question Why NINeS?
Reposted by Nate Foster
📢 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 2026
nines-conference.org
June 30, 2025 at 1:32 PM
📢 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 🐫🇫🇷🐫🇫🇷
June 30, 2025 at 1:19 PM
Can confirm 🐫🇫🇷🐫🇫🇷
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.
June 18, 2025 at 2:25 AM
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.
Reposted by Nate Foster
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.
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.
June 13, 2025 at 2:14 PM
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.
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.
June 7, 2025 at 8:54 PM
Been a while since I did a bike race, but looks like I haven't forgotten my pain face.