Good read about cancellations in Async Rust https://sunshowers.io/posts/cancelling-async-rust/
This blogpost covers a lot of the problems in this space very well. I like how it emphasizes definitions and semantics, shows examples of bugs they came across to, and list some practical recommendations.
The "double-edge sword" of cancellation in Rust is spot on: on one hand, it's cool how "easy" and simple it is to cancel future in Rust -- you *drop* it. Especially given how non-trivial it can be in synchronous environments.
However, this also means it's far too easy to *silently* drop a future. This is scary on its own, and combined with the fact that cancellation of parent futures propagates down to child futures (because of the single ownership model) makes it much more concerning.
This post also links another (much older, Feb 2024) blogpost that covers this space well, elaborating on async clean-up problems and mentions linear types as a solution https://without.boats/blog/asynchronous-clean-up/
Last week #AllSystemsGo #ASG 2025 happened in Berlin, and it was a blast as usual, thanks to all the amazing speakers!
Talks are already available on YT: https://www.youtube.com/playlist?list=PLWYdJViL9EiqX25Rmu49FTDDnzT30wvqL
At the beginning of this month we wrapped up OSHWA’s first ever Open Healthware Conference. For two days we got to hear from incredible creators within the Open Healthware community, see demos of devices meant to better the medical world, and meet new folks from the community.
It was incredible! We can’t say thank you enough but we can try! From NSF, to speakers, to in person and online attendees - thank you, thank you, thank you!!
https://oshwa.org/announcements/open-healthware-conference-wrap-up/
All Systems Go! is almost here! Next Tuesday, Sept 30th, will kick off 2 days of talks and mingling around foundational user-space Linux technologies.
📆 Schedule is here ➡️ https://cfp.all-systems-go.io/all-systems-go-2025/schedule/
🎟️ Tickets are still available ➡️ https://ti.to/all-systems-go/all-systems-go-2025
Anyone going to be at SOSP in a couple of weeks? I will be giving a keynote at the KISV workshop on Monday morning about how CHERI changes how you think about OS design, and then we'll be presenting our paper on the CHERIoT RTOS first thing on Tuesday morning (and at the poster session).
4️⃣9️⃣ Here's the 49th post highlighting key new features of the upcoming v258 release of systemd. #systemd258
One of the key features of systemd from day 1 on is socket activation, i.e. a mechanism where systemd binds sockets on behalf of services, watches them and only activates the services themselves later, possibly only at the moment they are actively used.
This has various benefits, for example reduces ahead of time cost of running a large number of services (which improves boot times).
📣 Reminder: Ticket prices go up in a few days for All Systems Go! 2025, the foundational user-space Linux technologies event in Berlin.
🎟️ Get yours today @ https://ti.to/all-systems-go/all-systems-go-2025
ℹ️ And more info @ https://all-systems-go.io/
AI agents can potentially gain extensive access to user data, and even write or execute arbitrary code.
OpenAI Codex CLI uses #Landlock sandboxing to reduce the risk of buggy or malicious commands: https://github.com/openai/codex/pull/763
For now, it only blocks arbitrary file changes, but there’s room to strengthen protections further, and the ongoing rewrite in #Rust will help: https://github.com/openai/codex/pull/629
Landlock is designed for exactly this kind of use case, providing unprivileged and flexible access control.