sonodax

0 Contribution

/ Following users

Haskell/Java

programmer

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

hogelog http://hogel.org/

.NETメインのgit好きなエンジニア。 ScalaからWPFまで幅広くいろいろやってます。

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

しがないルビイストです。 http://sorah.jp/more.html

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

Software Engineer

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