Stack Tecnológico
Mi stack está orientado al desarrollo de sistemas, desde infraestructura cloud y software distribuido hasta firmware y sistemas ciberfísicos.
Trabajo principalmente con Python y Rust, complementados con C/C++ y herramientas especializadas para ingeniería de lenguajes, generación de código, sistemas embebidos y cloud.
Lenguajes principales
Python
Rust
C/C++
Áreas de especialización
Arquitectura de sistemas
- Arquitecturas distribuidas y modulares
- Diseño cloud-agnóstico
- Agnosticismo por Transformación
- Sistemas multi-tenant
- Arquitecturas serverless
- Diseño de APIs y servicios
- Separación de control plane / data plane
- CI/CD y validación automatizada
- Azure Functions
Sistemas distribuidos y Cloud
- Azure Functions
- Azure Table Storage
- AWS EC2, Lambda, S3 e IAM
- REST APIs
- Serverless
- Integración de servicios
- Comunicación entre componentes
- Arquitecturas orientadas a eventos
- PostgreSQL
- SQLite
Ingeniería de lenguajes
- Python
ast - AST y transformación de código
- Lexing y parsing
- Diseño de transpiladores
- Generación de código
- Inferencia de tipos
- Análisis estático
- PyO3
- FFI Rust ↔ Python
- Validación mediante toolchains reales
Sistemas embebidos
- ESP32
- STM32
- Arduino
- RP2040
- UART
- I2C
- SPI
- MQTT
embedded-hal- Rust bare-metal
- Generación de firmware multi-target
- Arquitecturas de firmware modulares
Cyber-Physical Systems
- Integración software-hardware
- Sensores y actuadores
- Máquinas de estados
- Filtrado de Kalman
- Sistemas de sensado distribuido
- Edge computing
- Comunicación MCU → edge → cloud
- Sistemas de control y estimación
Agentes e infraestructura de IA
- Model Context Protocol (MCP)
- Servidores MCP
- Tool-use agéntico
- JSON-RPC 2.0
- Integración de agentes con sistemas externos
- Extracción estructurada
- RAG stateless
Seguridad y confiabilidad
- Aislamiento multi-tenant
ContextVar- Derivación de claves mediante HMAC-SHA256
- Cifrado Fernet
- Sandboxing a nivel de proceso
- Protección anti-SSRF
- Hashing seguro de tokens
- Límites de confianza
- Verificación de invariantes
- Testing de propiedades del sistema
Modelado y análisis de sistemas
- Modelado mediante DAG
- Teoría de colas
- Modelos M/M/1
- Ley de Little
- Simulación en tiempo discreto
- Análisis de throughput
- Análisis de capacidad
- Identificación de cuellos de botella
- Optimización de pipelines
Ingeniería de datos
- Polars
- Pandas
- NumPy
- PostgreSQL
- SQLite
- SQLAlchemy
- Procesamiento y transformación de datos
Herramientas y plataformas
- Control de versiones: Git, GitHub
- CI/CD: GitHub Actions
- Contenedores: Docker
- Sistemas operativos: Linux, Windows, macOS
- Editores: VS Code, Neovim
- Build & Toolchains: Cargo, rustc, GCC/Clang, toolchains cross-compilation
- Cloud: Microsoft Azure, AWS
- Package ecosystem: PyPI, Cargo
- Metodologías: TDD, Clean Code, diseño orientado a pruebas y validación continua
Lenguajes de programación
| Lenguaje | Áreas de uso |
|---|---|
| Python | Sistemas, cloud, tooling, automatización, AST, generación de código, datos |
| Rust | Sistemas, embedded, backend, tooling, FFI y generación de código |
| C/C++ | Sistemas embebidos y firmware |
| Java | Ingeniería de lenguajes y generación de código |
| Go | Ingeniería de lenguajes y generación de código |
| SQL | Persistencia, consultas y modelado de datos |
| Bash | Automatización y sistemas Linux |
Idiomas
- Español — Nativo
- Inglés — Avanzado
- Chino — Básico (HSK 2)