Ask HN: What are your long-term goals?
Something I&#x27;ve become passionate about in the last couple of years is reliability in software and professionalism in software development.<p>I feel like we&#x27;re at an inflection point where the cost of developing formal specifications is coming down enough for more teams to be using them in their practice. I&#x27;d like to continue that trend to allow more developers to use pure maths to solve their problems and use computers to verify (and maybe synthesize) their work.<p>I don&#x27;t know what five years from now will look like but I&#x27;d like to either be working on or finishing a maths degree or starting a company to work on developing tools to work with formal specifications and proof automation and consulting with teams to help them write specifications for their critical components.<p>&gt; How do you work towards achieving it?<p>I spend my free time working on problems in predicate calculus and writing specifications in TLA+ or Lean. I look for opportunities in my day-to-day work that would benefit from those skills. When it is time to think about my next position I will look for jobs that will help me get to that next level. Right now that means looking for opportunities to work on projects where reliability is highly desired and complexity is also quite high.<p>When I conduct 1-on-1&#x27;s with my team I try to get people to think about their career. I like to encourage people to think strategically about their future. What do you want to be doing, in an ideal world, 2-3 years from now? What can we do now to set you up to be ready for that opportunity when it comes up?