Following Organizations
No Organizations you are following
Followers
- @p_q
就活中...
- 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.
@piacerex福岡でプログラマしています 超高速／省電力 非ノイマン型CPU開発 プログラマ歴42年、158言語書き IT企業3社経営 大学・高専・企業でプログラミング&AI講義 fukuoka.ex／ElixirConf JP創設 2023年スペ107コスプレ開始、体脂肪-9.2kg/5ヶ月 2025年1月STEPN開始、3月STEPNGO開始⋯毎日プレイ
- YANAGISAWA Kentaro@yanagisawa-kentaro
Bitcoiner, miner.
- 須原 浩道@suharahiromichi
定理証明系や論理プログラミングに興味をもっています。
- Yuji Ueki@unhappychoice
Full-stack Software Engineer
- @yutuki
見積作成、営業、エヴェンジェリスト活動、構築設計、構築、運用、障害対応、セキュリティ問題の調査と対応、精算、請求業務の実施。更にそれらに必要なツールの開発とその運用とか色々やってる人。
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
- 鍋谷 武典@Nabetani
元横浜へなちょこプログラミング勉強会を主催者 / 元 CodeIQ の出題者 / 日経 WinPC に連載を持っていました（名義が違うけど）/ https://bsky.app/profile/nabetani.bsky.social / https://misskey.yancya.club/@nabetani / https://taittsuu.com/users/nabetani
