Zig

software · 59 menciones

Zig es el quinto álbum de estudio de la cantautora estadounidense Poppy, publicado el 27 de octubre de 2023, a través del sello Sumerian Records.

Ver en Wikipedia

Noticias que mencionan Zig

Solod v0.2 añade red, nuevos destinos e interop más amigable

Solod (So) es un lenguaje de nivel de sistema con sintaxis inspirada en Go, sin runtime y con una biblioteca estándar familiar. La versión 0.2, publicada por su autor, incorpora el paquete net con soporte para TCP, UDP y sockets de dominio Unix, una versión simplificada del paquete equivalente de Go

La función de OxCaml que más lenguajes deberían copiar

OxCaml, el superset de OCaml desarrollado por Jane Street, incorpora una función que obliga al compilador a garantizar que una función completa no realiza asignaciones en el heap. Basta con anotar el código con [@zero_alloc]: si cualquier parte del árbol de llamadas reserva memoria, la compilación f

El bucle que viene: escribir software dejando que la máquina iteré

Un creciente número de desarrolladores está dejando de escribir código directamente y, en su lugar, diseña bucles que ejecutan tareas en cola y dejan que un agente de programación las intente, las evalúe y decida si seguir o detenerse. Esos bucles externos rodean al bucle interno que cualquier agent

¿Necesitamos un nuevo sistema de build para Linux embebido?

Tras dos décadas construyendo productos con Linux embebido, el autor plantea que los sistemas de build clásicos —Buildroot y, sobre todo, Yocto/OpenEmbedded— ya no encajan con la realidad actual de los dispositivos de borde. Estos sistemas nacieron cuando los ARM eran lentos y solo tenía sentido com

boo: un multiplexor de terminal al estilo GNU screen basado en libghostty

boo es un multiplexor de terminal inspirado en GNU screen, construido sobre la biblioteca libghostty y escrito en Zig. Su principal innovación radica en que cada sesión ejecuta su salida a través del motor de emulación de terminal de Ghostty, lo que permite conocer con exactitud el estado de la pant

Zig by Example: un repositorio para aprender Zig con ejemplos anotados

El repositorio "Zig by Example", mantenido por el usuario boringcollege en GitHub, ofrece una introducción práctica al lenguaje de programación Zig mediante una colección de ejemplos anotados. La propuesta sigue la misma filosofía didáctica que el popular "Go by Example" de Mark McGranaghan, del que

Struct-of-arrays en Zig: comptime y reflexión de tipos

En Zig, los tipos son valores en tiempo de compilación: pueden asignarse a constantes, pasarse como argumentos a funciones y devolverse desde ellas. Esta característica, conocida como comptime, es la base de los tipos genéricos del lenguaje y la pieza clave detrás de MultiArrayList, una colección de

Lathe: una CLI en Go que genera tutoriales técnicos prácticos con LLM

Lathe es una herramienta de código abierto, escrita en Go, que combina un modelo de lenguaje (LLM) con una interfaz local para generar tutoriales técnicos prácticos y guiar al usuario paso a paso en su ejecución manual. Su propuesta se aleja del uso habitual del LLM como generador de código y lo reo

Prela: un lenguaje de consultas basado en el álgebra de Tarski

Prela es un lenguaje de consultas embebido en el lenguaje de programación Julia, fundamentado en el álgebra de relaciones de Alfred Tarski. A diferencia de SQL, donde la estructura de las consultas es rígida y separa las cláusulas FROM, WHERE y SELECT, Prela permite intercalar libremente predicados

No todos los bytes merecen voto: diseño de checksums para replay determinista

En el desarrollo de motores de juego deterministas, diseñar un sistema de replay que verifique fielmente el estado del juego sin romperse ante cambios menores de implementación es un reto técnico habitual. Este artículo, escrito desde la experiencia práctica con un motor ARPG en Zig, analiza cómo co

Por qué no debes desactivar las aserciones en producción

Este artículo técnico sostiene que desactivar las aserciones en producción es una práctica «irremediablemente mala», y toma como referencia principal el comportamiento de `std.debug.assert` en Zig, aunque su razonamiento se aplica a la ingeniería de software en general. ¿Qué es una aserción? Es una

Una plantilla en Zig para crear aplicaciones en Flipper Zero

Esta plantilla de código abierto ofrece un punto de partida moderno y listo para producción para desarrollar aplicaciones en el dispositivo Flipper Zero utilizando el lenguaje de programación Zig, en lugar del C habitual del SDK oficial. El proyecto, publicado en GitHub por el usuario NishantJoshi00

Nuevo emulador web wterm en zig y wasm con rendimiento nativo

