dax

主にAndroidやってます。

Working at Preferred Networks, Inc / CNCF Ambassador / 『Kubernetes実践入門』『 みんなのDocker/Kubernetes』共著 / 『入門Prometheus』監訳 / Kubernetes Meetup Tokyo co-organizer / Cloud Native Deep Dive co-organizer

Haskell/Java

Advent Calendar用なので何もありません ブログは https://uzzu.co に書いてます その他 https://speakerdeck.com/uzzu など

AWSネタを主に書いていきます。 こちらは個人の意見で会社とは関係ありません。お約束です。

hogelog http://hogel.org/

アイマスとNode.jsが好きなPHPエンジニア（Scalaや.NET、Androidの経験もあり）

Technical Specialist in SORABITO Inc. #Smalltalk-ing #Ruby committer #UNIX #Linux #DevOps #LISP #Python #Emacs #dwango #teamlab #荒川智則 #AS2526 #AS55394

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

Software Engineer

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