My belief is that software is one of many tools that can empower 💪 people 🧑🏿‍🤝‍🧑🏻 to solve almost any problem. However we are in the middle of a time with a lot of uncertainity. Absurd fragmentation of programming languages and ecosystem tools, a huge lack of mathematic and scientific formal principles and ignorance of program correctness. I know we can do better (✂️💩) and when we finally do, it is going to be awesome! 🌈

• Category Theory
• Functional Programming λ🦄
• Formal Verification
• Pure functional languages: Haskell, Elm, PureScript, Idris, Unison
• Dependent Types
• Erlang/BEAM/OTP (Resilience/Fault Tolerance/Scalability)
• Visual programming: Enso (formerly Luna)

• Java
• JavaScript
• Go
• Python
• Dynamic Typing
• Mainstream Hype

“A language that doesn't affect the way you think about programming is not worth knowing.”

― Alan J. Perlis

If you feel intrigued or just want to throw ⚡ or 💩 at me, then look no further