software · 10 menciones
Este artículo aborda una preocupación común en programación, especialmente en Rust: el costo de la indirección, es decir, la sobrecarga de las llamadas a funciones. La advertencia habitual es "cada llamada de función adicional añade sobrecarga, inlínala". Sin embargo, en el contexto del código asínc
Un nuevo asignador de memoria llamado 'Spaces' ha sido desarrollado para Linux x86-64, ofreciendo una alternativa a malloc con características avanzadas para un control más preciso de la memoria. Spaces, disponible como un único archivo de código fuente, permite la creación de regiones de memoria ex
Un equipo de investigadores ha descubierto una vulnerabilidad crítica en el entorno de desarrollo Lean 4, a pesar de que una implementación de zlib (lean-zip) había sido formalmente verificada como correcta por Lean. El hallazgo, realizado por Kiran Gopinathan utilizando un agente Claude y herramien
Los reductores de casos de prueba son herramientas de depuración capaces de reducir automáticamente un fichero de entrada —código fuente, datos de configuración, cualquier texto— hasta conservar únicamente la versión mínima que reproduce un error. Funcionan combinando un programa, una entrada grande
libhandler es una biblioteca en C99 que implementa efectos algebraicos y handlers en un compilador C estándar, sin requerir extensiones específicas del compilador. Su objetivo declarado es ofrecer un mecanismo ligero de captura de pilas de ejecución —de forma segura y portable— que permita escribir
El blog oficial del equipo de rendimiento del compilador de Rust publica un nuevo balance de progreso correspondiente al periodo comprendido entre el 3 de diciembre de 2025 y el 29 de julio de 2026. Durante esos meses, el tiempo medio de compilación se redujo un 5,59%, una mejora atribuible en parte
El autor, ingeniero de Trust-in-Soft, describe el trabajo de auditoría estática realizado sobre SQLite, una base de datos ligera de alrededor de 113.000 líneas de código con uso intensivo de punteros, demasiado extensa para una verificación estática trivial pero respaldada por una de las suites de p
Este artículo técnico detalla el proceso de depuración de un cierre inesperado (crash) de un programa compilado con MinGW-w64 ejecutándose bajo Wine. El autor describe cómo, tras descartar la corrupción de pila mediante Valgrind, utilizó la herramienta de registro y reproducción 'rr' para identifica
El lenguaje de programación V ofrece un sistema de gestión de memoria que combina recolección de basura (GC), gestión manual y un modo de liberación automática llamado autofree. Aunque la documentación oficial promete que el autofree resuelva el 90-100% de la memoria, las pruebas prácticas con herra
Anthropic ha logrado reducir el tiempo de carga de su plataforma claude.ai y la aplicación de escritorio un 300% en un sprint de dos semanas, utilizando su modelo Claude Tag para identificar y resolver cuellos de botella. El proceso, que operó en un solo canal de Slack, permitió a la empresa fusiona
