I really like the exposition in http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf, but they do not have any solutions to the problems.Am finding https://www.cs.ox.ac.uk/andrew.ker/docs/lambdacalculus-lecture-notes-ht2009.pdf a bit harder to follow, but they do have solutions to computational problems.Thanks in advance!
I think the opportunities in tech are promising towards this end, and would be interested in getting in contact with other people with similar plans.
I'm on the "build skills, save money" - phase currently, and probably will be for > 5 years to come. So that is my main focus right now.
I am interested in contributing to making a Block explorer. You guys have something like this https://blockexplorer.com/ in mind? Is it Ok if I use React? I guess django for the backend.