Happy 2026

somebody had to

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?...

i know what u are

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_...

Linux fans are always telling me to use free software. yet suddenly its a problem when i "use after free"

@jeremysf.bsky.social will be speaking at KiCon North America 2025. Stop by our booth to say hi!

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

RIP Usenix ATC – I’ve got many fond memories of you www.usenix.org/blog/usenix-...

I’m excited for all the great talks today for SoCal Programming Languages and Systems. Thanks to @ucsd_cse for hosting

My favorite type system is type.systems

"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

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?