Siraaj Khandkar

At library.unr.edu

I love building systems and exploring ideas, especially through programming, as it is the best medium I know for "expressing poorly understood and sloppily-formulated ideas".

My current weapon of choice is Rust, but I've also spent a significant time thinking in Erlang, OCaml, Racket, and to some extent C. Each somehow shaping my goggles. Sooner or later I want to try thinking in Coq and/or Agda.

I like to: