Blogging con Gleam, Org-mode y Pandoc: un enfoque tipado

El autor presenta una arquitectura de blog estático que integra Emacs, Org-mode, Pandoc y Gleam para crear contenido tipado y reproducible. El sistema utiliza Org-mode como formato de fuente dentro de Emacs, permitiendo escribir código y datos en bloques activos que se evalúan en tiempo real, simila

OmniBin: un sistema de archivos FUSE con todos los binarios de Nixpkgs

OmniBin es un sistema de archivos FUSE que permite acceder a todos los binarios disponibles en el repositorio Nixpkgs sin necesidad de instalarlos individualmente. La herramienta elimina la necesidad de configurar manualmente cada paquete en la configuración de Nix, permitiendo que los binarios esté

Las derivaciones dinámicas en Nix transforman el grafo de construcción

El artículo explora cómo las derivaciones dinámicas en Nix alteran la naturaleza del grafo de construcción, pasando de un sistema aplicativo a uno monádico. Tradicionalmente, Nix requiere conocer el grafo de construcción completo antes de iniciar la compilación, una propiedad que permite herramienta

Reglas de diseño para lenguajes de programación y sus configuraciones

El artículo propone un conjunto de directrices fundamentales para el diseño de nuevos lenguajes de programación y sus sistemas de configuración, argumentando que estas decisiones deben tomarse desde el inicio para evitar problemas de compatibilidad y usabilidad. El autor destaca la importancia de re

tobi: gestión de sesiones de terminal en red con Tailscale

tobi es una herramienta de línea de comandos diseñada para mantener sesiones de terminal activas de forma desvinculada a través de múltiples dispositivos en una red Tailscale. A diferencia de soluciones tradicionales como tmux, tobi no permite anidar sesiones; ejecutar tobi dentro de una sesión exis

Tombert/office365_flake: ejecutar Microsoft 365 en Linux sin virtualización

El proyecto Tombert/office365_flake ofrece un conjunto de Nix Flakes y scripts diseñados para permitir la ejecución de Microsoft 365 (Office) en sistemas Linux sin necesidad de virtualización. La herramienta resuelve la incompatibilidad histórica entre la versión de Office 'click-to-run' y Wine, uti

Tilia: un formateador de Haskell que resuelve problemas de CPP y fixities

Tilia es un formateador de código para el lenguaje Haskell desarrollado desde cero, diseñado para abordar tres desafíos técnicos persistentes en la herramienta: el manejo correcto de comentarios, la inferencia precisa de las fixities de operadores y el soporte para la preprocesación de C (CPP). A di

Cómo convertir cualquier servidor web en un almacén de Nix

Un almacén de Nix no requiere un servidor especializado; basta con implementar tres funciones básicas que el cliente de Nix utilice para validar y descargar paquetes. Este artículo técnico explica que, gracias a la arquitectura de seguridad de Nix, cualquier servidor web que pueda responder a estas

trynix: ejecuta cualquier paquete de Nix directamente en el navegador

trynix es una herramienta web que permite arrancar una máquina virtual Linux dentro de una pestaña del navegador y ejecutar en ella cualquier paquete del repositorio Nixpkgs, sin instalar nada en el equipo del visitante. El proyecto, disponible en trynix.dev, indexa más de 310.083 versiones de paque

Cómo desplegar unikernels de MirageOS sobre NixOS

Este artículo explica cómo combinar dos tecnologías del ecosistema del software libre —NixOS y MirageOS— para desplegar servicios de red reproducibles y seguros, tomando como caso de uso un servidor DNS autoritativo. MirageOS es un framework de library operating system que permite compilar aplicaci

Grail: cómo llevar rangos de versiones a Nixpkgs tras una década sin ellos

Grail es una nueva herramienta —presentada por su autor en el blog de nixmultiverse— que introduce por primera vez soporte para rangos de versiones en Nixpkgs, el gestor de paquetes funcional sobre el que se construye NixOS. Hasta ahora, cada atributo del repositorio tenía una única versión ligada a

Omniflake centraliza miles de flake de Nix en una sola entrada

El proyecto Omniflake resuelve la complejidad inherente a la gestión de dependencias federadas en el ecosistema Nix al actuar como un único punto de acceso para casi doce mil flake distintos. Esta herramienta permite a los usuarios integrar paquetes, overlays y módulos de NixOS sin necesidad de decl

