## Tues, July 23, 2019

###  July, 2019

This is not shaping up to be my *most* productive month ever. I got almost no work done the week of July 1, but instead learned how to wake surf and hung out with my family in Connecticut. The following week of July 8 I kept up with my emails and French, worked a handful of hours on Dark, and spent most of Friday  (~4 hours) subreviewing a paper for Jonathan Edwards about multi-tier FRP which was actually really rewarding. The week of July 15 I traveled to France, spent 14 hours on the Whole Code Catalog, and kept up with email and learning French. Yesterday I mostly spent in Monco -- my first time in the Mediterranean and a casino -- and today I spent on email, investing, and traveling to Cannes and back. Hopefully I can get three full days of Whole Code Catalog work in this week. On Saturday I leave for a week cruise in Turkey where I expect to get almost no work done. Maybe I'll finished _Where Math Comes From_ and reviewing JE's new version of Subtext. 

### Plan for August, 2019

I will be in London for all of August, and except for PPIG at the end of the month, hope to be extra productive after my very relaxing July. If I can put in two 30-hour weeks for the Whole Code Catalog, I'll be in great shape. Then I'll have some time in August to start thinking again about my own research.... as well as planning my engagement party and wedding!

### Research excitement is building...

Speaking of my own research, I have begun to notice a steadily increasing level of excitement in myself towards getting back to research. One factor is the interesting work I reviewed recently on distributed FRP,  including the paper I subreviewed on multi-tier FRP that I can't talk about yet, and another paper that I can't *stop* talking about. It was written by Adriaan Leijnse and titled "Relativistic FRP" because he takes an spacetime approach to extending FRP. I love it! It builds upon Adriaan's earlier work on building an algebra for specifying CRDTs which was also cool. 

Here are some quick notes I took to help spur on my thinking the next time I can return to research, hopefully in late Aug:

-   I have spent enough time researching others for now. As Feynman says, focus is key. Ignore others.
-   Conal's compiling to categories is so intriguing. Maybe I should again try to grok it.
-   Logic vs FP and what is a specification and executable math and black box optimizers vs bit manipulation. Unleaky abstraction. Real math that's fast. Really really abstract code so I don't have to worry about being stuck or have to rewrite...
-   Distributed systems are *the* key difficulty --> spacetime frp
-   Alternatively, solve a small problem like text parsing and build a better regrxpr. Or something a la observable or flowsheets.
-   Something about an open standard a la emacscrpt that's super denoational and mathematical that allowed for many implementions. And it's a super broad open framework that allows for all sorts of ad hoc extensibility. One key question still is what is computation, what is computable, what is doing vs being, and most centrally are the questions of time and space.

Author: Steve Krouse