My biggest interests are in functional programming, formal methods, and mechanistic interpretability.
-
Research
-
Online Prescence
-
Recommendations:
-
Currently reading:
My biggest interests are in functional programming, formal methods, and mechanistic interpretability.
Research
Online Prescence
Recommendations:
Currently reading:
A journey in formal method. Book link: https://blastwind.github.io/journey-through-formal-methods/
CSS
Replica of hearthstone's battlegrounds mode in the terminal.
ACER is an AST-based Callgraph Generator Development Framework
An edutech webapp (V3) to create, track, and share learning roadmaps