Se ha lanzado 'wterm', un nuevo emulador de terminal web que utiliza el lenguaje de programación Zig y WebAssembly (WASM) para lograr un rendimiento cercano al nativo. Esta herramienta, diseñada para ejecutarse directamente en el navegador, destaca por su núcleo compilado en un binario de 12 KB que

Propuesta controvertida: limitar llms en zig days

Zig Days son eventos colaborativos de programación de un día, generalmente los sábados, que sirven como el formato insignia de la comunidad Zig. Su objetivo principal es fomentar un entorno donde los desarrolladores puedan aplicar el pensamiento de sistemas para crear software de alta calidad. Sin e

Claude Code coordina múltiples agentes para ejecutar tareas complejas

Anthropic ha lanzado 'dynamic workflows', una nueva funcionalidad en Claude Code que permite a la inteligencia artificial coordinar múltiples agentes en paralelo para ejecutar tareas complejas de ingeniería de forma autónoma. Esta herramienta está diseñada para gestionar proyectos que, tradicionalme

Kindle Paperwhite ejecuta apps modernas con Rust

El autor logra ejecutar aplicaciones gráficas modernas en un Kindle Paperwhite de séptima generación, utilizando el lenguaje de programación Rust y la librería de interfaz de usuario Slint. Esta hazaña es significativa porque permite transformar un dispositivo e-ink de consumo en una plataforma de d

Presentan FreedomLang, nuevo lenguaje de sistemas sin dependencias externas

FreedomLang es un nuevo lenguaje de programación de sistemas que compila código nativo x86-64 sin dependencias de libc ni CRT. El lenguaje, actualmente en fase pre-1.0, utiliza compilación AOT (ahead-of-time) directa: Linux genera bytes de máquina ELF64, mientras macOS y Windows producen ensamblador

KDE recibe 1,3 millones de euros del fondo alemán para tecnologías libres

El proyecto KDE, desarrollador del entorno de escritorio de código abierto Plasma, ha recibido una financiación de 1,3 millones de euros del Sovereign Tech Fund de Alemania. El anuncio fue realizado esta semana y llega en un contexto de creciente conciencia europea sobre la necesidad de disponer de

Rockbox renueva su reproductor de audio con Rust y Zig

El desarrollador Tsirysndr ha lanzado una versión moderna de Rockbox, el reproductor de audio de código abierto, reescrita completamente en los lenguajes de programación Rust y Zig. Esta nueva implementación, denominada Rockbox Zig, mantiene todas las funcionalidades del motor de audio original, inc

Compilador C en Zig: Un Proyecto de Aprendizaje

El proyecto 'paella', documentado en ar-ms.me, es una serie de artículos que narran el proceso de construcción de un compilador para el lenguaje C utilizando el lenguaje de programación Zig. El autor, mientras se encontraba en un periodo de transición laboral, se propuso este desafío como un ejercic

Préstamos seguros: verificación innovadora sin tipos

Este artículo explora un enfoque innovador para la verificación de préstamos (borrow-checking) en un lenguaje de programación, sin la necesidad de verificación de tipos estática. La idea central es permitir la flexibilidad de la tipificación dinámica, pero con la seguridad de la verificación de prés

Brunost: Lenguaje de Programación con Sabor Noruego

Un desarrollador ha creado un nuevo lenguaje de programación llamado Brunost, que se distingue por su enfoque en la cultura noruega y la utilización del dialecto Nynorsk. El lenguaje, cuyo nombre hace referencia a un queso de cabra tradicional noruego, obliga a los desarrolladores a escribir código

Lean: el lenguaje que verifica su propio código

Este artículo explora el concepto de un "lenguaje de programación perfectible", ejemplificado por Lean. La idea central es que un lenguaje perfectible no solo permite escribir código, sino también expresar propiedades sobre ese código dentro del propio lenguaje. Esto abre la puerta a la verificación

Go a C: Portan el paquete 'strings'

