• @wint

  • 宇都木 朗@a_utsuki

  • sigma (Tommy)@sigma_devsecops

    元セキュリティエンジニア、現ソフトウェア開発者。 Haskellを中心に関数型プログラミングに熱中しています。 記事への有益な鉞コメント歓迎！ ↓過去に伸びた記事まとめ

  • Riki Hayashida@rhaya

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

  • Hideaki Takahashi@Koukyosyumei

    ニューヨークのコロンビア大学でAI エージェント・ソフトウェア工学の研究をしています。

  • えび@spinylobster

    フロントエンドエンジニアのつもりだった

  • @morioka

  • @hanotch

  • Yuji YAMAMOTO@igrep

    HaskellとWebAssemblyとプリキュアが好き。よく眠り、よくコードを書きたい。 今はHaskell関係の記事は https://haskell.jp/blog に書いております。

  • Yuito Murase@zptmtr

  • 須原 浩道@suharahiromichi

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

  • @gyu-don

    来世はパンダになりたい。

  • @yoshihiro503

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