BPK_t

0 Contribution

/ Following users

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

Go界の情弱です

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

RubyとVimをこよなく愛するプログラマ。

ネットワーク屋(多分)

<marquee>