Ramkumar Ramachandra
@artagnon@mathstodon.xyz
Joined: 04/28/2022
About Ramkumar Ramachandra
Upstream LLVM contributor and Formal Methods researcher. Expect a mix of technical posts interspersed with cute real-world musings.
Lists
{username} has no public lists
Timeline
{username} has no activity yet