Nate Foster's Avatar

Nate Foster

@natefoster

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

954
Followers
255
Following
156
Posts
25.07.2023
Joined
Posts Following

Latest posts by Nate Foster @natefoster

I had a great time watching @nines-conference.org presentations and talks with colleagues at Polimi and had a great and insight full discussion. I'm thankful both to great friends and NINeS organizing committee

10.02.2026 17:13 πŸ‘ 4 πŸ” 4 πŸ’¬ 0 πŸ“Œ 0
NINeS 2026

In addition, we also have

- Contributed talks on a variety of topics.
- Talk videos for all of the accepted papers.
- A Discourse server where you can discuss all of this with others.

More information can be found at https://nines-conference.org/attend. We hope you join us tomorrow.
2/2

09.02.2026 15:20 πŸ‘ 1 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
NINeS 2026

NINeS 2026 is tomorrow! We have just posted (at nines-conference.org/attend) details on how to join the livestream, which starts at 1am UTC, and will let you experience what is going on at several pods and also hear our keynotes. We hope you join us.

1/2

09.02.2026 14:53 πŸ‘ 1 πŸ” 4 πŸ’¬ 0 πŸ“Œ 0
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 πŸ‘ 25115 πŸ” 8337 πŸ’¬ 660 πŸ“Œ 2205

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