Main tech skills:

- Backend Programming: Zig, Rust, Haskell, Python, JS, TypeScript, Node, Vue, React, Elm, Scala, C, C++, SQL, Perl, PHP, Clojure, OCaml, Erlang, Elixir, Theorem provers (TLA+, Isabelle HOL, Agda), ...

- Devops & co: NixOS, Terraform, AWS, Docker, Ansible, Linux admin, Distributed Systems, ... Quote from code review: "This is the most beautiful Bash code I've ever seen written"

- Fintech: Dev experience with banks and financial institutions. Launched Tezos and other major blockchains. Dozens of smart contract audits.

- Bizdev: Gamification, consumer modelling, data-driven retention and engagement

- AI: LLMs, predictive text, machine vision (trajectory tracking), DSP, Big Data, ...

- Infosec: Cryptography, Red team testing, RE, audits, threat modeling, ...

- Other tech: Godot game engine, audio engineering (mastering), Verilog, VHDL

Management and business: Minor in Psychology, led and managed teams between 2 and 30 people, product design and gamification, hiring, executive and political outreach, media appearances, and a lot of other experience that won't fit in this post.