Kiwamu Okabe

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.

Languages: Ruby, Swift, Kotlin, Scala, TypeScript, etc... Full stack developer

元へっぽこ電子回路エンジニア。現在隠居中。どちらかというとVHDL派。最近はFPGA+SoC でいろいろやってます。github でもいろいろと公開してます。 https://github.com/ikwzm

Linux、BSD、kernel

(I'm software engineer in Japan.) おじさんだけど、お仕事ではNetBSD/Linuxカーネルのソースコード読んでる時間が7割程度。エラくはなれないけど、それなりに上々かな。趣味はお名前の通り、居酒屋めぐり。場末の飲み屋でHoppy飲むのが至福です。

🐶

ネットワークとソフトウェアのエンジニアをやっています．

EmacsとかLispとかHaskellが好きです。最近はRust。 最近はScrapboxでメモをよく書いてます。 https://scrapbox.io/pogi-log/

🥺

仕事からの現実逃避中

くぁ

同人ゲームを作りつつRubyCity松江でソフトウェアエンジニアをやっています

Haskell が好きです。ただし最近の動向には疎いです。 gcc や LLVM のバックエンド記述をいじったりしたことがあります。 ネットワークの L3 あたり（ルーティングプロトコルとか socket API の拡張とか）あたりをいじったこともあります。 TTL ICで8bit CPU（独自アーキテクチャ）を作ったことがあります。 …だいたいこんなところでしょうか

大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。

はじめまして Ruby,Emacsが好きです．

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