Personal website of Aditya Kumar. I study computer science at UW and work on compilers, ML, and more.https://adi-k.com/en-ushttps://adi-k.com/blog/abstract-algebra-solutions/https://adi-k.com/blog/abstract-algebra-solutions/Worked solutions to selected exercises from Dummit and Foote's Abstract Algebra, chapters 1 through 8: groups, rings, and Euclidean domains.Wed, 22 Jun 2022 00:00:00 GMThttps://adi-k.com/blog/haskell-functors-in-detail/https://adi-k.com/blog/haskell-functors-in-detail/A hands-on walk through the Functor typeclass and its major instances in Haskell: Either, List, Maybe, IO, functions, and tuples, with the laws and worked examples.Wed, 16 Sep 2020 00:00:00 GMThttps://adi-k.com/blog/ghc-error-messages-explained/https://adi-k.com/blog/ghc-error-messages-explained/What GHC's most common type errors mean, one at a time: occurs checks, rigid type variables, missing instances, ambiguous types, and how to read the suggested fix.Sun, 13 Sep 2020 00:00:00 GMT