https://twitter.com/kinaba のログ (twilog の方が便利です。)
| RT @lambda_calculus: The POPL proceedings are free from the ACM digital library while POPL is going on! http://dl.acm.org/citation.cfm?id=2429069 #popl | |
| Slideshareでフォローされましたメールが相次いでいるんだけど皆さん https://t.co/OWXQho2a を見たせいですかそれともfriend suggestでもされるようになったん | |
| Chrome、他にプログラム動かしまくっててCPU使用率100%の時の反応の悪化が異常な気がする。大抵のアプリはもっさりはするけど一応スケジュールはされてそれなりに動きはする気がするんだけど | |
| RT @ksknac: 詳しくは http://www.languageinclusion.org/doku.php で． #popl13 | |
| http://languageinclusion.org/doku.php ドメインかっこよい | |
| A collection of recent research results on automata language inclusion testing 全部実装するまで帰れまなんとか | |
| @filil あー、たしかにそれで割を食うことはあり得そうな気がしますね。なにか適当なベンチマークしてみるかな | |
| アイの庭きいてる（この音楽すごくよかったから完成したら買おうと思ってたんだけどどうしよう） | |
| 意味深（意味深 |