Posts by Tags

GitHub Actions

Staging site for GitHub Pages using GitHub Actions

9 minute read Published: December 09, 2022

GitHub Pages

Staging site for GitHub Pages using GitHub Actions

9 minute read Published: December 09, 2022

UCSD

Junior year of UCSD in review

3 minute read Published: August 30, 2023

First blog on new website

less than 1 minute read Published: August 26, 2020

bug snack

Bug snack: `fork`s upon `fork`s

4 minute read Published: October 11, 2024

misc

Junior year of UCSD in review

3 minute read Published: August 30, 2023

First blog on new website

less than 1 minute read Published: August 26, 2020

music

Window as an Instrument: A Collection

less than 1 minute read Published: September 27, 2023

networking

Physics of Satellite Internet From First Principles

15 minute read Published: June 26, 2025

Linux Spelunking: How are processes loaded?

69 minute read Published: April 13, 2025 RECOMMENDED READ ⭐️

Compile time techniques for safer firmware

1 minute read Published: September 03, 2024 RECOMMENDED READ ⭐️

The case for Nix on the home server

less than 1 minute read Published: March 15, 2024 RECOMMENDED READ ⭐️

research

Master’s Thesis: The Time is Right: Retrofitting Formal Verification onto Timers in an Operating System

1 minute read Published: May 11, 2026

Binary Room: Implementation of a RISC-V to ARM Translator

17 minute read Published: April 15, 2025

Linux Spelunking: How are processes loaded?

69 minute read Published: April 13, 2025 RECOMMENDED READ ⭐️

Tabula Rasa: Starting Safe Stays Safe

4 minute read Published: February 18, 2025

Compile time techniques for safer firmware

1 minute read Published: September 03, 2024 RECOMMENDED READ ⭐️

How I contacted professors and got involved with research

4 minute read Published: December 08, 2023

talk

Compile time techniques for safer firmware

1 minute read Published: September 03, 2024 RECOMMENDED READ ⭐️

The case for Nix on the home server

less than 1 minute read Published: March 15, 2024 RECOMMENDED READ ⭐️

technical

Staging site for GitHub Pages using GitHub Actions

9 minute read Published: December 09, 2022

undergrad

10 reasons I chose to join Triton UAS

24 minute read Published: May 04, 2024

My Favorite Teachers

8 minute read Published: March 05, 2024

How I contacted professors and got involved with research

4 minute read Published: December 08, 2023

Junior year of UCSD in review

3 minute read Published: August 30, 2023

Staging site for GitHub Pages using GitHub Actions

9 minute read Published: December 09, 2022

First blog on new website

less than 1 minute read Published: August 26, 2020

Samir Rashid

Posts by Tags

GitHub Actions

GitHub Pages

UCSD

bug snack

misc

music

networking

recommended read

research

talk

technical

undergrad