IVRyでSREをやっています

最近はもっぱらScrapboxにプログラミングの記事を書いています

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

一緒に働いてくれるエンジニアを探しに来ました

Software engineer for distributed storage, low latency content delivery and real-time network system.

がんばります

雑用係