6a68
Active
user
by invitation from
skalnik
4
0
3
https://6a68.net
https://github.com/jaredhirsch
@jaredhirsch@fosstodon.org
front-end engineer on firefox. interests: PLT, constructive foundations, algebraic number theory