· Building (systems) software with Nix

Construir software de sistemas con Nix: entornos reproducibles para Rust y BPF

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

nix nixos nixpkgs flakes bpf
· Recursive Superintelligence signs $410 compute deal with Amazon

Recursive Superintelligence firma un acuerdo de computación de 410 millones con AWS

La empresa de inteligencia artificial Recursive Superintelligence anunció este martes un acuerdo de computación por 400 millones de dólares con Amazon Web Services (AWS), con un desembolso total previsto de 410 millones de dólares. La compañía, que salió del modo stealth en mayo tras captar 650 mill

· I Designed A Custom PCB To Avoid Pressing A Button Three Times

Diseñó una PCB a medida para no tener que pulsar un botón tres veces

Un usuario ha diseñado y fabricado su propia placa de circuito impreso (PCB) para resolver una molestia cotidiana: una luz nocturna barata que siempre arrancaba en el nivel de brillo 3 y obligaba a pulsar su botón tres veces para atenuarla. Tras probar el truco de mantener pulsado el botón para repr

attiny85 easyeda jlcpcb open source hardware pcb design
· The great PlayStation blackout – will kids actually have to leave their bedrooms this summer?

El boicot a PlayStation: gamers protestan por el fin de los discos físicos

Un sector de los jugadores ha convocado un boicot contra PlayStation durante la última semana de agosto, en respuesta a la decisión de Sony de dejar de producir copias físicas de sus juegos en 2028. La protesta, difundida principalmente en redes sociales, pide a los usuarios que no jueguen, compren

playstation sony physical media gaming boycott ps5
· Andrew Wiles on solving Fermat's Last Theorem

Andrew Wiles y la obsesión que resolvió el teorema de Fermat

En 1993, el matemático británico Andrew Wiles anunció la demostración del Último Teorema de Fermat, el problema más célebre de las matemáticas, sin resolver durante más de 350 años. Wiles, que creció en Cambridge y descubrió el enigma a los diez años en una biblioteca pública, consagró buena parte d

fermat's last theorem andrew wiles number theory mathematics taniyama-shimura conjecture
· Can an LLM solve this combinatorics problem?

Resolver un problema combinatorio abierto con un LLM: un experimento paso a paso

Un investigador independiente cuenta cómo utilizó un agente basado en un modelo de lenguaje para intentar resolver una pregunta abierta de combinatoria. El problema parte de un juego sencillo: con cuatro cartas (As y Rey de corazones y picas) se puede identificar la distribución completa haciendo oc

llm combinatorics decision tree adaptive queries ai agents
· Dolmenwood: a fairy-tale RPG built on Old-School Essentials

Dolmenwood: un RPG de fantasía basado en Old-School Essentials

Dolmenwood es un juego de rol de fantasía construido sobre las reglas de Old-School Essentials y ambientado en un mundo inspirado en los cuentos de hadas y el folklore inquietante de las Islas Británicas. El sistema combina reglas ágiles y materiales introductorios pensados para jugadores principian

dolmenwood old-school essentials tabletop rpg ttrpg british folklore
· Over 150,000 Flights: Airlines Just Flew The Busiest Day In Recorded History

El 23 de julio de 2026 bate el récord diario de vuelos comerciales con más de 153.000 trayectos

El jueves 23 de julio de 2026 se convirtió en el día con más vuelos comerciales rastreados de la historia, según los datos publicados por Flightradar24. Entre las 00:00 y las 23:59 UTC, la plataforma registró 153.359 vuelos comerciales, la cifra más alta desde que comenzaron los registros. Al sumar

flightradar24 airbus qantas a350-1000ulr farnborough airshow
· Vivari — Run Node.js in the browser

Vivari: un entorno Node.js completo que se ejecuta dentro del navegador

Vivari es un runtime compatible con Node.js que funciona íntegramente en el navegador, sin servidor backend. Reúne un sistema de archivos virtual POSIX (escrito en Rust y compilado a WebAssembly), un núcleo con tabla de PID y shell, módulos CommonJS síncronos con resolución de node_modules y builtin

vivari node.js webassembly rust browser runtime
· Silo: an open-source, terminal-first editor that keeps many project workspaces alive at once

Silo: un editor orientado a terminales que mantiene varios proyectos activos a la vez

Silo es un editor de escritorio de código abierto (licencia MIT) pensado para desarrolladores que coordinan entre tres y cinco agentes de programación con inteligencia artificial al mismo tiempo. A diferencia de editores tradicionales como VS Code o Cursor, organizados en torno a un único espacio de

· Announcing tale.fyi: read (or listen) to an entire book from a single link

tale.fyi, una web para leer y escuchar libros de dominio público desde un solo enlace

