tw.log

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

<<newer (latest) older>>

20130527 18:56 @chunjp 書かれている技術の存在を仮定するとP=NPが導けるSF小説は結構ありそうな気がする (http://www.docstoc.com/docs/103687303/Computational-Intractability-As-A-Law-of-Physics 的な意味で) #そういう話ではない
20130527 20:54 Perlゴルフまったくやらなくなって完全にPerl書けなくなってしまって困ったのでリハビリに人のゴルフコード読めば思い出すだろうと開いたのが http://golf.shinh.org/p.rb?Helloworldless+Hello+world#Perl で、まず参考にできるレベルに読解するのに困難があある
20130527 22:16 単純型のλ計算でChurch numeralの引き算は書けないという定理、世の中うまくできている感がすさまじいなあ
20130527 22:21 7月下旬になりたい
20130527 22:33 https://code.google.com/p/chromium/issues/detail?id=242831 Chromeのβ版のアドレスバーで"ff"とか"fi"の間にカーソル動かせなくなるバグ単体で既にかなり不便なんだけど、合わせ技で、fiで始まる補完が第一候補だとf押した瞬間に問答無用で確定されて面白い
20130527 22:35 https://t.co/Z7VOH94M6G twitter com/f... って人のついったページのURLを手打ちしようとしても @finalfusion さんのところにしか行けなくなったので気づきました
20130527 23:58 @zakkas783 http://twitpic.com/ctn0nm 僕の最近買ったコミック一覧が火を吹く

<<newer (latest) older>>

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