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
Book Prize Index: 6.500 libros premiados, buscados con embeddings
Un historiador de la Universidad de California en Santa Cruz usó Claude Code para construir el Book Prize Index, una base de datos gratuita con 6.500 libros de no ficción que ganaron o fueron finalistas de los principales premios en inglés. La herramienta usa búsqueda semántica para replicar la experiencia de explorar un estante de biblioteca bien curado, como respuesta directa a la avalancha de contenido genérico generado por IA.
Noticias Tech
Armin Ronacher: la IA deja avanzar el código aunque el equipo no se entienda
Armin Ronacher, creador de Flask, compara el vibe coding con la Torre de Babel: los agentes de IA quitan la fricción que antes sincronizaba el entendimiento de un sistema entre las personas de un equipo. A diferencia del relato bíblico, la construcción no se detiene aunque ese entendimiento compartido ya haya colapsado.