Noticias Tech
Bend 2 usa 442 líneas para probar lo que SPARK resuelve en 12 checks
Bend 2 se presenta como el lenguaje ideal para la era de la IA: los humanos escriben leyes, la IA escribe las pruebas. Pero para demostrar que un jugador nunca toca una bandera necesita 442 líneas de prueba, mientras SPARK, un lenguaje de verificación formal con décadas de historia, resuelve lo mismo en 12 checks automáticos. El caso expone una trampa clásica del vibe-coding: construir mucho antes de investigar si ya existe una solución mejor.
Inteligencia Artificial
Bend: el lenguaje que corre casi a la velocidad de C y prueba tus leyes
Bend es un lenguaje de programación nuevo que combina velocidad casi nativa, paralelismo automático en CPU y GPU, y un sistema de pruebas matemáticas para bloquear bugs introducidos por agentes de IA antes de que lleguen a producción. Su compilador actúa como un demostrador de teoremas: si el código rompe una ley declarada de antemano, el merge queda bloqueado.
Inteligencia Artificial
Microsoft y GitHub lanzan cursos gratuitos de IA y ciencia de datos
Microsoft y GitHub ampliaron GitHub Skills con cursos gratuitos de IA, ciencia de datos y machine learning, disponibles para cualquier cuenta de GitHub sin costo. Los ejercicios se completan sobre repositorios reales, validados automáticamente con GitHub Actions. La plataforma no otorga certificaciones profesionales, pero baja la barrera de entrada a la formación en inteligencia artificial.
Programación
Service Workers: el script que mantiene tu web viva sin conexión
Un Service Worker es un script que el navegador ejecuta en segundo plano, separado de la página, y que puede interceptar cada petición de red. Gracias a él, una aplicación web puede seguir funcionando sin conexión, mostrar contenido cacheado al instante y hasta recibir notificaciones push. Esta guía explica su ciclo de vida completo y las estrategias de caché que usan las PWA en producción.