A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
Followers
- 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
Languages: Ruby, Swift, Kotlin, Scala, TypeScript, etc... Full stack developer
- 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
- Dr. Kiyoshi Ogawa@kaizen_nagoya
I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C/C++, STARC RTL Design StyleGuide (Verilog-HDL), and HAZOP.I was an editor of ISO/IEC 15504.