En este video, Mario Pinto y Cristian Suárez charlan con Adrián Ferrera sobre su experiencia aplicando Property-Based Testing en un caso real. Mario y Cristian cuentan cómo esta técnica les permitió validar propiedades del dominio generando combinaciones de entrada aleatorias, detectando errores que habían pasado desapercibidos con tests unitarios tradicionales. Durante la conversación exploran: Cómo aplicar Property-Based Testing en funciones sin estado. Qué tipo de errores puede detectar que TDD no cubre. Recomendaciones para usarlo de forma eficiente (y sostenible). Cómo convertir los fallos encontrados en tests de regresión. Durante el video se menciona un artículo del blog donde Mario desarrolla más a fondo esta técnica, incluyendo enfoques concretos para identificar propiedades, diferencias con el testing basado en ejemplos, y casos aplicados. Lo puedes leer aquí: https://leanmind.es/es/blog/introduccion-a-property-based-testing/ .-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.- Puedes seguirnos en nuestras redes sociales: 🗺 web: https://www.leanmind.es 📷 Instagram: https://www.instagram.com/leanfulness_es/ 🐦 Twitter [ES]: https://twitter.com/leanfulness_es 🐦 Twitter [EN]: https://twitter.com/leanfulness_en 🔗 LinkedIn: https://www.linkedin.com/company/leanfulness/

En este episodio, charlamos con Daniel Santamaría sobre el presente y futuro de la agilidad en tiempos de inteligencia artificial. Mario, Cristian y Antonio repasan el Manifiesto Ágil punto por punto, cuestionando si la IA lo potencia… o lo pone en jaque. ¿Es ahora más fácil ser ágiles? ¿Está la IA cambiando nuestra forma de escribir y pensar el código? Una conversación honesta sobre: * Cómo usamos la IA en el día a día como desarrolladores * Riesgos, beneficios y contradicciones de la IA en entornos ágiles * Qué significa realmente ser ágil hoy * Este episodio complementa otras charlas recientes sobre el impacto de la IA en el desarrollo. Los invitados de este episodio son: Daniel Santamaría – Technical coach, formador y desarrollador autodidacta desde 2012. Apasionado del diseño de software y la IA como aliada para aprender, crear y enseñar. Cristian Suárez – Principal Consultant en Lean Mind, promotor de buenas prácticas y soluciones sostenibles. Experiencia en hackatones, liderazgo técnico y formación. Antonio Sánchez – Desarrollador con 8 años de experiencia, defensor del aprendizaje continuo. Reflexiona sobre cómo la IA le hizo redescubrir la necesidad de adaptarse. Mario Pinto – Puedes conocer su historia completa en el episodio 109. Enlaces relacionados con el episodio: Dani Santamaria https://danisantamaria.com/ Dani en LinkedIn https://www.linkedin.com/in/dani-santamar%C3%ADa/ Cristian Suarez https://cristiansuarez.dev/ Cristian en LinkedIn http://linkedin.com/in/cristian-suarez-vera/ Antonio Sanchez https://www.linkedin.com/in/antonio-jes%C3%BAs-s%C3%A1nchez-gonz%C3%A1lez-9b1b88121/ Mario Pinto https://www.mario-pinto-miranda.dev/ .-.-.-..-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. Cursos online: Diseño Sostenible https://diseñosostenible.com/ Testing Sostenible https://testingsostenible.com/ Refactoring Sostenible https://refactoringsostenible.com/ .-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. Formaciones para empresas: Formaciones personalizadas https://leanmind.es/es/formacion/ .-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.- Newsletters: de Savvily https://www.subscribepage.com/k8s4k3_copy de Carlos Blé https://www.subscribepage.com/v3z8u6 de Lean Mind https://www.subscribepage.com/p3v4h5 -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.- Canales de Telegram: de Carlos Blé https://t.me/carlosble de Lean Mind https://t.me/leanmind

