journal

notes, updates, logs, and random posts.