## 2019-07-31

Presented “Towards Categorical Metadata” for SIParCS.

## 2019-07-20

Leaving,
as a device?

Had to hurry up, get on.

They stood and listened.
He vanished.

A spirit
of blood
trapped itself
out on the floor.


## 2019-06-04

Since I’m liable to forget, I’ll describe my current “PIM schema” by cataloging

• my $HOME directory, • what I have on paper, and • software I subscribe to for managing projects. ### $HOME

I have a Lenovo T420, whose name is lobster. My home directory looks something like

colton@lobster:~$tree -L 1 . ├── art ├── blog ├── coltongrainger.bib ├── cv ├── Dropbox ├── fy ├── journal ├── lec ├── lit ├── mus ├── pho ├── raw ├── README.md ├── rec ├── rote └── wiki  During “fiscal year 2019” (i.e., Jun 2018 to May 2019), I commonly worked commonly in • fy (projects for the “fiscal year”) • wiki (materials for https://quamash.net) • raw (scanned handwritten notes, hence raw) and • rote (tab separated files for mnemosyne). The previous two years (modulo a few details) look like colton@lobster:~$ tree -L 1 fy/18
fy/18
├── 2017-09-job-apps
├── 2018-04-16-offer-letter-cu-boulder.pdf
├── 2018-04-27-picklebric-application.txt
├── 2018-06-18-tutoring
├── bulma-0.7.1
├── coding-with-kids
├── cogr-webpage
├── coq
├── data-management-plan
├── diagnostic
├── dishwashing
├── eo
├── fscss-interviews
├── fscss-private
├── fscss-wiki
├── fscss-work
├── grap-apps.bak
├── hakyll
├── logos
├── mentoring
├── mnep-script
├── notedown
├── num
├── odes
├── PreTeXt-mathbook
├── prob
├── py
├── PythonDataScienceHandbook
├── rcf
├── spoken-word
└── tex-templates


and

colton@lobster:~$tree -L 1 fy/19 fy/19 ├── 2018-06-alg1-top1-ana1.pdf ├── 2018-06-until-2019-02.pdf ├── 2019-03-topology-seminars.pdf ├── 2019-05-11-top2-omnibus.pdf ├── alg1 ├── alg2 ├── clothing ├── cu3d ├── diffgeo1 ├── dircolors-solarized ├── examples ├── internships ├── mitschriebwiki ├── napkin-outline ├── neural-network ├── orientation ├── prelims ├── prob1 ├── project-ideas ├── records-and-old-todo ├── ripser ├── RISE ├── safe ├── slow-pitch ├── soml ├── stylefiles ├── summer-review ├── ta ├── TDAstats ├── top1 ├── top2 ├── tripos-course-guides ├── unicode.sh ├── vim-tex-fold └── yst  About 75% of repositories I have on github (for lack of a better name) are prefixed with, e.g., fy00, to indicate that they are locally saved under, e.g., $HOME/fy/00/.

I only have digital directories under fy back to (about) 2009–2010, when I was spending quite a bit of time after school with “kdawg wangalicous” and the policy debate topic was

Resolved: The United States federal government should substantially increase social services for persons living in poverty in the United States.

colton@lobster:~/fy/10$tree . ├── 2009-apology-to-davidson.txt ├── 2009-GDI-Nietzsche-K.pdf ├── 2009-GDI-Objectivism.pdf ├── 2009-UTNIF-Carceral-Archipelago-K.pdf ├── 2009-UTNIF-Marxism-K.pdf ├── 2009-UTNIF-Standpoint-Epistemology-Critique.pdf ├── 2010-ecopanda-behemoth.pptx ├── 2010-ganatos-nary-slender-script.txt └── 2010-mein-lieblingsplatz.txt  This coming year looks like colton@lobster:~$ tree -L 1 fy/20
fy/20
├── aiwatch
├── analysis
├── applied-analysis
├── nsf-grf
├── pandas
├── rda-image-archive
├── siparcs
└── topology-prelim


Last year, I used my dropbox to sync notes (written in Notability on my tablet) and pdfs.

## 2019-01-04

Chris and I sat for a timed practice exam, adapted from Ed Dummit’s 2014 algebra summer enhancement program. I feel silly taking the exam before I know what I’m doing, but

• there’s a timeline, and
• our dept chair emphasizes “trusting oneself” to seek out “new challenges and novel contexts”.

Her accompanying advice is, of course, to “doubt oneself” and “build what you know”, which I look forward to reverting to after next week.

I compiled Micky Steinberg’s 2014 group theory notes into a light-hearted practice exam for tomorrow.

## 2019-01-03

Chris talked me through problems 1–3 on CU’s Jan 2008 algebra prelim, which I didn’t understand. For prob 2, we needed to make a recursive argument to find a nontrivial abelian normal subgroup of prime power order in a finite solvable group. Ian also mentioned this problem (with enthusiasm) before break, so I might revisit it.

I started reviewing from Hubbard, following the week 1 schedule for Paul Bamberg’s Math 23a. (The supplemental materials for math 23a are great, and I think I’ll exhaust most of my free time before Jan 14 going over these.)

Lastly, I went through exercises in I.1 Fields from Halmos’s Finite Dimensional Vector Spaces, which is admittedly out of date. I’m going through Halmos, however, because

• I found a hardcopy in the math dept’s reading room, and
• I was impressed when I skimmed Halmos’s and Steenrod’s 1973 How to Write Mathematics.

## 2019-01-02

Distracted today: I setup yst to compile yaml data into a CV, as per Dom Moritz’s https://domoritz.de/cv/. Dom’s job-hunting stress thoroughly dosed me (by proxy) with timeline stress, and, incidentally, I spent the day “signalling”.

## 2019-01-01

I revised cards on introductory measure theory, also group actions. I continued through a backlog of reviews I owed mnemosyne from last semester.

(Oddly as well, I flicked through photos from 2018 back to the beginning of 2016, when I was skiing a bit and preparing to graduate. From my undergraduate coursework, maybe I’m only interested to mnemo-fy notes from electricity and magnetism? from ordinary differential equations?)

## 2019-12-31

I spent some time convincing myself that “chunking mathematical concepts” would be more rewarding “completing prerequisites in a satisfactory order” after reading Michael Nielsen’s essay on anki. I reactivated mnemosyne cards I had made studying for the math GRE.

While revising cards I had starred for typos, I began to recognize I’d been trying to chunk concepts that were too complex for a first pass. (I found a particularly bad batch of measure theory cards—should delete these or just atomicize them?)

## 2018-12-30

I finished https://prooflogger.quamash.net, which I hope Lee will allow me to force some of the calculus sections to use. Here is an outline I’d give students. I aim to game students into presenting proofs to each other and providing constructive oral feedback.

## 2018-12-29

I thought about social support networks while travelling from Idaho back to Boulder, e.g., the cohort effect.

## 2018-12-27

Following https://nadiaeghbal.com/notes, https://issarice.wordpress.com/, and https://youtu.be/M2pGiBrw-Ns?t=422 I’m starting a working journal with a broad scope: early graduate school in the mathematics department at CU Boulder.

I haven’t gotten permission to emulate any one of these authors, so I’m sort of planning to write in a manner that oscillates between each’s style. In spite of the common medium (~daily entries) it seems each author’s motivation is tangential to the other two’s: writing for exploration, for transparency, for reflection.

I imagine I will be keeping this journal

• to narrate what I’ve been working on in a chronological fashion,
• to give myself encouragement by tracking progress through my coursework,
• to urge myself on (as in ski-racing, where we’d often yell at each other “up up up!”).

I think it would be appropriate to include characteristic quotes, which motivate this journal.

11/26/18

Realizing that I love to be alone, like in a physically low-stimulation environment, but I still think of myself as socially oriented even in that context. I still like texting/FaceTiming friends. And: I only want to be alone to work on ideas that I eventually take back to others. Like, if I were just writing for the sake of writing and not publishing it out, I’d probably get pretty bored and antsy

11/26/18

Amplification vs. exploration: Usually I say that I prefer writing to talks/interviews bc I can think better through writing over speaking. But I think another big reason is bc people often want you to talk about stuff you’ve already done, which is not that interesting to me. Whereas with blog posts, it’s my blog, I don’t really care if you read it or not, I’m just putting stuff out there and hopefully connecting with a few ppl who feel the same way. To me, writing is pushing to the edges, exploring the limits of my identity and what I’m comfortable sharing in public. Whereas any other form of communicating ideas feels performative: I’m rehashing things I already know, and that you know me for. Also why I had to get off Medium (bc it made blogging feel performative)

Issa Rice (a note on scope of updates)

As I stated at the beginning, this blog came about because I wanted to make available information about “what I’m up to” in cases where “what I’m up to” doesn’t naturally lead to public updates. So I think it’s not so important to record things on here when the same information can be obtained through other sources (i.e. my public activity on other websites).

However, I also want to have some kind of conceptual coherence about this blog. And since the overlap between “my activity that doesn’t naturally lead to public updates but where I would like to make public updates available” and “my AI safety learning” is nearly perfect, I think I will track the former by writing about the latter.

Philip Guo (vlog transcript, talking about his journal)

anyways so when I started my postdoc I thought of this idea I don’t know how I thought of it but I thought this idea that I would just keep a running diary of anything that I’ve encountered that to work-related that I felt like writing down. so it was very simple. I created a text file. this is my first one (reading it) this is really funny I’m just reading this. this is July 2013, my first month as a postdoc.

July 2013 I’m going to start a rough weekly work diary reflecting on my thoughts about life as a young academic. I need to focus more on how I feel rather than what I did since it’s easy to later reconstruct what I did from other artifacts but it’s hard to recreate old feelings. this diary is gonna be quite rough and I don’t want to hold myself to a strict writing schedule. let’s keep this fairly freeform and low-key.

once again in parentheses I said: focus on how I feel rather than just what I did

## References

(This section TODO.)