¿Cómo aprovechamos la IA para desarrollar mejor software y más rápido?, ¿qué riesgos entraña usarla mal?, ¿cuál es el peligro escondido? Nuestros veteranos invitados nos cuentan cómo lo ven, cómo la usan, cual es el presente del uso de la IA generativa en programación y cómo ven el futuro cercano. La conversación surgió a raíz de las charlas que Jonathan y Pedro impartieron en CommitConf 2025, en Madrid. De repente surgieron espontáneamente ideas interesantes conversando, ¿qué te sugieren a ti? Enlaces relacionados con el episodio: Jonathan Vila https://www.linkedin.com/in/jonathanvila/ Pedro Pardal https://www.linkedin.com/in/ppardalj/ Mario Pinto https://www.linkedin.com/in/mariopintomiranda/ Ponencia de Jonathan en CommitConf http://bit.ly/vilojona-cleancode-ai-worth Ponencia de Pedro en CommitConf https://docs.google.com/presentation/d/1LxK1p9dGi9JbXXw5OqijE4ur1ID_dJ4eUUQhLiZPt4s/edit#slide=id.p Todas las ponencias de CommitConf en video https://www.youtube.com/playlist?list=PLu976vDeELBpPE-yGv-7UARPYXkXoK7Qs .-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.- Cursos online: Diseño Sostenible https://diseñosostenible.com/ Testing Sostenible https://testingsostenible.com/ Refactoring Sostenible https://refactoringsostenible.com/ .-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. Formaciones para empresas: Formaciones personalizadas https://leanmind.es/es/formacion/ .-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. Newsletters: de Savvily https://www.subscribepage.com/k8s4k3_copy de Carlos Blé https://www.subscribepage.com/v3z8u6 de Lean Mind https://www.subscribepage.com/p3v4h5 .-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.- Canales de Telegram: de Carlos Blé https://t.me/carlosble de Lean Mind https://t.me/leanmind

- ¿Te gustaría que la IA entendiera mejor tu código y fuera más útil en tu día a día? En este vídeo, Cristian Suarez, Mario Pinto Miranda y Adrián Ferrera exploran cómo utilizar submódulos de Git para conectar piezas separadas de tu proyecto (como backend y frontend) y ofrecerle a la IA el contexto que necesita para ayudarte de forma más precisa y eficiente. Durante la conversación descubrirás: ✅ Cómo organizar tus repos con submódulos para facilitar la colaboración entre módulos. ✅ De qué forma la IA puede identificar inconsistencias entre servicios y sugerir mejoras. ✅ Qué tipo de documentación y estructura favorece el trabajo conjunto entre personas e IA. ✅ Cómo evitar errores comunes de integración gracias al uso de context hubs. En Lean Mind seguimos experimentando con nuevas formas de integrar inteligencia artificial de forma práctica y responsable, potenciando lo que mejor sabemos hacer: crear software de calidad, sostenible y con propósito. 💬 ¿Ya estás aprovechando el contexto compartido para mejorar tu flujo de trabajo con IA? 🤖 ¿Cómo estás organizando tus repositorios para que sean más comprensibles, incluso para una IA? Cuéntanos en los comentarios, ¡nos encantará leerte! #Git #Submódulos #IA #DesarrolloDeSoftware #códigosostenible #SoftwareCraftsmanship #leanmind .-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. Puedes seguirnos en nuestras redes sociales: 🗺 web: https://www.leanmind.es 📷 Instagram: https://www.instagram.com/leanfulness_es/ 🐦 Twitter [ES]: https://twitter.com/leanfulness_es 🐦 Twitter [EN]: https://twitter.com/leanfulness_en 🔗 LinkedIn: https://www.linkedin.com/company/leanfulness/

