About sranu
I live at the intersection.
Software engineer with formal background in finance interested in software correctness, functional programming, database internals and distributed systems.
By day TypeScript with Effect.ts.
By night Rust or Haskell.
Opinions are my own.
Lists
sranu has no public lists
Timeline
sranu has no activity yet