Un desarrollador presenta tale.fyi, una plataforma web pensada como hogar de la ficción en internet y construida, en su versión inicial, a partir del corpus de obras en dominio público. El sitio permite leer o escuchar un libro completo desde una sola URL, guarda el progreso en el dispositivo y sinc

tale.fyi fiction public domain project gutenberg standard ebooks
· New HIV vaccine shows unprecedented success in preclinical study

Una vacuna contra el VIH logra en primates la mayor respuesta de anticuerpos neutralizantes registrada

Un equipo de la Jolla Institute for Immunology (LJI), Scripps Research e IAVI ha desarrollado una vacuna experimental contra el VIH que, en ensayos con primates, indujo la respuesta de anticuerpos neutralizantes más potente observada hasta ahora. Los investigadores, cuyo trabajo se publicó en Nature

hiv vaccine immunology broadly neutralizing antibodies clinical trial
· Segue — hand context from one AI to the next

Segue, un relevo para pasar contexto entre asistentes de IA

Segue es una herramienta que permite mover el contexto de trabajo entre distintos asistentes de inteligencia artificial sin tener que reescribirlo en cada uno. Funciona como un pequeño relé neutro basado en el protocolo abierto Model Context Protocol (MCP), mantenidos por la Linux Foundation, y en a

segue model context protocol oauth linux foundation claude
· What AI developers could learn from Charles Bukowski

Qué pueden aprender los desarrolladores de IA de Charles Bukowski

Este ensayo reflexiona sobre la paradoja que viven los desarrolladores de software en la era de la inteligencia artificial: aunque las herramientas de IA generan en segundos código que antes llevaba miles de horas escribir, muchos profesionales trabajan más horas que nunca en lugar de tomarse un des

· ctrlb-decompose: an LLM-ready reasoning surface over logs

ctrlb-decompose: una herramienta para comprimir millones de líneas de log en patrones útiles para LLMs

ctrlb-decompose es una herramienta de código abierto, escrita en Rust, que condensa grandes volúmenes de registros (logs) en un número reducido de patrones accionables, enriquecidos con estadísticas, anomalías y correlaciones. Procesa los registros en una sola pasada de tipo streaming, con un uso de

log analysis rust llm drain3 clp
· First formally verified 3D mesh intersection in Lean 4, with 93-line spec

Primera intersección de mallas 3D verificada formalmente con Lean 4

El repositorio "verified-3d-mesh-intersection", publicado por schildep en GitHub, presenta la que su autor describe como la primera implementación formalmente verificada de una operación de geometría sólida constructiva (CSG): la intersección de mallas 3D, codificada en Lean 4 y validada contra una

lean 4 formal verification constructive solid geometry 3d mesh ai-generated code
· Same necklace, three outfits: a study finds AI models shift their appraisals by up to 3.6× with the wearer's clothing

Un estudio mide cuánto inflan los modelos de IA el precio de una joya según la ropa de quien la lleva

Un experimento comportamental con seis modelos multimodales de inteligencia artificial —Claude Fable 5, GPT-5.6, GPT-4o, Grok 4.5, Kimi K3 y DeepSeek V4-Pro— demuestra que el precio estimado de una misma pieza de bisutería varía hasta 3,6 veces en función del atuendo de la persona fotografiada. La i

ai multimodal llms valuation bias halo effect claude
· Mondragon Corporation: federation of worker cooperatives in the Basque Country

Mondragon Corporation: la federación de cooperativas del País Vasco

Mondragon Corporation es una corporación y federación de cooperativas de trabajo radicada en la región vasca de España, fundada el 14 de abril de 1956 por el sacerdote José María Arizmendiarrieta y un grupo de sus alumnos en la localidad de Mondragón. Su primer producto fueron estufas de parafina y

mondragon corporation worker cooperative basque country spain cooperative federation
· DMARC Has Been Public Since 2012. 68.4% of Company Domains Still Don't Enforce It.

El 68,4% de los dominios corporativos no aplican DMARC catorce años después de su lanzamiento

Catorce años después del lanzamiento de DMARC, el protocolo de autenticación de correo electrónico diseñado para combatir el phishing y la suplantación de identidad, la mayoría de las empresas siguen sin aplicarlo de forma efectiva. Según un análisis de CipherCue sobre 67.336 dominios corporativos r

dmarcian cloudflare autenticación de correo dmarc email security
· Usenet Archive Toolkit: a toolkit to process and search Usenet messages offline

Usenet Archive Toolkit: una suite para archivar y buscar mensajes de Usenet sin conexión

Usenet Archive Toolkit (UAT) es un conjunto de utilidades de código abierto diseñado para procesar diversas fuentes de mensajes de Usenet y convertirlas en un archivo coherente, consultable y operativo sin conexión a internet. El proyecto, alojado en GitHub, ofrece dos modos de uso principales: leer

