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
organization account and use my
personal account for contributing to other projects as well as sharing
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 firstname.lastname@example.org.
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.
- user ID
Travis Cardwell <email@example.com>
- key ID (long)
- key ID (short)
156B 1E6C 8654 596D 27ED F003 5235 881F 1007 5307
- key type