here I write things
Selection of real-world projects, scope, and results.
Context In the domain of formal mathematical proofs and interactive theorem proving, Lean 4 and its standard mathematical library, mathlib4, represent a cornerstone for the mathematical community. However, the structural …
Context The growth of analytical infrastructure and the need to integrate data from multiple complex transactional sources (such as ERPs on SAP HANA and storage and logistics systems on SQL Server / Intralog) required a …
Context To boost decision-making and empower advanced AI assistants (like Claude or ChatGPT) with the ability to query and analyze information in real time, a microservices ecosystem based on the Model Context Protocol …
Context In the inventory planning and distribution workflows of Vinos América, there was a requirement to accurately automate the demand forecasting of thousands of combinations of product_id + warehouse_id. To solve …
Context The CineMX Yearbook of the Mexican Institute of Cinematography (IMCINE) constituted one of the most valuable public resources to audit, study, and research the state of cinema in Mexico. In late September 2025, I …
Context Before the global development of the Model Context Protocol (MCP) ecosystem, there was a need to connect language models (specifically OpenAI’s Custom GPTs via Actions) quickly, securely, and directly with …
Context Music has an innate ability to evoke complex emotional states. Studying how these emotions interact and overlap in large song catalogs is a highly interesting task for music recommendation systems. In order to …