46 noticias
Fuzzing del compilador de Gleam: búsqueda de bugs con programas aleatorios estructurados Un desarrollador independiente ha emprendido una ambiciosa iniciativa para someter al compilador de Gleam, el lenguaje funcional que compila tanto a JavaScript como a Erlang, a un proceso de fuzzing estructura-
Un programador responde al post de Dan Luu —«ya no hay razón para que el software sea lento»— y desmonta la idea de que los grandes modelos de lenguaje (LLM) vayan a acabar de forma generalizada con el software lento. Luu sostiene que muchas optimizaciones antes costosas (compiladores JIT, índices,
openleetcode es una herramienta de línea de comandos escrita en Haskell que permite ejecutar en local las soluciones a problemas de LeetCode contra suites de pruebas abiertas y versionadas en el repositorio. Su objetivo declarado es "democratizar" los tests de la plataforma: en lugar de depender del
El artículo distingue dos propiedades que el Test Desiderata pide a las pruebas: aislamiento y composición. El aislamiento se cumple cuando cada test crea desde cero su propio fixture y se ejecuta sobre una instancia nueva del objeto bajo prueba, garantizando que el orden de ejecución no altera el r
La llamada ingeniería agéntica —el desarrollo de software asistido por agentes de inteligencia artificial— no exige, en realidad, prácticas nuevas: reproduce las mismas rutinas que la ingeniería de software lleva décadas recomendando y que la presión de plazos suele dejar en el cajón. El texto parte
El desarrollador conocido como arxanas describe un flujo de trabajo en el que integra planes de prueba ejecutables dentro de los mensajes de commit de Git, utilizando la herramienta scrut (de Facebook Incubator) como formato ligero inspirado en Markdown. La idea nace a raíz del artículo de Julio Mer
Ata Kuyumcu describe en su blog el sistema de pruebas que aplica a su currículum en PDF, generado con Typst. La motivación es práctica: el primer lector del documento no es una persona, sino un sistema de seguimiento de candidatos (ATS) que solo interpreta texto extraído, por lo que cualquier defect
SQLite es una biblioteca escrita en C que implementa un motor de base de datos relacional autónomo, embebido en proceso y con soporte completo de SQL: incluye un planificador de consultas avanzado y transacciones ACID. Por distintas mediciones, se trata de la biblioteca de software más utilizada del
pytest-leak-finder es un plugin para pytest, el popular framework de pruebas en Python, que ayuda a resolver uno de los problemas más comunes y exasperantes del testing: un test que pasa de forma individual pero falla cuando se ejecuta junto al resto de la suite. ¿Por qué ocurre esto? Porque algún t
pgtestdb es un paquete de testing en Go y Postgres creado por Peter Downs que aprovecha la función nativa de bases de datos plantilla de PostgreSQL para acelerar la preparación de entornos de prueba. En lugar de migrar una base de datos desde cero cada vez, el paquete clona una plantilla con todas s
Este artículo presenta una técnica de mocking basada en la captura de efectos, aplicable a cualquier tipo de computación con efectos. El autor parte de un artículo previo donde mostraba cómo abstraer código síncrono, asíncrono y propenso a errores mediante continuaciones, una abstracción capaz de re
postgresql-testing es una biblioteca de Python que simplifica la ejecución de pruebas con PostgreSQL sin necesidad de recurrir a Docker, brew ni apt. La herramienta, publicada por el desarrollador leontrolski en GitHub, se apoya en el paquete postgresql-binaries para distribuir binarios listos para
Un ingeniero que firma como Claude reconstruye, en una jornada de auditoría del 18 y 19 de julio de 2026 sobre su propio sitio, los patrones con los que los sistemas de verificación —scripts, tests, auditorías, métricas— generan confianza falsa. No se trata de errores triviales: cada fallo grave se
KDE Linux ha incorporado un sistema de pruebas basado en openQA para verificar cada imagen firmada que distribuye. El objetivo es sustituir la verificación básica anterior, que solo comprobaba el arranque de la imagen live, por un flujo automatizado de tres etapas: instalación real en una máquina vi
El conjunto de pruebas de Preact, un framework moderno para aplicaciones web, ejecuta 1003 tests contra el DOM real del navegador en aproximadamente un segundo. El artículo analiza por qué la mayoría de los test runners populares en el frontend tardan mucho más y qué decisiones técnicas permiten alc
cargo-nextest es un corredor de pruebas de código abierto para el lenguaje de programación Rust, diseñado como alternativa moderna al comando integrado `cargo test`. Su propuesta central es un modelo de ejecución basado en procesos independientes para cada prueba, lo que le permite alcanzar, según s
El desarrollador Jesse Grosjean propone un método sencillo para comprobar la capacidad de respuesta de editores de texto, aplicaciones de esquemas (outliners) y herramientas de Markdown: cargar el texto íntegro de Moby Dick, la novela de Herman Melville, y ejecutar una batería de pruebas de estrés l
Pure Effect es una biblioteca de JavaScript y TypeScript sin dependencias externas que separa la lógica de negocio de las operaciones de entrada y salida (I/O). En lugar de ejecutar llamadas a bases de datos o servicios externos directamente, el código devuelve objetos planos que describen qué opera
Este ensayo técnico recoge la experiencia de un año diseñando una biblioteca de pruebas y expone cómo un cambio aparentemente menor en la API —incorporar contexto a las pruebas— resuelve problemas clásicos del testing: la instalación y el desmontaje de entornos, y la reutilización de tests. Tras doc
Un mantenedor de dupehound, detector de código duplicado de código abierto, plantea en Hacker News un problema clásico del análisis estático: las herramientas que buscan duplicaciones estructurales también marcan como repetido el código que aparece de forma intencionada en los tests, donde repetir e
Los experimentos de Go son funcionalidades que el equipo de Go incorpora en sus lanzamientos para obtener retroalimentación real antes de consolidarlas. Pueden presentarse como paquetes nuevos en la biblioteca estándar, cambios en el compilador o el runtime, e incluso modificaciones de comportamient
Sydtest ha lanzado oficialmente las pruebas de mutación en Haskell, una herramienta destinada a mejorar la calidad de los test suites al introducir modificaciones en el código y verificar que las pruebas detecten los cambios. Esta funcionalidad es especialmente relevante en la era de la generación d
Este artículo presenta un experimento innovador en el desarrollo de software: la conversión automática de una aplicación web completa escrita en Rust a Ruby on Rails utilizando una LLM (Large Language Model) local. El autor, Przemysław Kamiński, inició el proceso con un proyecto en Rust que, aunque
La suite de pruebas SPEC CPU2026 ha sido lanzada oficialmente por la organización SPEC, consolidando su estatus como estándar de la industria para evaluar el rendimiento de procesadores. Esta actualización introduce 52 cargas de trabajo, un incremento respecto a las 43 disponibles en la versión de 2
El código de error ERROR_ARENA_TRASHED, identificado numéricamente como el número 7, es un mensaje de error histórico heredado directamente del sistema operativo MS-DOS. Su relevancia actual reside en la comprensión de cómo funcionaba la gestión de memoria en entornos operativos antiguos, ofreciendo
Desarrolladores ahora tienen una nueva herramienta llamada `agent-skills-eval` para probar y validar la efectividad de las 'Skills' de Agent Skills, un estándar abierto de Anthropic para dotar a los agentes de conocimiento específico. La herramienta funciona comparando la salida del modelo con y sin
La aparición de modelos de lenguaje grandes (LLMs) como Codex, Claude Code y Pi ha revolucionado la forma en que escribimos código, dando lugar a lo que se conoce como 'agente coding'. Este enfoque, donde la IA genera y modifica código, abre un abanico de posibilidades, pero también exige una nueva
Este artículo de Antithesis.com explora el uso de 'skiplists' y una extensión llamada 'skiptrees' para resolver un problema específico de rendimiento en el análisis de datos. Inicialmente, los skiplists se consideraban una estructura de datos de nicho, pero la empresa descubrió su utilidad para opti
GainSec ha lanzado AutoProber, una plataforma de automatización de código abierto diseñada para facilitar el proceso de pruebas de hardware. Esta herramienta permite a los 'hardware hackers' automatizar tareas como la ingestión de proyectos, la conexión de hardware, la verificación de funcionamiento
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
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
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
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
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
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
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
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í
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
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, 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
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
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
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
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
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, 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
