@xenophobia__

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

Ctrlキーを薬指で押しているので小指の痛さとは無縁なのですが、薬指が痛いです。

Standard ML is the best programming language, isn't it?

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

AndroidとFlutterを中心に、iOSやサーバサイドやインフラも少しだけやっています。 CircleCIやDangerといった、CI/CD周りにも興味があります。