layout personal Satnam Singh I'm an independent software engineer working at the intersection of programming languages, hardware design and formal methods.