@astronoka

ESLint のメンテナ。Vue.js の開発チームメンバー。JavaScript 言語仕様書 ECMA-262 や JavaScript 構文解析器 Acorn のコントリビューター。

Coqなどによるプログラムの正しさの検証・証明に興味があります。

しがないプログラマー

lie付 Hacker : 家宝はThe Avalanches - Since I Left You オリジナル豪盤

ruby,javascript,go とかウェブサービスに関わる小さな話を書いていきます。 最近はGoばかりやってます。基本はメモ。