Aditya Kumar

Writing

• Jun 22, 2022
  My solutions to Abstract Algebra by Dummit and FooteSolutions to selected exercises from Dummit and Foote's Abstract Algebra, chapters 1 through 8.
• Sep 16, 2020
  Haskell Functors in Detail: An in-depth tutorial/reference about functorsA hands-on walk through the Functor typeclass and its major instances in Haskell.
• Sep 13, 2020
  Haskell: GHC's error messages explainedWhat GHC's most common type errors mean, and how to understand them.

Work

• Rival 3Interval arithmetic for real computation, in Rustmaintainer
• HerbieRewrites floating-point expressions for accuracycontributor
• mytorchAutomatic differentiation with the PyTorch APIauthor
• go--A compiler for a subset of Go in 16,000 lines of Rustauthor
• TeraMDA complete Markdown parser in 1,100 linesauthor
• clrp-regexAn LR(1) parser generator and regex engineauthor