Notes

Short entries: findings, benchmarks, bugs, and links worth keeping.