社内でEmacs vs Vimが起きた

maeda @maeda_ @yoshihiro503 @bleis @k_dispose @rika0618 @kyon_mm 証明する人の中でのproofgeneralの割合は高いと思いますが、証明する人自体が少ないのでproofgeneralのすごさを伝える先が少ないことを悲しんでいます 2013-04-03 11:08:24

[vid]

使える物を使う派。大学でvi→emacsと教わり、両方適度に使ってる。edやexを使いこなせれば最強なんだろうけど。何に強いのかは不明（ｗ　まぁ、雲の上は cat があればすべて行けるんだろうけどさぁ（＾＾；；

[kanno_kanno]

「あ、僕はnotepa....」「お呼びじゃないです」ウケタ

[yohichidate]

こういうナードな争いが発生する会社が羨ましい。技術なにそれおいしいのな会社に居るとこんな上品な争いさえ生まれないからだ。

[syuu1228]

.@kyon_mm さんの「社内でEmacs vs Vimが起きた」をお気に入りにしました。

[pochi-mk]

proofgeneral ってなんだろう？と思いぐぐった後、画像検索したらカオスすぎてわけわからんかった。勉強不足だなぁ。