@hidai@github

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

grpc-gatewayというのを作ったり、『初めてのRuby』という本を書いたりした。界面と架橋が好き

Haskellプログラマです。

ロックフリーです。

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

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