tw.log

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

<<newer (latest) older>>

20080729 07:19 @Cryolite どちらも PoD において型チェックができない(=型エラーの潜在するコードが残りうる)のは同じですけども、 template の方は少なくともコンパイル通った時点で、潜在する型エラーを叩くコードパスが絶対に存在しないことが保証されるのは、割と本質的な ...
20080729 07:25 http://shinh.skr.jp/h/?AlohakunKotobaZeme 凄い人数だ…。どうすんだこれ
20080729 07:28 「 what を書いたら how が出ると嬉しい」というのは「 what を書く方が how を書くより簡単」という発想がいくらかは裏にある気がして、それはあらゆるレベルで同意できないので、どうも全体的に同意できないのだよなー。
20080729 07:32 「大きな how/ 効率とか一切考えないすっごい手抜きな how 」を書くのは簡単なのでそこから「小さな how/ 最適化された効率的な how 」が出ると嬉しいというのはよくわかる。ただ、 what と big-how は決定的に違うという感覚(なんだろ、正規表現と P ...
20080729 07:39 その一線は全力で意識しときたい感がある。特に理論的な扱いやすさだけを考え出すと big-how より what の方が圧倒的に相手にしやすいのでついふらふらと一線を踏み越えやすい
20080729 07:44 http://d.hatena.ne.jp/todesking/20080728/1217240222 「 1000 フォロー 1000 購読位すると~」ってのはその通りだろうからやってみたいんだけど 1000 購読する対象が見つからないのは俺の観測範囲の狭さなんだろう ...
20080729 07:46 日に 50 回くらいは新着フィードのない LDR の画面を開いてる現状を考えると、明らかにもっと入れる情報は増やしてOKな感じなのは確かなんだが
20080729 08:00 @wraith13 ふむふむー。あーそれは自分もやりそう (^^;
20080729 08:23 http://headlines.yahoo.co.jp/videonews/ 俺くらいの雨男になると 172 年ぶりの雪を降らせるくらい造作もない
20080729 08:23 うそですすいませんすいません
20080729 09:28 誤変換というと、知り合いのXX健太郎さんのメールの締めが、署名毎回手打ちしてるのかネタなのか、ときどきXX兼タオルになってるのが定期的にツボに入る
20080729 09:47 ちょっと letsboost::shared_ptr の記述を刷新してみた
20080729 10:06 http://www.kb.ecei.tohoku.ac.jp/ml2008/accepted.html "Many holes in Hindley-Milner" と "Unrestricted call-by-value recursion" が気になる
20080729 10:09 これも気になる http://www.ccs.neu.edu/home/will/scheme2008/abstract.clements.html
20080729 10:15 http://www.comlab.ox.ac.uk/people/ralf.hinze/wgp2008/accepted-papers.html "Concepts =? Type Classes" これも。
20080729 10:16 うわーていうか http://www.chalmers.se/cse/EN/people/schupp-sibylle この人の論文全然見たこと無かった不覚不覚不覚
20080729 12:59 @ykzts 超絶同意! Aero いいよ Aero 。といいつつ今使ってるの XP な私なのですけども
20080729 13:00 あとマインスイーパが最初の1クリック目は0のマスを必ず踏むようになったのが大変素晴らしい Vista
20080729 13:13 @rch850 自分が Vista 買ってまずはじめにやったことが、標準付属ゲーム各種の変化をチェックすることでした… (^^;
20080729 13:31 ときどき無性にサナギさんが読みたくなる誰か僕にチャンピオンを下さい
20080729 13:56 @natsutan 字句解析 (lex) はできるだけ長く読めるだけ読むことになってるので、問答無用で "a" "++" "++" "+" "b" に分解されちゃう、ていう方が正確じゃないでしょか。結合方向というと a-b-c は (a-b)-c 扱い、みたいな話になるよぅな
20080729 15:19 言葉責め会に名前入れてしまった。行けるかどうかわからんので、人数的にスペース確保難しかったらいないものとして扱っちゃってください…> @shinh
20080729 15:31 ここは人数を半分に分けてパラレルセッション「最近の Haskell の連載が難しいです!と shelarcy さんを問い詰める会」 (やりません
20080729 16:06 あと1ヶ月で D 論のタイトルと abst 提出しなきゃいけないらしい。うわああああああああああ
20080729 16:22 @taroleo そう、それが大変だなあと思いまして…
20080729 17:07 IE の エンコード→日本語 ( 自動選択 ) が ShiftJIS しか選ばないようになってしまった。。。なんじゃこりゃ。。。
20080729 18:23 http://www.megrock.com/mrc/ アルバム出てたのか!買う!!

<<newer (latest) older>>

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