Technical notes

Short references for details that are easy to forget and important to get right.