Skip to content
View EarlPitts's full-sized avatar
🐁
Writing lambdas
🐁
Writing lambdas

Highlights

  • Pro
Block or Report

Block or report EarlPitts

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
EarlPitts/README.md

Hi! My name is Bendeguz. I’m a programmer living in Hungary. I’m currently working in the domain of IT Security.

My interests are mainly systems programming, embedded systems and computer science in general, mainly the theory of computation and programming languages.

I’m a firm believer of FOSS, the importance of decentralization, the UNIX philosophy and the hacker mindset. I think programming is one of the most creative and intellectually satisfying activities one can pursue.

In my free time I love coming up with ideas for new pet projects, and hoping that in the future days will consist of more than 24 hours, so I’ll even be able to finish them. I’m probably spending way more time tinkering with my development environment than one can consider healthy. And I’m pretty sure I spend more time automating things than it would be worth it.

Metrics

Pinned

  1. harp-project/EquivcheckEr harp-project/EquivcheckEr Public

    Equivalence checking of refactorings for Erlang

    Erlang 1 1

  2. dotfiles dotfiles Public

    My dotfiles

    Python

  3. badminbot-v2 badminbot-v2 Public

    Discord bot for the ELTE Badminton group

    Python 1

  4. brainfuck-interpreter brainfuck-interpreter Public

    Haskell