きーた

凝った記事は Zenn <https://zenn.dev/lotz> に書いていきます

Neovim, 型システム, Haskell, Idris, TypeScript, Monad, 圏論, Claude Code, Devin, Vue, Nuxt, 自動テスト, メンテナンス性, フロントエンド, フルスタック, Effect System, React, Scala, YazawaNico

Erlang/OTPやRustで分散DBを開発してます。プログラミングは中学生の頃から、30年ほど独学でやってきてます。大学はアメリカ東海岸にある美大でした。現在は上海在住

React、TypeScript、Rust、Dart、Elm、Haskell、ES2020、Groovyが好き。

I love reading OSS codes & arXiv papers. My interests: #QuantumComputing #Haskell #LEAN #LLVM #RISCV #p5 #q5mjs #OpenQL #processgraph #量子コンパイラ #未踏tg '18-'20.

Haskellすき

RustとAndroidとCLIツールと離散構造好き。いつかRustかAndroidアプリ開発で仕事をしてみたい万年初心者。 Twitter（自称X）は@ogtkzkです。