Builds bootstrapeables: cómo y por qué reconstruir el software desde cero

En la conferencia FOSSY 2026, celebrada en el campus de la Universidad de Columbia Británica (Vancouver, Canadá), Timothy Sample pronunció una charla en la pista 'Toolchains and Other Development Tools' dedicada a los builds bootstrapeables, una disciplina menos conocida que los builds reproducibles

nixpkgs-multiverse incorpora un modo rápido que evita evaluar Nixpkgs

nixpkgs-multiverse, el proyecto que indexa cada versión de cada paquete publicado en Nixpkgs desde 2013, estrena un modo rápido que permite obtener la ruta de store de cualquier versión histórica sin descargar ni evaluar el árbol completo de Nixpkgs. Hasta ahora, pedir una versión concreta como pyth

Una propuesta para conectar Rust y Fil-C mediante un nuevo FFI seguro

El desarrollador Domen Kozar ha propuesto la creación de un nuevo enlace FFI —una interfaz que permite a un lenguaje llamar funciones escritas en otro— en Rust llamado `extern "fil-c"`, diseñado para interoperar de forma segura con bibliotecas C y C++ compiladas mediante Fil-C, un compilador alterna

Cómo acelerar scripts Haskell en GitHub Actions con bundles en caché

Ejecutar scripts Haskell en GitHub Actions suele ser lento: cada ejecución parte de un runner limpio, sin caché de Nix ni de Magix, así que hay que instalar herramientas, descargar dependencias y compilar el guion desde cero. En un caso real, esa puesta en marcha consumió 92 de los 105 segundos tota

Nix como emulador de Super Mario: secuencias de pulsaciones como derivaciones

El lenguaje Nix es perezoso: solo evalúa los atributos a los que se accede, lo que permite conjuntos de atributos recursivos aparentemente infinitos. Partiendo de esa idea, el desarrollador fzakaria construyó un proyecto llamado "nes-nix" que representa el estado de una partida de Super Mario Bros.

Overrides de Nix que se autodisuelven cuando dejan de ser necesarios

En cualquier proyecto que use Nix y nixpkgs es habitual añadir overrides puntuales en el flake.nix para forzar una versión de un paquete más reciente que la disponible en el pin de nixpkgs — por ejemplo, una versión concreta de yesod-form que el proyecto necesita hoy y que aún no ha sido adoptada po

Nixpkgs tiene un problema de garantías procesales en su gobernanza

Un ex-colaborador veterano de Nix y NixOS denuncia que Nixpkgs carece de un proceso formal y transparente para la toma de decisiones de gobernanza. Relata que el 8 de junio de 2025 la delegación de committers le retiró el acceso de forma indefinida por un «patrón consistente de mal juicio», citando

El sandbox de Nix: una entrada oculta que rompe la repetibilidad

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

Un repositorio lleva Nix y NixOS al superordenador personal DGX Spark de NVIDIA

El proyecto de código abierto nixos-dgx-spark, publicado en GitHub por el usuario graham33, ofrece una vía oficial para ejecutar Nix y NixOS en el superordenador personal NVIDIA DGX Spark, un equipo compacto orientado a cargas de inteligencia artificial que también se comercializa como Asus Ascent G

De las derivaciones a los despliegues: Nix práctico en producción

John Murray, ingeniero de Antithesis, presenta en la conferencia Software Should Work 2026 una charla titulada "Derivations to Deployments: Practical Nix in Production". En ella expone cómo la compañía adoptó Nix de forma intensiva en toda su pila tecnológica y en sus procesos de despliegue, movida

Construir software de sistemas con Nix: entornos reproducibles para Rust y BPF

Nix es, a la vez, un gestor de paquetes, un sistema de compilación, un lenguaje para definir builds y la base de la distribución Linux NixOS. Su pieza más práctica para equipos de desarrollo son los flakes, que funcionan como un lockfile universal: fijan una revisión concreta del repositorio nixpkgs

stinkpot: un buscador de historial de bash minimalista respaldado por SQLite

stinkpot es una herramienta de línea de comandos escrita en aproximadamente 400 líneas de Go que ofrece búsqueda de historial de shell para bash respaldada por SQLite. Su autor la presenta como una alternativa mucho más reducida a atuin, orientada a usuarios que solo necesitan la gestión de historia

