細々と頑張ってます。 MacBook Air が相棒です。

ゆるふわの人です

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

メガベンチャーで生成AI系のサービス開発をやってます

フリーのプログラマ

Androidエンジニアしながら学生しています

https://bottoms-programming.com/