tw.log

https://twitter.com/kinaba のログ (twilog の方が便利です。)

<<newer (latest) older>>

20090513 09:37 ICFPのAccepted Paperチェックしようと思ってたのを忘れてた http://web.cecs.pdx.edu/~apt/icfp09_accepted_papers/accepted.html
20090513 09:42 Voigtlaender の Free Theorem シリーズ最新作(勝手にシリーズ化)と "Non-Parametric Parametricity" がとりあえず面白そう。あとRalf Hinzeのなにやるつもりかよくわからん奴とOderskyの限定継続の実装。
20090513 10:02 [SRM] あーsqrt(500)までじゃなくて500/2までフラグ覚えておかないとだめだこの方針はだめだ。
20090513 18:35 @akineko よろしくおねがいします m(_ _)m。この @ の仕様変更はどうなるんでしょうね。そのうち元に戻りそうな気もしますが

<<newer (latest) older>>

presented by k.inaba (kiki .a.t. kmonos.net) under CC0