xelxebar

...joined 8 years ago, and has 2042 karma

submissions / comments / favourites

Learning, holistic integration of ideas, and fresh perspectives on old habitual concepts absolutely delight me. My values are some amalgamation of consequentialist Truth seeking and virtue ethicist Value elucidation.

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/