software · 60 menciones
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 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é
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
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 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
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 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
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
sdr-- es una aplicación de radio definida por software (SDR) de código abierto desarrollada en Rust que permite a los usuarios conectar dispositivos, decodificadores y grabadores mediante una interfaz visual de señal. El sistema se compone de un servidor que procesa señales y una interfaz de usuario
Fresh es un editor de texto moderno y de características completas diseñado para la terminal, que destaca por su ausencia de configuración inicial y su curva de aprendizaje mínima. La herramienta integra la experiencia de usuario intuitiva de editores gráficos como VS Code y Sublime Text, ofreciendo
Un nuevo marco teórico, respaldado por un paper en revisión en el IEEE Computer Security Foundations Symposium (CSF 2027), establece que la verificación técnica en sistemas informáticos tiene un límite demostrable. El trabajo, coautoría de Zach Collier y el autor del texto, demuestra que más allá de
El desarrollador fzakaria ha presentado trynix-preview, una acción de GitHub que añade en cada pull request un comentario con un enlace para ejecutar la compilación del cambio directamente en el navegador mediante trynix.dev, sin servidores, máquinas virtuales ni clones locales. La acción no compila
Un desarrollador explica las razones por las que mantiene su configuración de NixOS en un repositorio privado, a pesar de sentirse orgulloso de ella y de querer que otros se beneficien. Argumenta que ese archivo describe con detalle la arquitectura completa de su red: qué máquinas ejecutan qué softw
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
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
Claude Code, la herramienta de programación basada en el modelo Claude de Anthropic, almacena los tokens OAuth de autenticación con servidores MCP remotos en un archivo de texto plano en Linux, concretamente en ~/.claude/.credentials.json. Aunque la documentación oficial de Anthropic describe las cr
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
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
Un desarrollador de KDE detalla su experiencia tras casi un año usando KDE Linux como sistema principal en su escritorio, tanto para trabajo como para ocio. KDE Linux es una distribución atómica e inmutable basada en Arch Linux (con experimentos en buildstream) que no incluye gestor de paquetes trad
Autolith es un agente de programación que opera desde la terminal y trabaja de forma directa sobre el repositorio del usuario. La herramienta combina en un único proceso la interfaz de terminal, el cliente del modelo, el registro de herramientas, el estado de conversación, memorias persistentes, la
El proyecto nixpkgs-multiverse ofrece un índice que mapea (atributo, versión) con la revisión de Nixpkgs que lo distribuyó. Hasta ahora esos datos se almacenan en archivos JSON: versions.json, de 5,3 MiB, e history.json, de 7,5 MiB, que cubren 305.492 versiones de 31.904 paquetes a lo largo de 1.534
Opus es un dialecto Lisp de ámbito estático y núcleo mínimo, implementado en Haskell y compilado a WebAssembly. Su diseño se apoya en la semántica de las f-expressions del lenguaje Kernel (desarrollado por John Shutt) y emplea estilo de paso de continuaciones (CPS) para el control de flujo. El obje
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
