https://twitter.com/kinaba のログ (twilog の方が便利です。)
| せっかくなのでTCOのマラソンやってみるかなーと思ったけどいきなり今週末予定が入ってて全つぶれだしなーと思ったけど期間１ヶ月もあるのか。じゃあいけるかなあ。 | |
| Toward.Boost って名前の付け方はよいなあ http://eces.colorado.edu/~gottschl/tboostSTM/ 。 BIL とか、(まだ)BoostじゃないのにBoostと名前つけてるライブラリはややこしくてよくない | |
| ハチワンダイバー最新刊買ったのでついつい全巻読み返しているノリでSRMにregistered。今日の俺は間違いなくarenaに向かって正座して「ダイブ！！！！」とかやる。「ここから」「あらゆる状態空間を」「1 ギ ガ 手 読 ん で や る！！！！」 | |
| そんなことよりさっさとタスク片付けよう | |
| ついったーのページのtitleが変になるバグのせいで "digitalghostの妹 (kinaba)" と表示されているのを見るたびに、「@DecimalBloat お兄様…！」という心持ちがいたします。 | |
| ideoneってCoq貼れるのか格好いいな！！と思ったらTextだた無念 RT わーい。証明ゴルフできたよ。まだ縮むかもしれないけど http://ideone.com/vIyGq #coq (via @kikx) http://twitter.com/kikx/statuses/14364682301 | |
| 今日はPTT http://www.ci.i.u-tokyo.ac.jp/~sasada/ptt/arc/365/ の発表を聞きに行ってました。これ今すぐ欲しいのだが早く公開されないかなー。てかEclipseプラグインの作り方覚えたらDescentに自分で実装できるかな | |
| ファイルシステムでもそう http://www.kmonos.net/wlog/40.php#_0141040716 だけど、手で整理したフォルダでないと、検索でまとめた結果では操作性が劣るというのは実はすごく酷い環境だと思うので、なんとかなるととても嬉しい。一つの編集バッファにおさまるというのは僕には便利さが段違いに感じられる | |
| @kikx これはもう5月20日はideone-Coq記念日 |