Nate Foster @natefoster.bsky.social · 28/05/2026Congratulations 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 · 08/01/2026You've heard of elf on a shelf, now get ready for... 010
Nate Foster @natefoster.bsky.social · 13/12/2025Real-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 · 09/10/2025Always remember to capitalize “mealy” when talking about automata or people will think you have an infestation. 080
Nate Foster @natefoster.bsky.social · 08/09/2025I 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/2025Tired of receiving one-line “reviews”? Ask your doctor whether NINes is right for you. for you. 101
Nate Foster @natefoster.bsky.social · 15/07/2025I 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 · 07/06/2025Been 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/2025Writing 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/2025First bike race since 2023… Oof. For once, my Garmin gets it right. 020
Nate Foster @natefoster.bsky.social · 29/05/2025Nice to see some big lambdas at the SRI Formal Methods Summer School 060
Nate Foster @natefoster.bsky.social · 27/05/2025Teaching at a formal methods summer school today so naturally... Thanks @justinesherry.bsky.social! 061
Nate Foster @natefoster.bsky.social · 12/04/2025Today’s Dad-Joke-A-Day calendar is perfect for Ithaca 050
Nate Foster @natefoster.bsky.social · 01/04/2025Well, lookee here! Seems like Mike Greenberg needed a static analysis after all. sigops.org/s/conference... 391
Nate Foster @natefoster.bsky.social · 19/03/2025@anil.recoil.org ✅ @neurocy.bsky.social ✅ ♟️✅ 🏏 ✅ 🍹✅ 🇧🇧 ✅ 1150
Nate Foster @natefoster.bsky.social · 18/03/2025Jon Sterling gives a plenary on Synthetic Domain Theory at Bellairs ‘25 061
Nate Foster @natefoster.bsky.social · 16/03/2025Prakash Panangaden gives the first plenary at Bellairs ‘25 1171
Nate Foster @natefoster.bsky.social · 24/11/2024I prefer type systems that are just like my editor setup 1131
Nate Foster @natefoster.bsky.social · 19/11/2024Achievement unlocked: have now authored a paper with both Andrew C. Myers and Andy Myers 2291
Nate Foster @natefoster.bsky.social · 18/11/2024Mine is Clément Pit-Claudel’s super cool proofs.swiss domain name and turnstile 030
