Please sign in to comment.
## April 8-9, 2019
💯**https://twitter.com/stevekrouse/status/1113967072478945281?s=19** * Interesting question: what's the limit of what we can encode into types? **https://twitter.com/csaba_hruska/status/1114500222313476097?s=19** * I need to learn more about dependent types (as well as finishing TAPL PFPL) and denotational semantics **https://queertypes.com/posts/48-logic-proofs-with-agda-coq-idris.html** #### nuance all the way down Quick recent insight about LogicHub: one way to make it more in line with David Deutch's school of thought is to insist that it's truly infinite in the downward direction. In other words: <blockquote class="twitter-tweet" data-lang="en"><p lang="en" dir="ltr">It's nuances, not 🐢, all the way down</p>— Steve Krouse (@stevekrouse) <a href="https://twitter.com/stevekrouse/status/1113271898140479496?ref_src=twsrc%5Etfw">April 3, 2019</a></blockquote> A related insight: _theories/facts/things_ are containers of _metaphors_ that explain only the idea itself but does not defend it, as well some structure that contains _arguments_, where each argument is a thing that attempts to defend it _in terms of other theories/facts/things_, which are similarly recursively defended, all the way down to infinity... An interesting additional point to note: the _structures_ that contain single arguments themselves are also _theories/facts/things_ which need to be defended and can be overturned later, impacting all _theories/facts/things_ that they helped prop up before their dethroning. For example, when (not "if", because we are *always* at the beginning of infinity, *everywhere*) we later learn that some contextual caveat where the _double-blind, controlled study_ is not as effective as previously thought, all arguments that violate the contexts in which the _double-blind, controlled study_ reigns supreme, those arguments will be appropriately penalized. ### Essay ideas (April 8-9, 2019) I have 5 essay/talk ideas I have partially outlined to various degrees that I was planning to embed right in this journal entry but I got too tired. So I'll just tease you with their titles and that I will eventually clean up those outlines at some point and add them to the internet soon: * Natural Langauge is not and will never be the future of coding * Why *compositionality* is king * Where is the line between programming vs using a computer? * What is programming? * Learning to Code Isn't a Thing ### Reflection (April 8-9, 2019) * About a month ago I wasn't so happy with my research progress. Getting the flu in SF didn't help. But then I had a fantastic time at <Programming 2019> and now I'm so excited that many nights I can't even fall asleep. (This is actually becoming a big problem. I'm writing this on 2 hours of sleep...) * One thing that's improved my mood and outlook is that I recently came into a unexpected windfall: the business I cofounded (The Coding Space) was unexpectedly sold. It's not any life-changing money, but it does extend my runway of how long I can continue this research / freelancing / podcast / community organizing lifestyle from ~2 more years to ~6 more years, but that's only if I continue to live quite cheaply, even as I get older. Regardless of how it affects other things, at the very least it eased my mental burden a fair bit. * In summary, I no longer feel like I need a drastic change to how I split up my time between my projects. The only main thing I need to correct for at this very moment is that I am *embarrassingly* behind on editing and publishing very many recorded podcast conversations (Hillel Wayne, Cyrus Omar, Michael Arntzenius, and Amjad Masad). ### This week (April 8-9, 2019) Given how hectic this week has gotten with my parents in town, JE coming to town, and possibly a meeting with one of my all-time-heroes next week (more details soon), I am feeling like keeping my priorities small for this week: * finish transcribing, uploading, and publishing Hillel's podcast * ditto, for Cyrus Omar's podcast, if possible ### Week of April 15, 2019 * Research * Podcasts (as long as Ellen from Dark is fine with me punting on presentations for a couple weeks) * Maybe prep for, and then work with JE on the 19th ### Rest of 2019 (April 8-9, 2019) Given my great conf experiences, I think I want to re-adopt JE's suggestion to aim my research at specific conference deadlines... and those will be... to be determined when I talk to JE in 10 min! Sometimes I wonder when I'll ever get to all the resources I collect (and currently organized [on Github Issues](https://github.com/stevekrouse/futureofcoding.org/projects/2)). My new plan is to go to primary sources of inspiration like that (which also includes programming random shit to get annoyed) whenever I am feeling down about the importance or likelihood of success of this work. As long as I'm excited let's move ahead with what's already in my brain! This isn't really related to the "rest of 2019" section but I had a funny idea to redo my logo with the background image of ["we interrupt your regularly scheduled programming"](https://twitter.com/stevekrouse/status/1114695204420968448)... and I couldn't think of a better place to put this sentence.
- Loading branch information...