El kernel Linux adoptará soporte para $ORIGIN mediante eBPF y binfmt_misc

El desarrollador Farid Zakaria anuncia una colaboración con el mantenedor de VFS Christian Brauner que incorporará al kernel Linux un mecanismo programable, basado en eBPF y binfmt_misc, para resolver dinámicamente el intérprete de los binarios. El objetivo es habilitar el soporte de $ORIGIN (la rut

¿Qué proyectos compartes esta semana?

Un hilo comunitario invita a los participantes a compartir en qué están trabajando durante la semana. El autor aclara que no hace falta estar ocupado y que también está bien no hacer nada en absoluto. Las contribuciones recogidas abarcan desde infraestructura personal hasta emulación de hardware, pr

La gestión de dependencias como espejo del organigrama

El texto aplica la ley de Conway a las herramientas de gestión de dependencias en el desarrollo de software: cada estrategia de resolución es, en la práctica, una opinión sobre cómo se resuelven los desacuerdos dentro de una organización. Mediante un recorrido por monorepos, workspaces, submódulos d

Garnix se incorpora a Shopify y cesará su servicio alojado en julio de 2026

Garnix, la plataforma de integración continua para proyectos Nix, dejará de operar como servicio alojado el 15 de julio de 2026 tras anunciar su integración en Shopify. Los responsables de la herramienta, Alex David, Sönke Hahn y Julian K. Arni, han confirmado que todo el código se publicará como so

Spindle incorpora un motor basado en microVM para flujos de trabajo aislados

Spindle, el motor de flujos de trabajo del proyecto Tangled, suma un segundo motor de ejecución llamado microvm, que se suma al ya existente Nixery y es totalmente compatible con él. Cada flujo de trabajo se ejecuta ahora dentro de su propia micro máquina virtual: un entorno completo, con sistema op

Inferencia de tipos para registros anónimos: guía introductoria

Este artículo explica, desde cero y con ejemplos, cómo funciona la inferencia de tipos para los registros anónimos, una pieza que el autor considera clave y todavía недостаточно aprovechada en los lenguajes estáticamente tipados. Un registro anónimo es aquel que no necesita una declaración de tipo p

De Proxmox a NixOS con Incus: la migración a un homelab declarativo

El ingeniero Bas Nijholt ha abandonado por completo Proxmox para reconstruir su homelab sobre NixOS con Incus como gestor de contenedores y máquinas virtuales. El artículo, publicado en su blog personal, detalla el proceso de migración y las razones técnicas que le llevaron a sustituir un hipervisor

Cómo reducir el tamaño de una ISO de NixOS deshabilitando componentes

Las imágenes ISO que genera NixOS mediante el módulo `iso-image.nix` ocupan 458 MiB en su configuración más básica, casi diez veces más que el escritorio completo de Damn Small Linux y muy por encima de las 66 MiB que pesa la ISO de Alpine para máquinas virtuales. El grueso del volumen se concentra

Nucleus, un runtime OCI ligero y declarativo para NixOS y cargas de IA

Nucleus es un runtime de contenedores minimalista, endurecido en seguridad y declarativo, pensado para Linux y especialmente para servicios basados en NixOS, así como para cargas de trabajo de agentes de inteligencia artificial. A diferencia de Docker, no utiliza imágenes, capas ni registros OCI: el

Cómo construir derivaciones de Guix con Nix gracias a guix-transfer

El gestor de paquetes Nix puede compilar derivaciones de Guix, pese a que ambos se presentan como ecosistemas rivales. El blog técnico de Farid Zakaria lo demuestra con un experimento reproducible y, además, presenta la herramienta de código abierto guix-transfer, que automatiza la traducción de rec

Aegis: FPGA de código abierto revoluciona el diseño de chips

Un equipo de desarrolladores ha presentado Aegis, un proyecto de FPGA (Field-Programmable Gate Array) completamente de código abierto, desde el diseño del silicio hasta las herramientas de desarrollo. A diferencia de otros proyectos open-source que se basan en arquitecturas propietarias o herramient

Nix evita errores de pila con nueva técnica

Nix, un lenguaje de gestión de paquetes y construcción, a menudo se enfrenta a limitaciones de profundidad de pila debido a su naturaleza recursiva. Cuando se ejecutan operaciones iterativas (simuladas a través de recursión), el evaluador de Nix puede alcanzar un límite de 10.000 niveles de llamada,