Reposted by Samir Rashid
Reposted by Samir Rashid
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
October 3, 2025 at 9:37 PM
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?...
Reposted by Samir Rashid
Reposted by Samir Rashid
Reposted by Samir Rashid
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
July 2, 2025 at 5:08 PM
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_...
Reposted by Samir Rashid
Linux fans are always telling me to use free software. yet suddenly its a problem when i "use after free"
June 7, 2025 at 10:13 AM
Linux fans are always telling me to use free software. yet suddenly its a problem when i "use after free"
Reposted by Samir Rashid
@jeremysf.bsky.social will be speaking at KiCon North America 2025.
Stop by our booth to say hi!
Stop by our booth to say hi!
#KiCon North America 2025 is proud to have @circuitly.bsky.social as a sponsor!
Join us on May 30 at UC San Diego for their talk:
“Circuitly’s Design and Architecture: An inside look at a KiCad-compatible, git and web browser-based EDA tool.”
Join us on May 30 at UC San Diego for their talk:
“Circuitly’s Design and Architecture: An inside look at a KiCad-compatible, git and web browser-based EDA tool.”
May 23, 2025 at 6:34 PM
@jeremysf.bsky.social will be speaking at KiCon North America 2025.
Stop by our booth to say hi!
Stop by our booth to say hi!
Reposted by Samir Rashid
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
April 28, 2025 at 6:44 PM
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
Reposted by Samir Rashid
I’m excited for all the great talks today for SoCal Programming Languages and Systems. Thanks to @ucsd_cse for hosting
February 7, 2025 at 4:56 PM
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
type systems
type.systems
January 13, 2025 at 7:31 PM
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, ↵
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, ↵
December 31, 2024 at 10:48 PM
"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, ↵
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, ↵
SoCal 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!
Submit your abstracts!
socalpls.github.io
@ranjitjhala.bsky.social @manu.sridharan.net @cristalopes.bsky.social
Reposts appreciated!
Home · SoCal PLS
socalpls.github.io
December 20, 2024 at 8:29 PM
Reposted by Samir Rashid
Every time you read a book or a paper, you are one step closer to becoming an LLM
December 17, 2024 at 10:55 PM
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?
December 8, 2024 at 10:43 AM
Why isn't it spelled heirarchy? Is it not an arch-y structure of heirs?