λ Life is Study

Programming languages, Concurrency & Distributed Systems; but also, random hobby stuff.