xelxebar

...joined 9 years ago, and has 2097 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.
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/