今年 400 周年を迎えるという英国 Oxford 大学の Spring School on Generic and Indexed Programming に申し込んだ。春休みを利用した短期集中講座なのだが、その参加費用に午後の紅茶代が含まれているのが何とも言えない。

Coverity という static bug finder を売る人たちの悲哀の物語。ていうかホラー。 "Real-world code" の ANSI/ISO 標準の無視っぷりとか、それを受け付けて謎な code を吐く compiler とか、bug finding tool の開発者に向かって「新しい version の方が見つ…