a ton of crates @tonofcrates.bsky.social · 30/08/2026By bringing the power of type systems to systems programming, we hope to open up the "Strait of Hormuz" that currently exists between PL researchers and systems hackers. 1395
max @seoul.systems · 02/09/2026this is basically just Gregs justification for Rust for Linux lmao 010