Nate Foster
@natefoster
Followers
6K
Following
17K
Media
326
Statuses
1K
cs professor, h4x0r, cyclist, husband, dad.
Ithaca, NY
Joined June 2008
We're looking to hire an experienced editor with a taste for fancy type-systems to work on education for OxCaml! Please share with anyone you think might be a good fit for this role. (And...retweets wouldn't hurt.)
5
29
92
This Thanksgiving, I'm grateful that the PL and Networking communities use @xexd's HotCRP
1
1
14
Applying for a CS-related PhD soon, particularly at EPFL? The volunteers from EPFL's IC can provide feedback on the SoPs and CVs of those lacking mentorship. It's a great opportunity for applicants! Fill the form fast to have a higher chance :) Register at
docs.google.com
NOTE: Most of our spots are filled up. You can still fill the form, but you will be placed in a waitlist. What is this program? This is a program to help people applying for a CS doctoral program...
1
2
12
Go work with Anna!
📢 a little announcement I will be joining the University of Melbourne in the School of Computing & Information Systems as an Assistant Professor in 2026! I am recruiting several PhD students to come work with me on HCI for social impact areas! 👇🧵 🦘🇦🇺🐨
1
0
7
Federal research funding feeds the innovation engine in the U.S. across a wide range of disciplines, including my own field of computer networking. @nickmckeown1 and I were proud to write this article for @CACMmag. https://t.co/BWyJk4RuiU
3
9
18
The Tour de France is Antifa! https://t.co/yB6fxD89Ly
cyclingweekly.com
A new paper suggests that the Tour de France could reduce support for the far-right
5
0
3
Always remember to capitalize “mealy” when talking about automata or people will assume you have some kind of an infestation
5
1
25
I always tell my students about this important rule of dissertations... Always make sure to have a clear thesis statement in the first 300 pages, or the members of your committee will miss it!
Reading a German Habilitation thesis of 680 pages. On page 293, the author has finally reached the point where they "are now able to formulate the question that we are trying to answer." (Sometimes even I am surprised by my stamina.)
3
2
23
The Swiss Winter School in TCS 2026 will take place January 25-30, featuring amazing speakers Ankur Moitra (MIT), Avishay Tal (UC Berkeley), and Vera Traub (ETHZ). Application deadline: October 24 More information:
0
8
28
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols.
arxiv.org
Formal specifications have numerous benefits for both designers and users of network protocols. They provide clear, unambiguous representations, which are useful as documentation and for testing....
0
1
3
"Keeping the Dream Alive: The Power and Promise of Federally Funded Research," by @EricHorvitz (@Microsoft), @MargMartonosi (@Princeton), @Vardi (@RiceUniversity), @JamesLarus (@CACMmag), says investment in academic #research is key to tech transformation. https://t.co/8XoGDdQLcT
1
5
8
Richard Hamming: "If you do not work on an important problem, it's unlikely you'll do important work. It's perfectly obvious." PL Researchers: "let's talk about placement of captions and punctuation."
8
3
54
NINeS: let's create a community that is welcoming of new ideas, constructive about flawed ideas, and humble about our ability to tell the difference.
0
0
4
Side effects may include: * Unexpected bursts of creativity. * A sudden urge to think big about what's next. * Overuse of whiteboards for sketching new ideas. * Occasional feelings of optimism about the future of computer science.
1
0
3