· Synthesis is harder than analysis

Síntesis frente a análisis: por qué integrar es más difícil que descomponer

Este artículo parte de una observación del cálculo matemático para extraer una lección aplicable a la ingeniería de sistemas y, en particular, al trabajo de los SRE. En el cálculo infinitesimal, derivar una función —operación local— es mecánico y algoritmico, mientras que calcular su integral —opera

sre calculus differential calculus integral calculus incident response
· 'Hotter and hotter and hotter' - Europe's new climate in seven charts

Siete gráficos muestran el nuevo clima de Europa: olas de calor cada vez más extremas

Europa y el Reino Unido atraviesan un comienzo de julio marcado por temperaturas sin precedentes, tras dos olas de calor consecutivas en mayo y junio que pulverizaron récords históricos. El pico en el Reino Unido alcanzó los 37,7 °C en Lingwood (Norfolk), superando en más de 2 °C la anterior marca d

climate change heatwave europe united kingdom greenhouse gas emissions
· Suffix BWT vs cyclic shift BWT, and fast computation

BWT por sufijos frente a BWT por rotaciones cíclicas, y cómputo rápido

La transformada de Burrows-Wheeler (BWT) reordena los caracteres de una cadena agrupándolos por contexto y, aunque suele presentarse como un único algoritmo, en realidad existen dos variantes con diferencias prácticas relevantes: la BWT por rotaciones cíclicas y la BWT por sufijos. La BWT por rotac

burrows-wheeler transform data compression suffix array cyclic shift sa-is
· BUSY: a lean, statically typed, cross-platform build system inspired by Google GN

BUSY: un sistema de compilación ligero, de tipado estático y multiplataforma inspirado en Google GN

BUSY (BUild SYstem) es un sistema de compilación multiplataforma para las toolchains GCC, Clang y MSVC, con requisitos de sistema mínimos y fácil arranque en frío. Frente a alternativas como CMake, QMake, Meson o GN, su principal rasgo diferenciador es un lenguaje de especificación de tipado estátic

busy build system gcc clang msvc
· Tech Now: Saving a Shipwreck episode overview

Tech Now: así es el episodio «Saving a Shipwreck»

«Saving a Shipwreck» es un episodio de 25 minutos de la serie informativa de la BBC «Tech Now», presentada por Shiona McCallum. El programa se centra en la aplicación de tecnología a la recuperación y conservación de pecios históricos, y forma parte de una temporada en la que la producción repasa se

tech now bbc iplayer bbc shiona mccallum shipwreck
· Rust - Handling Results In A Map Closure

Cómo manejar valores Result dentro de un closure .map() en Rust

El operador '?' de Rust no puede emplearse dentro de un closure pasado a Iterator::map, porque map espera como salida el tipo del elemento original —en este caso, String— y no un Result ni un Option, por lo que el compilador devuelve E0277 al no estar implementado FromResidual. Para resolver esta si

rust programming error handling iterators closures
· UK weather: Temperatures forecast to exceed 30C as another heatwave is imminent

El Reino Unido encara una nueva ola de calor con temperaturas superiores a 30 °C

El Reino Unido afrontará desde este fin de semana una nueva ola de calor, la tercera del año, con temperaturas que podrían superar los 30 °C y alcanzar los 33 °C en el sur y el sureste de Inglaterra, según las previsiones meteorológicas. El domingo será el día más suave, pero los termómetros irán as

weather heatwave uk weather summer 2025 azores high
· MSI Center flaw lets any user gain SYSTEM privileges in seconds

Una vulnerabilidad en MSI Center permite escalar a privilegios de SYSTEM en segundos

Un investigador de seguridad ha descubierto una vulnerabilidad crítica en MSI Center, el software preinstalado en portátiles y equipos de sobremesa de la marca taiwanesa, que permite a cualquier usuario autenticado obtener privilegios de SYSTEM (máximo nivel) en el sistema en cuestión de segundos. E

msi center privilege escalation named pipe windows security 3des
· Scientists discover guidance system for migratory songbirds

Descubren cómo los pájaros cantores eligen su destino de invernada

Un equipo internacional de científicos ha resuelto uno de los enigmas clásicos de la migración aviar: qué determina que los pájaros cantores de distintas poblaciones acaben reuniéndose en zonas concretas de África tras miles de kilómetros de vuelo en solitario. La investigación, publicada en la revi

songbirds migration pied flycatcher science university of groningen
· Privatizing the Mail

Por qué privatizar el correo de EE. UU. es logísticamente inviable

El Servicio Postal de Estados Unidos (USPS) atraviesa una crisis financiera agravada por el alza de los precios de la energía, la deuda acumulada y la pérdida de volumen de paquetería: Amazon redujo su contrato un 20 % y ya supera a USPS en volumen de envíos. En este contexto, el segundo mandato de

usps privatization postal service wells fargo fedex
· Notes from building Tinkerfont

