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.
Noticias Tech
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.
Noticias Tech
Git pickaxe: el comando git log -S para rastrear código borrado
Git pickaxe (git log -S) es uno de los comandos menos conocidos de Git: permite encontrar el commit exacto donde se agregó o eliminó una cadena de texto. Repasamos cómo funciona, en qué se diferencia de git log -G y qué otros trucos de terminal, SQL y Node.js comparte el post que lo volvió a poner en discusión.
