• @amoO_O

    うん、まぁ。 I think so.

  • @takotakot

  • あいや aiya000@aiya000

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

  • Muta Atsuyoshi@atsuyoshi-muta

  • @kyamaz

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

  • @tamanujan

    必殺技は、理論数学とジャズギター。なんでも自作したくなる。

  • @yTech

    こんにちは

  • @moatom

  • @wint

  • @yoshihiro503

    A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

  • @mamepone

    関数型とHaskellと数学が好きです＊

  • 須原 浩道@suharahiromichi

    定理証明系や論理プログラミングに興味をもっています。

  • So Katagiri@KatagiriSo

    iOSフリーランスエンジニア。お仕事募集してます。 数理科学とプログラミングもくもく会　http://map.connpass.com/ 技術ブログ　http://rodhos.hatenadiary.jp/ 最近の興味：機械学習、量子論

  • Ryo OSHIMA@oshimaryo

  • 2bit ISHII@2bbb

  • @ryotako

  • @muripo_life

    平社員

  • Tsutomu Saito@SaitoTsutomu

    Programmer

  • @mrrclb48z

  • まえすとろ@LyricalMaestro0

    数学マニアなデータサイエンティスト。マニアと言いつつマニアの域には実力が達していないが…競プロとかkaggleとかやってたりします。あと、元Androidエンジニア。 https://atcoder.jp/users/LyricalMaestro