15 noticias
Un nuevo dialecto de macro-ensamblaje llamado 'Riscrithm' ha sido desarrollado para simplificar el desarrollo en RISC-V. Este lenguaje actúa como un puente entre la legibilidad de un lenguaje de alto nivel y el control directo del hardware, compilando directamente a ensamblador RISC-V puro. Los desa
Fil-C es una convención de llamada optimizada diseñada para garantizar seguridad de memoria incluso cuando los programas se comportan de manera adversarial. En esencia, previene errores graves como pasar argumentos de tipos incorrectos, convertir punteros de función a firmas equivocadas, o mezclar s
Investigadores han presentado Verus, una nueva herramienta diseñada para verificar la corrección del código escrito en Rust. El objetivo principal es asegurar la funcionalidad completa de código de sistemas de bajo nivel, basándose en principios de lenguajes de verificación existentes como Dafny, Bo
Este artículo de Bryan Keller detalla el proceso de portar Mac OS X 10.0 (Cheetah) a la consola Nintendo Wii. La iniciativa, inicialmente considerada imposible por la comunidad, demuestra la viabilidad de ejecutar sistemas operativos complejos en hardware inesperado. El proyecto se centra en la adap
Endbot es una demostración audiovisual increíblemente compacta, que se ajusta en tan solo 256 bytes, diseñada para ejecutarse en el entorno DOS (específicamente a través de DosBox-X). Su tamaño minúsculo desafía las expectativas, logrando renderizar elementos visuales como un sprite de robot con dañ
El proyecto DCJ11HackPlus es una fascinante iniciativa de Paula Maddox que se basa en el chip DCJ11, un procesador que, según la autora, es simplemente "hermoso". Este proyecto no es solo una demostración de aprecio por la estética del hardware, sino también una exploración profunda de la arquitectu
Este artículo del blog narra la experiencia de un programador de aplicaciones que, durante un período de desempleo, decidió seguir un tutorial para construir un sistema operativo en 1000 líneas de código, utilizando ensamblador. La principal conclusión es que sus habilidades de depuración, muy desar
## Lenguaje Ensamblador Tipado (TAL): Un Puente Seguro entre Lenguajes de Alto Nivel y Hardware ¿Qué es y por qué es importante? En el mundo del desarrollo de software, especialmente en áreas críticas como sistemas operativos, kernels móviles y aplicaciones que requieren una seguridad extrema, la
El Denonomicon se presenta como una guía profunda sobre la Interfaz de Función Extranjera (FFI) de Deno, un tema que, aunque cubierto brevemente en la documentación oficial de Deno, requiere una explicación más detallada para su correcta utilización. La FFI es esencial para permitir que Deno, un ent
En el mundo del desarrollo de software, especialmente en sistemas operativos como Linux, los errores son inevitables. Un 'Kernel Oops' es un tipo de error que, a diferencia de un 'Kernel Panic' (que provoca un fallo del sistema), permite que el kernel se recupere. Este artículo explica cómo depurar
R3Forth es un lenguaje de programación y un entorno de ejecución diseñado para la eficiencia y la portabilidad, especialmente útil en entornos con recursos limitados o donde la predictibilidad del rendimiento es crucial. Su origen está ligado a la necesidad de crear un sistema de control robusto y a
El artículo "The Apollo 11 Paradox" plantea una crítica contundente a la dirección actual del desarrollo de software, señalando una preocupante tendencia a la ineficiencia y la pérdida de conexión con los fundamentos de la computación. El ejemplo citado, la disparidad entre los 4KB de RAM utilizados
PlanckForth es un proyecto experimental y divertido que consiste en implementar un intérprete de Forth a partir de un binario ELF (Executable and Linkable Format) extremadamente pequeño, de tan solo 1KB, escrito a mano. El objetivo principal no es la utilidad práctica, sino la exploración de cómo se
Este artículo del blog de srcreigh.ca introduce una técnica innovadora para el manejo de errores en el lenguaje de programación Zig, llamada "Error Payloads". En esencia, Zig permite definir tipos de datos personalizados para representar errores, que incluyen información adicional (el "payload") jun
El archivo `xnu/doc/scheduler/sched_clutch_edge.md` pertenece al código fuente del kernel XNU de Apple, el núcleo del sistema operativo macOS, iOS, watchOS y tvOS. Aunque el título sugiere un documento sobre un aspecto específico del planificador de tareas (scheduler), la información proporcionada e
