Nate Foster

San Francisco crime: Cyclist mourned as hero after stabbing death He stood between girls and a man who was harassing them. Then he was stabbed in the neck.

Colden 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)

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

Late 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

What if the real POPL wasn't the papers we submitted, but all the memes we posted in Slack channels along the way...

The 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 🍻

h3rr dr3y3rz

Next up @apanda
talks about Why Nines? No cats this time because they were all busy working on their NINeS papers.

Team 545

Watch @gianniantichi.bsky.social (and Ludo) answer the question Why NINeS?

Team 545

📢 We are excited to announce NINeS, a new online conference dedicated to bold, foundational ideas in networked systems! Submissions due Oct 1; event on Feb 10. Join us! nines-conference.org #NINeS

Can confirm 🐫🇫🇷🐫🇫🇷

A group of cyclists

Cornell’s observatory

Team 545

Yep! We leave at 5:45am (sharp!) from a specific intersection in Ithaca. Said intersection is a couple of miles from my house with a ~500 foot climb so I roll out at 5:25am-5:30am! #DawnPatrol

5 cyclists at dawn

Team 545

My PLDI hotel doesn't have a 4th floor because of superstition, but c'mon man... my room is on the 5th floor, and I know what floor I’m really on.

I'm pleased to announce OxCaml!

OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.

I can never remember. Do Amherst trustee positions comes with a commemorative piece of the blankets Lord Jeffrey used to distribute? Or is it a volume from the original library?

Gravel bike racers

Keuka Gravel

Been a while since I did a bike race, but looks like I haven't forgotten my pain face.

CISE Funding Rates See the most recent FY's funding rate data for the Directorate for Computer and Information Science and Engineering. Data shown by proposal funding rates, proposal actions, and overall percentage.

CISE publishes last year’s funding rate here: www.nsf.gov/cise/funding...

There is surely a way to scrape historical data but I don’t know of a site that aggregates it…

Fun fact: Mike Kosta grew up in Ann Arbor 😎

olympics gymnastics GIF by Product Hunt - Find & Share on GIPHY Discover & share this olympics gymnastics GIF by Product Hunt with everyone you know. GIPHY is how you search, share, discover, and create GIFs.

Now with proper Giphy…

media4.giphy.com/media/v1.Y2l...

Winning Olympic vaults, 56 years apart

Writing 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

First bike race since 2023… Oof. For once, my Garmin gets it right.

Two big lambdas

Nice to see some big lambdas at the SRI Formal Methods Summer School

Sequent Calculus

Teaching at a formal methods summer school today so naturally...

Thanks @justinesherry.bsky.social!

At a soccer tournament near Philly…

Overheard a family discussing Sheetz vs. Wawa and one of them said: “The Pope went to Villanova so you know he loves Wawa”