Nate Foster's Avatar

Nate Foster

@natefoster.bsky.social

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

949 Followers  |  255 Following  |  156 Posts  |  Joined: 25.07.2023  |  1.9151

Latest posts by natefoster.bsky.social on Bluesky

Attending NINeS 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 https://nines-conference.org/attend for information on how you can participate. We hope to see you on Feb 10th!

31.01.2026 16:19 โ€” ๐Ÿ‘ 6    ๐Ÿ” 6    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

In either case, itโ€™s difficult to quit!

28.01.2026 06:57 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
COMMITTEE ON THE FUTURE OF THE AMERICAN UNIVERSITY | A Matter of Expectations: Universities and Their Evolving Relationship With Government and the Public The Committee on the Future of the American University looks at the long-standing but largely unspoken agreement that has shaped the relationship between Cornell and the federal government. Under this...

Meanwhile the FAU committee writes: โ€œwe must be willing to reflect on [critiques of higher ed] honestlyโ€

www.cornellsun.com/article/2026...

๐Ÿคฆโ€โ™‚๏ธ

23.01.2026 12:06 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Post image 19.01.2026 13:48 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Yes.

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

CDMX!

19.01.2026 13:21 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Post image

You've heard of elf on a shelf, now get ready for...

08.01.2026 07:14 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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

22.12.2025 20:23 โ€” ๐Ÿ‘ 6    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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

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

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

14.12.2025 00:09 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Twitter post from 2022

Twitter post from 2022

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โ€ฆ ?

13.12.2025 14:00 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
Singaporean President visits downtown Ithacaโ€™s cooperative craft shop - The Ithaca Voice ITHACA, N.Y. โ€” Singaporean President Tharman Shanmugaratnam made a visit to Ithaca Thursday, making a few purchases at the Handwork Gallery on Cayuga Street while protected by a fleet of [โ€ฆ]

Well I hope he didnโ€™t eat any durian while he was browsing in the shop!

ithacavoice.org/2025/12/sing...

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

This is not a joke about CrowdStrike ๐Ÿ˜‰

07.12.2025 23:36 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

Congratulations to the CrowdStrike Software Update team for winning the 2025 FIFA Turing Award!

07.12.2025 20:46 โ€” ๐Ÿ‘ 21    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

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.

02.12.2025 01:55 โ€” ๐Ÿ‘ 5    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

She had already rotated off!

20.11.2025 23:41 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
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.

I wrote a thing! Technically itโ€™s an opinion piece but secretly itโ€™s a love letter to Cornell.

www.cornellsun.com/article/2025...

12.11.2025 00:45 โ€” ๐Ÿ‘ 6    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Statement on Cornellโ€™s agreement with federal government The Cornell AAUP chapter has consistently stated that any deal with the Trump administration would be strategically unwise and a betrayal of Cornellโ€™s principles. This remains the case. We arโ€ฆ

Cornell AAUP statement on โ€œthe dealโ€

aaup-cornell.org/2025/11/07/s...

08.11.2025 21:02 โ€” ๐Ÿ‘ 4    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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

31.10.2025 16:34 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

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

09.10.2025 00:50 โ€” ๐Ÿ‘ 8    ๐Ÿ” 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 โ€” ๐Ÿ‘ 25136    ๐Ÿ” 8348    ๐Ÿ’ฌ 662    ๐Ÿ“Œ 2208

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 โ€” ๐Ÿ‘ 2    ๐Ÿ” 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 โ€” ๐Ÿ‘ 6    ๐Ÿ” 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

@natefoster is following 20 prominent accounts