@negokaz

null

株式会社ソニックガーデンのRubyプログラマ。「プロを目指す人のためのRuby入門」の著者、および「Everyday Rails - RSpecによるRailsテスト入門」の翻訳者。 プログラミングスクール「フィヨルドブートキャンプ」のメンターでもある。

AWS Container Hero maintaining kube-aws, eksctl, brigade, helmfile, helm-diff, etc.

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

Chatwork社テックリード/DDD Evans本レビューア/Scala,Rust/お仕事は➡ https://bit.ly/3kIYMJU / 質問は➡ https://peing.net/ja/j5ik2o / Github sponsor ➡ https://github.com/sponsors/j5ik2o

Manga Writer

こんにちは僕です

数学青春物語『数学ガール』の作者。プログラミング入門書や暗号入門書なども書いてます。

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