Catch Leon Schuermann's presentation from RustConf 2025: "Memory Safety is Merley Table Stakes" on safely interacting with native libraries from Rust, even in resource constrained operating systems like Tock. youtu.be/cOP219vkax8?...
Leon Schuermann: "Memory Safety is Merely Table Stakes [...]" | RustConf 2025
Slides: https://leon.schuermann.io/publications/2025_Schuermann_Omniglot_RustConf25_Slides.pdf Abstract: Interacting with foreign languages through Rust’s FFI exposes Rust to a range of potential…
youtu.be
We'd really appreciate help with our study of Rust programming! If you know Rust, please take about 20-30 minutes to help us find out how to make Rust programmers more effective: ucsd.co1.qualtrics.com/jfe/form/SV_...
Rust Learning Quiz
Help us learn more about Rust by taking this short and easy quiz!
ucsd.co1.qualtrics.com
Linux fans are always telling me to use free software. yet suddenly its a problem when i "use after free"
Join us for TockWorld this September, focused on Tock, OS and embedded systems security, and Rust. Do you have a cutting-edge project, case study, or research to share? Submit your proposal to give a talk. We look forward to your submissions! world.tockos.org/tockworld8/cfp
TockWorld 8 - the annual gathering for the Tock Operating System community.
The annual gathering for the Tock Operating System community · Talks and Tutorials · Developer discussion.
world.tockos.org
RIP Usenix ATC – I’ve got many fond memories of you www.usenix.org/blog/usenix-...
USENIX ATC Announcement | USENIX
usenix.org
I’m excited for all the great talks today for SoCal Programming Languages and Systems. Thanks to @ucsd_cse for hosting
"Recent years have seen many success stories where formal methods, or ideas influenced by formal methods, have transitioned successfully from the research lab to development tools. Yet, formal methods have remained the broccoli of the computing world: nutritious but not palatable, or, ↵
Looking forward to seeing others at SoCal PLS! socalpls.github.io
Loris D'Antoni@lorisdanto.bsky.social · 2y agoSoCal Programming Languages and Systems is back and will be @ucsd_cse in February! Submit your abstracts! socalpls.github.io @ranjitjhala.bsky.social @manu.sridharan.net @cristalopes.bsky.social Reposts appreciated!
Every time you read a book or a paper, you are one step closer to becoming an LLM
Why isn't it spelled heirarchy? Is it not an arch-y structure of heirs?