https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @gusmachine ヒント： 先に ~ ~(((A->False)->A)->A) を証明してみると応用でどうにかなるかもならないかも | |
| 発言の中身からは辿れなくて、自分という人間だったりその場だったりを知っている人にしか辿れないところ…というか、端的に言ってGoogleさんにクロールされないところに発言するのってみんな苦痛で死にそうにならないんですか | |
| リアルの発話を全部録音＆自動でテキストに起こしてWebの片隅にアップロードしつづけるデバイスは本気で作る気になれば作れると思うんだけど、それを作るよりはこの思考をどうにかする方が健全な気がするし、とかは定期的にぐるぐる考える | |
| まあしかし、僕は実際とくに酷いレビューにあたった経験はないですけども | |
| 査読コメントで"この研究ならこの論文なんかが参考になると思うよ"と示された論文が自分の書いた論文だったことはある | |
| double-blindでもないので、あれは皮肉とかなのだろうか… | |
| マラソンマッチのスコア、テスト中0.00に落とすんじゃなくてtest completeするまで直前のスコア表示しとくようにできないのかな | |
| おーこれは見やすい！ありがとうございます！RT (via @iwiwi) @kinaba 僕は Web で見ていて，Web だとそんなことないです http://www.topcoder.com/longcontest/?module=ViewStandings&rd=14275 | |
| Noah 3.196 http://www.kmonos.net/lib/noah.ja.html と XacRett #50 http://www.kmonos.net/lib/info/xacr49-vul.ja.html リリース。流行りの脆弱性のfixです。 | |
| 10年前くらいの自分のコードというのはちょっと見ているとどうにも耐えきれないくらい酷いということがよくわかった。酷酷酷酷酷 |