software · 40 menciones
T3X/0 es un lenguaje de programación procedural, pequeño, portable, estructurado en bloques y recursivo, prácticamente sin tipos. Es el miembro más reciente de la familia T3X. Su sintaxis se parece a Pascal y su semántica a BCPL. El compilador se distribuye de forma libre bajo licencia 0BSD o como d
CHERI es una extensión de arquitectura de hardware que convierte los punteros en objetos con metadatos —límites, permisos y, opcionalmente, tipo— protegidos por la propia CPU, en lugar de tratarlos como simples números manipulables con aritmética entera. El investigador David Chisnall, del equipo de
Dimitris Gounaridis, participante del Google Summer of Code 2026, ha logrado portar la última versión del entorno de escritorio Enlightenment al sistema operativo NetBSD, según un informe publicado en el blog oficial de NetBSD. El proyecto, tutelado por Leonardo Taccari y Nia Alarie, tenía como obje
Un repositorio de GitHub bautizado como bmake-extravaganza demuestra que el lenguaje de make de BSD, conocido por su uso en la construccion de software y el sistema de ports de FreeBSD, es computacionalmente universal. El autor, tras estudiar a fondo el sistema de ports de FreeBSD y la pagina de man
El modelo de Nix se basa en derivaciones que deberían describir de forma completa el proceso de construcción y garantizar así la repetibilidad de los builds. Sin embargo, la opción `sandbox-paths`, configurable mediante `--option`, añade al sandbox rutas del sistema de archivos que la derivación no
Snow Leopard (Mac OS X 10.6) se presentó en 2009 como una versión sin funciones nuevas, centrada en pulir el sistema, mejorar el rendimiento y corregir errores, una promesa que los usuarios de Mac recibieron con alivio tras años de actualizaciones que parecían romper tanto como arreglaban. Esa idea
Determinar si un proceso obtuvo privilegios al inicio es esencial para que las bibliotecas traten como no fiables las variables de entorno. OpenBSD introdujo en 1996 la llamada al sistema issetugid(2), pensada para que las librerías detectasen si la aplicación fue ejecutada con los bits set-uid o se
Un micronúcleo es un núcleo de sistema operativo en el que solo permanecen dentro del núcleo la planificación de procesos, la gestión de acceso a los dispositivos de E/S y la comunicación entre procesos (IPC); todo lo demás —controladores, sistemas de archivos, red— se ejecuta en espacio de usuario.
El proyecto FreeBSD congeló de forma temporal su árbol de ports después de que se introdujera en el repositorio un archivo binario de 150 MB que rompió la sincronización con el mirror de GitHub, cuyo límite de tamaño por archivo es de 100 MB. El equipo core@ tomó la decisión de detener los commits d
NextBSD es un proyecto de sistema operativo de código abierto que combina un kernel propio, compatible con la ABI de FreeBSD, con un núcleo Mach integrado. Entre sus pilares figuran mecanismos Mach como mach_msg, puertos, derechos de puerto y un servidor de arranque, junto con extensiones de kernel
GDC, el frontend de D para el compilador GCC, no dispone de un paquete oficial en FreeBSD. El Dr. Brian Robert Callahan necesitaba esa herramienta como soporte de su investigación y, ante la ausencia de documentación práctica, documenta él mismo el procedimiento que ideó para compilarla en el sistem
Klara Systems analiza un problema habitual al portar utilidades Linux a FreeBSD: la monitorización de archivos con la herramienta inotifywait. Un cliente necesitaba ejecutar una acción tras subir ficheros por SCP, y aunque la solución funcionaba en la mayoría de los casos, en ocasiones no se emitía
NetBSD, el sistema operativo de la familia BSD conocido por su lema «Of course it runs NetBSD», puede funcionar también como escritorio, aunque su uso exige una disposición mayor a la línea de comandos que la habitual en distribuciones Linux modernas. ¿Qué es NetBSD? NetBSD desciende directamente d
Un análisis técnico explica por qué herramientas como fastfetch, btop y htop ofrecen lecturas tan dispares del uso de memoria en FreeBSD, un fenómeno comparable al clásico «Linux ate my RAM». El artículo parte de la migración de un servidor desde Ubuntu 16.04 a FreeBSD, donde el autor detectó difere
El motor de renderizado web Servo ha publicado la versión 0.3.0, que reúne los 391 commits desarrollados durante mayo. La actualización incorpora nuevas funciones de la plataforma web, como las propiedades CSS de variantes tipográficas (kerning, ligaduras, posición y más) y la reproducción de archiv
Maestro es un kernel de tipo Unix ligero, escrito en el lenguaje de programación Rust, cuyo objetivo es aprovechar las garantías de seguridad de su sistema de tipos para ofrecer un sistema operativo fiable. El proyecto se encuentra en una fase temprana de desarrollo, por lo que es altamente inestabl
Bootimus es un servidor de arranque PXE y HTTP pensado para simplificar el despliegue de sistemas operativos en red sin alterar la infraestructura existente. Se distribuye como un único binario escrito en Go, con iPXE, interfaz web, SQLite y todos los recursos necesarios incrustados, de modo que no
FreeBSD 15.1 representa, según el autor, un salto cualitativo como sistema de escritorio gracias a la incorporación de pkgbase, las mejoras sustanciales en los controladores LinuxKPI y el recién creado Laptop Support and Usability Project de la FreeBSD Foundation. En un ThinkPad X1 Carbon con gráfic
Los sistemas de archivos no solo organizan datos: condicionan la integridad, la recuperación ante fallos y la seguridad de la información. Este análisis técnico compara, desde un plano conceptual, las seis familias más extendidas —FFS/FFS2, BFS, NTFS, ext4, ZFS y APFS— y explica por qué la decisión
Deb Goodkin, Directora Ejecutiva de la FreeBSD Foundation desde 2005, recientemente se embarcó en el desafío de utilizar FreeBSD como su sistema operativo diario en un portátil Framework Laptop. La experiencia, presentada en el Open Source Summit en Minneapolis, refleja los esfuerzos continuos de la
Este artículo relata la experiencia de migrar un blog personal que llevaba 10 años funcionando en un servidor VPS con Ubuntu 16.04 LTS hacia FreeBSD en Hetzner. El motivo principal fue que Ubuntu 16.04 había dejado de recibir soporte hace más de 5 años, lo que suponía riesgos de seguridad importante
Google implementará reCAPTCHA Mobile Verification, un sistema que exige verificación mediante código QR desde un dispositivo móvil certificado (iOS o Android) para acceder a servicios en Windows, Linux y otros sistemas operativos de escritorio. Este mecanismo utiliza la Play Integrity API de Google
Vivian Voss, en conmemoración del Día Mundial del Libro de la UNESCO, lanza su libro "Integrated by Design", una obra de 371 páginas que explora FreeBSD desde una perspectiva filosófica y práctica. El subtítulo, irónicamente considerado durante el proceso de creación, resume la esencia del libro: "L
Investigadores de VidocSecurity han replicado los hallazgos de Anthropic sobre la capacidad de modelos de IA avanzados para identificar vulnerabilidades en software, utilizando modelos públicos como GPT-5.4 y Claude Opus 4.6. El estudio cuestiona la narrativa de Anthropic de que estas capacidades so
Anthropic ha anunciado recientemente Project Glasswing y Mythos, un modelo de IA diseñado para encontrar y solucionar vulnerabilidades de seguridad en software crítico, comprometiendo hasta 100 millones de dólares en créditos de uso y 4 millones en donaciones a organizaciones de seguridad de código
Este artículo, titulado "Despachos Demoníacos", narra la experiencia de un experto en seguridad informática, Colin Percival, con Amazon Web Services (AWS) a lo largo de dos décadas, desde sus inicios en 2006. La historia no es una simple cronología, sino una reflexión sobre la evolución de AWS y la
Se ha lanzado una actualización importante para WireGuard en Windows, incluyendo WireGuardNT v0.11 y WireGuard para Windows v0.6. El anuncio, realizado por Jason A. Donenfeld, destaca mejoras significativas en la estabilidad, rendimiento y modernización del código base, eliminando compatibilidades a
Este artículo retrospectiva la experiencia de Peter N. M. Hansteen con "greytrapping", una técnica para combatir el spam, durante los últimos 18 años. El greytrapping, implementado en dominios como nxdomain.no y bsdly.net, consiste en crear trampas de spam (spamtraps) – direcciones de correo electró
Este artículo narra la experiencia de un desarrollador al contribuir con una corrección (patch) al kernel de Linux, enfocándose en un error sutil relacionado con la gestión de tareas en sistemas x86. El autor, al intentar construir un hipervisor de Tipo 2 (un software que permite ejecutar múltiples
Este artículo, escrito por Stefano Marinelli, narra la experiencia personal del autor con FreeBSD y explica por qué se ha convertido en su sistema operativo preferido durante más de dos décadas. La historia comienza en 2002, cuando el autor, ya familiarizado con GNU/Linux, se topó con el *FreeBSD Ha
La comunidad de FreeBSD ha solicitado formalmente el desarrollo de drivers para los controladores de red de alta velocidad Aquantia AQC113 y AQC113C. Actualmente, FreeBSD detecta estos dispositivos, pero no los reconoce ni los hace funcionales debido a que el driver `aquantia-atlantic-kmod` existent
El equipo de Ingeniería de Lanzamientos de FreeBSD anunció la disponibilidad de FreeBSD 14.4-RELEASE el 10 de marzo de 2026. Esta es la quinta versión estable de la rama 14 y trae consigo varias mejoras significativas. Entre ellas, se destaca la actualización de OpenSSH a la versión 10.0p2, que ahor
El tamaño de intercambio (swap) recomendado históricamente como el doble de la memoria física (RAM) no se basó en una intención de llenarlo, sino en la necesidad de garantizar bloques de espacio contiguo en el disco para el intercambio de memoria. En los sistemas más antiguos, con discos duros (HDD)
Este artículo narra la experiencia de un usuario que intentó crear un controlador Wi-Fi para un MacBook Pro de 2016 con FreeBSD utilizando inteligencia artificial. El problema surge porque FreeBSD no tiene soporte nativo para el chip Broadcom BCM4360 que utiliza el MacBook. La solución tradicional i
EDuke32 es un proyecto impresionante: un motor de juego y una 'source port' (una reimplementación de un juego original) del clásico shooter en primera persona Duke Nukem 3D (Duke3D). Imagina que tomas un juego de 1996 y lo actualizas radicalmente para que funcione a la perfección en sistemas moderno
Minisforum ha lanzado el MS-R1, un mini PC con arquitectura ARM que ofrece una alternativa asequible a los servidores ARM tradicionales, como los basados en Mac o soluciones empresariales costosas. El autor, un entusiasta de los servidores ARM para su laboratorio doméstico, adquirió el MS-R1 barebon
FreeBSD 15 simplifica la integración con FreeIPA, un servidor de gestión de identidades, a través de Kerberos y LDAP, según un artículo de Vermaden en su blog. Esta mejora, basada en el trabajo de Christian Hofstede-Kuhn, elimina la complejidad de configuraciones previas que requerían compilación de
Un investigador ha descubierto un fallo de seguridad en la biblioteca de cifrado WolfSSL que impide su correcta compatibilidad con clientes TLS 1.3. El problema radica en que WolfSSL no implementa el modo de compatibilidad con 'middleboxes' (dispositivos intermediarios que pueden alterar el tráfico)
Este artículo describe cómo configurar un sistema autónomo (AS) propio en Internet, algo que tradicionalmente se asocia con ISPs y grandes empresas. Gracias a la disponibilidad de números AS y prefijos IPv6 a través de LIRs patrocinadores y herramientas de enrutamiento proporcionadas por FreeBSD, in
