31 noticias
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
El desarrollador del editor de código Fresh describe las dificultades que enfrenta para distribuir su aplicación en Linux, en contraste con la relativa uniformidad de Windows y macOS. Tras probar múltiples canales —paquetes npm, AppImage, Flatpak, .deb, .rpm, AUR, Nix, mise, Homebrew para Linux, Cra
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
El desarrollador fzakaria ha presentado nixpkgs-multiverse, un flake de Nix que expone en un solo punto todas las versiones de paquetes que han existido en Nixpkgs desde 2017. La idea surge de un problema habitual entre usuarios de NixOS: cuando un paquete se actualiza y rompe herramientas dependien
Evix es un motor asíncrono de evaluación para Nix, estructurado como biblioteca, que presenta la evaluación de expresiones Nix como un problema de planificación en lugar de una simple llamada a una herramienta. El proyecto nace de la frustración con nix-eval-jobs y con el propio caché de evaluación
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.
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
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 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
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
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
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 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 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
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
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
Avi Press, fundador de Scarf y miembro del patronato de la Haskell Foundation, ha anunciado que la compañía ha empezado a migrar su backend de Haskell a Python tras siete años de uso en producción. La decisión, calificada por el autor como "reacia", se explica por la acumulación de costes de compila
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
Este artículo técnico presenta una formalización práctica del algoritmo de inferencia de tipos para la concatenación sesgada de registros descrito por Mitchell Wand en 1991, un problema que, casi cuarenta años después, ningún lenguaje de programación había logrado implementar de forma fiel. El autor
Steam Controller Auto-Charge es una aplicación web de código abierto que guía de forma autónoma un Steam Controller hasta su base de carga magnética. Combina visión por computador basada en flujo óptico con telemetría a través de WebHID para localizar el mando, orientarlo hacia la puck de carga y co
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
devenv dedica unos 70 ms en cada prompt de shell a ejecutar un hook que solo detecta el proyecto, consulta la base de confianza e imprime una ruta. Casi todo ese tiempo no es culpa de devenv, sino de nixpkgs: el cargador dinámico de glibc realiza cientos de llamadas openat() fallidas para localizar
GuixPkgs es un proyecto de software que convierte la totalidad del repositorio de paquetes de GNU Guix en un flake de Nix, permitiendo combinarlos con los de Nixpkgs dentro de un mismo entorno de desarrollo. La herramienta se apoya en guix-transfer, un componente desarrollado previamente por el mism
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
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
secs-man es una herramienta de línea de comandos escrita en Rust para respaldar, restaurar y verificar archivos sensibles (claves SSH, claves WireGuard, certificados y similares) sin depender de un proveedor concreto. Su principio rector es la independencia de software: si la aplicación dejara de ex
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 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
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
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, 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,
