From dd4dd7513c7c983345c5fcf06eeeb6a93e2ac7a1 Mon Sep 17 00:00:00 2001 From: Sean T Allen Date: Sun, 2 Feb 2025 08:47:39 -0500 Subject: [PATCH] Last Week in Pony - February 2, 2025 (#1045) --- .spelling-wordlist.txt | 2 + docs/blog/posts/last-week-in-pony-020225.md | 53 +++++++++++++++++++++ 2 files changed, 55 insertions(+) create mode 100644 docs/blog/posts/last-week-in-pony-020225.md diff --git a/.spelling-wordlist.txt b/.spelling-wordlist.txt index 3d999096..63720d84 100644 --- a/.spelling-wordlist.txt +++ b/.spelling-wordlist.txt @@ -367,6 +367,7 @@ OSX OTP packethost Palka +Pantazis param parameterization parter @@ -568,6 +569,7 @@ Wahl Wallaroo WallarooLabs Wayland +Webber WebSocket WG WHEEEE diff --git a/docs/blog/posts/last-week-in-pony-020225.md b/docs/blog/posts/last-week-in-pony-020225.md new file mode 100644 index 00000000..96dc5e56 --- /dev/null +++ b/docs/blog/posts/last-week-in-pony-020225.md @@ -0,0 +1,53 @@ +--- +draft: false +authors: + - seantallen +categories: + - "Last Week in Pony" +title: "Last Week in Pony - January 26, 2025" +date: 2025-01-26T07:00:06-04:00 +--- + +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](https://www.ponylang.io/blog/2025/01/last-week-in-pony---january-26-2025/#soundness-hole-closed), 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: + +- [ponylang/http_server PR #81](https://github.com/ponylang/http_server/pull/81) +- How to test an actor based version of Conway's Game of Life. +- Alex's work towards his degree +- [Smalltalk](https://en.wikipedia.org/wiki/Smalltalk) +- Unbounded queues +- The [ponylang/http_server](https://github.com/ponylang/http_server/) APIs and things that Red and I would like to see changed. + +And we spent a ton of time talking about [systematic testing in Pony](https://github.com/ponylang/ponyc/blob/main/BUILD.md#systematic-testing) and how it came to be. I discussed it coming over from [Verona](https://www.microsoft.com/en-us/research/project/project-verona/) where [Pantazis Deligiannis](https://opensource.microsoft.com/blog/author/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](https://microsoft.github.io/coyote/) and P#. Which lead to a decent amount of conversation about the [P programming language](https://en.wikipedia.org/wiki/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 + +- [ponylang/ponyc 0.58.10](https://github.com/ponylang/ponyc/releases/tag/0.58.10) +- [ponylang/release-bot-action 0.6.4](https://github.com/ponylang/release-bot-action/releases/tag/0.6.4) + +--- + +_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](https://ponylang.io) or our [Zulip community](https://ponylang.zulipchat.com). + +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](https://github.com/ponylang/ponylang.github.io/issues?q=is%3Aissue+is%3Aopen+label%3Alast-week-in-pony).