I mean, I don't think I have a bad life, but it's kind of a regret that when I sit down and think about things to program for fun, I think about theorem provers and compilers, which there are already bunches of.
I mean, I don't think I have a bad life, but it's kind of a regret that when I sit down and think about things to program for fun, I think about theorem provers and compilers, which there are already bunches of.
In high school I took an auto tech class from my local community college where I rebuilt an automatic transmission. It still amazes me those devices work at all.
In college I took a welding class from the agriculture school for elective credit. Everyone should have the experience of cutting metal with fire.
Those experiences have been priceless to me in my day job at $megacorp. I work with a lot of people who have only had one job. Their thinking is very rigid.
I encourage you to find a community college course in any kind of trade discipline. It’s extremely rewarding to apply the lessons conceptually to your day job and life.