Resume

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
• Created a boundary between reactive-signals and a custom, purely-functional language
• 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. I gathered as many constraints as possible, narrowing the design space by separating data from layout, and building a consistent design system (especially thinking systematically about color via OKLCH).

Replaced basic semantic-search tool with an LLM-based legal-assistant:

• Built a TypeScript backend that uses the Model Context Protocol (MCP) 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 Server-Sent Events (SSE) to handle streaming and manage state with multiple LLM providers in a unified API.

Used the program to impose constraints so that I could learn Rust, basic embedded/FPGA, basic AI/ML, and improve/explore 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 simple GC to manage deletions
• Rust MLP (solo): Built a deep-learning MLP trained on fashion-MNIST. Created my own abstract backpropagation formulation based on composition of smooth maps between Riemannian manifolds and adjoints of differentials. Implemented all the Linear Algebra on CPU without using external libraries
• Polymede Language/Compiler (Rust, WASM, solo)
• Master's Thesis Research (solo): Designed and implemented a hybrid/multiple-fragment language and interpreter in Rust in an attempt to unify Intuitionistic Linear Logic with standard functional programming.

After 3 semesters, paused studies to co-found AI legal-tech startup.

Developed and maintained features across 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, including the implementation of i18n/localization pipeline, and analytics
• Delivered backend features in Scala in a distributed architecture, managing concurrency requirements and distributed caching mechanisms
• 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).

• Quickly onboarded into a complex ~100K line Elm enterprise codebase even though I had no previous Elm experience, implementing frontend features and data-management UI components based on high-level architectural specifications
• Genuinely enjoyed guiding colleagues who were new to functional-programming, introducing them to Elm-architecture, state-management, and FP-philosophy to help them contribute to the codebase
• Proactively 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 (often 3,000+ lines). Argued against anti-patterns, actively engaged in constructive architectural debates to ensure highly performant, maintainable codebase.