Student at EPFL, cellist with OSUL and Tournesol member
Thank you for your insightful comment. The concept of a screw is new to me, so I'll have good look at the article you shared and I will try to think carefully about how physical units relate to types, as well as what constitutes true geometric meaning.
Problem: Binge-watching youtube videos.
Solution: A browser extension that removes the recommended videos sidebar.This has easily saved me tens of hours of wasted time.
I relate very much to your old roommate who commented on your studying Go and attributing it to your intelligence. While I have always imagined myself living in a small wooden cottage with plenty of time to pursue my interests, I find it very difficult to evaluate a freedom/success trade-off while still in university. Even though I could make the case that I will most likely live more-than-comfortably as a data-scientist no matter how well I perform at the next examination, I still can't shake the feeling that I should be pushing myself to the limit. I feel as if the "fog-of-war" for determining future freedom is too thick, but I realize that I haven't actually tried to make a plan.
So here's the first outline of a "wooden cottage" plan:
I'll figure the rest out later, but thank you for planting the seed in my mind.
I find the remark about the exponential increase in scope inducing a linear increase in willingness-to-pay perhaps being due to the number of zeroes quite amusing, and it leads me to speculate how a different base numbering system would change the willingness-to-pay.
I predict that given identical proficiency in any base b numbering system, a base-2 numbering system would decrease willingness-to-pay for an identical exponential increase in scope, and a base-16 numbering system would increase it, as a result of the shorter length representations!
I immediately and conclusively conclude that if we were to do away with our silly digits and embrace hexadecimality then the average human would be willing to part with x1.6 more units of purchasing power.