A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

暗号やプログラム言語の記事をよく書きます。 最近ではZenn.devにも投稿してます。 https://zenn.dev/yyu

よんたった

おっさん 勉強したことを忘れないようにメモ コメント、蒸し返し歓迎

最近は Zenn にて活動しております。 https://zenn.dev/wsuzume

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のライブラリのコミッターやってる