I am Travis Cardwell, and I really like to create things. My interests include software development, mathematics, education, design, manufacturing, electronics, physics, language, nature, music, reading, and cooking.
Most of my work experience is with software development. I strive to create quality software, designing and developing software with security, reliability, maintainability, usability, efficiency, and testability in mind. I enjoy learning and using a wide variety of different programming paradigms and languages. While I select a development language that best matches the goals of each project, I generally prefer pure functional programming and powerful type systems. The vast majority of code that I have written over the past 10 years is in Haskell. My software development interests include concurrent and parallel programming, cryptography, artificial intelligence, and type systems.
I have lived in Japan for over 20 years. I currently live in Kanagawa with my wife and daughters. In the past, I have had the opportunity to live in some interesting places, including Fukuoka, Kyoto, and Tokyo.
I tend to avoid social media for the following reasons:
- Doing anything well requires a significant investment of time, and I choose to allocate my time to other aspects of my life.
- I place high importance on focus and concentration, and social media distracts me.
- I value the decentralized nature of the internet and think that most social media gives too much power to large corporations.
A notable exception is GitHub. Though GitHub is owned by a large corporation, it is the most popular site for people to share and discover software. I put released project repositories in the
ExtremaIS organization account and use my
TravisCardwell personal account for contributing to other projects as well as sharing experimental projects.
Note that I sometimes post to other sites, usually using my online handle 1331.
I use the handle
tcard on Libera.Chat.
Contact me via email at email@example.com.
To add me as a contact, import my virtual contact file or scan the following QR code:
Use my personal PGP key to communicate with me securely.