Nate Foster
@natefoster.bsky.social
Husband, dad, cyclist, OCaml h4x0r, Cornell CS professor (in that order)
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.
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.
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.)
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.
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
June 4, 2025 at 11:04 PM
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
First bike race since 2023… Oof. For once, my Garmin gets it right.
June 1, 2025 at 7:10 PM
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
May 29, 2025 at 4:49 PM
Nice to see some big lambdas at the SRI Formal Methods Summer School
May 27, 2025 at 4:43 PM
May he Brighten up your days
May 18, 2025 at 7:01 PM
May he Brighten up your days
The way life should be
May 13, 2025 at 12:42 PM
The way life should be
Team 545: Snyder-Midline-Ringwood
May 5, 2025 at 7:03 PM
Team 545: Snyder-Midline-Ringwood
Sunrise BDT with RC
April 15, 2025 at 11:30 AM
Sunrise BDT with RC
Today’s Dad-Joke-A-Day calendar is perfect for Ithaca
April 12, 2025 at 7:33 PM
Today’s Dad-Joke-A-Day calendar is perfect for Ithaca