Múltiples verificadores de tipos en Python: cómo no perderse

El ecosistema de Python cuenta actualmente con cinco verificadores de tipos que reciben atención creciente: mypy, Pyrefly, Pyright, ty y Zuban. Para los responsables de mantener librerías, ejecutar los cinco sobre el código fuente propio resulta una carga excesiva, ya que cada herramienta impone ano

python type checking pyrefly mypy pyright

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

zig zig by example github go by example mark mcgranaghan

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

lathe llm tutorials golang cli

Anunciados los ganadores del XXIX Concurso Internacional de Código C Ofuscado

El XXIX Concurso Internacional de Código C Ofuscado (IOCCC29) ha publicado sus entradas ganadoras en su segunda edición consecutiva tras la pausa de 2020-2024. Según la organización, el volumen de envíos y la calidad general alcanzaron niveles casi históricos, con cifras similares a las de IOCCC28 y

ioccc obfuscated c code contest programming competition c programming code obfuscation

Fuentes Unicode y herramientas para el sistema X Window

El proyecto documenta una extensión completa al estándar ISO 10646-1/Unicode para las clásicas fuentes bitmap del sistema X Window. Todas las fuentes de la familia «-misc-fixed-*» —desde 5x7 hasta 10x20— se han reeditado con codificación ISO10646-1, de modo que cubren el conjunto de caracteres de la

unicode x11 x window system iso 10646 bitmap fonts

TRPL: el copyleft radical que cierra las brechas del SaaS y la IA

La Total Reciprocity Public License (TRPL) v1.0 es una licencia de software copyleft publicada en noviembre de 2025 que busca cerrar los vacíos legales que las licencias de código abierto tradicionales no cubren en la era de las API en la nube y la inteligencia artificial. Se trata de una licencia e

copyleft open source software licensing saas api

El Consejo Directivo de Python exige un PEP formal para el JIT de CPython

El Consejo Directivo de Python ha anunciado que el compilador experimental justo a tiempo (JIT) integrado en CPython debe formalizarse mediante un PEP de tipo Standards Track en un plazo de seis meses o, de lo contrario, su código será retirado de la rama principal. El órgano agradeció a los desarro

python cpython jit compiler steering council pep 744

El Pentágono ocultó claves cifradas en señales GPS durante casi dos décadas

Durante casi dos décadas, el Pentágono de Estados Unidos ha estado transmitiendo en secreto claves de cifrado militar a través de una señal GPS pública, convirtiendo cada uno de los satélites de navegación en una estación clandestina de números. Así lo ha demostrado Steven Murdoch, profesor de ingen

otad señales de navegación cryptography señales satelitales cifrado militar

Estudio empírico revela que la blockchain Pearl no realiza inferencia de IA

Una investigación sometida a arXiv el 3 de junio de 2026 examina empíricamente a Pearl, una blockchain de capa 1 respaldada públicamente por figuras relevantes del sector de la inteligencia artificial. El trabajo cuantifica, por primera vez, la distancia entre lo que la red promete y lo que realment

pearl cupow proof-of-useful-work ai-inference gpu-mining