software · 6 menciones
El lenguaje de programación Valen, sucesor experimental de Vale, ha implementado un sistema de seguridad de memoria basado en la 'Group Borrowing' (préstamo de grupo). Esta característica permite a Valen mantener referencias mutables múltiples a objetos dentro de su propio código, eliminando la rest
El uso de la wiki integrada en GitHub se considera una mala práctica (anti-pattern) debido a sus limitaciones técnicas y de control. Aunque ofrece acceso rápido desde cualquier parte del repositorio, carece de las ventajas de la documentación versionada en carpetas locales, como la capacidad de clon
El proyecto Valen busca resolver la dificultad técnica de integrar lenguajes de programación distintos, específicamente permitiendo la interoperabilidad con Rust mediante generadores cruzados y seguridad de memoria. Inspirado en el concepto histórico del 'Golden Spike' de la transcontinental railway
Ben Balter, ex empleado de GitHub y autor del libro 'Open and Async', relata en detalle el flujo de trabajo que empleó para escribir y producir su obra como si fuera un proyecto de software. En lugar de recurrir a Word o Google Docs, Balter escribió todo el libro en archivos Markdown dentro de un re
F* (pronunciado «F star») es un lenguaje de programación de propósito general orientado a la demostración formal, que combina programación puramente funcional y con efectos. Reúne el poder expresivo de los tipos dependientes con automatización de pruebas basada en resolutores SMT y demostración inte
Ante es un lenguaje de programación de sistemas que apuesta por una idea ambiciosa: integrar el conteo de referencias y el borrow checking sin renunciar a la seguridad en tiempo de ejecución. En la práctica, eso significa que un programador puede declarar tipos compartidos y mutables con la palabra