https://twitter.com/kinaba のログ (twilog の方が便利です。)
| Increasing 2 は頭の中では証明できてるつもりなんだけど全然Coqに落とせない #coq | |
| #spcamp BoF おわたー。こういうディスカッション形式のの音頭とるのって初めてやったのだけど、うまく司会をするのは難しいなー。つい自分がしゃべりすぎてしまう。盛り上げて下さった皆様ありがとうございました。 | |
| ていうか今ごろになってTL見てて、何この人セプキャン来てるのかかかかーと驚いたりしている。特定力が足りない #spcamp | |
| @ytomino ずっと昔からFAQの上の方に必ずバージョン番号付きで引いて下さいって書いてあるんですけども、まあ誰も見ていないですよねえ。バージョン番号を名前の真ん中に入れる(NY1SL,NY2SL)ことで番号なしでは名前を呼べなくするライフハックくらい発動してもよかったレベル | |
| http://scottaaronson.com/blog/?p=458 "lemma-theorem-proof structure, …exactly like modular programming, it enormously speeds up the process of finding bugs" |