We are thrilled to announce that our NEW Large Language Model will be released on 11.18.25.

Team 545

I came all the way to Coimbra wearing this silly t-shirt and @justinesherry.bsky.social isn’t even here 😭

Tired of receiving one-line “reviews”? Ask your doctor whether NINes is right for you. for you.

We are getting closer to the NINeS deadline (October 1). Watch Scott talk about why you should submit your work to NINeS!

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

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.

I like to eat these chips this time of year. It’s so damn literal! (With apologies to Mitch Hedberg.)

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 🍻

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 🐫🇫🇷🐫🇫🇷

Team 545

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.

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

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.

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

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”

I order the club sandwich all the time and I'm not even a member, man. I don't know how I get away with it.

🐈‍⬛🟥🐈‍⬛🟥🐈‍⬛🟥

A lovely birthday dinner with good friends. Maine, USA.

The way life should be

Oopsie 🙊

Team 545: Snyder-Midline-Ringwood

Sunday Muddy Sunday

Team 545

Sunrise BDT with RC

Team 545

Ithaca-Roubaix

Today’s Dad-Joke-A-Day calendar is perfect for Ithaca

Stumbled into an old post of mine that I really liked and want to reup buttondown.com/hillelwayne/...

Team 545 rides again!

Well, lookee here! Seems like Mike Greenberg needed a static analysis after all. sigops.org/s/conference...

@alphaconvert.bsky.social I believe "ownership" generally tracks back through this paper by Noble: doi.org/10.1145/2869.... It cites Hogg's "Islands" and Almeida's "Balloons" as inspiration. So, like the bad sweaters we all used to wear, the terminology was even more colorful in the 90s!

At Bellairs on a quest to figure out decentralised independence

@anil.recoil.org ✅ @neurocy.bsky.social ✅ ♟️✅ 🏏 ✅ 🍹✅ 🇧🇧 ✅

Jon Sterling gives a plenary on Synthetic Domain Theory at Bellairs ‘25

Prakash Panangaden gives the first plenary at Bellairs ‘25

Thank you to @ilyasergey.bsky.social for resurrecting SIGPLAN Research Highlights, and for doing a wonderful job running the deliberative process to select these amazing papers (from many other great nominations).

Super excited: my new @darpa program on AI for pure mathematics! Exponentiating Mathematics (expMath) aims to accelerate the rate of progress in pure math through the development of an AI collaborator and new professional-level math benchmarks. sam.gov/opp/4def3c13...