· Trusted URLs Via Cryptographic Signatures

Certisfy permite compartir URL verificadas mediante firmas criptográficas

Certisfy incorpora una funcionalidad de 'stickers' que permite publicar firmas criptográficas en forma de claims verificables, lo que habilita compartir enlaces de confianza asociados a una identidad autenticada. Los usuarios pueden incluir URL dentro de claims de confianza y restringirlas por fuent

cryptographic signatures trusted urls verification ai content certisfy
· SDL_gp: a single-header high-performance 2D graphics painter for SDL3

SDL_gp: pintor 2D de alto rendimiento en un solo encabezado para SDL3

SDL_gp es una librería de gráficos 2D minimalista y de alto rendimiento distribuida como archivo de cabecera único (single header) para SDL3. Se trata de un port de sokol_gp, la conocida librería escrita por Eduard Nöth, adaptada para funcionar sobre SDL_gpu, la capa de aceleración por GPU de SDL3,

sdl3 sdl_gpu 2d graphics single-header library game development
· Going beneath NTFS: USN Journal, dfir_ntfs, and artefact-driven investigations

Bajo la superficie de NTFS: USN Journal, dfir_ntfs e investigación forense por artefactos

En una investigación forense digital sobre Windows, los atacantes experimentados borran registros de eventos, modifican marcas de tiempo y eliminan sus herramientas antes de exfiltrar datos. Sin embargo, NTFS conserva un rastro de auditoría distribuido en al menos tres estructuras independientes: la

ntfs digital forensics dfir usn journal mft
· Los mejores chollos que puedes comprar en Amazon hoy, 30 de julio

Cinco ofertas destacadas en Amazon para el 30 de julio, con eclipses y móviles en el centro

Xataka recopila cinco descuentos en Amazon España que pueden aprovecharse este miércoles 30 de julio. El más llamativo es el Google Pixel 10a, un smartphone de 6,3 pulgadas con pantalla pOLED de 3.000 nits, chip Tensor G4, 8 GB de RAM, 128 GB de almacenamiento y siete años de actualizaciones garanti

amazon chollos amazon google pixel 10a philips ambilight marshall major v
· Xiaomi presenta Skynomad: SUV de siete plazas con 1.705 km de autonomía desde 33.500 euros

Xiaomi presenta Skynomad: SUV de siete plazas con 1.705 km de autonomía desde 33.500 euros

Xiaomi, el gigante tecnológico chino, presentó esta semana Skynomad, su segunda marca de vehículos, con la que irrumpe en el segmento de los SUV eléctricos de rango extendido y siete plazas. En un evento encabezado por su fundador y CEO, Lei Jun, la compañía desveló dos modelos iniciales, el N70 y e

n70 max coche eléctrico rango extendido presentación n90 max
· Computer use is far from solved

Los agentes de uso informático están lejos de resolverse: el principal cuello de botella es la interfaz

Los agentes de uso informático están lejos de resolverse: el principal cuello de botella es la interfaz Aunque los modelos de lenguaje avanzan a pasos agigantados en tareas de programación, su capacidad para manejar un ordenador como lo haría un ser humano sigue siendo extremadamente limitada. Los

agentic ai automatización system 1 gui automation agentes de ia
· DOGE Veterans Are Landing Big Jobs at Prediction Markets

Veteranos de DOGE aterrizan en cargos clave de los mercados de predicciones

Polymarket contrató a finales de 2024 a Jonathan Mendelson, antiguo afiliado al Departamento de Eficiencia Gubernamental (DOGE) de Elon Musk, como alto ejecutivo estratégico, según revela WIRED. Antes de su paso por DOGE, Mendelson trabajó como inversor en la firma de capital riesgo Accel; durante s

prediction markets polymarket kalshi novig doge
· TechCrunch Disrupt 2026 reveals Disrupt Stage lineup with Amazon, Replit, Tether and more

TechCrunch Disrupt 2026 anuncia su cartel con Amazon, Replit y Tether como principales atractivos

TechCrunch ha revelado los primeros confirmados del Disrupt Stage de su conferencia Disrupt 2026, que se celebrará del 13 al 15 de octubre en el Moscone Center de San Francisco y estará dedicada a cómo construir, financiar y escalar empresas en la era de la inteligencia artificial. Entre los ponente

techcrunch disrupt techcrunch startup battlefield ai venture capital
· FTC sues Hims & Hers for allegedly sharing patients' medical data with advertisers Meta and Snap

La FTC demanda a Hims & Hers por compartir datos médicos con Meta y Snap

La Comisión Federal de Comercio de EE. UU. (FTC) ha demandado a la compañía de telesalud Hims & Hers por presuntamente compartir información médica y sanitaria de sus clientes con anunciantes y gigantes tecnológicos como Meta, Snap, Microsoft, Pinterest, Reddit y X, mediante píxeles de seguimiento i

ftc hims & hers meta snap telehealth
· El caza X-BAT completa la prueba de su motor y tobera para despegue vertical sin pista

El caza X-BAT completa la prueba de su motor y tobera para despegue vertical sin pista

