About Ramkumar Ramachandra

Upstream LLVM contributor and Formal Methods researcher. Expect a mix of technical posts interspersed with cute real-world musings.

Lists

Timeline

artagnon has no activity yet