45 noticias
El desarrollo de motores de verificación formal, como Axiom, enfrenta un desafío crítico en la era de la inteligencia artificial: la opacidad semántica. A diferencia de los errores de compilación, el riesgo mayor radica en que los modelos de lenguaje generen código que pasa las pruebas pero distorsi
El artículo analiza si la elección del framework web sigue siendo relevante en 2026, en un contexto donde la programación agéntica y el 'vibe coding' sugieren que los detalles de implementación son menos críticos. El autor, con experiencia en frameworks de código abierto, cuestiona la narrativa de q
vibereceipt es una herramienta de línea de comandos que genera recibos de costes para sesiones de programación asistida por IA, funcionando de forma completamente local sin necesidad de conexión a internet. El software lee los registros de sesiones de Claude Code, Codex CLI y OpenCode, procesando lo
Un desarrollador de software argumenta que la programación asistida por inteligencia artificial, conocida como 'vibecoding', genera una sensación de satisfacción inmediata pero carece de la profundidad emocional y el sentido de logro que obtiene al escribir código a mano. El autor, quien ha experime
Common Lisp se posiciona como el lenguaje de programación más adecuado para el desarrollo asistido por inteligencia artificial, principalmente debido a su arquitectura de imagen en tiempo de ejecución. A diferencia de otros lenguajes donde la compilación y el reinicio del sistema son cuellos de bote
Menlo Ventures ha anunciado la inversión en la startup de código de IA Factory, un movimiento que se produce tras la pública disputa entre el CEO de Factory, Matan Grinberg, y el inversor Vinod Khosla. La firma, liderada por Matt Murphy, confirmó la entrada en la ronda de financiación más reciente d
Un desarrollador de experiencia de 18 años ha dejado de escribir código manualmente, citando la adopción de herramientas de inteligencia artificial como el factor determinante. Tras años de práctica manual, el autor describe cómo la integración de asistentes como Claude Code y otros modelos de lengu
El desarrollo de software asistido por inteligencia artificial presenta un desafío cognitivo significativo: la discrepancia entre la terminología utilizada por los modelos de lenguaje y las convenciones habituales del desarrollador. Esta diferencia obliga al ingeniero a realizar búsquedas mentales c
Matan Grinberg, cofundador y CEO de Factory, una startup de código asistido por IA con sede en San Francisco, anunció el despido de Chris Degnan, un asesor de la junta directiva, alegando que el ejecutivo compartió información confidencial con Cognition, su principal competidor. Grinberg señaló que
En la era del código generado por inteligencia artificial, la escritura manual de las descripciones de commits (commit descriptions) se ha convertido en una herramienta esencial para la verificación y la comprensión del software. Aunque los agentes de IA pueden generar mensajes de commit, a menudo c
El autor documenta la reescritura de su editor de texto 'focus' en Rust, un proceso que ha evolucionado de un proyecto de aprendizaje a una herramienta de uso activo gracias a la integración de modelos de lenguaje de IA. La arquitectura del proyecto se divide en dos crates: 'focus-core', que contien
Un desarrollador ha documentado el proceso de creación de una aplicación para iPhone en solo cuatro días utilizando el modelo de frontera Claude Opus 5.5 de Anthropic. La herramienta, diseñada para una empresa de reventa de su pareja, identifica productos mediante fotografías y estima su valor de re
El proyecto Sweetener introduce macros para TypeScript, una herramienta que permite a los desarrolladores definir constructos de lenguaje personalizados, rompiendo con la tradición de lenguajes de programación rígidos. Este enfoque responde a la creciente flexibilidad del software moderno, donde las
Un desarrollador ha anunciado el cierre de Nuanced, una aplicación de escritorio de código que priorizaba la planificación explícita mediante agentes de IA, argumentando que este enfoque se ha vuelto obsoleto. La herramienta, lanzada a principios de año, buscaba resolver la desconexión cognitiva que
Un análisis de datos de GitHub revela que los modelos de lenguaje de gran escala (LLM) están generando un aumento del 20% en las solicitudes de extracción de código (PR) que incluyen la palabra 'spine' en sus títulos, un fenómeno que el autor denomina 'LLisM'. Esta observación surge tras trabajar co
Bend 2 se presenta como un lenguaje de programación para la era de la IA, donde los humanos definen las leyes y la IA genera las implementaciones y pruebas. Sin embargo, el proyecto presenta un problema fundamental: ignora el campo de la verificación formal, que ya existe y permite probar la correcc
Neuro Engine es una herramienta de software diseñada para optimizar el uso de tokens en herramientas de código asistido por inteligencia artificial, como Cursor, Claude Code y OpenCode. Su objetivo principal es reducir los costes operativos de los desarrolladores al evitar la reescritura completa de
RTK (Rust Token Killer) es una herramienta con más de 79.000 estrellas en GitHub que filtra y comprime la salida de la terminal antes de que un agente de IA la lea, con el objetivo de reducir los costes de codificación asistida. Sin embargo, un análisis de Quesma revela que sus promesas de ahorro no
Benzi presenta una comparativa técnica detallada de su harness de inteligencia artificial para la corrección de errores de código, midiendo su rendimiento contra herramientas principales como Claude Code y DeepSeek Harness. La evaluación se basa en 24 issues reales de GitHub escritos en 10 lenguajes
Cognition, la startup detrás del asistente de programación Devin, ha cerrado una ronda de 2.000 millones de dólares que eleva su valoración a 48.000 millones, solo cuatro meses después de su anterior captación a 26.000 millones. Lideran la operación Andreessen Horowitz, Accel, Founders Fund, General
La revisión de código entre pares, tradicionalmente centrada en detectar errores y compartir conocimiento, se ha convertido en una pieza crítica para gestionar los riesgos del código generado por herramientas de inteligencia artificial y agentes autónomos. Investigadores y profesionales consultados
OpenAI anunció el viernes por la noche, en una entrada de blog, el fin de su asociación con Cursor, la startup responsable de una de las herramientas de programación con IA más populares del mercado. La decisión responde a la adquisición de Cursor por parte de SpaceX, la compañía de Elon Musk, en un
Michael Dubakov, fundador de Fibery y veterano del mercado de herramientas de productividad desde 2004, plantea una nueva tesis sectorial tras el auge de la programación asistida por IA: el futuro del software maleable pasa por combinar una base sólida que cubra el 80 % de las necesidades (bases de
La programación asistida por inteligencia artificial está transformando radicalmente el rol del ingeniero de software, generando un debate sobre el nivel de control humano necesario. A diferencia del 'vibecoding', donde se delega toda la lógica sin revisión, el autor argumenta que los desarrolladore
Matt Rose, mantenedor durante más de cinco años del emulador de terminal Terminator, ha presentado Roboterm, un nuevo emulador minimalista para macOS desarrollado en colaboración con Claude, la IA de Anthropic. El proyecto, disponible en GitHub, ofrece pestañas y paneles divididos con una base de có
Cursor, la plataforma de desarrollo asistida por inteligencia artificial, informó este 17 de agosto de 2026 de la recuperación de varios de sus servicios —Automations, Cloud Agents, Review Agents y Codebase— que se habían visto afectados por una degradación de GitHub, su proveedor de infraestructura
El artículo repasa los argumentos del clásico paper de 1979 'Social Processes and Proofs of Theorems and Programs', que sostenía que la verificación formal de programas estaba abocada al fracaso, y los contrasta con la situación actual. En 1979, los autores defendían que las demostraciones matemátic
Un ingeniero de software sénior de Silicon Valley que hace meses había abrazado Claude Code como herramienta exclusiva ha replanteado su postura tras dos caídas graves de producción atribuibles a código generado por el agente. Su testimonio ilustra un fenómeno creciente entre desarrolladores: el cód
OpenChamber es un entorno de desarrollo agéntico de código abierto orientado a programadores que trabajan con modelos de inteligencia artificial. La herramienta permite definir objetivos de sesión que el agente persigue de forma autónoma, ejecutar una misma tarea en paralelo hasta en cinco modelos y
Las herramientas de programación con IA aportan un valor enorme, pero su coste crece de forma exponencial y amenaza con superar al ahorro que generan. Este artículo recoge técnicas probadas por grandes adoptantes tempranos como Databricks, Stripe, Coinbase, Uber y Ramp para mantener la inversión baj
Las aplicaciones móviles siguen más vivas que nunca. Mientras algunos analistas debaten si los agentes de inteligencia artificial desplazarán a las apps como principal vía de acceso a los servicios digitales, el App Store vive una explosión de creatividad sin precedentes, impulsado en buena parte po
Cursor, la startup de programación asistida por IA, presentó el lunes Cursor Start, su primera suscripción con precio adaptado a un país: 649 rupias al mes (unos 7 dólares), muy por debajo de los 20 dólares de su plan Pro estándar. El lanzamiento llega semanas antes de que se cierre la adquisición d
La startup india de programación con inteligencia artificial Emergent ha cerrado una ronda de Serie C de 130 millones de dólares con una valoración post-money de 1.500 millones, multiplicando por cinco su cifra en apenas seis meses. La ronda fue liderada por la firma de capital privado Creaegis, con
FreeCAD, el programa de modelado paramétrico en 3D con más de 1,5 millones de líneas de C++ y 700.000 de Python, ya puede ejecutarse en una pestaña del navegador. El puerto a WebAssembly fue realizado en apenas cuatro días por Fable, una herramienta de IA aplicada a proyectos de software complejos,
Vim sigue siendo una herramienta útil para escribir y editar código a mano cuando conviene, igual que siempre, y conservarla como habilidad merece la pena. Sin embargo, la forma de encajar el editor en el flujo de trabajo cambia cuando entran en escena agentes de inteligencia artificial que modifica
Meta Superintelligence Labs ha presentado Muse Spark 1.1, una versión actualizada de su modelo Muse Spark orientada a tareas agentivas. Se trata de un modelo multimodal de razonamiento con mejoras sustanciales en el uso de herramientas y del ordenador, en programación y en comprensión multimodal, se
xAI lanzó esta semana Grok 4.5, presentado como su modelo más avanzado, entrenado junto a Cursor para tareas de programación y agentic. La plataforma TryAI sometió a Grok 4.5, GPT-5.5, Claude Opus 4.8 y Claude Fable 5 a tres pruebas idénticas de generación one-shot de aplicaciones interactivas en un
El pasado mes, SpaceX anunció un acuerdo para adquirir la startup de programación asistida por IA Cursor por 60.000 millones de dólares. La operación, pendiente de aprobaciones regulatorias, otorgará a SpaceX y a Elon Musk una de las herramientas de IA para desarrolladores más populares del mercado
El inversor y presentador del podcast All-In Chamath Palihapitiya anunció el lunes que su startup de programación con inteligencia artificial 8090 Labs cerró una ronda Serie A de 135 millones de dólares. La operación estuvo liderada por Salesforce Ventures y contó con la participación de WndrCo (Jef
SpaceX, la empresa de Elon Musk, superó a Amazon y se convirtió en la quinta compañía más valiosa del mundo por capitalización bursátil apenas unos días después de su salida a Bolsa en el Nasdaq. El hito coincidió con el anuncio de la compra de Anysphere, la startup con sede en San Francisco que des
Un vibe coder y un ingeniero de software no se distinguen por la herramienta que usan, sino por dónde empieza y dónde termina su responsabilidad. Este artículo de Yusuf Aytas parte de una analogía histórica: hace casi una década, muchos desarrolladores confundían su identidad profesional con Java y
El desarrollador Carson Gross sostiene en un ensayo reciente que la inteligencia artificial ha abarató la generación de código, pero ha encarecido la comprensión del mismo, lo que obliga a redefinir el rol del ingeniero de software. Gross parte de una observación directa: los modelos de lenguaje (L
Cursor, el editor de código basado en inteligencia artificial, ha lanzado un repositorio oficial de plugins en GitHub que reúne extensiones para herramientas de desarrollo, frameworks y productos SaaS. Este repositorio funciona como un mercado de plugins donde cada extensión es un directorio indepen
Un desarrollador reescribió desde cero su herramienta k10s, un dashboard TUI para Kubernetes, después de descubrir que la arquitectura se había convertido en un "god object" de 1690 líneas impossível de mantener. El proyecto, construido durante aproximadamente 30 fines de semana mediante sesiones de
Un nuevo video de How I AI explora técnicas avanzadas para ingenieros senior que utilizan herramientas de IA en el desarrollo de software. El cofundador de egghead.io, John Lindquist, demuestra cómo aprovechar Claude Code y Cursor más allá de las indicaciones básicas, incorporando diagramas Mermaid
