My biggest interests are in functional programming, formal methods, and mechanistic interpretability.
-
Research
-
Online Prescence
-
Recommendations:
-
Currently reading:
Content-Length: 197294 | pFad | http://github.com/BlastWind
9DFetched URL: http://github.com/BlastWind
Alternative Proxies: