· How to Find Bugs in Systems That Don't Exist

Cómo encontrar fallos en sistemas que no existen: métodos formales para programadores

Hillel Wayne, autor de "Logic for Programmers" y especialista en métodos formales, ofreció esta charla en la conferencia Software Should Work (SSW) 2026 titulada "How to Find Bugs in Systems That Don't Exist". La presentación introduce los métodos formales, disciplina que usa matemáticas para analiz

formal methods software verification distributed systems concurrency bugs safety properties
· PSA: Apple's Private Relay can leak your real IP address

Una falla en Private Relay de Apple filtra la dirección IP real del usuario

Investigadores de seguridad descubrieron que la función Private Relay de Apple, pensada para ocultar la dirección IP al navegar con Safari, puede ser burlada y revelar la IP real del usuario. Talal Haj Bakry y Tommy Mysk, autores del hallazgo, publicaron este martes un análisis técnico en el que det

apple private relay webkit safari icloud+
· EEUU tiene menos ascensores que España pese a tener una población siete veces mayor. La explicación está en una camilla médica

Por qué Estados Unidos tiene menos ascensores que España: la culpa la tiene una camilla

Estados Unidos, pese a tener una población aproximadamente siete veces superior a la española, dispone de un parque de ascensores más reducido que el de España, según datos recogidos por The Washington Post. La paradoja se explica por una normativa técnica que obliga a dimensionar las cabinas para a

ascensores normativa de construcción vivienda accesibilidad urbanismo
· DHS Is Hiring Bounty Hunters to Find and Photograph Deported People's Homes Abroad

EE UU contrata cazarrecompensas para localizar y fotografiar en el extranjero las casas de personas deportadas

El Servicio de Aduanas y Protección Fronteriza de Estados Unidos (CBP) busca contratar investigadores privados para localizar en México, Honduras, Guatemala y otros países a inmigrantes deportados y a personas que hayan salido del país, con el fin de exigirles el pago de multas pendientes. El progra

us customs and border protection department of homeland security immigration and customs enforcement tracing and payment recovery services deportation
· Sure seems like Fenix Flexin used AI music generator Treblo

La herramienta de detección de Treblo confirma que el éxito de Fenix Flexin fue generado con su IA

La plataforma de generación musical con inteligencia artificial Treblo lanzó esta semana un clasificador de código abierto capaz de identificar canciones producidas con su propio modelo, y su primera prueba pública apunta directamente a Fenix Flexin. El sistema determinó, con alta confianza y una ta

ai music fenix flexin treblo rubberz billboard hot 100
· Mirar el reloj en vez del móvil: la estrategia consciente para evitar distracciones digitales

Mirar el reloj en vez del móvil: la estrategia consciente para evitar distracciones digitales

Encender la pantalla del smartphone para tareas tan breves como consultar la hora o poner un temporizador se ha convertido en una trampa de atención. Un estudio de la Universidad de Toronto que analizó los hábitos de uso de dispositivos portátiles concluyó que las interacciones cortas de consulta en

smartphones relojes inteligentes pulseras inteligentes distracción digital hábitos tecnológicos
· Apple's selling refurbished MacBook Neos with a $100 discount

Apple vende MacBook Neo reacondicionados con 100 dólares de descuento

Apple ha vuelto a poner a la venta su portátil más económico, el MacBook Neo, en el programa de productos reacondicionados de su tienda oficial y al precio anterior a la última subida. El modelo base con 256 GB de almacenamiento cuesta 599 dólares (frente a los 699 dólares del equipo nuevo), mientra

apple macbook neo refurbished deals razer wolverine v3
· When "no healthy upstream" isn't about the upstream you think

Por qué 'no healthy upstream' no siempre señala al origen que crees

Detrás de un error intermitente del tipo 'no healthy upstream' no siempre está la causa que parece más obvia. Este artículo analiza un caso real en un backend de búsqueda donde la explicación inicial apuntaba a la limitación de CPU, pero las pruebas desmontaron esa hipótesis: no había trabajos inten

distributed systems load balancer datastore kubernetes observability
· HyperProbe: read-only live probes that confirm root cause without redeployment

HyperProbe: depuración en producción con sondas de solo lectura sin pausar el servicio

HyperProbe es una herramienta de observabilidad para servicios en producción que coloca sondas de solo lectura y no bloqueantes en la línea exacta de código donde se origina un fallo. Captura el estado de variables en tiempo real, sobre tráfico real, y desaparece tras la captura, de forma que el ser

hyperprobe observability incident response production debugging node.js
· What is Distributed Key Generation (DKG)?

Generación distribuida de claves (DKG): cómo crear un secreto compartido sin intermediario de confianza

La generación distribuida de claves, conocida como DKG, es un protocolo de computación multipartita (MPC) que permite a un grupo de participantes crear una clave criptográfica compartida sin que ninguna persona llegue a poseer la clave completa en un único lugar. Esta técnica resulta util para gener

distributed key generation multiparty computation secret sharing threshold cryptography cryptocurrency wallets
· Hark previews its browser use agent for completing tasks

Hark presenta Handoff, un agente que opera navegadores para ejecutar tareas

Hark, la startup que captó 700 millones de dólares en una ronda Serie A en mayo, presentó este martes a Handoff, un agente capaz de manejar un navegador para completar tareas en nombre del usuario. La compañía asegura que la herramienta navega sin dificultad por sitios web sin API oficiales, como Ta

hark hark handoff browser-use agent artificial intelligence series a funding
· Reddit is introducing a new moderator: AI

Reddit incorpora la IA como nuevo moderador y restringirá las API de terceros

Reddit ha anunciado este miércoles una batería de cambios profundos en su infraestructura y herramientas de moderación, con la inteligencia artificial como eje central. La plataforma introduce Rules Hub, un nuevo sistema de moderación automatizada basado en modelos de lenguaje de gran tamaño (LLM) q

scraping de datos scraping desarrolladores old reddit inteligencia artificial
· Discovery Loop: new venture by Jeff Dean and Oriol Vinyals to automate scientific discovery

Discovery Loop: la nueva empresa de Jeff Dean y Oriol Vinyals para automatizar el descubrimiento científico

Discovery Loop es una nueva empresa fundada por Jeff Dean, Sanjay Ghemawat, Quoc Le y Oriol Vinyals, con el objetivo de automatizar los ciclos experimentales de la investigación científica y la ingeniería mediante modelos de inteligencia artificial de frontera e infraestructura computacional a gran

discovery loop artificial intelligence machine learning scientific discovery automation
· Shopify says AI search is driving more traffic and sales, not replacing Google

Shopify atribuye a la búsqueda con IA parte del impulso de sus resultados trimestrales

Shopify presentó resultados del segundo trimestre que superaron las previsiones del mercado y vinculó ese desempeño, en parte, al crecimiento del tráfico procedente de búsquedas con inteligencia artificial. El presidente de la compañía, Harley Finkelstein, sostuvo en la earnings call que la IA actúa

shopify harley finkelstein artificial intelligence e-commerce earnings
· Hacienda puede tratar como donación que los padres firmen como deudores solidarios en la hipoteca del hijo

Hacienda puede tratar como donación que los padres firmen como deudores solidarios en la hipoteca del hijo

La notaria alicantina María Cristina Clemente advierte de una práctica bancaria habitual que puede acarrear consecuencias fiscales inesperadas para las familias: cuando los padres firman como deudores solidarios la hipoteca de la vivienda de su hijo —en lugar de como simples avalistas—, la Agencia T

hipoteca deudor solidario hacienda donaciones impuesto sobre sucesiones y donaciones
· The "Disability Dongle": Why Silicon Valley Hates Me and you.

El «cacharro de la discapacidad»: por qué Silicon Valley me odia a mí y a ti

Un ensayo crítico define el concepto de «cacharro de la discapacidad» (Disability Dongle): dispositivos tecnológicamente llamativos, caros y premiados en concursos de ingeniería que, sin embargo, no resuelven el problema real al que dicen atender. La pieza argumenta que este enfoque, típico de Silic

accessibility disability rights silicon valley assistive technology ableism
· ASUS ROG USB-C10 G, un dongle USB Ethernet de 10 Gbps

ASUS lanza el ROG USB-C10 G, un adaptador USB-C a Ethernet de 10 Gbps

ASUS ha presentado el ROG USB-C10 G, un dongle USB-C que ofrece conexión Ethernet de hasta 10 Gbps, diez veces más rápido que el Gigabit estándar, según informó la compañía. El dispositivo está pensado para usuarios que necesitan red de alta velocidad en equipos sin ranura PCIe libre, como portátile

asus rog usb-c10 g ethernet 10 gbps usb tipo-c
· Stop Sending Me Your Errors

El mal uso de multipart/alternative: por qué enviar errores como texto plano es contraproducente

Muchos sistemas de correo envían mensajes multipart/alternative en los que la parte text/plain no contiene el contenido equivalente del correo, sino un mensaje de error como "Plain text version not available" o instrucciones publicitarias. El estándar RFC 2046 de la IETF define multipart/alternative

email mime multipart/alternative rfc 2046 text/plain
· 4 of Google's Top AI Brains Are Leaving—and Launching Their Own AI Startup

Cuatro cerebros de la IA de Google crean Discovery Loop para automatizar el método científico

Cuatro cerebros de la inteligencia artificial de Google —figuras clave en el desarrollo de los modelos más avanzados del gigante tecnológico— han anunciado oficialmente la creación de Discovery Loop, una startup centrada en automatizar el método científico mediante sistemas de IA. La salida simultán

discovery loop oriol vinyals sanjay ghemawat inteligencia artificial automatización científica
· Meta Ran Ads That Contained AI-Generated Child Sexual Abuse Imagery

Meta difundió durante nueve meses anuncios con imágenes de abuso sexual infantil generadas con IA

Meta, la empresa de Mark Zuckerberg, mantuvo en circulación durante nueve meses decenas de anuncios pagados que incluían material de abuso sexual infantil generado con inteligencia artificial e imágenes de menores acompañadas de textos sexualmente sugerentes, según reveló una investigación del Tech

meta facebook instagram child sexual abuse material ai-generated imagery
· La 'Madonna' de Miguel Ángel en Brujas: robada por Napoleón y rescatada de los nazis

La 'Madonna' de Miguel Ángel en Brujas: robada por Napoleón, rescatada de los nazis

La 'Virgen con el Niño' de la iglesia de Nuestra Señora de Brujas, en Bélgica, es una de las pocas esculturas de Miguel Ángel que salieron de Italia en vida del artista y la más célebre de la ciudad. Tallada en mármol de Carrara, mide 128 centímetros y fue encargada en 1502 por el comerciante flamen

miguel ángel virgen con el niño brujas bélgica napoleón
· El éxito de 'Spider-Man: Brand New Day' y la cancelación de 'Blade' son las dos caras de Marvel, pero su motivo es el mismo

El éxito de 'Spider-Man: Brand New Day' y la cancelación de 'Blade' muestran el mismo problema de Marvel

'Spider-Man: Brand New Day' ha logrado la mayor apertura doméstica de la historia, por delante de 'Endgame', con un arranque que recupera al Peter Parker callejero y mundano que los lectores de cómics reconocen. Sin embargo, su segunda mitad se diluye con cameos de The Punisher y Hulk y con la funci

marvel mcu spider-man brand new day blade mahershala ali
· Voreingestellte Datenlecks: Wie Werbe-SDKs Entwickler zum Tracking verleiten

Werbe-SDKs filtran datos de ubicación por defecto, según la EFF

Una investigación de la Electronic Frontier Foundation (EFF) denuncia que varios kits de desarrollo publicitarios (SDK) transmiten de fábrica los datos de ubicación de los usuarios a redes de anuncios, sin que muchos desarrolladores lo sepan. La lógica de las subastas en tiempo real (Real-Time Biddi

datenschutz standortdaten werbe-sdk real-time bidding eff
· SpaceX is barely Space and mostly X

SpaceX ya es sobre todo X: cohetes al fondo, centros de datos al frente

SpaceX presentó sus primeros resultados trimestrales como empresa cotizada y los números revelan un giro respecto a su imagen pública. El negocio espacial facturó poco más de 1.000 millones de dólares, en torno al 10 % del total, mientras que Starlink generó 4.200 millones y fue la única división co

spacex xai starlink grok neocloud
· Google DeepMind CEO Demis Hassabis is stepping aside

Demis Hassabis deja la dirección de Google DeepMind y asume la presidencia

Google reorganiza su división de inteligencia artificial en un momento crítico para la carrera por la inteligencia artificial general (AGI). Demis Hassabis, Nobel de Química en 2024 y hasta ahora consejero delegado de Google DeepMind, dejará la dirección operativa de la unidad para asumir la preside

discovery loop koray kavukcuoglu isomorphic labs alphabet inteligencia artificial
· The Law of Jante by Michael Booth

La ley de Jante: cómo un escritor danés marcó el carácter nórdico

El escritor danés Aksel Sandemose, nacido en 1899 en Nykøbing Mors (Jutlandia), es el creador involuntario de un concepto social que sigue vigente en la cultura nórdica: la Ley de Jante. Pese a su biografía azarosa —huidas a Canadá, regresos clandestinos a Dinamarca, estancias en Noruega y Suecia, a

law of jante aksel sandemose denmark copenhagen jutland
· Western Sahara: Africa's last unresolved colony

Sáhara Occidental: el último colonialismo africano sin resolución

El Sáhara Occidental es un territorio no autónomo reconocido por la ONU en el noroeste de África, con una superficie de 272.000 km² y unos 600.000 habitantes, lo que lo convierte en el más despoblado de África y el segundo del mundo, solo por detrás de Groenlandia. La ONU lo califica como la última

western sahara morocco mauritania algeria spain
· Oracle Just Halved Its Always Free ARM Limits — Here's Exactly What to Do Before August 18, 2026

Oracle recorta a la mitad la cuota ARM de Always Free: qué hacer antes del 18 de agosto de 2026

Oracle reducirá a la mitad, a partir del 18 de agosto de 2026, la cuota gratuita Always Free para instancias ARM Ampere A1: el límite pasará de 4 OCPUs y 24 GB de RAM a 2 OCPUs y 12 GB, como pool total por tenancy. Los usuarios que superen esa cifra verán sus instancias terminadas automáticamente. L

oracle cloud oracle cloud infrastructure always free ampere a1 arm
· Fed's Kashkari says 'now is the time to start slowly moving' rates up

Kashkari insta a la Fed a empezar a subir tipos poco a poco ya

El presidente de la Reserva Federal de Mineápolis, Neel Kashkari, defendió este miércoles que es el momento de iniciar una subida gradual de los tipos de interés para frenar la inflación y evitar encarecimientos más bruscos en el futuro. En una entrevista en CNBC desde el Aspen Ideas Festival (Color

federal reserve fomc interest rates inflation monetary policy