ネッド リヒニー

EmacsとScalaが好き。 仕事ではPerlを書いています。

.｡oO(さっちゃんですよヾ(〃l _ l)ﾉﾞ☆) 記事はQiitaには書きません。

一般的なHaskeller

怠惰で短気で傲慢なえんじにあ

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

自称PHP使いなGNU/Linuxエンジニア。

僕に警備する自宅をください。Emacs初心者。Rubyist。 全ての投稿された記事は別段の表記がない限りはCC 3.0 BY-SA https://creativecommons.org/licenses/by-sa/3.0/deed.ja で二次利用できます。 記事中に含まれる全てのコードスニペットの著作権は抛棄するので、煮るなり焼くなりお好きにどうぞ。

grpc-gatewayというのを作ったり、『初めてのRuby』という本を書いたりした。界面と統合が好き

Coqなどによるプログラムの正しさの検証・証明に興味があります。