https://twitter.com/kinaba のログ (twilog の方が便利です。)
| http://did2memo.net/2014/01/09/chrome-stable-32-beta-update/ @did2memo "いきなりベータ版まで進むのってどうなの" 誤解がある気がする。各チャンネルは「dev:こまめに色々開発中 beta:バグ修正以外の変更をしない stable:本当にやばいバグの修正以外しない」という扱いで | |
| 約6週間ごとに「devと呼んでたものをbetaに、betaと呼んでたものを（凍結後の6週でバグは十分に修正しきったと考えて）stableに送る」サイクルなので、メジャーバージョンが上がる時はstableからbetaの最新(一番バグが少ないはず)に飛びます。で今週がそのリリース週間 | |
| （こっから先はよく知らんのでだいぶ推測ですけど）いきなり全stableユーザのバージョンを一斉にあげるのは万が一まずいことが起きた時に怖いし多分トラフィック面とかでも怖いので数日に分散して更新かけるようになってて、その第一波なんだと思う | |
| @did2memo どうもです。はい、追記にある通り単純に「（今安定版リリースされかけてる）Chrome 32に問題が色々報告されてる」 というのが現状だと思います。 | |
| かぐや姫の月からお迎えが来るシーンのBGMを無限に流していたら月に帰りたくなってきた | |
| @kakeru13493 その月は発想になかったww | |
| Bluetoothのスピーカー欲しくなってきているんだけどどれがいいのかな（何も調べずに適当に書いたら誰か教えてくれるかなメソッド） | |
| http://www.lmcs-online.org/ojs/viewarticle.php?id=753 closedなλ式を適当に作るとほとんど全てがどの評価戦略でも止まる式になるけどSKIコンビネータを適当に組み合わせた式は逆にほとんど全てがそうならないという論文を読んでる | |
| SKIでランダムにでかい式を作るとどこかにΩがほぼ必ずできちゃうけど、でかいλ式作ると使える変数の数が増えまくるのでピンポイントに(λx.xx)(λx.xx)みたいなのというかclosed subtermが出現する割合が0に近づく等々、みたいな話っぽい。まあそうか |