Mathematically trained Software Engineer with over 10 years of programming experience, including 5+ years of professional full-stack roles developing in large codebases, startup, and client projects:

  • Able to rapidly adapt to unfamiliar tech stacks and codebases
  • Can work at multiple levels of abstraction, from bytes to high-level API design
  • Experienced with AI-assisted development to accelerate feature delivery while applying engineering judgment to ensure correctness, security, maintainability, and performance
  • I enjoy collaborating and helping people understand things I understand 1-on-1, considering where they are at, figuring out the implicit assumptions they may have.
  • Now seeking a full-time engineering role after concluding startup work

Experience

Founding Full-Stack Engineer / Co-Founder

Hammurapi (AI Legal Tech startup)

Mar 2025 - Jan 2026
Tech: TypeScript, React, express.js, next.js, RAG / semantic search / vector dbs, neo4j, MCP, SSE, agent implementation

Built an LLM-based legal-assistant on top of a semantic-search tool with:

  • Product design and implementation
  • Constraining AI agent via MCP tools to produce correct legal citations, reducing hallucination
  • Built a TypeScript backend that uses the MCP (Model Context Protocol) to expose the legal database of Slovak legislation and external APIs as tools for the model
  • Created the frontend chat interface with project and session management (TypeScript/React/Node)
  • Implemented SSE (Server-Sent Events) to handle streaming and manage state with multiple LLM providers in a unified API.

Graduate Coursework & Systems Projects

Masaryk University, Faculty of Informatics

Sep 2023 - Feb 2025
Tech: Rust, C, MCU, HDL / Verilog, Compiler/DB internals

Learning Rust, embedded/FPGA, basic AI/ML, and improving/exploring my language design/implementation skills:

  • Rust DB server (team): Implemented the SQL interpreter and a persistence engine with custom binary format for tables and a GC to manage deletions
  • Rust MLP (solo): Built a deep-learning MLP trained on MNIST
  • Polymede Language/Compiler (Rust, WASM, solo)
  • Thesis project: Designed a language based on Linear Type Theory and implemented interpreter for it in Rust.

Full-Stack Engineer

Itravel (Remote, Germany)

May 2022 - Aug 2023
Tech: Elm, Scala, TypeScript, React, Heroku / AWS, REST / GraphQL

Developed and maintained features in a distributed travel-tech platform, from Scala/PostgreSQL/GraphQL backend to Elm/TS Frontend:

  • Onboarded senior backend developers into the Elm frontend
  • Developed end-to-end features - from PostgreSQL schema design to responsive Elm UI for the customer facing website, including the implementation of i18n/localization pipeline, and analytics
  • Delivered backend features in Scala in a distributed architecture, managing concurrency requirements and distributed cache
  • Reduced payload size on the frontend. Reverse-engineered an undocumented third-party API to replace a bloated React embed with a lightweight JS/Elm, and translated UX designs into optimized, responsive frontend components (like lazy-loading image carousel in Elm).

Frontend Developer

GWI (Remote, UK)

Dec 2020 - Mar 2022
Tech: Elm, React, GCP, GraphQL
  • Quickly onboarded into a ~100K line Elm enterprise without prior Elm experience, implementing frontend features and UI components based on high-level architectural specifications
  • Mentored colleagues who were new to functional programming, introducing them to Elm architecture, state-management to help them contribute to the codebase
  • Built custom Elm parsers (including a CSV parser and a dataset query DSL) to overcome the limitations of existing libraries, focusing on clear error messages for end-users
  • Maintained strict technical standards during code review. Argued against anti-patterns, actively engaged in constructive architectural debates to ensure highly performant, maintainable codebase.

Web Developer

freelance

Before 2020
Tech: JavaScript, HTML/CSS, PHP, Ruby on Rails

Built small client websites and interactive frontend applications (React)

Independent Developer

Jan 2026 - Present
Tech: TypeScript, Rust, SolidJS, NixOS, self-hosting, language-design

Implementing live, programmable knowledge environment (inspired by TiddlyWiki/Smalltalk) and setting up a self-hosted home-lab/web-server:

  • Implemented a push-based Signals runtime in TypeScript, using Directed Acyclic Graph (DAG) with topological sorting for glitch-free value propagation
  • Implemented transactional hot-swapping at runtime of live signal nodes with cycle-detection and automated rollback
  • Deployed a self-hosted homelab on bare-metal NixOS, manually configuring Nginx reverse proxies, WireGuard VPNs, automated DNS/domain routing, and a personal Forgejo Git instance
  • Visually designed and built my personal webpage to force myself to think more like a designer. Created my own consistent design system.

Projects

For more projects and demos see my personal webpage https://dupyn.com/

Combinatorics Visualization

2020

Interactive visualization of combinatorial generators and formulas for https://isibalo.com:

  • low-latency math-formula-rendering
  • lazy-generation with ES6 Iterators

Polymede Language Design, Compiler & Runtime

2024

Designed a purely-functional, statically-typed language and implemented zero-dependency WASM compiler from scratch in 6 weeks:

  • Designed the frontend and intermediate representation, with Parametric-Polymorphism, Bidirectional type-checking, Algebraic-Data-Types, Pattern Matching, IO-monad, and a custom IR
  • Implemented WASM bytecode serializer and a Garbage Collected runtime
  • Limited language scope and made trade-offs/simplifications under a tight deadline

Newtonian Dance (N-Body Physics)

2026

Created a generic n-body physics simulation/visualization in the browser's canvas that uses Data-Oriented Design and Structure-of-Arrays memory layout.

Education

Keywords/Skills

  • Languages: Rust, TypeScript / JavaScript, Elm, Scala, C, WebAssembly, SQL, Python, Ruby, Lua, PHP
  • Frontend & UI/UX: Modern CSS / SCSS, OKLCH, React, SolidJS, Responsive UI/UX, Elm UI, canvas
  • Backend & Data: PostgreSQL, node, express.js, GraphQL, REST APIs, SSE, Scala (play, http4s, cats-effect)
  • Systems & Infrastructure: Linux / NixOS, Docker, GCP / AWS / Heroku, Nginx, WireGuard, CI/CD, Neovim / Tmux
  • Theory & Architecture: Functional Programming (Scala, Elm, Haskell, Scheme), Compiler/VM/DB Internals, Message Passing Concurrency (CSP, Actor Model), Type Theory / PL Theory, Proof Assistants / Dependent Types (Lean, Rocq)
  • Natural languages: English, Czech