iiinova — where your digital self keeps evolving

Samir Rashid @godsped.com · 02/06/2026

bsky.app/profile/calt...

030

Samir Rashid @godsped.com · 26/04/2026

Great analysis on the matter jenniferdaniel.substack.com/p/new-emoji-...

jenniferdaniel.substack.com

130

Samir Rashid @godsped.com · 09/02/2026

Pannuto used Matrix for their course chat, which worked well. Though all the students ended up using discord to chat amongst groupmates.

110

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

Samir Rashid @godsped.com · 08/10/2025

This is a cool paper on shared libraries in Tock OS github.com/atar13/ms-th... There are some interesting tricks needed for relocations to work

github.com

000

Samir Rashid @godsped.com · 08/10/2025

Here's the Rustconf recording www.youtube.com/watch?v=cOP2... The publication pdf, slides, and recording: www.usenix.org/conference/o...

youtube.com

Leon Schuermann: "Memory Safety is Merely Table Stakes [...]" | RustConf 2025

YouTube video by Rust Foundation

111

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

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

I voted! Is a Nix flag still underway?

100

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

Where can I find the slides?

000

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 · 11/02/2025

You have it set that only people who you follow can send DMs.

100

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

I’d love to take the Dell Dock and put it to good use. I’ll also claim the Das keyboard if no one else has.

100

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

at any rate, an acquired taste" - @ranjitjhala.bsky.social (probably), 2012 Here's to hoping 2025 is the year computing palates change.

050

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 · 31/12/2024

In reality, AI children will probably take on a more sinister incarnation, a la this story github.com/siraben/webs...

github.com

010

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

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

010

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

This is so awesome! I was planning on building a similar dashboard to inspect historical benchmark performance for Tock OS.

100

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 · 11/12/2024

Perfect for our LLM faculty @ppannuto's meta-model son

010

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

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

010

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

LLMs are disallowed, but we are aware of its usage. Homeworks are graded for completion. PAs can be monitored for commit history and monitoring trends on how often students run their code during development on ieng6.

020

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

Flux's refinement types can be used to add matrix/array size checking to the Rust type system. Paper: dl.acm.org/doi/pdf/10.1... Some related usage examples: flux-rs.github.io/flux/blog/04... github.com/flux-rs/flux... flux-rs.github.io/flux/blog/03...

flux-rs.github.io

Arrays and Const Generics - Flux Documentation

010