yue82

20 Contribution

/ Following users

多趣味で不器用な人。 like: C#, Node.js, CTF

niconicoの基盤システムであるDMCをCoqで証明しています。

ふろんとえんどえんじにあ

宜しくお願いします。

Ruたん(るたん)です。ツクールでRubyに出会ってWebに流れ着いた子。 ゲームつくったり、Webサービスつくったりしてます。

戀塚昭彦

Scalaやる会社に転職しました。

Web系企業のSREエンジニア。

クラウドエンジニア。クラウド環境のサーバを管理するツールやモニタリングシステムを開発している。普段使うのは Python や Golang が多い。

ヾ(  l   _   l  〃)ノ゙ドン☆