Over Valencia

Founding Engineer · Cognitive Systems ArchitectIngeniero en Sistemas y Computación

Systems, mathematics and music — built from first principles.Sistemas, matemática y música — construidos desde los principios.

Solution spaceEspacio de soluciones

Systemic & analytical thinkingPensamiento sistémico y analítico

Before optimizing a part I look at the whole system. No component needs to know everything to take the next step, only the right context; well-composed parts become a bigger system, and what starts out uncertain should converge to something deterministic and controllable.Antes de optimizar una pieza miro el sistema entero. Ningún componente necesita conocerlo todo para dar el siguiente paso, solo el contexto justo; las piezas bien compuestas forman un sistema mayor, y lo que empieza incierto debe converger a algo determinista y controlable.

Principles & design axiomsPrincipios y axiomas de diseño

I design from a few explicit rules: a single source of truth, no input is trusted, unsurprising code, progress over perfection. A rule I can't justify doesn't get in.Diseño desde pocas reglas explícitas: una sola fuente de verdad, ninguna entrada es de fiar, código sin sorpresas, progreso antes que perfección. Una regla que no puedo justificar no entra.

Computational foundationsFundamento computacional

Implementation grows out of theory: complexity, correctness and invariants before the first commit. From IIT 4.0 in Complexum to a symbolic engine checked with Lean — what can't be argued doesn't ship.La implementación nace de la teoría: complejidad, corrección e invariantes antes del primer commit. Del IIT 4.0 en Complexum a un motor simbólico verificado con Lean: lo que no se puede argumentar no se despliega.

Pier & seaMuelle y mar

  1. EducationEstudios · 2021-01 – 2026-06

    B.Sc. — Systems and Computing EngineeringPregrado — Ingeniería de Sistemas y Computación — Universidad de Caldas

    GPA 4.2 / 5.0 (major 4.5). Algorithms, intelligent systems, software engineering and mathematics.Promedio 4.2 / 5.0 (carrera 4.5). Algoritmos, sistemas inteligentes, ingeniería de software y matemáticas.

  2. JobEmpleo · 2023-01 – 2024-06

    Teaching Assistant — MathematicsMonitor — Matemáticas — Universidad de Caldas

    Tutorials on differential and integral calculus and computational mathematics.Tutorías de cálculo diferencial e integral y matemática computacional.

  3. CertificationCertificación · 2024-01

    Python (Basic) · SQL (Intermediate)Python (Básico) · SQL (Intermedio) — HackerRank

    Skill certifications in Python and SQL.Certificaciones de habilidad en Python y SQL.

  4. JobEmpleo · 2024-01 – 2026-06

    Teaching Assistant — Analysis & Design of AlgorithmsMonitor — Análisis y Diseño de Algoritmos — Universidad de Caldas

    Complexity theory and algorithm design, with Integrated Information Theory (IIT 4.0) as the course project.Teoría de la complejidad y diseño de algoritmos, con la Teoría de la Información Integrada (IIT 4.0) como proyecto del curso.

  5. CertificationCertificación · 2024-07

    Artificial Intelligence and ProductivityInteligencia Artificial y Productividad — Google

    Applying AI tools to everyday work. Credential OA-2024-0716000043805.IA aplicada al trabajo diario. Credencial OA-2024-0716000043805.

  6. CertificationCertificación · 2024-07

    Introduction to Data ScienceIntroducción a la Ciencia de Datos — IE University

    The data science workflow, from question to model. Credential OA-2024-0716000043897.El flujo de la ciencia de datos, de la pregunta al modelo. Credencial OA-2024-0716000043897.

  7. CertificationCertificación · 2024-07

    Internet of ThingsInternet de las Cosas — MIT Professional Education

    IoT architectures, sensing and connected systems. Credential OA-2024-0716000043961.Arquitecturas IoT, sensado y sistemas conectados. Credencial OA-2024-0716000043961.

  8. JobEmpleo · 2025-01 – 2026-06

    Founding EngineerIngeniero fundador — Alter

    End-to-end architecture, backend and cloud of the company's AI product — N8N B2B & B2C automation.Arquitectura, backend y nube de punta a punta del producto de IA de la empresa — Automatización B2B & B2C en N8N.

  9. AwardReconocimiento · 2025-03

    Winner — Arduino Days Colombia Hackathon 2025Ganador — Hackathon Arduino Days Colombia 2025 — Arduino Days Colombia

    An IoT solution for the UN Sustainable Development Goals.Una solución IoT para los Objetivos de Desarrollo Sostenible de la ONU.

    https://drive.google.com/file/d/1ew0thcQirrNrKjARACCiXNtlMey9og0h/view?usp=drive_link
  10. CertificationCertificación · 2026-03

    Claude Code in ActionClaude Code in Action — Anthropic

    Agentic software development with Claude Code.Desarrollo de software agéntico con Claude Code.

    https://drive.google.com/file/d/1LyM5v5Y_OZ5x2E-DWXNzbGXqTmzguMQL/view?usp=sharing
  11. CertificationCertificación · 2026-03

    AI LiteracyAlfabetización en IA — IBM Academy

    Foundations of AI and its responsible use.Fundamentos de la IA y su uso responsable.

    https://drive.google.com/file/d/10ULd0qSRIeemcU-u5UYahZW5AnJFwIym/view?usp=sharing
  12. CertificationCertificación · 2026-03

    Retrieval-Augmented Generation for Enhanced AI OutputsGeneración Aumentada por Recuperación (RAG) — IBM Academy

    Grounding LLM outputs with retrieval.Respuestas de LLM ancladas con recuperación.

  13. CertificationCertificación · 2026-04

    Google Cloud Computing FoundationsGoogle Cloud Computing Foundations — Google

    Core Google Cloud infrastructure, networking, storage and security.Infraestructura, redes, almacenamiento y seguridad base de Google Cloud.

    https://www.credly.com/badges/d2b19097-4da6-4550-8240-95f434a6d757
  14. CertificationCertificación · 2026-05

    Digital Content Analysis and OptimizationAnálisis y Optimización de Contenidos Digitales — SocialTech – MinTIC

    Measuring and optimizing digital content.Medición y optimización de contenidos digitales.

    https://drive.google.com/file/d/1rkvdXN2VYMjr6OCMPeQfJfOPj4TIMjnb/view?usp=sharing