Shield AI y GE Aerospace han completado en Peebles, Ohio, el encendido terrestre del motor F110-GE-129E con la tobera AVEN integrada del caza X-BAT, un avión de ataque pilotado por inteligencia artificial diseñado para despegar y aterrizar en vertical desde cualquier superficie, sin aeródromo ni pis

x-bat shield ai ge aerospace inteligencia artificial militar despegue vertical
· Rusia quiere detener al creador de Telegram. El motivo: un bot de citas

Rusia emite una orden de busca y captura contra Pavel Durov por un bot de Telegram

El FSB ruso ha incluido a Pavel Durov, fundador de Telegram, en su lista internacional de buscados, acusándolo de asistir a actividades terroristas. El detonante es el chatbot Daivinchik (@leomatchbot), en el registro de sitios prohibidos desde diciembre de 2025, que supuestamente permitía a agentes

telegram pavel durov rusia fsb ucrania
· PS6 y trazado de rayos: qué rendimiento podemos esperar

PS6 y trazado de rayos: por qué los rumores de rendimiento son inverosímiles

Los últimos rumores sobre PS6, difundidos por el canal Moore's Law is Dead, sostienen que la consola podría alcanzar un rendimiento en trazado de rayos equiparable al de una GeForce RTX 4090, una cifra que el sector considera inverosímil. La fuente ya había apuntado anteriormente a un nivel similar

ps6 playstation 6 trazado de rayos ray tracing rdna 5
· Raids across UK in crackdown on nuisance car finance texts

Redadas en el Reino Unido contra el acoso de mensajes sobre la estafa de financiación de coches

La Oficina del Comisionado de Información del Reino Unido (ICO) ejecutó el miércoles registros en domicilios y empresas vinculados a cinco sociedades de Liverpool, Londres, Bolton, Burnley y Swansea dentro de una ofensiva contra las compañías que saturan a la población con mensajes no deseados sobre

car finance mis-selling information commissioner's office financial conduct authority claims management companies spam texts
· La nave que iba a salvar un telescopio de la NASA ahora necesita que la salven a ella

La nave que debía rescatar al telescopio Swift sufre fallos y gira sin control en el espacio

La nave LINK, lanzada el 3 de julio por la NASA y Katalyst Space Technologies para rescatar al telescopio espacial Neil Gehrels Swift, sufre una grave incidencia técnica que la mantiene girando sin control desde el pasado fin de semana. Dos de sus ruedas de reacción, encargadas de orientar la nave,

nasa katalyst space technologies telescopio swift telescopio espacial hubble nave link
· A universal approach to mocking

Mocking universal mediante captura de efectos en Gleam

Este artículo presenta una técnica de mocking basada en la captura de efectos, aplicable a cualquier tipo de computación con efectos. El autor parte de un artículo previo donde mostraba cómo abstraer código síncrono, asíncrono y propenso a errores mediante continuaciones, una abstracción capaz de re

gleam continuations monads mocking testing
· Dashcam captures tornado toppling power lines onto car

Una cámara de tablero graba un tornado derribando cables de luz sobre un coche

Un vídeo obtenido por la BBC muestra cómo un tornado derriba cables de tendido eléctrico sobre un coche en el este de Wisconsin. La grabación, captada por una cámara de tablero (dashcam), ofrece una imagen directa del violento sistema de tormentas que azotó esa zona el 27 de julio, causando daños en

tornadoes severe weather thunderstorms wisconsin united states
· The AI Aesthetic

La estética de la IA: nuevos lenguajes visuales en el software

La irrupción de la inteligencia artificial está dejando una huella visual propia en el software. Cada corriente cultural introduce modas de diseño que a menudo se desdibujan, pero algunas se consolidan como patrones duraderos. El menú hamburguesa (≡), surgido por las limitaciones de pantalla en la e

ai design user interface software sparkle emoji
· The Alice and Bob After Dinner Speech

Alice y Bob: la biografía no autorizada que popularizó la criptografía

En abril de 1984, durante el Zurich Seminar, el ingeniero John Gordon pronunció la célebre "Alice and Bob After Dinner Speech", una conferencia humorística que se convirtió en uno de los textos fundacionales de la cultura criptográfica. Lejos de un paper técnico, Gordon ofreció una suerte de biograf

cryptography coding theory alice and bob information theory zurich seminar
· Are we stuck with Lean?

¿Estamos atrapados con Lean? Un debate sobre los asistentes de demostración matemática

La comunidad matemática debate si la adopción masiva de Lean como asistente de demostración interactiva (ITP) ha llegado a un punto de no retorno o si aún es viable apoyar una alternativa con base en teoría de conjuntos. El autor recuerda que hace tres años Lean ya acumulaba impulso gracias al Proye

lean metamath interactive theorem provers mathlib metamath zero
· Build internal tools with AI. Safely.

Prized: herramientas internas con IA y control de accesos empresarial

