Docker、k8s、AnsibleとかDevOps系のお仕事よくやってます。 趣味でPython。面倒くさいことはShellScriptで解決します。 AWSとセキュリティを勉強中です。

仕事でJakarta EE/MicroProfile関連の開発をしてます。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq

ここでの発言は個人の見解であり、所属する組織の公式見解ではありません。 書き込む内容としてはwebアプリ系が多いと思います。

Twitter: https://twitter.com/nekonenene

UIを作りたい

Web 系企業のソフトウェア開発者です。