Following Organizations
No Organizations you are following
Followees
- Watanabe Makoto @makotow
Software Engineer.インフラとアプリケーションの次元の狭間に生息。 よく使うもの: Docker/Go/Scala/Ruby/Mac/Emacs/IntelliJ
- @orange_clover
フトウェアエンジニア。特技はtypoです。師匠から技術ともに伝承しました。 C屋なGroovyist 興味があるもの: Groovy/C/Java/Database/XP/agile/文房具/座席表/日本鼻メガネの会 詳細プロフィール: http://bit.ly/oc_prof
- 三宅 英明@mollifier
zsh, vim, vimperator, JavaScript, iOS, .NET に興味があるプログラマ
- @bleis
くぁ
- Junichi Kato@j5ik2o
Chatwork社テックリード/DDD Evans本レビューア/Scala,Rust/お仕事は➡ https://bit.ly/3kIYMJU / 質問は➡ https://peing.net/ja/j5ik2o / Github sponsor ➡ https://github.com/sponsors/j5ik2o
- @teppeis
Hi! I'm teppeis!
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。