hidai@github

59 Contribution

/ Following users

下北沢オープンソースCafeのマスターで、図書館サービス「リブライズ」のデザイン担当。Riot.jsのコア開発者。

grpc-gatewayというのを作ったり、『初めてのRuby』という本を書いたりした。Rubyの不活発なコミッタでもあり、年に1回ぐらいコミットする。 界面と統合が好きなのでproxyを書いたりadapterを書いたり移植したりオーケストレーションを考えたりする。

Haskellプログラマです。

ロックフリーです。

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

細々したものをちょろっと作るのが好きな、にわか機械学習ファンの駆け出しRailsエンジニア