Skip to content
View dvorka's full-sized avatar
💭
Enjoying work w/ smart, humble and inspiring colleagues and friends.
💭
Enjoying work w/ smart, humble and inspiring colleagues and friends.
276 followers · 24 following

Sponsoring

@droidmonkey

Achievements

Achievement: Starstruckx4Achievement: Public SponsorAchievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Starstruckx4Achievement: Public SponsorAchievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Block or report dvorka

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
dvorka/README.md

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)
    • Fastest zsh and bash history search for the terminal.
  • 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!

Pinned Loading

  1. hstr hstr Public

    bash and zsh shell history suggest box - easily view, navigate, search and manage your command history.

    C 4.1k 232

  2. mindforger mindforger Public

    Thinking notebook and Markdown editor.

    C++ 2.3k 139

  3. shifts-solver shifts-solver Public

    Finds a solution to fitting employees with preferences in a schedule for shifts-based operation (GWT, Google AppEngine).

    Java 32 7

  4. slake-moth slake-moth Public

    Coaching notebook web application for Google App Engine.

    Java 9 4