usenet archive toolkit open source tbrowser libuat
· Smart rings are looking like my kind of AI gadget

Los anillos inteligentes se perfilan como mi dispositivo de IA preferido

Los anillos inteligentes se perfilan como mi dispositivo de IA preferido Aunque la industria tecnológica empuja con fuerza las gafas inteligentes, los pins y otros formatos, el dispositivo más discreto podría terminar siendo el más útil. Esa es la tesis que sostiene un artículo reciente tras probar

smart rings ai wearables sandbar pebble oura
· Usenet Archive Toolkit: an open-source kit to archive and search Usenet messages

Usenet Archive Toolkit: kit de código abierto para archivar y buscar mensajes de Usenet

El proyecto Usenet Archive Toolkit (UAT), disponible en GitHub, ofrece un conjunto de utilidades para convertir distintas fuentes de mensajes de Usenet —servidores NNTP, archivos mbox, maildir, volcados comprimidos en 7z o rastreos de Google Groups— en un archivo único, local y eficiente. Su autor p

usenet archive toolkit github c++
· Pensábamos que usar muchos emojis era de inmaduros. La psicología acaba de demostrar que es todo lo contrario

La psicología desmonta el mito: abusar de los emojis no es inmadurez, sino de matices emocionales

La psicología ha desmontado la creencia popular de que usar muchos emojis en mensajes de texto, chats o correos es un signo de inmadurez. Diversos estudios científicos demuestran que los emojis actúan como sustitutos de la comunicación no verbal, que se pierde en las interacciones digitales, y ayuda

psicología emojis comunicación digital comunicación no verbal redes sociales
· ASML se hunde en bolsa: el precio de que China empiece a fabricar su propia litografía

ASML se desploma en bolsa tras el anuncio de China de fabricar su propia litografía UVP

Las acciones de ASML cayeron hasta un 6,5% en Ámsterdam y un 6,3% en Wall Street después de que The Information informara de que una empresa china respaldada por el Estado ha comenzado a fabricar en serie máquinas de litografía de ultravioleta profundo (UVP) de inmersión, un segmento en el que ASML

· Unas 300 personas exigen en Palma la dimisión del delegado del Gobierno por las cargas del domingo

Unas 300 personas exigen en Palma la dimisión del delegado del Gobierno por las cargas del domingo

Unas 300 personas se han concentrado este martes frente a la Delegación del Gobierno en Balears para exigir la dimisión de su responsable, Alfonso Rodríguez, al que responsabilizan del dispositivo policial desplegado durante la manifestación contra la masificación turística celebrada el pasado domin

masificación turística violencia policial delegación del gobierno en balears menys turisme més vida palma de mallorca
· Perplexity’s Personal Computer turns Windows PCs into AI agents

Perplexity lleva su agente de IA para escritorio a Windows

Perplexity ha extendido a Windows su herramienta agentica Personal Computer, que ya había debutado en Mac el pasado abril. El producto permite convertir equipos con el sistema operativo más usado del mundo en un sistema de inteligencia artificial ejecutado de forma local, capaz de acceder a archivos

· Ofertas por la vuelta al cole en PCSpecialist en PCs y portátiles

PCSpecialist lanza ofertas por la vuelta al cole con descuentos de hasta 354 euros

PCSpecialist ha activado una campaña de ofertas por la vuelta al cole con descuentos de hasta 354 euros en una selección de PCs y portátiles gaming. Todos los equipos incluyen tres años de garantía, servicio gratuito de recogida y entrega, y componentes equilibrados para evitar cuellos de botella, s

pcspecialist vuelta al cole portátiles gaming pcs gaming descuentos
· China ha alumbrado una nueva élite tecnológica: rica, globalizada y cada vez más invisible

La nueva élite tecnológica china: rica, globalizada y deliberadamente discreta

Una generación de jóvenes empresarios chinos ha sustituido a los millonarios del ladrillo y el acero por fortunas construidas en semiconductores, inteligencia artificial y bienes de consumo globales. El caso más llamativo es el de Zhu Yiming, fundador de CXMT, el mayor fabricante chino de chips de m

· Aparcar al sol en Córdoba y en verano es como convertir el coche en un horno. Por suerte, existe el truco de la llave

El truco de la llave para ventilar el coche antes de entrar en pleno verano

Subirse a un coche aparcado al sol en pleno verano puede convertirse en una experiencia sofocante: volante, asiento y palanca de cambios alcanzan temperaturas que hacen sudar antes de arrancar. En ciudades como Córdoba, donde aparcar a la sombra no siempre es posible, pequeños gestos marcan la difer

coches verano calor aire acondicionado consejos prácticos