[HN Gopher] Theory to systems: A grounded approach to programmin...
       ___________________________________________________________________
        
       Theory to systems: A grounded approach to programming language
       education (2019)
        
       Author : vector_spaces
       Score  : 38 points
       Date   : 2023-06-25 12:48 UTC (10 hours ago)
        
 (HTM) web link (arxiv.org)
 (TXT) w3m dump (arxiv.org)
        
       | dang wrote:
       | Discussed at the time:
       | 
       |  _From Theory to Systems: A Grounded Approach to Programming
       | Language Education_ -
       | https://news.ycombinator.com/item?id=19670518 - April 2019 (14
       | comments)
        
       | cuanim wrote:
       | Link to the course: https://stanford-cs242.github.io/f18/
        
       | xwowsersx wrote:
       | I'm finding it increasingly difficult to pursue anything
       | intellectually demanding outside of work. I used to be able to
       | stay up late and immerse myself in whatever I was interested in,
       | but can't seem to anymore. I still try and I'm always excited to
       | sit down and dig in, but I find that I just don't have the mental
       | energy anymore. I dunno if it's a function of age or my work
       | getting more and more demanding over time. Sometimes I wonder if
       | I ought to take a few-week staycation just to pursue my
       | intellectual interests. Does anyone else relate to this? How do
       | you manage to pursue subjects rigorously after feeling mentally
       | drained by work and life?
        
         | JHonaker wrote:
         | It sounds like you're on the edge of burnout.
         | 
         | When's the last time you took a day off?
        
           | xwowsersx wrote:
           | That's probably part of it. I took off a few months back but
           | a) it wasn't the type of vacation that I personally recharge
           | from and b) it was a week (maybe less) and wasn't enough. All
           | the stress and fatigue induced by work returned pretty
           | quickly upon return. Much of this is just how demanding my
           | job is I think.
        
       | garrisonhh wrote:
       | wow, I really wish I had this course in college. if this is what
       | the cs degree at my university looked like I would never have
       | switched to a humanities degree
        
       | einpoklum wrote:
       | > focused on using systems programming ideas and languages like
       | WebAssembly
       | 
       | You kind lost me there.
        
       | 082349872349872 wrote:
       | Are Theory and Systems the "soft" and "hard"* of CS? In
       | principle, one gets to the same mountain-top no matter whether
       | one starts ascent on the theory or on the systems side, but in
       | practice, it seems departments specialise in routes on either
       | northern or southern faces.
       | 
       | * https://en.wikipedia.org/wiki/Hard_and_soft_techniques
        
       ___________________________________________________________________
       (page generated 2023-06-25 23:02 UTC)