Prized es una plataforma que permite a los equipos de operaciones, soporte y finanzas construir sus propias herramientas internas mediante IA, sin necesidad de programar. La propuesta se centra en tres pilares de seguridad y gobernanza. Primero, los conectores con sistemas corporativos (como Salesfo

ai internal tools enterprise software data governance access control
· CosmosEscape: Taking Over Every Azure Cosmos DB

CosmosEscape: la vulnerabilidad crítica que habría permitido tomar el control de cada base de datos de Azure Cosmos

Investigadores de la firma de seguridad Wiz revelaron este lunes el hallazgo de una vulnerabilidad crítica en Azure Cosmos DB, el servicio estrella de bases de datos de Microsoft, que de haber sido explotada por actores malintencionados habría permitido tomar el control absoluto de cualquier base de

wiz research cosmosescape gremlin api cybersecurity multi-tenant cloud
· Grafana releases an AI SDK for Go with native compatibility for Vercel AI SDK React hooks

Grafana publica un SDK de IA para Go compatible con el frontend React de Vercel AI SDK

Grafana ha publicado ai-sdk, un SDK de código abierto en Go que permite a las aplicaciones llamar a modelos de lenguaje, transmitir respuestas en streaming, ejecutar herramientas y servir endpoints de inteligencia artificial desde el backend. La biblioteca ofrece una API unificada para generación de

ai sdk golang react server-sent events streaming
· What it means for an API to be RESTful

Qué significa realmente que una API sea RESTful: más allá de JSON sobre HTTP

La mayoría de los desarrolladores creen saber qué es una API RESTful, pero en realidad solo han seguido buenas prácticas del sector y leído mucha documentación sin comprender el modelo original. REST no es un interfaz HTTP, sino un estilo arquitectónico definido por Roy Fielding en su tesis doctoral

rest restful api hateoas hypermedia roy fielding
· How Old Is Ann? A 1903 Puzzle That Gripped America

El enigma de la edad de Ann: un acertijo que obsesionó a Estados Unidos en 1903

En 1903, un sencillo problema aritmético publicado en el New York World desató una oleada de respuestas, sátiras y adaptaciones en la prensa estadounidense. El enunciado decía: «Mary tiene 24 años. Es el doble de vieja que Ann cuando Mary tenía la edad que Ann tiene ahora. ¿Cuántos años tiene Ann?».

puzzles newspaper history new york world new york times early 20th century
· Why Don't People Use Formal Methods?

Por qué los métodos formales siguen sin usarse en la industria del software

Los métodos formales —herramientas matemáticas para especificar y verificar software— apenas se utilizan fuera de nichos académicos y de alta seguridad. Un análisis extenso repasa las razones históricas y estructurales de esta baja adopción y propone una mirada más matizada que los tópicos habituale

formal methods formal verification software engineering isabelle coq
· RFC 8890 - The Internet is for End Users

La Internet Architecture Board publica el RFC 8890: 'Internet es para los usuarios finales'

La Internet Architecture Board (IAB) ha publicado el RFC 8890, titulado 'The Internet is for End Users', en el que sostiene que el Internet Engineering Task Force (IETF) debe fundamentar sus decisiones de diseño de protocolos en lo que resulta beneficioso para las personas que utilizan la red y adop

rfc ietf iab internet governance internet architecture
· OpenJDK Interim Policy on Generative AI

OpenJDK prohíbe el contenido generado por IA en sus contribuciones

La comunidad OpenJDK, patrocinada por Oracle, ha aprobado una política provisional que prohíbe incluir contenido generado total o parcialmente por modelos de lenguaje, modelos de difusión o sistemas de aprendizaje profundo en cualquier contribución al proyecto. La medida afecta a código fuente, text

openjdk generative ai policy java open source
· Why Is Everyone Trying to Build a Solid-State Battery?

¿Por qué todos quieren fabricar una batería de estado sólido?

Las baterías de estado sólido son un tipo de batería de iones de litio en el que el electrolito líquido se sustituye por un material sólido. Fabricantes como el chino CATL, que en 2024 dedicaba más de mil personas a investigar esta tecnología, además de BYD, LG y Samsung, trabajan en su desarrollo,

solid-state batteries lithium-ion batteries battery technology electrolyte electric vehicles
· Flock surveillance cameras can pose a crash risk for drivers, US experts say

Las cámaras de vigilancia de Flock pueden suponer un riesgo de choque para los conductores

Expertos en seguridad vial de Estados Unidos advierten de que los postes que sostienen las cámaras automatizadas de lectura de matrículas (ALPR) de Flock Safety pueden convertirse en obstáculos peligrosos para los conductores, especialmente en zonas rurales y suburbanas donde las velocidades son más

flock safety alpr license plate readers roadside safety steve eimers
· Mitos y verdades sobre el tsunami en el Mediterráneo: qué dice la ciencia

Mitos y verdades sobre el tsunami en el Mediterráneo: qué dice la ciencia

Un bulo распроstrado en redes sociales asegura que la UNESCO ha alertado de un megatsunami de 300 metros en el Mediterráneo. No existe tal predicción: ni la UNESCO ni ningún organismo científico serio contemplan ese escenario, calificado por sismólogos como geológicamente imposible en la región. La

tsunami mediterráneo unesco desinformación sismología