Technical Notes

These are mainly technical notes for myself.