User: xelxebar

• Created: 3066 days ago
• Karma: 2042
• 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/

submissions | comments