Skip to content

Last Week in Pony - February 2, 2025

A fix for a nasty bug in the implementation the Pony type system was released as part of Pony 0.58.10. We recommend everyone update as soon as possible.

Items of Note

Pony 0.58.10 Released

As we detailed last week, a soundness hole was fixed in the Pony compiler recently. Pony 0.58.10 which was released on Saturday February 1st, 2025, contains the fix. We recommend everyone update as soon as possible.

There’s other important fixes in the release as well, but in the end, soundness holes will get all the headlines. Go, update now!

Pony Development Sync

There was no agenda of note for this week’s sync so we chatted for a bit and then went about our days without making a recording.

Office Hours

We had a great time at Office Hours this week. Red, Adrian, Alex Webber, and I had a great conversation that covered a range of topics.

Among the things that were discussed:

And we spent a ton of time talking about systematic testing in Pony and how it came to be. I discussed it coming over from Verona where Pantazis Deligiannis had added it. While we were talking, I was texting with Sylvan and he sent me links to other work that Pantazis has done including Coyote and P#. Which lead to a decent amount of conversation about the P programming language.

We really do have a great time at these things. You should join us. If you come with Pony problems, we can help! If you come with fun conversation, we can chat! If you come with both, we can do both!

Releases

Last Week In Pony is a weekly blog post to catch you up on the latest news for the Pony programming language. To learn more about Pony, check out our website or our Zulip community.

Got something you think should be featured? There’s a GitHub issue for that! Add a comment to the open “Last Week in Pony” issue.