@yossk

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

#Android #Java #Kotlin #Ruby #RubyOnRails #Elasticsearch

株式会社ソニックガーデンのRubyプログラマ。「プロを目指す人のためのRuby入門」の著者、および「Everyday Rails - RSpecによるRailsテスト入門」の翻訳者。 プログラミングスクール「フィヨルドブートキャンプ」のメンターでもある。

Slack で Bolt などの Slack 公式 SDK の開発と、日本語での Developer Relations の活動を担当しています。

セコンです。

Ruby programmer

Asakusa.rbのひと。

ぐへへ

数学青春物語『数学ガール』の作者。プログラミング入門書や暗号入門書なども書いてます。

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

nariさん

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

Agile 1st generation, Ultra Runner

Hello, World.