2014年における LibreOffice の開発をログから振り返る
ショートメッセージを使って携帯電話で分散コンピューティング
Scheme の min / max にまつわる問題
Three farmers パズルを解く
0と1の間に(浮動小数点)数がいくつあるか
Fixed points of conversion between integer and floating-point number
Repeatability, replicability, reproducibility, oh my!
"R.E. Axiomatization of Conditional Independence"の紹介
"Diagonalizing by Fixed–Points"の紹介
充実している DARPA Open Catalog
Predef が Boost に
Zorn の補題にちなんだ映画
Pre-defined Compiler Macros プロジェクトの紹介