software · 38 menciones
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
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
La revisión de código no consiste únicamente en detectar errores: cumple al menos cuatro funciones en los equipos de desarrollo —educación, mantenimiento de normas, control de acceso al código y prevención de defectos—, según estudios citados por el autor, como el realizado en Google sobre las expec
Nixpkgs, uno de los mayores repositorios de definiciones de paquetes del ecosistema del software libre, atraviesa una crisis de mantenimiento que pone en cuestión su viabilidad futura. Recientemente, el equipo central (core team) de Nixpkgs anunció su disolución tras perder efectivos y considerar in
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
El paquete emacs-guix incorpora una nueva función, M-x guix-shell, que permite crear entornos temporales de paquetes al estilo de Guix shell sin abandonar el editor Emacs. Hasta ahora, quien quisiera trabajar en un proyecto con dependencias definidas en un archivo manifest.scm debía abrir un intérpr
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
Un ingeniero de software narra un caso real en el que el equipo evaluó un cambio en la caché de un servicio web observando únicamente la latencia media: la cifra pasó de 112 ms a 122 ms, un aumento del 9 % que disparó una alerta y la cancelación del despliegue. El artículo usa un conjunto de datos s
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
Leaves es una utilidad de código abierto escrita en Rust que analiza el uso de disco de un directorio y lo representa en la terminal mediante un mapa de árbol (treemap) de rectángulos anidados. Está inspirada en herramientas gráficas como WinDirStat y QDirStat, pero funciona íntegramente en modo tex
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
jj_tui es una interfaz de usuario en terminal (TUI) para Jujutsu, el sistema de control de versiones que opera como una capa alternativa sobre Git. La herramienta está diseñada para abrirse con rapidez y permitir navegar por el historial de commits y archivos de forma ágil, sin ventanas emergentes s
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
kb-prolog es una base de conocimiento hiperrelacional de tipo local-first, construida como prototipo de tesis de máster sobre Trealla Prolog, SQLite y C. Su modelo de datos se articula en torno al término statement(Subject, Predicate, Object, Properties), donde sujeto y objeto pueden ser a su vez en
Una conversación comunitaria recoge los proyectos de software y hardware que varios desarrolladores planean abordar durante el fin de semana. Uno de ellos avanza en el porte de los niveles de Perfect Dark (N64) a noclip.website, un visualizador de niveles basado en web: ya consigue cargar geometría
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
Este artículo narra la experiencia de Ruud van Asseldonk al construir una herramienta de despliegue personalizada, denominada Deptool, motivado por la frustración con las herramientas existentes y la búsqueda de mayor control y eficiencia en sus operaciones. La historia comienza con un intento de mi
Un servidor dedicado a la distribución de archivos digitales para clientes de Kanjideck sufrió una interrupción la noche del 31 de marzo debido a un rápido agotamiento del espacio en disco. El servidor, alojado en Hetzner con 4GB de RAM y 40GB de disco, se vio abrumado por una gran cantidad de usuar
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
Un desarrollador ha presentado 'Cherri', un nuevo lenguaje de programación diseñado para simplificar la creación y mantenimiento de proyectos complejos de Apple Shortcuts. El lenguaje, cuyo desarrollo comenzó en octubre de 2022, compila directamente a Shortcuts ejecutables y se enfoca en facilitar e
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,
La Ley de Garantía de la Edad Digital de California (AB-1043) genera preocupación en la comunidad de código abierto. El análisis de expertos señala que las distribuciones FOSS tradicionales podrían encajar en las categorías definidas por la ley como 'proveedores de sistemas operativos' y 'tiendas 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)
Microsoft ha anunciado el lanzamiento de LiteBox, un nuevo sistema operativo de biblioteca enfocado en seguridad. El proyecto, actualmente en desarrollo activo, busca reducir la superficie de ataque al minimizar la interfaz con el sistema operativo anfitrión. LiteBox se diseñó para facilitar la inte
Un desarrollador, ex empleado temprano de CircleCI, critica duramente GitHub Actions, argumentando que está perjudicando a los equipos de ingeniería. El autor describe la experiencia de depuración como frustrante y burocrática, señalando problemas con el visor de registros (que incluso ha provocado
