ToDo:
ぐぐぷらで AKB48 のなんかが時々ながれてきて、かわいいもんだなぁとか思うわけだけど、今はじめてリンクされてた動画見てみたら、あたり前なのかもだけど子供の会話で、いや客層向けにそういうキャラ作ってるんかもだけどいずれにせよ、どうでもいいなと思った。アイドルの PV とか比較的好きだったけど、それなのにテレビ全く見ないとかと同じ話か。
(07:01)
LLVM に C++ の構造体を YAML として出力するための枠組を追加して、実際に object ファイルとかを YAML として吐けるようにしていく、という話。
http://lists.cs.uiuc.edu/pipermail/llvmdev/2012-July/052045.html
GCC XML とかと似たような話ではあると思うんだけど、アレが吐いてたのは RTL だけだったと思うけど、こっちは今のところ object ファイル吐いてるのと、まぁそういう枠組さえ作ってしまえばゆくゆくは途中の bitcode とかもダンプできるようになるのかな。あとまぁ GCC XML は出力でかすぎたわけだけど、 YAML なら多少マシとはいえキツそうではあるな…
これ見ると binspect が吐いてたものに似た感じもあるなぁ。
http://lists.cs.uiuc.edu/pipermail/llvmdev/attachments/20120725/6d72fd0f/attachment-0002.obj
(07:10)
数ヶ月前から Ulrich Drepper 氏が glibc から手をひいているというのを知った。 redhat やめたのは知ってたけど。実際 git log とか見るとほとんどないなーという。
でこの glibc の開発体制どうすんの? スレッドが面白い…
http://lwn.net/Articles/488778/
集団開発体制に…みたいなのがメインの議題なんだろうけど、 Ulrich さんの悪口が混じりまくってる、というかそっちがメインのトピックな気すらする。
特に
Ulrich タンいなくなっちゃったらオレら何ウォッチすればいいの? 誰が memcpy の仕様変えて Flash ぶっこわしてくれんの? 誰が gettid の libc wrapper 足すのを拒否して、各人が独自に書く必要があるようにしてくれんの? 誰が tar は obsolete だと言いつつ CVS を使い続けるの? 誰か他に代替無いまま sunRPC を glibc から取り除こうとしてくれるの? 誰が setenv を thread safe にするのを拒否してくれるの? Ulrich タンがいなくなったら、 glibc は良い意味でつまらんくなるとしか思えないよ… OpenBSD入れれ
みたいなのが面白かった。
I think Uli is an excellent *developer*. I think he was not an excellent *maintainer*
てのがいいまとめなのかな…
(21:45)
http://shinh.skr.jp/m/?date=20120722#p01
の話を会社でしたところ、 qsort 悪用してヘンな処理させれないか、と kinaba さんが言っていた。前もどっかに同じこと書いてた気がして、その時もあまりいいネタ思いつかなかった。
単純だけど、与えられた配列の平均値に近い値を先頭に持ってくるとか、配列の総数に近い値を先頭に持ってくるとか、できる気がしないけどほどほどに頑張れそうな気もするので、そういうコンテストをやると面白いかもしれない…
(22:14)
https://twitter.com/kinaba/status/232848195196174336
流行るたびになんかネタないかと考えるんだけど、そういえばこういうの書いたことあったのをおもいだした。
http://shinh.skr.jp/dat_dir/fizzbuzz.html
最初はこっちで書いたけど今のバージョンの方が好みかな…
div:before {
content: counter(c);
}
div:nth-child(5n):before {
content: "";
}
div:nth-child(3n):before {
content: "Fizz";
}
div:nth-child(5n):after {
content: "Buzz";
}
(23:24)
アメリカ行ってる間になんもかわってなかったみたいだった。 ghom さんはアレでいいのか…
あと、予想通りというかなんというか、全体的に最高品質じゃないものが暴落してる感じで、今残ってる金使うとずいぶんラクにそれなりに強くなりそうな気がする…
(00:03)
なにやらやろうとおもってることが妙に多い
とりあえず思いつきで TODO を増やすのはやめようとおもう…
(22:01)
(07:00)
http://icfpcontest2012.wordpress.com/2012/08/09/round-2-results/
lightning の方は 11 から落ちて 15 、と。マップは難しくなるって話だから、ここで落ちてるようじゃ本番ではもっと落ちるんだろうな。
lightning の時のコードに、追加されたルールをシミュレータに追加したやつ(つまりヘンな死に方とかはしないけど、レーザー撃ったり自発的にλ石動かしたりはしない)で試すと、 1st round が 6460 71位 で 2nd round が 8386 100位で、ここまでだったようだ。
670 933 1748 845 2264 660 0 471 653 142
こんな感じで、追加されたマップであきらかに調子がわるい。
しかし ken-ron! が一回戦からしていないのは、 SIGINT ハンドルミスとかかな…シグナルハンドラはムダに難しいから、やはり微妙な気がするな…
しかしこのくらい結果にランダム性があるコンテストの方がコンテスト荒らし petr 問題が起きなくて良い気がするよね…
(09:20)
http://www.nicovideo.jp/watch/sm7597646
をまた見てて、最後の連鎖かっこいいなーと思ったので入力してみた。
7連鎖47010点。11連鎖相当か。これ見て19連鎖より点数多い連鎖ないってホントかなーと適当に考えてみたけど、ホントぽかった。
(17:37)
http://jxck.tumblr.com/post/27440489913/http-2-0
をいくつか見ておもしろかった。ざっくり見た感じでは、ずいぶん SPDY ってうまいこといってるんだなー、という感じ。エンドユーザに変更ないってのと強い協力者がいるのがいいのかな。
Akamai の人もタイトルは反対ぽいけど、なんかすごい好意的な内容に見える。
ステマとかいうわけじゃなくて、本当にあんまり状況をよく知らなかったのだけど、詳しそうな人に聞いてみると、まぁそんな感じぽい。
どっかに書いてあったけど、たしかに twitter との接続は SPDY になってるなあ。 amazon も、ってことだったけど、こっちは chrome://net-internals/#spdy に出てこない。
(15:13)
http://www.slideshare.net/fadis/libdcompile
たのしそう。カーネル/VM で発表したということえ、探したら動画みつけた。関西なのね。
https://sites.google.com/site/kernelvm/ima-made-no-matome/kaneru-vm-mian-qiang-hui-guan-xi-qino-can
(12:47)
プログラムマンガがあっていいだろうみたいな話をよく聞いて、その通りだと思うんだけど、既存のよくできたマンガでプログラム化するとどうなるだろうとか考えた。
デスノート。このノートに書かれたプログラムは指定された通りに死ぬ。死因を指定しなかった場合は SEGV する。
だけ考えてあんまり面白くならなかった… VC6 IE6 procmail などと書いてあるデスノートをばっとリュークに見せるライトを想像しましたね…
(01:15)
今回のプロシンのテーマであるということで、件の本を買って半分くらい読んでみたり、あれこれ考えてみたりしたけど、あんまりコレだってのが無いよなぁとか思った。あまり悲観的なわけじゃなくて、割と神は細部に宿る的な話があるのかなぁとか純朴に思ってたりする。自分が書いたコードですごくコレだーてのもあんま思いつかんけど、書いてる最中は、あ、俺にしては綺麗におさまってるな、みたいなこともたまにはある気がする。具体例全く思い出せないってことは、たいしたことないわけだけど。
綺麗におさまってる系で言うと、圧縮系のコードとかって、なんか全然メモリ使わんで綺麗に書けてるなーとか思うことが多い気がする。まーあたりまえちゃあたりまえなんだけど、ハフマン木みたいな二分木を1次元配列に作ってく時のコードとか、ちょっといいよね。
あとは kinaba さんがどっかで書いてた気がするけど quick sort かなぁ。僕は自分で C で quick sort 書いてみた時に、 glibc のやつが妙に速いなあと思って、その時は int 決め打ちなコード書いて速度負けてたんで、 glibc すごすぎねーとか思ってコード読んで、 inplace な quick sort ってこういうもんなのか、と知ったんで、そういうバイアスもある気がする。
コード読んでて感心したのは TCC とかのするっと C が機械語に落ちるさまとかもあるんだけど、あれって C の歴史考えるときっと昔は当たり前だったんだよな…とか。
(01:49)
http://itpro.nikkeibp.co.jp/article/NEWS/20120815/416081/?SS=imgview&FD=-2096679071&ST=system
なんかこういうのってもちょいなんとかならんのかね。21世紀なんだし…
(17:05)
@hirose_golf さんが面白げなものを作っておられた
http://appotiud.appspot.com/anarchygame/
でまあ Circle Packing は自分がどんなコード書くか予想できる感じなんで、 collatz 予想の方を考えてたけど、なんかみんな長いなって感じで、あまし追いつけそうな気がしないね…
http://appotiud.appspot.com/anarchygame/p.py?problem!341096573325343693
これを会社の人に説明してて、なんかみんな普通に collatz 予想とか知ってて感心した。僕が collatz 予想を知ったというかそれまでも聞いたことあったかもだけど、覚えたのって、たぶんコレで、たまたま目に入ってたから知ってただけにすぎない気がするんだけど、習ったりする知識じゃないよねたぶん…
http://ll.jus.or.jp/2006/blog/doukaku2/
このどう書く見てて思い出したんだけど、なんか当時色んな言語、特に自分が好きな言語を紹介する感じでみんながこれをたどってくプログラム書いてたと思う。こういう自明な問題を色んな言語で解いても全然つまらないっていうか、似たりよったりの結果しか出ないわけで、むしろ長い collatz 予想のシーケンスを探しましょーっていう今回みたいなやつの方が言語の宣伝とかにはなりそうだなぁとか思った。
わかりやすいところではとりあえず bignum ないとしんどいとか。
(13:05)
あいかわらずいい金の使いかたしてるよなあ。
http://www.abc.net.au/news/2012-08-15/bill-gates-on-quest-to-reinvent-the-toilet/4199962
と思ったらこんな話が
http://tamekiyo.com/documents/W_Engdahl/gates.php
でもこれ今回下水にも使いはじめたんじゃってのと、そもそも文章が陰謀論ぽいなあということで
http://www44.atwiki.jp/cervarix/pages/98.html?guid=on
も見つけた。根拠はないけどビルゲイツはこのへんの意味で悪役なキャラじゃないと思うんだよな…
(14:48)
なにやら gg が多い。
一番やばいと思ったのは MC の 4 carrier all in...
http://www.youtube.com/watch?v=fCSQ9eK5mog
あと Z が marine を作るという事件が起きたらしいけど、寝てた。
http://www.reddit.com/r/starcraft/comments/yfrno/slivko_makes_a_command_center_with_neural/
これ見てるとこの人前科があるらしく、なんだこれ… probe が hatch にミネラル運んでる
http://www.youtube.com/watch?v=jlDg9KFdj84
(15:45)
なんか珍しく色々読んでる気がする。
盤上の夜。 @kinaba さんの tweet 見て面白そうだったので衝動買い。ちょうど発熱してたのもあり一気に読んだ面白かった。
https://twitter.com/kinaba/status/236463520093462530
https://twitter.com/kinaba/status/236463520093462530
コードの未来。だいたい半分くらい読んだのかな。 matz さんの文章ってまあまあ読んでる気がするんで、わりと知ってる話も多いんだけど、なんかこの人簡潔な説明うまいなーと思った。 go とか dart とかを、他の言語結構知ってる人でざっくり面白ポイント把握したい人にはいい気がする。言語の話じゃなくなると、こうなんか色々書いてて依然としてうまい説明だけど、まあちょっと面白さ減ってる気がしてきて、読むのが遅くなっていってる感じ。
ビューティフルコード。あまりしっかり読んでないけど、美ってやつは人によって感じるとこ違うなあっていう。これもまだ半分くらいしか読んでない気がする。
レッド1-6。いつか読みたいなーと思ってたけど、読む機会があんま無いので買った。まあもともと面白い話だから面白い。番号以外の工夫が無いので普通といえば普通…人の対応を取るのが大変なんで対応表とか作りはじめた…
ありがとうコンビニ再販の全2冊。山本直樹の今までのやつって、どれ読んだかわからんなーと思いつつ、読んでなさげだったので読んだ。なんかまあ面白かったとしか言えない感じの。
あとは同僚の奥さんがマンガ家だっていうことでイヤがらせを兼ねてそれを読んだり。
(00:56)
上がってた。
http://www.youtube.com/watch?v=fEkz-7dS-c0
これはなんかこれしなきゃもうちょっと勝負になった気がするから、ちょっと感じわるいな…
(02:33)
http://d.hatena.ne.jp/isshiki/20120821/p1
その通りだなあ…と思う。
僕の場合はむしろ既にあるもの使いこなせないからかわりのもの作ったケースも結構ある気がしていて、技術系じゃない知人とかに「ケータイよくわからん」「プログラム書けるのにまた冗談を」「いやこういうの使いこなせないから作る側にまわったんじゃないかな…」みたいなことをよく言ってる気がします。
関連研究
https://twitter.com/ksknac/status/233398630697037825
(07:15)
なんか1年に1度くらい april fool じゃないタイミングで april fool ネタに騙される。
今回はコレ。
http://www.infoworld.com/t/misadventures/oracle-sues-starbucks-over-java-trademark-176
オラクルがジャワティーフラペチーノだかなんだかでオラクルの商標を使ってるスターバックスを訴えた、っていう記事。一瞬商標ってジャンルごとに取る必要ある感じだよね…? とかいう疑問が浮かんだんだけど、そんなことより、なんとなくやりかねない感じがしてしまって綺麗に騙された。
なんかこれを見つけた理由が他でオラクルがスターバックスを訴えた、っていうネタを見て、ホンマかいな、とぐぐったらこの記事が出てきたっていう流れも悪かった…と信じたい。
しかしなんかプログラマと道歩いてたりすると、紅茶の Java はたまにネタになるし、やりかねん感といい、なんかいい感じのネタだなぁと思った。綺麗に騙されたからそう信じたいだけなのかもしれないけど…
(07:16)
入ったらしいからぱらぱら読んでた。コメントが直感的にこれでいいのかな、って感じ。
b0 b1 がタグ、 b2 が sign bit 、 b63 が 1 なら exponent の先頭が 011 で 0 なら 100 、ってエンコードか。コメントに sign bit が書いてないから混乱したっぽい。
exponent の値域が +-256 くらいで、これが 10 進数だとざっくり +-77 と。
これ rotate とかやるより手で書いた方が速くね…と思ったけど速くならなかった。アセンブリ見ないとなんとも言えないけど。
見た。 rot の方が短い。 gcc ちゃんと rot を検知してくれるんだなえらい…
(08:58)
あと
t.v = RUBY_BIT_ROTR(2 - b63 | (v & ~0x03), 3);
の方が速くね? と思った。実際短くなるし、ほんの少しはやくなってるような
(09:04)
いかにも & 0x7 がいらない
bits = (int)((VALUE)(t.v >> 60)); /* bits contains 3 bits of b62..b60. */ /* bits - 3 = */ /* b011 -> b000 */ /* b100 -> b001 */
if (t.v != 0x3000000000000000 /* 1.72723e-77 */ &&
!((bits-3) & 6)) {
return (RUBY_BIT_ROTL(t.v, 3) & ~(VALUE)0x01) | 0x02;
}
どっちも動作確認してないけど…
(10:31)
via https://twitter.com/otsune/status/239359956174913537
こういうの見ると、みんな人狼やればいいよと思いますね…
ウソついて信じてもらうのがどれだけ難しいかってこと、信用される人がどういう挙動をしているかということ、真実を言ってたとしても信じられない挙動が存在すること、などなど、いろいろ学べると思うんだ…あとウソを信じられることはそれはそれでしんどいこととか、正しいことを主張する時にもウソが便利な時すらあることとか…
この件がホントかウソかは知らんですが、なんにせよ全く信じてもらえない種類の言動をしていることは間違いないと思う。
(23:42)
プロシン前半は NaCl とたわむれながら話を聞いていた。
竹内先生はテーマがテーマだけに、いつも以上に良い意味でヨタ話としか言えないような。面白いヨタ話できるのはいいことだなぁと思う。
エラー話はエラーに他のコードが混じってくると型とかややこしいことになる気がするんだけどなぁ…と思ったんだけど、後で雑談で他の人に聞いたり、本人に質問したところ、僕の Haskell レベルが解答の意味がわかるレベルに達してないということがわかった。 Haskell ちゃんと勉強しないと話についていけないな…
指針はこう、唯一ビューティフルに真っ向勝負という感じで、しかし真っ向勝負するとええそうですよねーというだけという感が。あとああいう話ってプラクティカルな感じがあまりしないような。発表じゃないけど、関数が長くなるなんてことはありえない、っていう質問は、複数人開発してると自然と長くなる気がするけどな…とそいう意味であまりプラクティカルでない気もした。片方が短い if else はさっさと if continue すると良い、っていうのは webkit とかでもなんとなくそんなルールがしかれてたりする。まぁ良いと思う。
Ruby がこう、 Quine はまぁやればできる感じなんだけど、小文字しばりは個人的にすごいヒットだった。と言ってもすぐにこれはすげーと思った感じではなくて、自分で説明されてるテクニックを書き写してみてはじめてすげーと気付いた感じだったんだけど。
このへんで NaCl でハマってたので、 Ruby いじりにスイッチした。 1.9 では String#each が存在してなくて助かった、ってのと rescue ensure による値の一時退避は、どっちも大変素晴らしいテクニックだと思う。 1.8 でなんとかならんか…ってのと rescue ensure が直感的に一つで良いのではないか…ってのはずっと考えてるけど今のところ思いついていない。ゴルフ場の Quine のところにぜひ欲しい解答なんだけど、 1.8 とサイズの両方がネックになる感じ。 1.8 さえなんとかなればサイズはなんとでもなる気がするんだけどね…
x86/64 は str 命令相変わらずすごいなって感じだったけど、まぁ正直 Ruby のこと考えすぎてて途中ついてけてなかった感が。
ビスケットはかっこよかった。なにか色んなことを考えさせられる感じの。いよいよビューティフルかどうかは知らないけど…近いものとしてはメイドイン俺なんだろうけど、あれよりシンプルにできてる気がしたなぁ。任天堂から出せば良いんじゃ。 http://www.viscuit.com/
kinaba さんの話はあいかわらず面白かった。面白いもの見た時に、すぐに自分で今度使ってみよう…となりにくいのは反省しないとなぁと思わされた。1個目と3個目はたぶん見たことある感じの話で、2個目はなるほどこういうことするのかと。
@_ko1 さんが twitter に functional data structure が何故重要か聞いてわかった、とか書いてて、それはどういう話だったんですか、と今日聞いたら、 map とかだと変数テーブルみたいなやつがスコープ出る時にスタック巻戻せば自動的に元の変数テーブルに戻るとか言ってて、なるほどなぁと感心した。 node を reference count してやれば C++ でも同じもの実現できる？と質問したら yes とのこと。 parent ポインタいらなくなるからメモリ消費も安い、とのこと。でももう少し議論しててスコープ出る時に map 全部なめて reference count 減らさないといけないかな…という話になってダメっぽい気がした。なんかまた考えるとなんとかならんのかな…という感もあるんだけど。あと queue は別に実用性は無いとのこと。
和田先生の話は、この人いつもゴルフの話に聞こえるな…と思ってました。結論がゴルファー向けのアドバイスとして秀逸。
全体的に話が詰め込みすぎに感じるのは、やはりこういうテーマだとみんな語ることが多すぎるんかな…とか思った。
僕が美的なものを感じるのは…と考えていくと、だいたい
http://shinh.skr.jp/slide/mederu/000.html
に書いたな…とか思いました。
あと、久野先生的な意味でないビューティフルはたいていトリッキーなコードと紙一重なのが多くて、例えば free list とかかっこいいけど、久野先生的な意味ではかなりダメだよね…とか。まぁなんかトリッキーなコードは避けた方がいいと言うのはそうなんだろうけど、こう重要なとこで光るのはかっこいいよね…
あと、 STM はこう議論というか、実装のタイプが僕の中で整理できてなくて、相手と前提を共有するのにいつも時間かかってよくないな…と思う。 Haskell もそうなんだけど、自分があんま信用してない技術だけに、時間かけて勉強する気があまり起きなくて困る…
(01:35)
とりあえず mame さん的なやりかたで hello は ruby 1.8 でできたけど…
http://shinh.skr.jp/dat_dir/downcase_hello.rb
(03:15)
http://www.reddit.com/r/IAmA/comments/z1c9z/i_am_barack_obama_president_of_the_united_states/
hoe-
(05:45)
http://golf.shinh.org/p.rb?Hello+broken+keyboard
文字種ゴルフ問題を増やしてみた。 hello だと自明な答えばっかになるのかなぁ…と思っていたけど、全然わからんものばかりな気がする…週末マジメに考えるか。
「文字種ゴルフ」って英語で簡潔に表現しにくい気がした (というか character とか alphabet とか長いよね…というのもあり) ので、わかりにくいけど壊れたキーボード使ってるという謎設定になった
(00:10)
| 前 | 2012年 8月 |
次 | ||||
| 日 | 月 | 火 | 水 | 木 | 金 | 土 |
| 1 | 2 | 3 | 4 | |||
| 5 | 6 | 7 | 8 | 9 | 10 | 11 |
| 12 | 13 | 14 | 15 | 16 | 17 | 18 |
| 19 | 20 | 21 | 22 | 23 | 24 | 25 |
| 26 | 27 | 28 | 29 | 30 | 31 | |
全てリンクフリーです。 コード片は自由に使用していただいて構いません。 その他のものはGPL扱いであればあらゆる使用に関して文句は言いません。 なにかあれば下記メールアドレスへ。