@tetha

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

Smalltalk

Smalltalker.

Smalltalkのファン。パーソナルコンピューティングの歴史や未来に興味を持つ。Smalltalkはアラン・ケイらが理想のPC向け暫定的OSとして70年代に試作し以降、GUIやIDE、OOPやデザパタ、開発手法等を創出、模倣されることで世に広めた。Smalltalkは、教養や古典である一方でアグレッシブな pharo.org などとしても今なお進化を続け、同時に他者へ影響を与え続けている。

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