@y2q_actionman

株式会社インディバースの代表です。 PdMやりながら、Railsも書きつつプロダクト開発しています。 一児の父。

ゆやりんです．ネットワークエンジニアです．

D言語とか出来ます

ほげ

自然言語処理とか機械学習とか競技プログラミングとか

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

nariさん

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