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
ヾ( l _ l 〃)ノ゙ドン☆
メルカリ/メルペイ所属。バックエンドエンジニアとして日々Goを書いている。Google Developer Expert (Go)。一般社団法人Gophers Japan代表。Go Conference主催者。大学時代にGoに出会い、それ以来のめり込む。人類をGopherにしたいと考え、Goの普及に取り組んでいる。複数社でGoに関する技術アドバイザーをしている。
ブログ移行しました。 「人と一緒に働くロボット」のUI/UXをつくっています。
((lambda (x) (x x)) (lambda (x) (x x)))
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.