Mario S. Pinto Miranda
Hola, bienvendid@ a mi web personal!
Trabajo actualmente como desarrollador en LeanMind.
Me encanta aprender cosas nuevas y compartir lo que sé con los demás. Con este blog espero conseguir ambas cosas.
Últimos artículos
Ver todos →
Aprendiendo Kotlin conversando: Null Safety
Artículo basado en una conversación con Claude, donde exploro de forma reflexiva y técnica cómo Kotlin aborda la null safety. Comparo su enfoque con Java y TypeScript, analizando ventajas, filosofía de diseño y aplicaciones prácticas en el desarrollo moderno.
Mis reflexiones tras trabajar con GitHub Copilot con GPT-5 en mis proyectos personales un fin de semana
Reflexiones sobre el uso de GitHub Copilot con GPT-5 en mis proyectos personales: ventajas, integración en el flujo de trabajo, estadísticas de aportación de IA y el papel clave del refactoring y testing en el desarrollo moderno.
Añade temas light y dark a tu web con poco esfuerzo
Activa temas claro/oscuro en tu web con muy poco código usando variables CSS y media queries (prefers-color-scheme). Añade un selector de tema accesible, detecta el modo del navegador y persiste la preferencia para respetarla en visitas futuras.
Sobre mí
Actualmente, soy desarrollador de software, he trabajado en varios tipos de proyecto a nivel tecnologico, como de contexto, y sigo aprendiendo cada día buscando mejorar mis habilidades con nuevos desafios.