I care about writing software that stays readable, explicit, and correct as it grows. My focus is on low-level systems work — building libraries that make program intent visible, tracking what actually matters through KPIs, and keeping codebases sane through disciplined version control and tooling.

• 🌱 I'm currently learning Frama-C, CompCert, and formal methods for safety-critical software
• 💬 Ask me about KPI · Version Control · Formal Verification · Task Processing Systems
• ⚡ Fun fact: I think explicit is always better than implicit — even in conversation

C	Rust	Python	Bash

• C with the right libraries and discipline, it can do anything
• Rust is for when I want compile-time memory safety without a garbage collector
• Python is for scripting, automation, and quick data work where speed of writing matters more than speed of execution
• Bash is for gluing tools together, CI scripts, and anything that lives in a terminal

AWS	Docker	Kubernetes

• AWS — production infrastructure, storage, and managed services
• Docker — reproducible builds and environment isolation
• Kubernetes — orchestrating containerized workloads at scale

SQLite	PostgreSQL	MySQL	MSSQL	LMDB

• SQLite — embedded, zero-config storage for local and constrained environments
• PostgreSQL — my default for relational data when I need a serious production database
• MySQL — widely deployed relational store, common in existing stacks
• MSSQL — enterprise environments where the Microsoft stack is already in place
• LMDB — memory-mapped key-value store with a clean C API, no hidden allocation, and ACID transactions; the go-to when I need fast persistent storage without the overhead of a full relational database

WebAssembly

• WebAssembly — compiling C and C++ to run in the browser or standalone runtimes without modification

Pandas	OpenCV	PyTorch	TensorFlow	scikit-learn

• Pandas — data wrangling and tabular analysis
• OpenCV — computer vision and image processing pipelines
• PyTorch — model training and experimentation
• TensorFlow — production ML pipelines and deployment
• scikit-learn — classical ML algorithms and quick experimentation

Unity	Unreal

• Unity — 2D/3D game and simulation prototyping with a large ecosystem
• Unreal — high-fidelity real-time 3D when visual quality and C++ control matter

Bullet	PhysX

• Bullet — open source 3D physics simulation, my go-to for rigid body dynamics outside of a full engine
• PhysX — Nvidia's physics engine, used when working within Unreal or when GPU-accelerated simulation matters