Skip to content
View hradecek's full-sized avatar
💻
Coding
💻
Coding

Organizations

@vwdfive

Block or report hradecek

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
hradecek/README.md

blog linkedin stackoverflow instagram chess.com

$ whoami - Ivo Hrádek, backend engineer and tech lead, Brno

Hello! 👋 My name is Ivo Hrádek [Download name pronunciation ˈɪvo ˈɦraːdɛk].
I build backend systems on the JVM, run them on Kubernetes, and write about it at hradecheck.com.

$ cat about.kt

val ivo = Engineer(
    role     = "Backend engineer & tech lead",
    based    = "Brno, Czech Republic",
    builds   = listOf("Kotlin", "Spring Boot", "Gradle"),
    ships    = listOf("Kubernetes", "Helm", "ArgoCD", "Azure", "Terraform", "GitHub Actions"),
    observes = listOf("OpenTelemetry", "Micrometer"),
    focus    = listOf(
        "architecture and ADRs",
        "platform, GitOps and delivery",
        "identity: OAuth2, OIDC, JWT, consent",
        "documentation that stays true",
    ),
    offDuty  = listOf("chess", "writing"),
)

$ ls ~/projects

Project What it is
jotscope Privacy-first Chrome extension to decode, inspect and verify JSON Web Tokens. 100% offline. jotscope.hradecheck.com
hradecheck.com My blog: software architecture, system design and building reliable software.
dotfiles Home is where the config files are.
apk2xml Converter between Android binary XML and readable XML.

$ cat stack

Kotlin, Java, Spring, Gradle, PostgreSQL, Kafka, JavaScript, Python, Kubernetes, Docker, Azure, Terraform, GitHub Actions, Grafana, Prometheus, Linux, Bash, PowerShell, Git, IntelliJ IDEA, Obsidian, Raspberry Pi

$ git log --stat

GitHub contributions over the last year, per year and per weekday

Pinned Loading

  1. dotfiles dotfiles Public

    Home is where the config files are.

    Shell 1

  2. apk2xml apk2xml Public

    Converter from android binary XML to readable XML and vice versa...

    Java 3

  3. hradecek_resume.json hradecek_resume.json
    1
    {
    2
      "name": "Ivo Hrádek",
    3
      "contact": {
    4
        "phone": "<hidden>",
    5
        "email": "ivohradek@gmail.com",
  4. jotscope jotscope Public

    Privacy-first Chrome extension to decode, inspect & verify JSON Web Tokens - 100% offline.

    JavaScript 2