- 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.
- Masahiro Honma@hiratara
I like programming :)
- エヌユル ncaq@ncaq
#プログラマ #Haskell #Emacs #Web #NLP {データベース,ネットワーク,情報セキュリティ}スペシャリスト
- @tnagao7
仕事でJakarta EE/MicroProfile関連の開発をしてます。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq
- @lotz
凝った記事は Zenn <https://zenn.dev/lotz> に書いていきます
- Yuji YAMAMOTO@igrep
HaskellとWebAssemblyとプリキュアが好き。よく眠り、よくコードを書きたい。 今はHaskell関係の記事は https://haskell.jp/blog に書いております。
- @objectx
You'll never learn if you don't see the dark side too.
