@imoyoukan

architect, hacker, rubyist, gopher, gambler. working on: @sinatra, @padrinorb, @grapeframework, @golang https://github.com/namusyaka

Core Developer of RSpec and RuboCop. Creator of Transpec.

Haskellプログラマです。

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

https://github.com/xuwei-k

あ あ あ

<marquee>

戀塚昭彦

ヾ(　　l　　 _　　 l　　〃)ﾉﾞﾄﾞﾝ☆

趣味では Rust とシェルスクリプトをよく書きます。

D言語とか出来ます

プログラミング始めました。

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