Why? Studied Math/CS, got the bug back to do something more algorithmic/logical thinking than the usual work stuff.
I have already written a silly language & intpereter which is a bit lispy and can do basic conditionals. loops and IO.
Would like to find a way to leverage into this. I.e. know enough that I can impress my work, they get me to do stuff like this at work, I get more hours learning this stuff so I get better etc.
Given that I mostly write network servers for running on Linux/Intel, which is not too popular topic among Ada crowd, I would need to develop my own strategies and patterns even if I got my hands on typical printed materials for Ada.
Leatherworking goes hand in hand with a lot of my other hobbies, and I have a nice workshop space I can put it in.
Also want to speed up my design and planning skill. Coding is easy, but figuring out what to code is painful.
- Dependently-typed programming: Coq, Agda, Idris
- Machine Learning and Artificial Intelligence
I believe that the future of programming is to describe WHAT rather than HOW.
My focus will be on the business side, how to get better at sales and marketing.