At my present day job I make software for factories. My team and I make people's jobs safer, keep machines running longer, and have improved food/drug manufacturing safety operations.
On my evenings and weekends, when I'm not unwinding, I'm presently working on Haskell libraries for type-directed data migrations, extending the community fork of Lean to add FFI support, and working on a course in abstract algebra.
Making the world a better place is pretty easy and can start with small things. I like visiting some of our customer factories and meeting the people who use our software. It makes my day to hear their feedback and know that it's making a difference for them.
On my evenings and weekends, when I'm not unwinding, I'm presently working on Haskell libraries for type-directed data migrations, extending the community fork of Lean to add FFI support, and working on a course in abstract algebra.
Making the world a better place is pretty easy and can start with small things. I like visiting some of our customer factories and meeting the people who use our software. It makes my day to hear their feedback and know that it's making a difference for them.