iiinova — where your digital self keeps evolving

Reposted by Samir Rashid

domi @domi.zip · 27/12/2025

Happy 2026

"Look at me, I am the captain now meme" template with caption "Look at me, I'm the btw now" told by nixos to arch linux

412018

Reposted by Samir Rashid

isabel @isabelroses.com · 09/11/2025

somebody had to

nix fixes this. using the zohran for ny themplate

311420

Reposted by Samir Rashid

tockos.org @tockos.org · 03/10/2025

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

youtu.be

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…

042

Reposted by Samir Rashid

Among Us 🎂 @amongus.innersloth.com · 01/08/2025

i know what u are

A Red Crewmate with a photoshopped human hand pointing an accusing finger at you. Text on screen says "Impostor."

2627143

Reposted by Samir Rashid

Michael Coblenz @mcoblenz.bsky.social · 02/07/2025

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

ucsd.co1.qualtrics.com

Rust Learning Quiz

Help us learn more about Rust by taking this short and easy quiz!

093

Reposted by Samir Rashid

pulu @pulusound.fi · 07/06/2025

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

183

Reposted by Samir Rashid

tockos.org @tockos.org · 28/04/2025

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

world.tockos.org

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.

045

Reposted by Samir Rashid

Gernot Heiser @microkerneldude.bsky.social · 07/05/2025

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

usenix.org

USENIX ATC Announcement | USENIX

265

Samir Rashid @godsped.com · 07/02/2025

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

010

Samir Rashid @godsped.com · 13/01/2025

My favorite type system is type.systems

type.systems

type systems

000

Samir Rashid @godsped.com · 31/12/2024

"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, ↵

121

Samir Rashid @godsped.com · 20/12/2024

Looking forward to seeing others at SoCal PLS! socalpls.github.io

010

Reposted by Samir Rashid

Loris D'Antoni @lorisdanto.bsky.social · 17/12/2024

Every time you read a book or a paper, you are one step closer to becoming an LLM

141

Samir Rashid @godsped.com · 08/12/2024

Why isn't it spelled heirarchy? Is it not an arch-y structure of heirs?

010