software · 16 menciones
El artículo explora los desafíos que enfrentan los Modelos de Lenguaje Grandes (LLMs) en la implementación de la encapsulación, un principio fundamental de la programación orientada a objetos (OOP). Inspirándose en la visión de Alan Kay, considerado el 'padre' de OOP, el texto critica la práctica co
El artículo explora los desafíos que enfrentan los Modelos de Lenguaje Grandes (LLMs) en la implementación de la encapsulación, un principio fundamental de la programación orientada a objetos (OOP). Inspirándose en la visión de Alan Kay, considerado el 'padre' de OOP, el texto critica la práctica co
Este artículo del blog de Bernstein Bear explora una técnica llamada 'análisis de alias basado en tipos' (TBAA) dentro del contexto de un optimizador de código (Toy Optimizer). El objetivo es mejorar la capacidad del optimizador para comprender cómo los diferentes objetos en la memoria interactúan e
El artículo introduce el concepto de "programación de plantas de interior", acuñado por Ryan Goldstein, como una forma de desarrollo de software personal y específico. No se trata de crear software robusto y listo para producción, sino de escribir pequeñas herramientas para resolver problemas idiosi
Este artículo del blog explora cómo Dada, un nuevo lenguaje de programación, aborda el manejo de referencias y permisos de una manera innovadora, superando las limitaciones de Rust. Dada introduce un sistema de permisos basado en 'lugares' (places) en lugar de 'tiempos de vida' (lifetimes), lo que s
Un desarrollador ha creado un compilador de Rust escrito en PHP que genera ejecutables ELF para Linux x86-64 directamente, sin necesidad de LLVM, ensamblador o enlazador. Esta solución inusual permite compilar código Rust en entornos con recursos limitados, como servidores compartidos con PHP instal
Desarrolladores de Rust y WebAssembly (Wasm) han identificado una serie de patrones para mejorar la productividad al trabajar con estas tecnologías. El artículo, publicado en notes.brooklynzelenka.com, aborda las dificultades que a menudo surgen al usar `wasm-bindgen`, una herramienta para generar c
Este artículo técnico explora una peculiaridad en el sistema de tipos de Rust y cómo un intento de emular tipos de orden superior (HKTs) llevó a un error de desbordamiento en la evaluación de requisitos de traits, causando que el compilador fallara. El autor, en su intento de crear un lenguaje de sc
El artículo presenta un nuevo algoritmo de inferencia de tipos llamado 'Quadratic Micropass Type Inference', diseñado para mejorar la claridad de los mensajes de error en lenguajes de programación con inferencia de tipos. La inferencia de tipos, una característica que permite al compilador deducir e
Este artículo del blog de HaskellForAll aborda una recomendación de estilo para la construcción de registros (tipos de datos) en Haskell: priorizar la notación `do` sobre los operadores `Applicative` (como `<$>` y `<*>`). Aunque ambos métodos son válidos, la notación `do` ofrece ventajas significati
Lisette es un nuevo lenguaje de programación diseñado para ser sintácticamente similar a Rust pero con un runtime de Go. Su objetivo principal es ofrecer una alternativa que combine la seguridad y expresividad de Rust con la interoperabilidad y el ecosistema maduro de Go. Esto se logra a través de u
Microsoft ha introducido los 'union types' en C# 15, disponibles a partir de .NET 11 Preview 2. Esta nueva característica, muy solicitada por la comunidad, permite declarar un valor como uno de un conjunto fijo de tipos, garantizando el 'pattern matching' exhaustivo y evitando problemas comunes al d
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
El borrador final del estándar C++26 ha sido completado, según anunció Herb Sutter, experto en C++ y ex presidente del comité de estándares ISO C++. Esta nueva versión introduce cambios significativos que buscan modernizar y mejorar el lenguaje. Entre las novedades más destacadas se encuentra la imp
Este artículo del blog de dystroy.org describe una optimización significativa de memoria en un programa Rust que deserializa archivos JSON complejos. El problema original era que el programa, al procesar archivos JSON que representan estructuras de datos de AWS (Smithy Shapes), consumía una gran can
Rust, conocido por su seguridad de memoria sin necesidad de un recolector de basura, logra esto a través de un sistema de propiedad riguroso. Sin embargo, este sistema tiene una 'válvula de escape': el conteo de referencias. Normalmente, cada valor en Rust tiene un único propietario, y cuando ese pr