Logo y consola del lenguaje Bend ejecutando pruebas en paralelo

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.

Pantalla de GitHub Skills con el catálogo de cursos gratuitos de IA y ciencia de datos

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.

Diagrama de un Service Worker interceptando peticiones de red en una PWA

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.

Logo de Servo, el motor de navegador en Rust central al desarrollo de Servo financiado por donaciones

Servo: un año de rol financiado por donaciones deja 1.150 PRs revisados

Josh Bowman-Matthews, mantenedor de Servo, cumplió un año trabajando part-time gracias a las donaciones del proyecto en OpenCollective y GitHub. En ese período revisó 1.150 pull requests, nominó a 8 nuevos mantenedores y ayudó a estabilizar el motor de navegador escrito en Rust. Acá repasamos qué logró y cómo funciona el modelo de financiamiento que lo hizo posible.