Some of my peculiar technical skills:
- High performance and portable shell programming
- APL[0]: Author of YAML parser in APL[1]
- Guix[2]: My daily driver. Reproducible builds rock.
- Metamath[3]: The best proof system IMHO.
- Japanese: My primary language these days.
Other random experience: - Founding board member of AI Industry Forum ISH
- Member of AI alignment group in Japan, ALIGN
- Years running infra for major retailer in Japan
- Zen Buddhism: Lived 2 years in temple
Contact information: Email local-part: boexahgahk
Email domain: wilsonb.com
URLs: [0]:https://www.dyalog.com/
[1]:https://github.com/xelxebar/dayaml
[2]:https://guix.gnu.org/
[3]:https://us.metamath.org/