Hello World
Welcome to my blog. A place where I share thoughts on math, programming, and economics.
Hey! I'm Raaid
Currently working at Stripe, building the infrastructure for public APIs and webhooks in the Production Engineering team.
I am a Computer Science graduate from Carnegie Mellon University, with a concentration in Algorithms and Complexity, and a minor in Economics.
Recent Writing
Featured Projects
Platonic Solids
An interactive WebGPU visualization of the five Platonic solids with depth-based edge coloring.
Tacopy
A Python decorator that applies Tail Call Optimizations to tail-recursive functions, offering up to 2.88x speedup and RecursionError elimination.
C0 Compiler
A compiler for the C0 language targeting x86_64 and LLVM IR, featuring SSA, register allocation via chordal graph coloring, and optimizations competitive with gcc -O1.
Proof: $\sqrt{2}$ is Irrational
A formal proof that the square root of 2 is irrational, implemented in a proof assistant.