エディタ。カスタマイズ可能で、Coq-modeやHaskell mode等サポート。使ってます。ここを参考。gnu-packからインストールしてみた。カスタマイズはこのへんしてます。Emacsで「最近使ったファイル」　ウインドウを最大化したい。EmacsWiki: W Thirty Two Send Sys Command

Emacsのテーマがえ。色がえ。

オンラインのコンパイラ、インタープリタ。

プロならキーボードもこだわろう。仕事で使っている。プライベートでもほしいところ。妻は許すだろうか。。静電容量で省スペース、打鍵感もよい。Bluetoothでゲーブルもない。和田英一先生の言葉です。

アメリカ西部のカウボーイたちは、馬が死ぬと馬はそこに残していくが、どんなに砂漠を歩こうとも、鞍は自分で担いで往く。馬は消耗品であり、鞍は自分の体に馴染んだインタフェースだからだ。いまやパソコンは消耗品であり、キーボードは大切な、生涯使えるインタフェースであることを忘れてはいけない。

Happy Hacking Keyboard | 和田先生関連ページ
Emacsを開発したリチャード・ストールマンも使っている。ノートPCの上におくスタイルは尊師スタイルと呼ばれているらしいwww

C言語、Objective-C、Javaの静的検証器。Facebookが買収しOSSになった。Infer Introduction - ::Eldesh a b = LEFT a | RIGHT b]