software · 7 menciones
La regla de Stroustrup, formulada por el creador de C++, sostiene que los principiantes necesitan sintaxis explícita y detallada, mientras que los expertos prefieren notación breve y tersa. El principio aparece en una retrospectiva sobre C++ del propio Bjarne Stroustrup: las características nuevas p
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
Los modelos de lenguaje grande (LLMs) están facilitando el uso de TLA+ (Temporal Logic of Actions), un lenguaje de verificación formal inventedo por Leslie Lamport en la década de 1990. Según el ingeniero Jesse Jiryu Davis en un artículo publicado en emptysqua.re, los LLMs Frontier pueden generar có
Un equipo de investigadores desarrolló SysMoBench, un benchmark automatizado para evaluar si los modelos de lenguaje de gran escala (LLMs) pueden modelar sistemas informáticos reales o simplemente recitan especificaciones de protocolos de manuales académicos. El sistema evalúa once sistemas distribu
Un nuevo motor de búsqueda de código abierto llamado Antfly ha sido lanzado, combinando capacidades de búsqueda de texto completo, similitud vectorial y recorrido de grafos para indexar y buscar datos multimodales (texto, imágenes, audio y video). Desarrollado por Antflydb y basado en la biblioteca
Este artículo del blog de vertexclique.com introduce Kovan, una nueva biblioteca de Rust diseñada para abordar un problema crítico en sistemas concurrentes de alto rendimiento: la recolección de memoria wait-free. El problema surge al usar estructuras de datos lock-free, como las proporcionadas por
Verified Spec-Driven Development (VSDD) es una metodología de ingeniería de software innovadora que combina tres enfoques probados: Spec-Driven Development (SDD), Test-Driven Development (TDD) y Verification-Driven Development (VDD). Su objetivo es crear software de alta calidad, verificable y con u
