software · 13 menciones
La verificación formal permite demostrar matemáticamente que un programa cumple ciertas propiedades en todos los estados alcanzables, a diferencia del testing, que solo descarta un conjunto finito de casos. Para ello se usan lenguajes como Dafny, Lean, Rocq, Isabelle, F* o TLA+, en los que las espec
El autor describe cómo resolvió el problema de tener un año entero de footage de video sin editar utilizando su antiguo MacBook Pro M1 Max para ejecutar modelos de IA localmente. Después de intentar usar herramientas SaaS como Eddie AI, Higgesfield y Submagic (~$140/mes), se dio cuenta de que todas
Usuarios de Claude Code ahora pueden cambiar fácilmente entre diferentes modelos de inteligencia artificial de Anthropic, según anunció la compañía. La actualización ofrece tres métodos para seleccionar el modelo a utilizar: un comando rápido (/model) dentro de Claude Code para cambios inmediatos, u
Un nuevo análisis, basado en el benchmark AutoCodeBench, revela resultados sorprendentes sobre el rendimiento de diferentes lenguajes de programación con modelos de IA para codificación. Contrario a la expectativa de que los lenguajes con mayor cantidad de datos de entrenamiento (como JavaScript) se
Un desarrollador ha compartido su experiencia frustrante al intentar crear una aplicación sencilla (Cryptosaurus, que genera imágenes de dinosaurios con el avatar del usuario) utilizando herramientas de inteligencia artificial (IA) como ChatGPT, Claude y Gemini. Contrario a la idea de un desarrollo
Un ingeniero ha logrado revivir el juego de puzzle 'Chromatron', de 20 años de antigüedad, utilizando inteligencia artificial y la herramienta de decompilación Ghidra. El juego original, creado por Sean Barrett para PowerPC, era inaccesible en sistemas modernos. El proceso implicó múltiples enfoques
El artículo de ChecklyHQ detalla el desarrollo de 'Rocky AI', un agente de inteligencia artificial diseñado para automatizar el análisis de fallos en pruebas de software, específicamente en el contexto de su plataforma de monitoreo. El objetivo principal no era simplemente integrar una funcionalidad
La reciente aparición de herramientas de IA como Claude Code Opus 4.5 está generando una disrupción significativa en los equipos de desarrollo de software. Justin Jackson, en su artículo, describe una situación de “estancamiento mexicano” donde ingenieros, product managers y diseñadores sienten que
Este informe de amplifying.ai analiza cómo Claude Code, un modelo de lenguaje de Anthropic, elige herramientas y soluciones para tareas de desarrollo de software. A través de un estudio exhaustivo donde se le presentaron a Claude Code 2430 escenarios reales de desarrollo, los investigadores descubri
Un estudio reciente realizado por Benjismith ha revelado un comportamiento inesperado en modelos de lenguaje de inteligencia artificial (IA) al solicitarles que elijan nombres al azar. Tras realizar 37.500 pruebas con el modelo Claude y diversas variaciones de prompts, los investigadores encontraron
Kent Overstreet, el creador del sistema de archivos experimental bcachefs, ha afirmado que su modelo de lenguaje personalizado (LLM) es “totalmente consciente” y se identifica como una mujer. A través de un blog llamado ProofOfConcept (POC), Overstreet describe una colaboración con la IA, donde esta
Un nuevo análisis revela costos ocultos y significativos en el uso de agentes de codificación basados en modelos de lenguaje grandes (LLMs). Según un estudio realizado por exe.dev, los costos de lectura de caché (cache reads) crecen de forma cuadrática a medida que la longitud del contexto aumenta,