Este artículo del blog de Anton Zhiyanov detalla el proceso de portar el paquete `strings` de Go al lenguaje C. El objetivo no era crear un compilador Go a C, sino permitir el uso de código Go con la flexibilidad y control de C. La portación comenzó con el paquete `io` y continuó con `bytes` y `str

Koru: Nuevo lenguaje desafía el rendimiento de C

Un nuevo lenguaje de programación llamado Koru está sorprendiendo al mundo de la informática al demostrar un rendimiento comparable, e incluso superior en algunos casos, a lenguajes de alto rendimiento como C, Rust y Zig. Según pruebas realizadas por los desarrolladores de Koru, sus 'kernels' (unida

TurboQuant: Compresión vectorial veloz para navegadores

Un equipo de desarrolladores ha lanzado una nueva biblioteca llamada TurboQuant, diseñada para permitir la compresión rápida de vectores directamente en navegadores web y Node.js. La biblioteca, basada en la investigación de Google (paper a presentarse en ICLR 2026), utiliza WebAssembly (WASM) y SIM

Telegram: Nuevo proxy evade censura con técnica avanzada

Un desarrollador ha creado una nueva herramienta proxy para Telegram, llamada 'mtproto.zig', diseñada para evadir la censura en redes. El proxy, escrito en el lenguaje Zig, disfraza el tráfico de Telegram como tráfico HTTPS estándar, dificultando su bloqueo por parte de sistemas de inspección profun

Bun optimiza CPU en contenedores: mejora el rendimiento

El gestor de paquetes Bun ha implementado una mejora significativa en el manejo de la CPU dentro de contenedores, abordando un problema de rendimiento crítico. La actualización, fusionada recientemente, modifica la forma en que Bun determina el número de núcleos de CPU disponibles, especialmente en

Vers: IA acelera el desarrollo de software

Un nuevo sistema llamado 'Vers' busca acelerar el desarrollo de software utilizando agentes de inteligencia artificial. La herramienta, desarrollada por hdresearch, permite a los usuarios crear un 'cañón de código' para automatizar tareas de desarrollo. El proceso implica instalar la CLI de Vers, co

Emacs: Nuevo terminal libgterm mejora velocidad y funciones

Emacs, el popular editor de texto, ha recibido una actualización significativa con la incorporación de `libgterm`, un nuevo emulador de terminal. Desarrollado por Rwc, `libgterm` se basa en la biblioteca `libghostty-vt` y ofrece mejoras sustanciales en velocidad y funcionalidad en comparación con al

Fuga de código de Claude Code: implicaciones para la ingeniería

El 31 de marzo de 2026, un error en el empaquetado de Anthropic provocó la filtración accidental del código fuente de su herramienta Claude Code a un registro público npm. La fuga, que incluyó un archivo de mapa de origen de 59.8 MB, reveló detalles sobre mecanismos anti-distilación, características

Quickbeam: JavaScript ahora corre en Erlang/Elixir

Un nuevo proyecto llamado Quickbeam permite ejecutar JavaScript dentro del BEAM, la máquina virtual de Erlang/Elixir, abriendo nuevas posibilidades para el desarrollo de aplicaciones concurrentes y distribuidas. Quickbeam integra un entorno de ejecución de JavaScript, respaldado por Web APIs, un DOM

libghostty: nueva biblioteca para emular terminales

Desarrolladores han lanzado 'libghostty', una biblioteca de emulación de terminales de bajo nivel, como parte de un proyecto de demostración llamado 'Ghostling'. La biblioteca, extraída del núcleo de 'Ghostty', ofrece una API en C y Zig para que otras aplicaciones puedan integrar una emulación de te

ia en microcontroladores: pycoclaw revoluciona la programación

PycoClaw ha presentado una solución innovadora que permite ejecutar agentes de inteligencia artificial completos en microcontroladores, incluso en dispositivos de tan solo 5 dólares. Esta tecnología, impulsada por MicroPython, facilita la programación y despliegue a través de un simple proceso de fl

Calyx: Nuevo terminal macOS con diseño y funciones avanzadas

Un nuevo terminal para macOS, llamado Calyx, ha sido lanzado en GitHub por Yuuichieguchi. La aplicación, compatible con macOS 26 (Tahoe) y versiones posteriores, ofrece un diseño moderno basado en el lenguaje de diseño nativo de macOS y una serie de funciones avanzadas. Calyx utiliza el motor de ren

CoroTracer: Depura corutinas sin afectar rendimiento

Un desarrollador ha creado 'coroTracer', una nueva herramienta de depuración de código abierto diseñada para rastrear y solucionar problemas complejos en programadores de corutinas M:N. El problema que motivó su creación fue un error crítico en un programador de corutinas donde el rendimiento se des

Errores en software: clasificados y mejor gestionados

En el desarrollo de software, la gestión de errores es crucial para la experiencia del usuario y la fiabilidad del sistema. Evan Hahn, en su artículo, propone una clasificación fundamental de los errores en dos categorías: **errores esperados** y **errores inesperados**. Esta distinción, aunque apar

Compiladores: Nueva técnica agiliza el proceso

Los compiladores basados en consultas (Query-Based Compilers o QBC) se han vuelto populares debido a su capacidad para implementar compilación incremental, un aspecto crucial para la experiencia de desarrollo en entornos de IDE modernos donde la respuesta rápida a las ediciones del código es esencia

Go: Debate sobre 'try' para Simplificar el Manejo de Errores

La comunidad de desarrolladores de Go debate la inclusión de una característica 'try' para el manejo de errores, similar a la que existe en lenguajes como Zig y Rust. Actualmente, Go requiere una estructura verbosa `if err != nil` para verificar errores, lo que ha generado frustración entre algunos

gzpeek: Descubren datos ocultos en archivos gzip

Un desarrollador ha creado una nueva herramienta llamada 'gzpeek' para analizar los metadatos ocultos dentro de archivos comprimidos con gzip. Tradicionalmente se asume que gzip solo sirve para comprimir datos, pero la especificación técnica revela que los archivos gzip contienen información adicion

Rust: Una herramienta, no una solución mágica

Rust: Una herramienta útil pero no mágica El lenguaje de programación Rust, celebrado durante una década como el más admirado según las encuestas de Stack Overflow, no es la solución mágica que algunos defienden. Así lo aseguran dos voces del sector tecnológico que, desde perspectivas distintas, ad

Attyx: Terminal determinista y rápido gracias a la GPU

Un nuevo emulador de terminal llamado 'Attyx' ha sido desarrollado por Semos Labs y se presenta como una alternativa determinista y acelerada por GPU. Construido completamente en Zig, Attyx se distingue por su enfoque en la corrección y claridad, priorizando pruebas exhaustivas en modo sin cabeza. S

Errores sutiles: límites de arrays en programación

Este artículo de TigerBeetle aborda un problema común en la programación: los errores relacionados con la indexación y los cálculos de límites de arrays. Estos errores, a menudo sutiles, pueden ser difíciles de detectar incluso en código bien tipado, ya que los tipos de datos, aunque útiles, tienen

Electrobun: Nuevo framework agiliza apps de escritorio

Electrobun v1, un nuevo framework para aplicaciones de escritorio multiplataforma, ha sido lanzado tras dos años de desarrollo. El proyecto, liderado por Yoav, surgió de la frustración con las herramientas existentes para el desarrollo de aplicaciones de escritorio, como Electron y Tauri, que presen

Zig Kernel: Un sistema operativo minimalista en Zig

Un desarrollador ha creado un kernel minimalista llamado Zig Kernel, escrito completamente en el lenguaje de programación Zig y sin utilizar ningún archivo de ensamblador. El kernel, diseñado para funcionar en máquinas x86 (i386), se ejecuta a través del protocolo Multiboot 1 y muestra un mensaje de

IA facilita proyectos personales, incluso para novatos

El artículo de Loris Bognanni explora cómo la inteligencia artificial (IA) puede facilitar la creación de proyectos personales, incluso para aquellos con poca experiencia en tecnologías específicas. El autor describe la creación de 'FastTab', un reemplazo personalizado para el selector de tareas de

Zig: Manejo de errores con 'Error Payloads'

Este artículo del blog de srcreigh.ca introduce una técnica innovadora para el manejo de errores en el lenguaje de programación Zig, llamada "Error Payloads". En esencia, Zig permite definir tipos de datos personalizados para representar errores, que incluyen información adicional (el "payload") jun

Zig: I/O con Fibra y GCD en Prueba

El equipo de Zig ha anunciado la integración experimental de implementaciones de I/O basadas en fibra, utilizando io_uring y Grand Central Dispatch (GCD). Esta nueva funcionalidad, disponible en la rama principal, permite a los desarrolladores experimentar con el intercambio de implementaciones de I

Zig: Minimalismo radical en su biblioteca estándar

El lenguaje de programación Zig ha adoptado una filosofía radicalmente diferente a la de C++ en lo que respecta a su biblioteca estándar: el minimalismo intencional. En lugar de acumular funcionalidades, Zig elimina activamente componentes que no cumplen criterios estrictos de inclusión, trasladándo

IA impulsa nuevos lenguajes de programación

El artículo explora el futuro de los lenguajes de programación en un contexto de ingeniería basada en agentes. Contrario a la creencia inicial de que los lenguajes existentes se consolidarían, el autor argumenta que es probable que veamos el surgimiento de nuevos lenguajes de programación debido a l

Zlob: Globbing más rápido para C, Zig y Rust

Un nuevo proyecto llamado 'zlob' ha lanzado una biblioteca de globbing (búsqueda de patrones en archivos) significativamente más rápida para C, Zig y Rust. La biblioteca, disponible como librería C, librería Zig y crate Rust, busca solucionar la lentitud y limitaciones de la función `glob()` de gli