https://twitter.com/kinaba のログ (twilog の方が便利です。)
| なにやら @wraith13 さんが釘を刺されているようですなあ RT 明日あたり「 Boost. 懇親会」の募集ページ作るけど F5 アタックしないように！ (via @cpp_akira) | |
| ぞうの卵はおいしいぞう | |
| もっと多いと思ったのに。意外だ。http://pcod.no-ip.org/yats/search?query=%E3%81%9E%E3%81%86%E3%81%AE%E5%8D%B5%E3%81%AF%E3%81%8A%E3%81%84%E3%81%97%E3%81%84%E3%81%9E%E3%81%86 | |
| #proofparty C++でa+0=0+aの怪しげな証明をば… http://codepad.org/L4feGX1J | |
| proposition用テンプレートを特殊化して勝手にインスタンス作られると破綻する。もちろん型安全性を壊す様なことをされると破綻する。停止しない計算を書かれても破綻する。そもそもグローバル変数を使い回すせいで二重帰納法されると破綻する。 | |
| addみたいなinductiveな関数を汎用に追加できるようにするのは、やればできるけど面倒なのでやってないだけ。 | |
| まじっすか RT 言い出しっぺの @kinaba さんにおまかせ。 ＞ Boost 最萌えトーナメント [Boost.懇親会 http://atnd.org/events/1872] (via @cpp_akira) | |
| ちなみにBoost最萌オリジナルは @heppoko 先生である。http://twitter.com/heppoko/statuses/836069026 | |
| その場でできそうなのだと、アンケート用紙配って回収して順位付けて5位から1位まで発表～♪ とかしか思い浮かばないなー。あとは懇親会場はLT会場ということにしちゃって一人5分で支援プレゼン… | |
| というか普通にライトニングトークの時間は本編の方にあっても面白いんじゃないかという気がする。 | |
| 最萌とか関係なく、ですね。>LTあっても。今のラインナップが…なんちゅーか、ヘビーだし…。 | |
| @naoya_t @finalfusion ちょっとコンビニ行ってくる！ | |
| @h_kagami 「コードが証明になっている」「コンパイル通ることで、その証明が正しい(論理の飛躍等がない)ことが保証されている」という状態です。（といっても、C++の型システムはいくらでも抜け穴があるので実際はコンパイル通る程度では何も保証されていないのですが、気分だけ…） | |
| 近隣４店舗にペプシあずきが存在せず大変遺憾である | |
| ペプシあずきはコンビニにはまだ無さそうと言う結論になった |