Stack Overflow
Stack Overflow

Joshua Grosso Reinstate CMs
2,086
reputation
2
15
32
  • Member since May 16 2013
  • 338 profile views
  • Last seen Aug 29 '23 at 21:46

Senior at Caltech, BS '23 (Computer Science). Ex-professional web developer.

Loves Haskell (and functional programming in general) and, recently, Coq.