Mastodawn

Explore the Wild West of post-POSIX IO Interfaces with Anil Madhavapeddy! A lively VMIL'25 talk about new IO abstractions, performance, and systems design - perfect for OS devs, researchers, and curious programmers. Tune in! #VMIL25 #POSIX #IO #SystemsProgramming #OperatingSystems #AnilMadhavapeddy #English #TechTalk
https://crank.recoil.org/videos/watch/323e1d45-3cf6-4554-9d96-db730c3df8a7

[VMIL'25] The Wild West of post-POSIX IO Interfaces

PeerTube

Show thread

NellowTCS Mar 13

Why Rust for the runtime?

- Portable (runs anywhere)
- Strongly typed
- Predictable under concurrency
- Safe to embed
- Fast enough to sit in the middle

Basically: "I want this to run everywhere and not explode"

#rustlang #systemsprogramming

Hacker News Mar 12

The Cost of Indirection in Rust

https://blog.sebastiansastre.co/posts/cost-of-indirection-in-rust/

#HackerNews #CostOfIndirection #Rust #Programming #Performance #Optimization #SystemsProgramming

The Cost of Indirection in Rust

Why 'indirection has a cost' is usually the wrong reason to inline and what actually costs you.

Selective Creativity

TechLİfe Mar 8

Rust 1.94.0 Released with Array Windows and Cargo Improvements

https://techlife.blog/posts/rust-1-94-0-released/

#RustLang #Rust #Programming #SoftwareDevelopment #SystemsProgramming #OpenSource #Cargo #ArrayWindows #TOML #ConstEval #RustRelease

Rust 1.94.0 Released with Array Windows and Cargo Improvements

Rust 1.94.0 introduces array_windows for slices, Cargo config inclusion, TOML 1.1 support in Cargo, and stabilized APIs in const contexts.

TechLife

Reel Tubes Mar 8

Deep dive into k-CAS: Vesa Karvonen breaks down sweat-free techniques for concurrent, lock-free programming with clear slides and full speaker notes — perfect for systems engineers and PL enthusiasts. Enlightening and practical! #kCAS #Concurrency #LockFree #ParallelComputing #SystemsProgramming #ProgrammingLanguages #VesaKarvonen #Tarides #English
https://watch.ocaml.org/videos/watch/acebc363-12df-4cd6-aec0-e8239ab325e0

k-CAS for sweat-free concurrent programming by Vesa Karvonen

PeerTube

Giménez Silva Germán Alberto Mar 5

Ruby provides a powerful interface for building native extensions, allowing Ruby code to call C functions directly.

The article walks through:

• the structure of a Ruby C extension
• compiling with extconf.rb
• argument conversion between Ruby and C
• wrapping native structures
• using Rust as an alternative for building extensions

Includes practical code examples for building your first native Ruby binding.

https://rubystacknews.com/2026/03/04/writing-ruby-bindings-for-c-libraries/

#ruby #systemsprogramming #opensource

Writing Ruby Bindings for C Libraries

Writing Ruby Bindings for C Libraries March 4, 2026 Building Native Extensions with C (and Rust) Ruby is known for its productivity and elegant syntax, but sometimes performance-critical tasks requ…

Linking Ruby knowledge from the most remote places in the world.

Show thread

Christophe 🇪🇺Feb 21

Design goals:

- Zero friction: header-only, self-compiling C scripts, one-line install
- Safety + liveness: invariants for "never" properties, goals for "eventually" properties
- Multi-path verification: `FROM`/`TO` macros to check reachability from arbitrary states
- Sanitizer support: ASan + UBSan enabled with a single flag

Ideal for protocols, state machines, synchronization logic, anything where exhaustive verification is tractable.

GPLv3. Feedback and contributions welcome.

🔗 codeberg.org/cdsoft/benelos

#C #ModelChecking #FormalMethods #EmbeddedSystems #OpenSource #SystemsProgramming

Show thread

JdeBP Feb 16

@cstross @alex_p_roe @timo21

Amusing aside on that score:

I looked at Lynx's vaunted 1991-patented interrupt handling for #LynxOS.

There's prior art for it in the forms of KMOS, an operating system used for teaching purposes by Milan Milenković (who published a book on operating systems in 1987 describing kernel-task-based interrupt handling), and indeed in #Minix too.

#OperatingSystems #KMOS #MessagePassing #SystemsProgramming #RTOS

Rust in Paris 🦀 Conf Feb 5

New Speakers Announcement 🚨

Rust in Paris 2026 is on. 🇫🇷🦀
A full day dedicated to real-world Rust: performance, safety, tooling, production stories, and the people building the future with it.

🎤 Second lineup is here.

📍 Paris, France — 27 March 2026
🎟️ Tickets: https://ti.to/xperhub/rust-in-paris-2026

If you’re building with Rust (or want to), you’ll want to be in the room.

#Rust #RustLang #Paris #Developers #SystemsProgramming #OpenSource #Meetup #Conference