ブロックチェーンの中の楕円曲線、VM近傍に生息してます。記事はメモ代わりで随時更新します。内容は暗号についての論文紹介だったり、その近傍で気になる数学だったりです。

最近は Qiita 以外に移行しつつあります 雑多な技術メモ → https://scrapbox.io/snaka/ / 読書メモ → https://scrapbox.io/snaka-stockbooks/ / ポエム → https://zenn.dev/snaka / 英語記事(DeepLで翻訳) → https://dev.to/snaka

EmacsでGaucheを勉強中。

コーヒー☕とカメラ📷が好きな引きこもりエンジニアです。

最近はMLをやっています。

物理化学が専門です。

Haskellと対戦を始めた

HaskellとAgdaを学び始めた大学院生

型と圏がすきです Qiitaはほぼ見る専です

昔は Scala に憧れていたけど Scalaプロジェクトの負債化率を目の当たりにしてから考えを改めました、世界が TypeScript で統一される日が来ると信じてやまないフロント寄りの Web Developper. Next.js/Loopback Goアンチ。