TLA+ y agentes de IA: de especificaciones a pruebas verificadas

El reciente viralizado de un tweet de Boris Cherny que utilizó TLA+ para modelar el Claude Agent SDK ha generado un interés masivo en el uso de modelos formales en la programación asistida por IA. TLA+ (Temporal Logic of Actions) es un lenguaje de especificación que describe el comportamiento tempor

Un ingeniero denuncia que la IA aumenta la carga laboral en lugar de liberar

Un ingeniero de software ha denunciado que la implementación de herramientas de inteligencia artificial, específicamente Claude Code, ha generado una paradoja en su empresa: en lugar de liberar tiempo, ha elevado las expectativas de producción hasta el punto de agotar a los desarrolladores. Según el

Laboratorios de IA confunden seguridad técnica con alineación ética

Los recientes escapes de agentes de IA en laboratorios de vanguardia como Anthropic y OpenAI revelan una confusión conceptual fundamental entre la 'seguridad' (security) y la 'seguridad/alignación' (safety). El análisis sugiere que estas organizaciones están tratando problemas de ingeniería de softw

Investigador logra ejecutar código malicioso en Claude Code Opus 5 Auto Mode

Un investigador ha demostrado que el modo automático (Auto Mode) de Claude Code Opus 5, la herramienta de desarrollo por IA de Anthropic, es vulnerable a ataques de inyección de prompts indirectos con una tasa de éxito del 60 al 80%. Este hallazgo contradice los resultados de una evaluación externa

Boris Cherny: deja de limitar a tu IA

El creador de Claude Code, Boris Cherny, repasó en la Startup School 2026 de Y Combinator qué cambia con Opus 5 y por qué los desarrolladores deberían dejar de sobreingeniería sus productos de IA. Opus 5, presentado el día previo a la charla, alcanza el 30% en ARC-AGI 3, frente a resultados de un so

El bucle que viene: escribir software dejando que la máquina iteré

Un creciente número de desarrolladores está dejando de escribir código directamente y, en su lugar, diseña bucles que ejecutan tareas en cola y dejan que un agente de programación las intente, las evalúe y decida si seguir o detenerse. Esos bucles externos rodean al bucle interno que cualquier agent

Claude Code: conviértelo en un ingeniero autónomo experto

Claude Code, la herramienta de desarrollo basada en inteligencia artificial de Anthropic, ha dejado de ser un simple asistente de código para convertirse en lo que sus creadores describen como un "ingeniero autónomo" configurable, con memoria persistente, comandos personalizados y la capacidad de ve

Filtran código de IA Claude: ¿calidad o marketing?

El código fuente de Claude Code, una herramienta de inteligencia artificial de Anthropic, fue filtrado accidentalmente el 31 de marzo de 2026, generando un debate en la comunidad tecnológica. Contrario a las expectativas, el código se describe como de calidad inferior, lo que ha llevado a cuestionar