-
For anyone interested, Jonathan Blow also streams some of the development and posts recording to youtube here!
-
By this point, you might be thinking that the obvious solution is to just disable push notifications entirely.
After a few days, I realized that my brain had become so accustomed to my phone telling me what I needed to attend to, that I felt lost when I didn’t have those cues.
How long did you try this for? I’ve completely disabled push notifications on my computer for a few months, and I think over time I’ve ended up compulsively opening email/slack/etc. less. What was important was not just removing the notifications, but other visual cues (for example, having my dock always visible on macOS, which would display little red icons). On the other hand, I think I would have little success if I tried to do this on my phone, so I don’t. I view my phone as less of a working tool anyways, so I’m okay with this. Most importantly, when I’m trying to focus I can reasonably restrict my access to my phone, but less so with my computer.
I’ve personally struggled more with the idea that Something Very Important could have happened since I last checked in. The set of things that trigger this are much smaller, but they exist enough to be a problem at least every few days. For example, when I’m anticipating a results of an exam that I don’t think went particularly well, I tend to open email and check every time my mind drifts. I don’t think consuming content purely in digest form would fix this. Perhaps aggressive filtering would work, but I haven’t tried this and am generally suspicious of “productivity/mindfulness solutions” that require lots of active effort.
-
-
Cool article, but not what I expected from the phrase window manager!
-
-
-
TechCrunch Disrupt 2019: “Electric Blinds Meets Machine Learning Monitored and Controlled via a $5 Droplet!”
-
-
-
-
-
Very easy to read, but is this really PLT? Feels more like PLI (Programming Language Implementation), a useful study, but it doesn’t quite prepare you to discuss the fringes.
An excellent PLT introduction is Iverson’s Notation as a Tool of Thought which can really get you thinking about the use and value of good notation (syntax).
Another piece I like recommending is Moseley and Marks Out of the Tar Pit which correctly identifies the most valuable area of research in programming language theory is addressing complexity.
If these feel too advanced, try printing them out and reading them away from your computer.
There are a lot of good resources once you are strong with computer science fundamentals, and I appreciate the want to skip ahead and jump right into the design and implementation of the software you’re dreaming of, but you’ll get much more out of it when you’re a better programmer.
Finally: The decision to bring a new programming language into the world is not one to be taken lightly. We have quite a lot of them already, and I’m of the opinion that study of other - stranger languages is a better use of the young journeyman’s time.
I agree about the naming, but at least in my (albeit limited) experience I think implementation can actually be the most gentle entry point to theory. I like learning about PLT because it’s fun, and I’m not sure it would have seemed that way if I started off with the theory itself. Since then, theory has become more digestible. But the rush of having made my own language that did something cool and nontrivial was a big part of me making it there.
That is a really good point. Building something cool is motivational, so maybe add some next steps to dig into the real theory stuff? Help build why they just did things the way they just did it (and not some other way) might help get them thinking the right way.