Always remember to capitalize โmealyโ when talking about automata or people will think you have an infestation.
09.10.2025 00:50 โ ๐ 7 ๐ 0 ๐ฌ 0 ๐ 0@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.
09.10.2025 00:50 โ ๐ 7 ๐ 0 ๐ฌ 0 ๐ 0We are thrilled to announce that our NEW Large Language Model will be released on 11.18.25.
01.10.2025 14:38 โ ๐ 24894 ๐ 8307 ๐ฌ 657 ๐ 2197Tappet Brothers School of Mufflers
30.09.2025 21:50 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0I have some bad newsโฆ
bsky.app/profile/theo...
Except in Philly where itโs the Law of Large Mummers!
16.09.2025 12:17 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0Team 545
12.09.2025 13:42 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0Could go with this one, if the OOPSLA PC encountered any sticky situations:
ppaq.ca/en/sale-purc...
Word
09.09.2025 16:05 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0Missed opportunity to not name it the โstrategic reviewer reserveโ
09.09.2025 16:05 โ ๐ 3 ๐ 0 ๐ฌ 2 ๐ 0I came all the way to Coimbra wearing this silly t-shirt and @justinesherry.bsky.social isnโt even here ๐ญ
08.09.2025 21:22 โ ๐ 5 ๐ 0 ๐ฌ 1 ๐ 0There 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 ๐ 0NINeS: let's create a community that is welcoming of new ideas, constructive about flawed ideas, and humble about our ability to tell the difference.
07.09.2025 15:56 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0Side 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.
Benefits may include:
* Breakthrough ideas you didnโt know you had.
* Constructive reviews that go beyond โNeeds more experiments.โ
* PCs who actually read your paper.
* Sessions filled with insights, dialogue, and real community.
NINeS @nines-conference.org is the first conference specifically formulated to combat stale ideas, reviewer fatigue, and shallow program committees. By stimulating the community's collective creative pathways, NINeS will help restore energy, imagination, and genuine dialogue in networking research.
07.09.2025 15:56 โ ๐ 3 ๐ 2 ๐ฌ 1 ๐ 0A reviewer after getting one-line "reviews" from HotNets.
Tired of receiving one-line โreviewsโ? Ask your doctor whether NINes is right for you. for you.
07.09.2025 15:56 โ ๐ 0 ๐ 1 ๐ฌ 1 ๐ 0I guess their grades weren't good enough for "GPA 43"? ๐
04.09.2025 15:05 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0We are getting closer to the NINeS deadline (October 1).
Watch Scott talk about why you should submit your work to NINeS!
Headquarters or head waters?
08.08.2025 19:25 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0Colden was one of the fastest cyclists in Ithaca and a sometimes member of Team 545. The best mechanic in town, he built up a bike for me a few years ago. Iโm shocked heโs gone but unsurprised by his final heroic actโputting himself in danger to protect others. RIP ๐
sfstandard.com/2025/07/31/s...
Maybe you can get funding from ARIA (UK version)
31.07.2025 15:10 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0This week, we hear @natefoster.bsky.social's response to Why Nines? A cat is involved in producing the video, but like many good producers does not appear in the video.
16.07.2025 13:51 โ ๐ 4 ๐ 4 ๐ฌ 0 ๐ 0Late July chips
I like to eat these chips this time of year. Itโs so damn literal!
(With apologies to Mitch Hedberg.)
We need Leo and Matthieu doing a โLean Wit It, Rocq Wit Itโ dance
11.07.2025 23:22 โ ๐ 3 ๐ 0 ๐ฌ 0 ๐ 0What if the real POPL wasn't the papers we submitted, but all the memes we posted in Slack channels along the way...
11.07.2025 14:40 โ ๐ 9 ๐ 0 ๐ฌ 1 ๐ 0The voiceover to me writing the introduction for our POPL submission...
"Girl, don't do it, it's not worth it"
"I'm not gonna do it girl, I was just thinking about it, I'm not gonna do it"
"I DID IT"
I can't believe it's POPL 2026. My first submission is legal drinking age now in all US states ๐ป
10.07.2025 23:06 โ ๐ 4 ๐ 0 ๐ฌ 0 ๐ 0h3rr dr3y3rz
09.07.2025 16:41 โ ๐ 4 ๐ 0 ๐ฌ 0 ๐ 0Next up @apanda
talks about Why Nines? No cats this time because they were all busy working on their NINeS papers.
Team 545
04.07.2025 11:40 โ ๐ 4 ๐ 0 ๐ฌ 0 ๐ 0