¿Te gustaría optimizar tu flujo de trabajo en Git y ahorrar tiempo generando mensajes de commit? 🚀 En este vídeo, Carlos Blé, Antonio Jesús Sánchez y Mario Pinto exploran cómo usar herramientas de IA (como GitHub Copilot) para generar automáticamente mensajes de Git commits de manera eficiente y profesional. Durante la conversación exploran: Cómo funciona la generación automática de commits con IA. Ventajas reales: ahorro de tiempo, estandarización y mejora del histórico de commits. Riesgos y aspectos clave que debes revisar antes de confiar completamente en la IA. Personalización de prompts para adaptarlos al estilo de tu equipo. Además, debaten sobre buenas prácticas como el uso de micro-commits, responsabilidad única, y cómo mantener un historial limpio que facilite la evolución de tus proyectos. ¿Ya has usado IA para mejorar tus commits? Cuéntanos en los comentarios tu experiencia. ¡Nos encantaría leerte! #Git #GitCommits #IA #DesarrolloDeSoftware #WebStorm #CleanCode #SoftwareCraftsmanship #LeanMind .-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. Puedes seguirnos en nuestras redes sociales: 🗺 web: https://www.leanmind.es 📷 Instagram: https://www.instagram.com/leanfulness_es/ 🐦 Twitter [ES]: https://twitter.com/leanfulness_es 🐦 Twitter [EN]: https://twitter.com/leanfulness_en 🔗 LinkedIn: https://www.linkedin.com/company/leanfulness/

Mario Pinto es una de las personas que lidera la adopción de la IA en Lean Mind, uno de los creadores e impulsores de nuestras formaciones para empresas en materia y IA y productividad en desarrollo de software. En esta conversación hablamos de cómo la IA generativa puede ayudarnos a generar código sostenible más rápido o cómo puede hacer que se generen grandes cantidades de código imposible de mantener y de entender. Comentamos el impacto que está teniendo la IA en nuestra forma de programar y desarrollar productos en general. Luego hablamos de la creación de aplicaciones y servicios alrededor de los modelos de IA. Las posibilidades que se abren en cuanto a productos y servicios. Comentamos algunos desarrollos internos que estamos haciendo. También hablamos de las principales resistencias que estamos observando en la adopción de esta tecnología por parte de desarrolladores. Enlaces relacionados con el episodio: Website de Mario Pinto https://www.mario-pinto-miranda.dev/ Webinar reciente de Mario sobre el desarrollo asistido por la IA generativa https://www.youtube.com/watch?v=BPSJZH-rAPg .-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.- Cursos online: Diseño Sostenible https://diseñosostenible.com/ Testing Sostenible https://testingsostenible.com/ Refactoring Sostenible https://refactoringsostenible.com/ .-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. Formaciones para empresas: Formaciones personalizadas https://leanmind.es/es/formacion/ .-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. Newsletters: de Savvily https://www.subscribepage.com/k8s4k3_copy de Carlos Blé https://www.subscribepage.com/v3z8u6 de Lean Mind https://www.subscribepage.com/p3v4h5 .-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. Canales de Telegram: de Carlos Blé https://t.me/carlosble de Lean Mind https://t.me/leanmind

¿Usas IA para desarrollar software en tu día a día? Si es así, este webinar, que ha facilitado nuestro compañero Mario Pinto te va a gustar, en él, Mario habla sobre fundamentos, sobre Github Copilot y sobre lo que esta herramienta puede hacer o no dadas sus capacidades y limitaciones. Vamos a ver esta herramienta en acción para ver cómo nos puede ayudar en el desarrollo de nuestros proyectos. #desarrollodesoftware #IA #inteligenciaartificial #webinar #development Puedes seguirnos en nuestras redes sociales: 🗺 web: https://www.leanmind.es 📷 Instagram: https://www.instagram.com/leanfulness_es/ 🐦 Twitter [ES]: https://twitter.com/leanfulness_es 🐦 Twitter [EN]: https://twitter.com/leanfulness_en 🔗 LinkedIn: https://www.linkedin.com/company/leanfulness/