シンガポールでSoftware Engineerとして働いています。

Software Engineer at Nstock. ex-AWS. Opinions are my own, not endorsed by any org.

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

jackson-module-kotlinメンテナ。 jackson-module-kotlinの実験的プロジェクトもやってます、試用・スター、GitHub Sponsorお待ちしています。 https://github.com/ProjectMapK/jackson-module-kogera おま環感の強い話はブログの方で記事にしています。

リモート社会人してる

Developer | ガチエンジニア系YouTuber moga.page.link/yt | プロトタイプ開発や新規サービス立ち上げが主な仕事 | ex) 実験, DeNA

🚀 Web Application Engineeeeer