The lighthouseEl faro

LanguagesLenguajes

The instruments: each one a different way of thinking about a problem.Los instrumentos: cada uno, una forma distinta de pensar un problema.

  • Python
  • TypeScript
  • Java
  • C++
  • C#
  • Rust
  • Go
  • C
  • Assembly (AVR / x86)
  • LaTeX
  • Bash · Shell · PowerShell

Web & backendWeb y backend

From the API to the last pixel.De la API al último píxel.

  • Next.js
  • React
  • FastAPI
  • Node.js
  • Spring Boot
  • Astro
  • Vue
  • Angular
  • SolidJS
  • Axum
  • Streamlit
  • Unity (C#)

AI & dataIA y datos

Models that learn, pipelines that remember.Modelos que aprenden, pipelines que recuerdan.

  • LLM pipelines (RAG, agents)Pipelines LLM (RAG, agentes)
  • PyTorch
  • scikit-learn
  • NumPy
  • Pandas
  • TensorFlow
  • Keras
  • XGBoost
  • Plotly
  • PyPhi (IIT 4.0)

DatabasesBases de datos

Where state lives, and endures.Donde el estado vive y perdura.

  • PostgreSQL
  • Supabase
  • ChromaDB
  • MongoDB
  • Redis
  • MySQL
  • MariaDB
  • SQLite
  • Oracle SQL
  • SQL Server

Cloud & DevOpsCloud y DevOps

Shipping it, and keeping it alive.Llevarlo a producción y mantenerlo vivo.

  • Docker
  • Git · GitHub
  • Azure
  • Google Cloud
  • N8N

Architecture & methodsArquitectura y métodos

Structure before speed.Estructura antes que velocidad.

  • Screaming Architecture
  • Layered architectureArquitectura por capas
  • REST APIs
  • Scrum
  • DDD
  • TDD
  • Networking: TCP/IP, subnetting, NAT, VLANsRedes: TCP/IP, subnetting, NAT, VLANs

Spoken languagesIdiomas

The languages I think and work in.Las lenguas en las que pienso y trabajo.

  • SpanishEspañol (nativenativo)
  • EnglishInglés (professional working proficiencycompetencia profesional)

Inside the pianoDentro del piano

OASys / ArchSliceOASys / ArchSlice (2026)

Creator & architect · private codeCreador y arquitecto · código privado

OASys / ArchSlice

My main product. Today LLMs live split between loops, where the agent carries all the responsibility and loses its way on a long task, and workflows, which are deterministic but that the agent can neither understand nor change. OASys takes the architecture of a computer: the LLM is an ALU specialised in its job — beyond ADD a, b, a CREATE <prompts>, <files>, <tools> — that doesn't need to see everything, only the curated step in front of it. Each agent solves a single task and leaves what it learned in an organisational memory; processes become Devices that compose like a digital circuit. The system starts stochastic and converges to a deterministic one, and since the Device is the state, the agent can read it and rewrite it: that's where self-improvement comes from, and the cost of the model stops growing with every turn. Programs are written in the .os DSL or in a visual grid (Device → Books → Pages → Lines → Cells) and run on a Rust engine with a program counter, call frames and a shared variable store, streaming every step over SSE. The code is private; the web app and the desktop builds are not.Mi producto principal. Hoy los LLM viven entre loops, donde el agente carga con toda la responsabilidad y se pierde en una tarea larga, y workflows, deterministas pero que el agente no puede entender ni modificar. OASys toma la arquitectura de un computador: el LLM es una ALU especializada en su labor — más allá de un ADD a, b, un CREATE <prompts>, <files>, <tools> — que no necesita conocerlo todo, solo el paso curado que tiene enfrente. Cada agente resuelve una única tarea y deja lo aprendido en una memoria organizacional; los procesos se vuelven Devices que se componen como un circuito digital. El sistema empieza estocástico y converge a uno determinista, y como el Device es el estado, el agente puede leerlo y reescribirlo: de ahí la automejora, y el coste del modelo deja de crecer con cada turno. Los programas se escriben en el DSL .os o en una grilla visual (Device → Books → Pages → Lines → Cells) y corren sobre un motor en Rust con contador de programa, marcos de llamada y un almacén de variables compartido, emitiendo cada paso por SSE. El código es privado; la aplicación web y los binarios de escritorio no.

Rust · Axum · React · TypeScript · Supabase · Docker · Docusaurus

DemoDemo

Alter — the precursor of OASysAlter — el precursor de OASys (2025)

Founding engineerIngeniero fundador

As founding engineer I owned the full stack of the company's AI product: LLM pipelines with RAG and tool-using agents, vector stores and embedding workflows, a layered backend following Screaming Architecture, deployment on Azure and GCP, and N8N automations for business processes. Building agents on one side and workflows on the other showed me their limits up close — agents without control, processes no agent could iterate on — and that small part was what taught me how to build OASys.Como ingeniero fundador llevé todo el stack del producto de IA de la empresa: pipelines LLM con RAG y agentes con herramientas, bases vectoriales y flujos de embeddings, un backend por capas con Screaming Architecture, despliegue en Azure y GCP y automatizaciones de procesos de negocio con N8N. Construir agentes por un lado y workflows por el otro me mostró de cerca sus límites — agentes sin control, procesos que ningún agente podía iterar — y esa pequeña parte fue la que me enseñó cómo crear OASys.

Next.js · FastAPI · Node.js · Docker · Supabase · ChromaDB · Azure · GCP · N8N

MathSlice engineMotor de MathSlice (2026)

Author · private code, open-source plannedAutor · código privado, apertura prevista

MathSlice engine

A symbolic computation kernel of our own — the maths layer of a Wolfram|Alpha, written in Rust and compiled to WASM to run in the browser. The goal is not the answer but the derivation: every rewrite emits a trace, no rule fires unless its assumptions are satisfied (enforced by types), and the input is LaTeX only. SymPy and Maxima serve solely as differential-testing oracles in CI, next to a golden corpus and property tests, and Lean 4 backs the verification levels. It knows nothing about the platform that uses it.Un kernel de cómputo simbólico propio — la capa matemática de un Wolfram|Alpha, escrito en Rust y compilado a WASM para correr en el navegador. El objetivo no es la respuesta sino la derivación: toda reescritura emite traza, ninguna regla se dispara sin sus suposiciones satisfechas (impuesto por tipos) y la entrada es solo LaTeX. SymPy y Maxima sirven únicamente como oráculos de testing diferencial en CI, junto a un corpus dorado y property tests, y Lean 4 respalda los niveles de verificación. No sabe nada de la plataforma que lo usa.

Rust · WebAssembly · Lean 4 · LaTeX · SymPy

Complexum / Proyecto-2025AComplexum / Proyecto-2025A (2025)

Author & maintainerAutor y mantenedor

Python framework for the Minimum Information Partition problem in Integrated Information Theory 4.0. Backbone of the university algorithms course: strategies are injected as modules and run concurrently. Adopted by more than 63 student teams and auto-documented on DeepWiki.Framework en Python para el problema de la Partición de Mínima Información en la Teoría de la Información Integrada 4.0. Columna vertebral del curso de algoritmos de la universidad: las estrategias se inyectan como módulos y se ejecutan en paralelo. Adoptado por más de 63 equipos de estudiantes y documentado automáticamente en DeepWiki.

Python · UV · PyPhi

CodeCódigo DeepWiki

Texel — collaborative LaTeXTexel — LaTeX colaborativo (2026)

AuthorAutor

Texel — collaborative LaTeX

Several people edit the same .tex at once, compile it and see the PDF. Collaboration is a CRDT (Yjs) over a custom provider on Supabase Realtime, so text converges even when two people type on the same line; a Fastify service with TeX Live runs latexmk on Cloud Run and answers SyncTeX queries. Row-level security, private storage for assets and PDFs, and sync with the course repository it was born in.Varias personas editan el mismo .tex a la vez, lo compilan y ven el PDF. La colaboración es un CRDT (Yjs) sobre un proveedor propio en Supabase Realtime, así el texto converge aunque dos personas escriban en la misma línea; un servicio Fastify con TeX Live ejecuta latexmk en Cloud Run y responde consultas de SyncTeX. Seguridad por filas, almacenamiento privado para recursos y PDF, y sincronización con el repositorio del curso donde nació.

Nuxt · Vue · Yjs · CodeMirror 6 · Supabase · Cloud Run · Docker

CodeCódigo DemoDemo

Intel-II — Intelligent Systems IIIntel-II — Sistemas Inteligentes II (2025)

AuthorAutor

AI/ML repository deployed to production, from classical learning to deep learning. The final project is a hybrid ensemble (LSTM + GNN + XGBoost + Transformer) that predicts cybersecurity incidents on Microsoft's GUIDE dataset with 94.2% accuracy.Repositorio de IA/ML desplegado en producción, del aprendizaje clásico al profundo. El proyecto final es un ensamble híbrido (LSTM + GNN + XGBoost + Transformer) que predice incidentes de ciberseguridad sobre el dataset GUIDE de Microsoft con 94.2 % de exactitud.

Python · PyTorch · XGBoost · scikit-learn · Streamlit

CodeCódigo DemoDemo

MathSliceMathSlice (2026)

Author · private codeAutor · código privado

MathSlice

A platform for interactive mathematics: topics are authored in MDX and embed artifacts — graphs, Python that runs in the browser through Pyodide in a worker, diagrams and LaTeX — inside Astro pages with React islands. Its own symbolic engine, a separate piece, will turn exercises into derivations you can follow. Not deployed yet.Una plataforma de matemática interactiva: los temas se escriben en MDX e incrustan artefactos — gráficas, Python que corre en el navegador con Pyodide en un worker, diagramas y LaTeX — en páginas Astro con islas de React. Su propio motor simbólico, una pieza aparte, convertirá los ejercicios en derivaciones que se pueden seguir. Aún sin desplegar.

Astro · React · MDX · Pyodide · TypeScript

SDA Lab — statistical data analysisSDA Lab — análisis estadístico de datos (2026)

AuthorAutor

SDA Lab — statistical data analysis

A statistical method isn't applied to 'data' but to a matrix with declared roles, under assumptions, with hyperparameters and a way to be evaluated — so the lab splits an analysis into four phases: data, modelling, fitting and evaluation. Load a course dataset, a synthetic one or your own CSV, declare each column, clean, transform, split and balance it, then explore thirteen univariate, bivariate and multivariate plots, each with how to read it. A catalogue of 54 filterable methods, and the same Shiny code ships twice: compiled to WebAssembly with webR on GitHub Pages, and full R on Posit Connect.Un método estadístico no se aplica a «datos», sino a una matriz con roles declarados, bajo supuestos, con hiperparámetros y con una forma de evaluarse; por eso el laboratorio separa el análisis en cuatro fases: datos, modelado, ajuste y evaluación. Se carga un dataset del curso, uno sintético o un CSV propio, se declara cada columna, se limpia, transforma, parte y balancea, y se exploran trece gráficos univariados, bivariados y multivariados, cada uno con cómo se lee. Un catálogo de 54 métodos filtrables, y el mismo código Shiny con dos salidas: compilado a WebAssembly con webR en GitHub Pages y R completo en Posit Connect.

R · Shiny · webR · WebAssembly · renv · Posit Connect

CodeCódigo DemoDemo In the browser (webR)En el navegador (webR)

MusicomMusicom (2026)

AuthorAutor

A minimal, immutable algebra for music theory and performance, built on an abstraction ladder: key → harmony → chord and scale → voicing → note, pitch and interval → performance event. The engine knows no piece; works live apart, from a hand-written sketch to an explicit score, MusicXML and audio. It analyses harmony down to roman numerals, secondary dominants and augmented sixths, and diffs two scores note by note.Un álgebra mínima e inmutable para la teoría y la interpretación musical, construida sobre una escalera de abstracción: tonalidad → armonía → acorde y escala → disposición → nota, altura e intervalo → evento de interpretación. El motor no conoce ninguna obra; las obras viven aparte, desde un boceto escrito a mano hasta una partitura explícita, MusicXML y audio. Analiza la armonía hasta numerales romanos, dominantes secundarias y sextas aumentadas, y compara dos partituras nota a nota.

Python · MusicXML

CodeCódigo

HomeHealTechHomeHealTech (2024)

Path-planning & developer leadLíder de planeación y desarrollo

Telemedicine platform with a real-time AI disease-detection module, built with Juliana Gómez and PhD Reinel Tabares Soto: React frontend, FastAPI backend and a predictive machine-learning pipeline.Plataforma de telemedicina con un módulo de detección de enfermedades por IA en tiempo real, construida con Juliana Gómez y el PhD Reinel Tabares Soto: frontend en React, backend en FastAPI y un pipeline predictivo de aprendizaje automático.

React · FastAPI · Python · scikit-learn

IoT for the SDGsIoT para los ODS (2025)

Hackathon winnerGanador de la hackathon

An IoT solution addressing the UN Sustainable Development Goals, awarded first place by Universidad de Manizales, Centro de Ciencias Francisco José de Caldas, Seeed Studio and the Young AI Leaders Community.Una solución IoT orientada a los Objetivos de Desarrollo Sostenible de la ONU, premiada con el primer lugar por la Universidad de Manizales, el Centro de Ciencias Francisco José de Caldas, Seeed Studio y la comunidad Young AI Leaders.

Arduino · C++ · IoT · Seeed Studio

CertificateCertificado

HealinkHealink (2025)

Capstone · full-stack leadProyecto de grado · líder full-stack

Three decoupled services: a Spring Boot 3 backend (DDD, JWT + RBAC), a FastAPI machine-learning engine and a Next.js 14 frontend. A multi-agent system handles triage, risk prediction, recommendations and a chatbot.Tres servicios desacoplados: un backend en Spring Boot 3 (DDD, JWT + RBAC), un motor de aprendizaje automático en FastAPI y un frontend en Next.js 14. Un sistema multiagente se encarga del triaje, la predicción de riesgo, las recomendaciones y un chatbot.

Java · Spring Boot · Python · FastAPI · Next.js · PostgreSQL · Docker

CodeCódigo FastAPI

Micros-LearnMicros-Learn (2024)

AuthorAutor

A series on microcontrollers: direct register manipulation in AVR assembly, timers and interrupts, up to sensor interfacing on Arduino in C and C++.Una serie sobre microcontroladores: manipulación directa de registros en ensamblador AVR, temporizadores e interrupciones, hasta la conexión de sensores en Arduino con C y C++.

AVR Assembly · C · C++ · Arduino

CodeCódigo

3D PortfolioPortafolio 3D (2026)

Design & developmentDiseño y desarrollo

3D Portfolio

Five acts in one persistent Three.js scene: a ray-marched black hole, a mathematical landscape, a pier with bioluminescent jellyfish, a lighthouse with a playable piano and this circuit board. Content lives in typed collections, text is bilingual from day one and the semantic HTML stays underneath for SEO and screen readers.Cinco actos en una sola escena persistente de Three.js: un agujero negro con ray marching, un paisaje matemático, un muelle con medusas bioluminiscentes, un faro con un piano tocable y esta placa de circuito. El contenido vive en colecciones tipadas, el texto es bilingüe desde el primer día y el HTML semántico queda debajo para SEO y lectores de pantalla.

TypeScript · Astro · React · Three.js · GLSL · GSAP