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

アイコン画像のエフティーアドニャンは、ファイルの転送を見守るファイルの妖精です。My icon features Ftadnyan, the file fairy who watches over your file transfers. It is pronounced "Ef-tee-ad-nyan." 発言は全て個人の見解です。

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

SIer勤務のSEです。 備忘録的に投稿します。 ネットワーク多め。

ネットワークとソフトウェアのエンジニアをやっています．

地方に住むエンジニアです。 Qiitaの記事でいつも助けられているので、自分もハマった体験等の記事を書いて誰かの役に立てればいいな、と思っています。

IT業界でプロマネ／営業に従事しています。 活躍中してる方の名言「先入観は可能を不可能にする」——これは挑戦を続けるうえでの原則です。

ごきげんにいきましょう

"なんでこう動くの？"を追うのが趣味。認証／認可の仕組みをネットワークレイヤから考えるのが好きです。

まだまだ修行中のエンジニアです。ちゃんとサービスを作れるようになりたいです。

SIer→事業会社→ITコンサルタントとして四半世紀業界を渡り歩いてきました。SRE/CCoE/CSIRT経験があり、インフラ・セキュリティ周りの業務に明るいですが、その一方でOSSコミッターとして個人プロダクトを作っては放流しています。