Tinkerfont: una extensión para probar tipografías en webs en vivo

Tinkerfont es una extensión de navegador creada por Mighil para inspeccionar, reemplazar y probar tipografías directamente sobre sitios web en producción. La herramienta permite hacer clic derecho sobre cualquier texto del navegador para ver al instante la familia, el peso, el tamaño, el color y el

tinkerfont browser extension typography web fonts bunny fonts
· Odin, Wikipedia and Engagement Farming

La eliminación del artículo de Odin en Wikipedia y la conversación en redes

A finales de marzo de 2026, la Wikipedia en inglés eliminó el artículo dedicado al lenguaje de programación Odin tras un proceso de Artículos para la Eliminación (AfD). De los 12 votos registrados entre el 23 y el 31 de marzo, siete apoyaron la supresión y cuatro pidieron conservar la entrada; un ad

programming wikipedia engagement farming public discourse politics
· Magit 4.6 released with blob-buffer rework and diff syntax highlighting

Magit 4.6: mejora la gestión de blobs y prepara el terreno para nuevas funciones

Magit, la interfaz textual para Git pensada para el editor Emacs, alcanza la versión 4.6 con 313 commits acumulados en seis meses. La entrega reordena por completo el tratamiento de los buffers de visualización de blobs: ahora toda visita pasa por la función magit-find-file-noselect, cuya conducta s

· Wafer hits 2,626 tok/s/node on AMD MI355X for GLM 5.2 at over 2x lower cost than Blackwell

Wafer logra 2.626 tok/s por nodo en AMD MI355X sirviendo GLM 5.2 con la mitad de coste que Blackwell

Wafer, proveedor de inferencia, ha anunciado resultados de rendimiento del modelo GLM 5.2 sobre GPUs AMD Instinct MI355X, alcanzando 2.626 tokens por segundo por nodo en una carga agregada y 213 tokens por segundo en flujo único, con un coste por dólar más de dos veces inferior al de un sistema basa

amd nvidia amd mi355x amd instinct amd rocm
· The only AI glossary you'll need this year | TechCrunch

Glosario esencial de inteligencia artificial: términos clave del año

TechCrunch publica un glosario vivo de inteligencia artificial diseñado para profesionales, inversores y lectores que necesitan manejar la jerga del sector. La guía reúne definiciones claras de los conceptos más habituales en reuniones de producto, rondas de inversión y paneles especializados, desde

· A Windows Kernel in a Browser Tab, Part I: Cold Boot, Fast Boot, and Four Megabytes

Un núcleo de Windows que arranca en una pestaña del navegador: 4 MB de sistema y 65 KB de emulador

Un equipo de Fable 5 ha construido nanokrnl, un núcleo NT escrito en Rust con forma de Windows real, y nanox, un emulador x86-64 a medida en Rust compilado a un único módulo WebAssembly de 65 KB, capaz de ejecutar ese núcleo directamente en el navegador y llegar a un símbolo C:\. ¿Por qué importa? P

nanokrnl nanox fable 5 windows nt rust
· Giant trees have no trouble pumping water to top branches

Los árboles gigantes no pierden capacidad hidráulica en las ramas superiores

Un estudio publicado en la revista Science desmiente la hipótesis de que la altura de los árboles tropicales limita el transporte de agua. La investigación, liderada por las universidades de Exeter y Cardiff, examinó dipterocarpos de entre 7 y 71 metros en Borneo malasio y concluyó que sus sistemas

dipterocarps tree hydraulics tropical forests borneo drought resilience
· Disputing the Declaration of Independence

Una olvidada contradeclaración británica frente a la independencia de EE UU

En el 250 aniversario de la Declaración de Independencia estadounidense, se ha publicado por primera vez un texto desconocido hasta ahora: los 'Outlines of a Counter-Declaration', una refutación encargada por el ministerio de Jorge III al abogado y propagandista John Lind entre agosto y septiembre d

declaration of independence american revolution united states united kingdom john lind
· We put a Redis server inside our runtime

Encore integra un servidor Redis en memoria dentro de su runtime en Rust

El framework Encore ejecuta el mismo código backend en desarrollo local, en pruebas y en producción, provisionando la infraestructura declarada por la aplicación. Para que el entorno local sea realmente útil, esa infraestructura debe estar presente en la máquina del desarrollador y comportarse como

encore rust redis typescript miniredis
· Steam Controller Auto-Charge: an open-source app that docks the controller into its magnetic puck via optical flow

Un proyecto open source aparca el Steam Controller en su base de carga con visión por computador y hápticos

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

steam controller opencv.js webhid computer vision rust
· Leanstral 1.5: Proof Abundance for All

Mistral presenta Leanstral 1.5, un modelo de código abierto que automatiza la verificación formal en Lean 4

