Following Organizations
No Organizations you are following
Followees
- よしだ けんじ@xuwei_k
https://github.com/scalaz https://github.com/scalaprops https://github.com/scalikejdbc https://github.com/scalapb-json https://github.com/argonaut-io Scala本体や、Scalaz、その他色々なScalaのライブラリのコミッターやってる
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
- Junichi Kato@j5ik2o
元kubell(旧Chatwork)（2014-2023）テックリード。業界歴25年以上。大規模メッセージングシステムの設計・開発を担当。現在はIDEO;PLUSにて技術顧問・開発支援を行い、DDD/CQRS導入支援やアーキテクチャ設計の指導を提供中。
- Takafumi Ikeda@ikeike443
Partner Solution Engineer at Stripe, Inc.
