person · 14 menciones
El equipo de Claude Code ha implementado un flujo de revisión de código que delega la mayor parte del análisis en agentes de IA para reducir la carga humana, manteniendo la calidad del software. Ante el aumento de cambios diarios en el monorepo de Anthropic, que pasó de 2.500 a más de 30.000 entre m
El método de verificación formal TLA+ es una herramienta potente para garantizar la corrección de sistemas concurrentes complejos, pero su capacidad de verificación está limitada por la naturaleza de las propiedades que puede expresar. A diferencia de la creencia popular de que resuelve todos los pr
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 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
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
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
Anthropic anunció que a partir del 14 de agosto el modo automático (auto mode) de Claude Code el ajuste predeterminado para las cuentas de pago Pro, Max y Team, en una decisión que marca un nuevo capítulo en la delegación de tareas de programación a la inteligencia artificial. La medida, adelantada
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
Más de mil empleados de las principales empresas de inteligencia artificial del mundo, incluyendo OpenAI, Anthropic, Google, Meta, Microsoft y Mistral, han firmado una carta abierta dirigida al Gobierno de Estados Unidos en la que solicitan frenar el ritmo de desarrollo de la IA frontier y respaldar
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
Boris Cherny, creador de Claude Code en Anthropic, afirmó durante la conferencia @Scale de Meta que los bucles de agentes —flujos de trabajo en los que varios agentes de inteligencia artificial colaboran de forma continua, iterando y mejorando el código de manera autónoma— son una tendencia consolid
Este tutorial, "TI-83 Plus BASIC Programming Tutorial: A Beginner's Guide" de Boris Cherny, ofrece una introducción completa a la programación en la calculadora TI-83 Plus utilizando su lenguaje BASIC. Está diseñado para principiantes absolutos y sugiere comenzar desde el principio, experimentando c
Un fundador de una empresa ha eliminado los entornos de desarrollo integrados (IDEs) para su equipo de ingenieros, reemplazándolos por Claude Code, un asistente de codificación basado en inteligencia artificial, y una terminal. La medida, implementada inicialmente por el propio fundador, resultó en
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