About me My biggest interests are in functional programming, formal methods, and mechanistic interpretability. Research Evaluating Large Language Model Performance on Haskell ACER: AST-based Call Graph Generator Framework Online Prescence Blog Twitter Youtube Linkedin Recommendations: Cognitive Loads in Programming Disco Elysium Oleg Kiselyov's writings Currently reading: Gödel, Escher, Bach Software Foundations Book of Symbols