Una conversión de bool a u32 revela un fallo del optimizador de Rust

El desarrollador Parsa, autor de un blog técnico sobre compiladores y parsers, relata una sesión de refactorización de su motor de JavaScript escrito en Rust en la que una versión 'estética' de una función del lexer provocaba errores de parseo, mientras que una variante menos elegante funcionaba cor

rust compiler llvm javascript engine parser

Brain2Qwerty v2 decodifica frases completas a partir de ondas cerebrales sin cirugía

Meta AI y el Basque Center on Cognition, Brain, and Language (BCBL) presentaron Brain2Qwerty v2, una nueva versión de su sistema de inteligencia artificial que traduce la actividad cerebral en texto sin necesidad de implantes quirúrgicos. El modelo se entrenó con cerca de 22.000 frases escritas por

brain2qwerty meta ai bcbl magnetoencephalography brain-computer interface

Contraejemplos en sistemas de tipos: una colección de casos sutiles

Counterexamples in Type Systems es una obra de referencia compilada por Stephen Dolan —con colaboraciones reconocidas de Andrej Bauer, Leo White y Jeremy Yallop— que reúne treinta y un contraejemplos cuidadosamente seleccionados para ilustrar los puntos delicados, las trampas y las excepciones de lo

type systems type theory counterexamples programming languages polymorphism

El generador oceánico de 10 euros de una adolescente que marcó el rumbo de la energía marina

En 2015, Hannah Herbst, una estudiante de instituto de 15 años de Boca Ratón (Florida), presentó BEACON, un pequeño generador que transforma el movimiento de las corrientes oceánicas en electricidad. Construido con un tubo de PVC, una hélice impresa en 3D, una rueda Pelton y un presupuesto de unos 1

energía marina energía undimotriz energía hidrocinética beacon discovery education 3m young scientist challenge

Un 'easter egg' pro-ucraniano en xsnow reaviva el debate sobre 'protestware' en Debian

El programa xsnow, una aplicación para X11 que dibuja animaciones invernales, contiene desde sus versiones 3.8.3 y 3.8.6 un huevo de Pascua que muestra banderas ucranianas con mayor probabilidad cuando el idioma del programa está configurado en ruso. El 14 de junio, el desarrollador Alexander Ivanov

xsnow debian protestware easter egg debian free software guidelines

Waag migra su cuenta de Bluesky a Eurosky en busca de soberanía digital

Waag, fundación holandesa centrada en tecnología y sociedad, ha trasladado los datos de su cuenta en Bluesky desde los servidores de la propia plataforma a un Personal Data Server (PDS) alojado por Eurosky, proveedor europeo de infraestructura para el AT Protocol. El cambio responde a la voluntad de

bluesky at protocol eurosky waag personal data server

Servo 0.3.0 suma scripts de usuario, compatibilidad con MP4 y blackboxing en DevTools

El motor de renderizado web Servo ha publicado la versión 0.3.0, que reúne los 391 commits desarrollados durante mayo. La actualización incorpora nuevas funciones de la plataforma web, como las propiedades CSS de variantes tipográficas (kerning, ligaduras, posición y más) y la reproducción de archiv

servo web rendering engine spidermonkey devtools rust

Donkey Kong 64 llegará a PC, macOS y Linux este verano mediante un port no oficial

Un grupo de modders está desarrollando una versión no oficial de Donkey Kong 64 para PC, macOS y Linux que verá la luz este verano bajo el nombre "Donkey Kong 64: Recompiled". El proyecto se apoya en N64 Recompiled, una herramienta que transforma juegos de Nintendo 64 en código C portable, lo que pe

donkey kong 64 nintendo 64 nintendo n64 recompiled pc

Un shell simulado para componer flujos de pangenómica sin renunciar al rendimiento

Adrian Sampson, investigador de la Universidad Cornell, presenta en su blog personal un enfoque singular para facilitar el uso de FlatGFA, una biblioteca de alto rendimiento para pangenómica escrita en Rust y basada en un formato de datos de copia cero (mmap). Ante la dificultad de elegir entre una

pangenomics rust flatgfa shell scripting bioinformatics

Tyaff: una alternativa ligera a React en JavaScript puro con DOM propio

Tyaff es una biblioteca de JavaScript puro (ES6+) que se presenta como una alternativa minimalista a React, dotada de un DOM virtual propio. Su filosofía apuesta por reducir la complejidad habitual de los frameworks modernos: no requiere JSX, ni compilación, ni dependencias externas, y se instala co

tyaff react javascript virtual dom frontend framework

Typst: cómo la incrementalidad permite la previsualización en tiempo real

En su charla en la RustWeek 2026, Laurenz Mädje, mantenedor principal y CTO de Typst, explicó cómo la empresa diseña su lenguaje de marcado y su compilador de forma conjunta para conseguir una previsualización instantánea de documentos grandes. Typst es un sistema de composición tipográfica escrito

typst rust incremental compilation typesetting rustweek 2026

Orden de evaluación y no terminación en lenguajes de consulta

En una charla reciente en FLOPS, el autor presentó λFS (lambda finite set), un modelo que combina programación funcional con programación relacional al estilo de Datalog y SQL, además de álgebra tensorial. En λFS, una relación se modela como una función finita representada internamente como una tabl

lambda finite set datalog sql evaluation order nontermination

Una factura de IA en un día costó más que un mes de servidores

Un ingeniero heredó un servicio en producción construido por un ejecutivo no técnico con ayuda de un asistente de código basado en modelos de lenguaje. Al revisar la gráfica de consumo de la API de IA, descubrió que un solo día concentraba cerca de la mitad de la factura mensual y superaba el coste

ai llm devops cost optimization retry storm

Investigación sobre el subsistema gráfico de Linux

Un usuario documenta su proceso de aprendizaje del funcionamiento interno del sistema gráfico de Linux, empezando por dibujar un triángulo con la GPU y trazando el código a través de Mesa3D, GLFW, OpenGL, Vulkan, Wayland y DRM de Linux. El autor explica que evitaba los problemas de controladores grá

linux graphics drivers amdgpu mesa3d opengl