Agenda

1. Tasks
2. Skills
3. Academic
4. Scheduled tasks
- 4.1. Friends
5. Habits

This agenda is a public list of things that I need to keep track of. This is public because I also keep a private version, and if anyone wants to know what I'm up to or the status of a certain project, it can be referenced here.

1. Tasks

These are general life tasks that I need to do, which don't depend on a specific time or date.

1.1. TODO Nullring

Update the nullring to be in org mode, and also include a couple more sites.

1.2. TODO Umami

My client server protocol needs to continue to be written. I also need to make a git repository for it.

1.3. Music and Media

1.3.1. TODO Write Another Song

I want to write another song.

1.3.2. TODO Make A YouTube Video

I want to start making YouTube videos.

1.4. TODO Analogue Computer

I want to make an analogue computer.

2. Skills

2.1. TODO Learn Blender

2.2. TODO Drawing with Krita

2.3. TODO Circuit Design

2.4. TODO Learn More Solidity

2.5. TODO Learn Haskell

2.6. TODO Learn Coq Theorem Prover

3. Academic

3.1. TODO QFT

3.2. TODO GM

3.3. TODO Real and Complex Analysis

3.4. TODO Measure Theory

3.5. TODO Category Theory

3.6. TODO ZK Proof Deep Dive

4. Scheduled tasks

These are one-time tasks that are scheduled at a particular date, and that don't require regular schedules.

4.1. Friends

These are tasks related to seeing my friends. There will be tasks listed here when I schedule something.

5. Habits

These are some habits I want to track. They are repeated according to a calendar schedule in general.

5.1. TODO Run

I want to be able to run or bike every day so that I get my exercise in.

5.2. TODO Stretch

State "DONE" from "TODO" [2025-02-11 Tue 04:01]
State "DONE" from "TODO" [2025-01-11 Sat 02:26]

I want to stretch every day so that I can become more flexible.

5.3. TODO Journal

State "DONE" from "TODO" [2025-03-02 Sun 05:38]
State "DONE" from "TODO" [2025-02-20 Thu 22:07]
State "DONE" from "TODO" [2025-02-18 Tue 01:44]
State "DONE" from "TODO" [2025-02-11 Tue 04:01]
State "DONE" from "TODO" [2025-02-03 Mon 13:57]
State "DONE" from "TODO" [2025-02-03 Mon 03:01]
State "DONE" from "TODO" [2025-01-19 Sun 11:53]
State "DONE" from "TODO" [2025-01-16 Thu 19:19]
State "DONE" from "TODO" [2025-01-11 Sat 02:25]

I want to journal every day, at least a little bit, about my life and track it with a git repo.