Pruebas basadas en propiedades: más allá de lo básico

Este artículo profundiza en la verdadera naturaleza de las pruebas basadas en propiedades (Property-Based Testing o PBT), más allá de la definición superficial de 'propiedades' y 'generadores'. La idea básica es que PBT combina propiedades (condiciones que deben cumplirse para todas las entradas pos

Snapstate: React simplifica la lógica y la interfaz

Un desarrollador ha presentado Snapstate, una nueva herramienta para React que busca desacoplar la lógica de negocio de los componentes de la interfaz de usuario (UI). La problemática surge porque, en muchos proyectos React, la lógica de negocio (como la obtención de datos, la gestión de errores o l

go-bt: Nueva biblioteca simplifica la IA en Go

Un nuevo desarrollador de Go, llamado `go-bt`, simplifica la automatización y la lógica de la IA mediante el uso de árboles de comportamiento. Esta biblioteca, creada por Rvitorper y disponible en GitHub, ofrece una alternativa a los bucles `time.Sleep` o `while` tradicionales, utilizando un modelo

Glass Cannon: Generador de carga HTTP ultra rápido

Se ha lanzado 'Glass Cannon', un nuevo generador de carga HTTP/1.1 y WebSocket de alto rendimiento, diseñado para pruebas de estrés y rendimiento de servidores web. Desarrollado para [Http Arena](https://www.http-arena.com/), Glass Cannon se distingue por su velocidad, aprovechando la tecnología 'io

Hegel: pruebas avanzadas llegan a más lenguajes

Antithesis ha lanzado Hegel, una nueva familia de bibliotecas de pruebas basadas en propiedades, disponibles inicialmente para Rust y con planes de expansión a Go, C++, OCaml y TypeScript. Hegel busca replicar la calidad de las pruebas basadas en propiedades de Hypothesis en múltiples lenguajes, int

Bombadil: nueva herramienta automatiza pruebas de UI web

Antithesis ha lanzado 'Bombadil', una nueva herramienta experimental para automatizar las pruebas basadas en propiedades de interfaces de usuario web. La herramienta, disponible desde ahora, explora y valida automáticamente la corrección de las propiedades de la UI, con el objetivo de detectar error

IA traduce software: avance con limitaciones

A principios de 2026, se ha observado un auge en las traducciones autónomas asistidas por IA, impulsado por publicaciones de Cursor y Anthropic que demuestran la traducción de software complejo como navegadores web, compiladores C y emuladores de Windows. Si bien estas demostraciones han generado en

Startup tira 18 meses de trabajo por falta de pruebas

Una startup, Autonoma, ha tomado la drástica decisión de descartar 18 meses de desarrollo de software tras priorizar la velocidad sobre las pruebas. El fundador, Tom Piaggio, admite una cultura errónea que inicialmente evitaba las pruebas, creyendo que el 'dogfooding' (uso interno del producto) serí

IA y código: nuevo enfoque aumenta la fiabilidad

Este informe técnico explora cómo un enfoque basado en 'células con esquemas' (schema-enforced cells) mejora la fiabilidad de sistemas complejos, especialmente cuando se utilizan agentes de inteligencia artificial (IA) para generar código. El estudio, realizado por Mycelium-Clj, compara un enfoque t

Errores en software: clasificados y mejor gestionados

En el desarrollo de software, la gestión de errores es crucial para la experiencia del usuario y la fiabilidad del sistema. Evan Hahn, en su artículo, propone una clasificación fundamental de los errores en dos categorías: **errores esperados** y **errores inesperados**. Esta distinción, aunque apar

Cekura: Plataforma para probar agentes de IA en voz y chat

Cekura, una startup fundada por Tarush, Sidhant y Shashij y recientemente admitida en Y Combinator (YC F24), ha lanzado una plataforma para probar y monitorear agentes de voz y chat impulsados por inteligencia artificial. El problema que aborda Cekura es la dificultad de garantizar el correcto funci

Fuzzer detecta errores en optimizador de código

Este artículo explora una técnica innovadora para encontrar errores en optimizadores de código, específicamente en el contexto del optimizador 'Toy Optimizer'. La idea central es utilizar un *fuzzer*, una herramienta que genera automáticamente entradas aleatorias para un programa, con el objetivo de

Pruebas de videoconferencia: herramienta automatiza fallos

Un desarrollador ha creado una nueva herramienta de código abierto llamada 'Chaos Engineering Orchestrator' para automatizar pruebas de resistencia en sistemas de videoconferencia. Esta herramienta simula hasta 1500 participantes de WebRTC con transmisiones de audio y video (H.264/Opus) e inyecta 'c

Apps para TV: desafíos inesperados para desarrolladores

Un equipo de desarrollo aprendió valiosas lecciones al adaptar aplicaciones móviles a televisores, revelando que la experiencia no es simplemente escalar una app móvil a una pantalla más grande. El principal problema radica en la diferencia fundamental en la interacción del usuario: en móviles, el t

PostgreSQL: Fallos silenciosos en datos financieros

Un artículo de lirbank.com advierte sobre una vulnerabilidad común en bases de datos PostgreSQL que puede llevar a errores financieros silenciosos. Estas 'condiciones de carrera' ocurren cuando dos transacciones concurrentes leen el mismo valor (por ejemplo, el saldo de una cuenta), lo calculan inde

Swift y Kotlin: ¿Demasiada Estricción en la Programación?

El artículo del blog 'The Clean Code' explora una tendencia preocupante en el desarrollo de lenguajes de programación modernos, específicamente Swift y Kotlin. Ambos lenguajes, aunque con orígenes distintos (Swift derivado de Objective-C y Kotlin de Java), comparten una marcada inclinación hacia la

Bun: Ejecución Paralela de Scripts Acelera Desarrollo

Bun, un entorno de ejecución y gestor de paquetes JavaScript, ha lanzado la versión v1.3.9, introduciendo mejoras significativas en la ejecución de scripts y el rendimiento. La nueva versión permite la ejecución paralela y secuencial de scripts `package.json` con una salida formateada similar a Fore