software · 10 menciones
Opus es un dialecto Lisp de ámbito estático y núcleo mínimo, implementado en Haskell y compilado a WebAssembly. Su diseño se apoya en la semántica de las f-expressions del lenguaje Kernel (desarrollado por John Shutt) y emplea estilo de paso de continuaciones (CPS) para el control de flujo. El obje
Investigadores de seguridad han descubierto 'Copy Fail', una nueva y peligrosa vulnerabilidad de escalada de privilegios locales en Linux. La flaw aprovechan un fallo de corrupción de memoria del kernel sin necesidad de inyectar código, lo que la hace pequeña y portable. Permite a atacantes escribir
Este artículo de Dragonsreach.it analiza la vulnerabilidad CVE-2026-31431, conocida como 'Copy Fail', y cómo los contenedores rootless de Podman pueden mitigarla. La vulnerabilidad reside en la forma en que el kernel Linux maneja ciertas operaciones de copia, permitiendo potencialmente una escalada
Un desarrollador ha logrado transformar una consola Nintendo Switch en un switch de red funcional. El proyecto, detallado en un blog, involucró la instalación de Switchroot Ubuntu, una distribución de Linux para la consola, para permitir la conexión de dispositivos a través de puertos USB. Inicialme
El proyecto Fuzix OS ha anunciado una actualización significativa (versión 0.4) centrada en mejoras de red, formatos de archivos binarios y simplificación del proceso de construcción. Esta actualización unifica los formatos binarios para las arquitecturas 8080, 8085 y Z80, permitiendo la ejecución d
Este artículo de werwolv.net ofrece una introducción accesible a la programación de dispositivos USB para desarrolladores, incluso aquellos sin experiencia profunda en hardware. La idea central es que escribir drivers USB no es tan complicado como se cree, y se puede lograr sin necesidad de sumergir
Un desarrollador de Linux, David Woodhouse, ha propuesto una serie de parches que permitirían construir kernels de Linux con soporte únicamente para IPv6, eliminando o deprecando el soporte para IPv4, conocido como “legacy IP”. Los parches, enviados recientemente, introducen una opción de configurac
Un nuevo compositor Wayland llamado [river] ha introducido una arquitectura innovadora que separa el compositor del gestor de ventanas, rompiendo con la tradición de combinar ambos en un solo programa. Esta separación, disponible en la versión 0.4.0, facilita el desarrollo de gestores de ventanas Wa
Un estudio reciente de pebblebed.com analizó 125.000 vulnerabilidades en el kernel de Linux para identificar patrones y áreas de mejora. Los hallazgos revelan que existen “super-revisores”, individuos que corrigen errores casi el doble de rápido que el promedio (47% más rápido), y que los bugs intro
Un desarrollador ha creado 'Provisioner', una herramienta de infraestructura diseñada para simplificar la puesta en marcha de placas de circuito impreso (SBC) y la automatización de laboratorios. La herramienta, de uso individual por placa, se sitúa junto al hardware, gestiona la consola serial, pro
