A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
Participating Organizations(1)
Following Organizations(1)See all
Followers
- D. M@DM2525
スパコン製作、無線、登山、ドライブ、サイエンスを楽しんでいるニコ厨です。 不束者ですがよろしくお願いします。 ニコ：https://nicovideo.jp/user/84757291 X:https://x.com/dmepjp 依頼等ご自由に ディアちゃんマジ天使 いいね・ストックいただけますと幸いです
- ogata-k@ogata-k
RustとHaskellとAndroidとCLIツールと処理系好き。いつかRustかAndroidアプリ開発で仕事をしてみたい万年初心者。 Twitter（自称X）は@ogtkzkです。
- Kioto Hirahara@kioto
フリーランスのプログラマです。
- hrtk assh@hiro_assh
Objective-C
- @pxfnc
きーた
- @cedretaber
Ruby と OCaml とD言語が好きです。
- @mrsekut
型と圏がすきです Qiitaはほぼ見る専です
@x_x_lソフトウェア開発職してます． 大学時代は，理論計算機科学に興味を持っていましたが，興味を持っただけで終わった．．．
- @tkinagaki
アラサーの社畜です
- Junichi Kato@j5ik2o
元kubell(旧Chatwork)（2014-2023）テックリード。業界歴25年以上。大規模メッセージングシステムの設計・開発を担当。現在はIDEO;PLUSにて技術顧問・開発支援を行い、DDD/CQRS導入支援やアーキテクチャ設計の指導を提供中。
- 吉村 優@yyu
暗号やプログラム言語の記事をよく書きます。 最近ではZenn.devにも投稿してます。 https://zenn.dev/yyu
- Keita Suzuki@keitaj
http://ja.stackoverflow.com/users/8558/suzuki-keita
- Yuji YAMAMOTO@igrep
HaskellとWebAssemblyとプリキュアが好き。よく眠り、よくコードを書きたい。 今はHaskell関係の記事は https://haskell.jp/blog に書いております。
- @adacola
F#とコーラとみもりんと橘まおさんが好きなプログラマー。わりといろんな分野のコードを書いたことがあります。
- Daichi Yanagi@daichi87gi
Webプログラマー。作成する記事には要所に画像、関連リンクを張る、過去の記事は更新するといった配慮を行っています。又、指摘コメントや、フォローをして頂ける方にはフォロー返しさせて頂いています。
- @Thought_Nibbler
"現実は貴方の想像を凌駕する"
- Yuji Ueki@unhappychoice
Full-stack Software Engineer
- Ruichi Kos@ruicc
Haskeller, Vimmer, Engineer.
- Kei Hibino@khibino
http://profile.hatena.ne.jp/khibino0/ http://www.haskellers.com/user/khibino Haskell で RBD query を記述するライブラリを作りました http://khibino.github.io/haskell-relational-record
