Hey hello, I'm Martin Dvorak,
I do programming both for a living (Python/7y, Go/1y, Java/23y) and for my own personal pleasure (C++/10y, C/8y). I like all flavors of coding — I prefer strongly typed languages, however, I did my master's thesis in logic (Prolog/3y) and functional (ML/2y, Haskell/3y, Lisp/4y) languages and fell in love with them. I value freedom — I'm an open-source believer and the right to fix supporter.
I use my open-source projects on a daily basis:
- Mind Forger (C++, Qt)
- A thinking notebook to maintain what I learned and understood over the recent years — 16k+ notes in 800+ notebooks.
- HSTR (C, ncurses)
- Slake Moth (Java, Google App Engine)
- Auto coach helping me to systematically plan, solve problems, learn from mistakes, and brainstorm using SWOT, SMARTER goals, and Eisenhower matrix in the wheel of life.
I like to read math books (I'm really bad at it) and the source code of interesting projects before going to sleep - especially VMs, compilers, and machine learning models.
My heroes are Linus Torvalds, Bjarne Stroustrup, Don Knuth, James Gosling, Richard Stallman, John Carmack, Andrew Ng and Andy Wier.
If you're ever in Prague and have similar interests or use my projects, get in touch and we'll have a beer! Blessing!