Samir Rashid
Blog Posts
CV
Samir Rashid
A student, forever
Follow
Exploring Space
Email
GitHub
Keybase
LinkedIn
Bluesky
Twitter
Blog posts
Feed
2026
May 11
Master’s Thesis: The Time is Right: Retrofitting Formal Verification onto Timers in an Operating System
2025
Jun 26
Physics of Satellite Internet From First Principles
Apr 15
Binary Room
: Implementation of a RISC-V to ARM Translator
Apr 13
Linux Spelunking: How are processes loaded?
Recommended read
Feb 18
Tabula Rasa
: Starting Safe Stays Safe
Feb 17
Pronoun usage in the Linux Kernel
2024
Oct 11
Bug snack:
fork
s upon
fork
s
Oct 6
100 Best Movies
Sep 3
Compile time techniques for safer firmware
Recommended read
May 4
10 reasons I chose to join Triton UAS
Mar 15
The case for Nix on the home server
Recommended read
Mar 5
My Favorite Teachers
2023
Dec 8
How I contacted professors and got involved with research
Sep 27
Window as an Instrument: A Collection
Aug 30
Junior year of UCSD in review
2022
Dec 9
Staging site for GitHub Pages using GitHub Actions
2020
Aug 26
First blog on new website