La empresa francesa Mistral ha presentado Leanstral 1.5, un modelo de inteligencia artificial con licencia Apache 2.0 orientado a la ingeniería de demostraciones formales en el lenguaje Lean 4. El sistema, con 119.000 millones de parámetros totales y solo 6.000 millones activos, alcanza resultados d

mistral leanstral lean 4 formal verification open source
· Dispersion loss counteracts embedding condensation and improves generalization in small language models

Una nueva función de pérdida dispersa los embeddings y mejora los modelos de lenguaje pequeños

Un equipo de investigación ha descrito un fenómeno geométrico, bautizado como "condensación de embeddings", que afecta a los modelos de lenguaje pequeños y que podría explicar parte de la brecha de rendimiento frente a los modelos grandes. Cada capa del Transformer representa los tokens como vectore

embedding condensation dispersion loss small language models transformer geometry representation learning
· How Amsterdam invented the fire department - Works in Progress Magazine

Cómo Ámsterdam inventó el cuerpo de bomberos moderno en el siglo XVII

En el siglo XVII, Ámsterdam era probablemente la ciudad más rica del mundo. El comercio global y una industria pujante financiaron sus obras maestras artísticas, pero también multiplicaron los riesgos de incendio: hogares llenos de cortinas y muebles de madera, junto a fábricas, astilleros y almacen

amsterdam firefighting history jan van der heyden nicolaas van der heyden joan blaeu
· Software, from First Principles: From Mechanical Gears to Logic Gates

Software desde primeros principios: cómo la electricidad se convirtió en matemáticas

El artículo 'Software, from First Principles' desmitifica el funcionamiento interno de los ordenadores partiendo de ideas muy básicas, sin jerga técnica innecesaria. Su autor sostiene que, igual que conviene conocer nociones de física o biología para entender el entorno físico, hoy resulta imprescin

computing first principles logic gates binary arithmetic computer history
· Scientist dubbed The Bogfather is restoring peatlands in climate change fight

El «Bogfather» lleva 30 años restaurando turberas en Gales contra el cambio climático

El doctor Peter Jones, científico galés conocido como «The Bogfather», lleva tres décadas dedicado a restaurar turberas, humedales y marismas como solución basada en la naturaleza frente al cambio climático. Las turberas almacenan el 30 % del carbono terrestre de Gales pese a cubrir solo el 4 % de s

peatlands climate change wales restoration biodiversity
· Airbus fija 2030 como fecha para lanzar el sucesor del A320, bautizado como eAction

Airbus fija 2030 como fecha para lanzar el sucesor del A320, bautizado como eAction

Airbus prevé activar en 2030 el programa que sustituirá al A320, según declaró su consejero delegado, Guillaume Faury, en una entrevista con Aviation Week. El proyecto, con nombre interno eAction, entraría en su fase decisiva ese año y el nuevo avión de pasillo único comenzaría a entregarse a las ae

airbus a320 eaction guillaume faury aviación comercial
· Nerdle Review

Nerdle: la versión matemática de Wordle cumple tres años con una base sólida

Nerdle nació en un atasco de Londres en enero de 2022, cuando el científico de datos Richard Mann y su hija Imogen, atrapados en el coche, decidieron convertir el fenómeno Wordle en un juego de ecuaciones matemáticas. Su hijo Alex definió qué operaciones eran válidas y el desarrollador Marcus Tettma

nerdle wordle puzzle games maths games daily puzzles
· Disclosed CVEs: 3.5× Spike After Claude Mythos

Los CVEs divulgados se multiplican por 3,5 tras la presentación de Claude Mythos

El número de vulnerabilidades informáticas divulgadas se disparó tras el anuncio, en abril de 2026, del modelo Claude Mythos Preview por parte de Anthropic, capaz de detectar y explotar fallos de seguridad de forma autónoma. En junio, los CVEs de gravedad alta y crítica superaron en más de 3,5 veces

cve cybersecurity vulnerability disclosure claude mythos claude mythos preview
· The Demoralization of The White-Collar Worker — No One's Happy

La desmoralización del trabajador de cuello blanco:买不起房子的美国梦

Un profesional con dos décadas de experiencia laboral relata por qué siente que el sueño americano ya no está a su alcance, y los datos parecen darle la razón. Desde 1979, la productividad estadounidense creció un 90 %, pero la compensación por hora de los trabajadores típicos solo un 33 %: la brech

white-collar workers wages housing affordability home prices health insurance
· CCC: a ContextCodeCache generator for AI coding agents

CCC: un generador de caché de código para alimentar agentes de IA

CCC (ContextCodeCache) es una herramienta de línea de comandos, escrita en Rust, que analiza un proyecto y produce un directorio .ccc con un mapa compacto y legible por máquina de cada archivo fuente: constantes, funciones (con tipo de retorno y resumen de documentación), grafo de llamadas intra-arc

github rust tree-sitter tiktoken contextcodecache