· What It Means to Be a Mathematician When AI Does the Math

Qué significa ser matemático cuando la IA hace los cálculos

La irrupción de la inteligencia artificial en las matemáticas ha pasado en pocos años de la regurgitación de fórmulas básicas a la demostración autónoma de teoremas de nivel predoctoral. En el verano de 2025, sistemas de Google DeepMind y OpenAI alcanzaron la medalla de oro en la Olimpiada Internaci

· OpenAI lanza GPT 5.6, pero solo en Estados Unidos

OpenAI lanza GPT 5.6 en exclusiva para empresas estadounidenses por petición del Gobierno de EE. UU.

OpenAI ha presentado GPT 5.6, una nueva familia de modelos de inteligencia artificial compuesta por tres variantes: Sol, el más avanzado, con mejoras notables en razonamiento, programación y ciberseguridad; Terra, orientado a un equilibrio entre prestaciones y coste; y Luna, diseñado para respuestas

openai gpt-5 inteligencia artificial estados unidos departamento de defensa de ee. uu.
· Reservar GTA VI en digital hoy: una decisión más emocional que práctica

Reservar GTA VI en digital hoy: una decisión más emocional que práctica

La edición digital de GTA VI ya puede reservarse a casi cinco meses de su lanzamiento, previsto para el 19 de noviembre, y el artículo analiza si tiene sentido hacerlo con tanta antelación. La precarga arrancará el 12 de noviembre para todos los compradores, por lo que reservar antes no aporta venta

gta vi rockstar games reservas de videojuegos edición digital gta+
· Europe's deadly heatwave breaks German record and halts public events

La ola de calor bate récords en Alemania y obliga a cancelar actos públicos en Europa

La ola de calor que atraviesa Europa rompió este viernes registros históricos de temperatura en junio en Alemania, Bélgica, Países Bajos y Reino Unido, con 41,3 ºC provisionales en Sarrebruck, 40 ºC en Kleine Brogel (Bélgica), 39,4 ºC en Limburgo (Países Bajos) y 37,1 ºC en Cavendish, Suffolk. El Se

· OpenAI Is Delaying GPT-5.6 at the White House’s Request

OpenAI retrasa el lanzamiento de GPT-5.6 por exigencia de la Casa Blanca

OpenAI confirmó el viernes que retrasará el lanzamiento público de su nueva generación de modelos de inteligencia artificial, GPT-5.6, a petición de la Casa Blanca de Trump. La compañía repartirá primero los modelos a un grupo reducido de clientes previamente aprobados por el Gobierno estadounidense

· Apple raises iPad and MacBook prices, blaming cost of chips amid AI boom

Apple sube los precios del iPad y el MacBook por el coste de los chips ligado al 'boom' de la IA

Apple elevó este jueves los precios del iPad y el MacBook al asegurar que ya no puede seguir protegiendo a sus clientes del encarecimiento de los chips de memoria y almacenamiento, provocado por la construcción masiva de centros de datos para inteligencia artificial. La subida no afecta al iPhone, p

· What is China’s SpaceSail, and could it rival Elon Musk’s Starlink?

SpaceSail, el proyecto chino de internet satelital que apunta al trono de Starlink

SpaceSail, una empresa china respaldada por el Estado con varios cientos de satélites en órbita baja, ha anunciado que ya cuenta con la flota mínima para iniciar sus primeros servicios comerciales de internet satelital y que negocia con decenas de países para ofrecer cobertura. La compañía nace con

spacesail starlink spacex byd tesla
· Hellishly Slow Level 13 DEFLATE Compression

libdeflate añade el nivel 13: compresión DEFLATE más densa a costa de tardar 56 veces más

libdeflate incorpora un nivel de compresión 13 diseñado para exprimir al máximo el formato DEFLATE sin alterar la compatibilidad. El nivel produce una salida estándar, pero el codificador invierte mucho más tiempo en explorar coincidencias LZ77, optimizar tablas de Huffman y decidir dónde cortar los

deflate libdeflate compression silesia corpus lz77
· Hacker News Flipboard

Un tablero mecánico muestra las 20 principales historias de Hacker News

Hacker News Flipboard es una aplicación web que reproduce un tablero de salidas tipo split-flap con las veinte historias mejor posicionadas en la portada de Hacker News. Cada fila combina rango, puntuación y título en celdas mecánicas simuladas: el rango se muestra en naranja característico de HN, e

hacker news flipboard split-flap display quickish cloud function
· Gjallarhorn: a from-scratch web framework in Odin with no dependencies

Gjallarhorn: un framework web minimalista escrito desde cero en Odin

Gjallarhorn es un framework web escrito desde cero en el lenguaje Odin, sin dependencias externas de terceros. Reúne en un único paquete un servidor HTTP artesanal, un enrutador, una cadena de middleware en capas ("runes"), un motor de plantillas llamado Loom y un ORM para PostgreSQL —denominado Mím

odin gjallarhorn web framework postgresql orm
· The open source DOCX editor submitted to HN a few weeks ago has been deleted

Un editor DOCX de código abierto presentado en Hacker News desaparece tras sospechas de uso de IA

Un editor DOCX de código abierto para navegador, presentado días atrás en Hacker News mediante un 'Show HN', fue retirado y su repositorio borrado. En los comentarios del hilo original, varios usuarios apuntan como causa probable el uso intensivo de inteligencia artificial en el desarrollo: el autor

· Visual Basic on the PC w/Windows 3.1

Visual Basic en el PC con Windows 3.1: el nacimiento de un entorno de programación visual

Este artículo recorre la historia de Visual Basic, el entorno de programación visual de Microsoft lanzado en 1991 para Windows 3.0 y consolidado con Windows 3.1, situándolo como contrapunto al HyperCard de Apple y enmarcándolo dentro de la estrategia competitiva de Bill Gates. El texto parte de una

visual basic windows 3.1 microsoft bill gates alan cooper
· PlayStation Store eliminará contenido de StudioCanal ya comprado por los usuarios

PlayStation Store eliminará contenido de StudioCanal ya comprado por los usuarios

PlayStation Store eliminará contenido de StudioCanal ya comprado por los usuarios A partir del 1 de septiembre de 2026, miles de usuarios de PlayStation Store en España y Reino Unido perderán acceso a películas y series que compraron previamente a través de la plataforma. Sony ha confirmado la reti

videoteca digital consumidores sony licencias studiocanal
· Why GTA 6 is launching without a disc - and what it says about gaming's future

GTA 6 se venderá sin disco: el fin de una era en los videojuegos

GTA 6, el esperado videojuego de Rockstar, estará disponible en formato físico únicamente como caja con código de descarga digital, sin disco. La preventa se abrió el miércoles y generó decepción entre los aficionados que esperaban adquirir una copia física del título, cuyo lanzamiento está previsto

gta 6 rockstar games take-two interactive playstation 5 xbox series x
· John Gruber bids farewell to Om Malik, the journalist who reinvented himself as an essayist

John Gruber despide a Om Malik, el periodista que se reinventó como ensayista

El periodista y ensayista tecnológico Om Malik falleció el 24 de junio de 2026, según informó su amigo John Gruber en Daring Fireball. Malik llevaba hospitalizado en la UCI del hospital Stanford desde mediados de abril a la espera de un trasplante de corazón. Gruber lo describe como una figura singu

om malik john gruber daring fireball gigaom true ventures
· Making Sense of Proof by Contradiction

Cómo dar sentido a la demostración por contradicción

La demostración por contradicción es una de las herramientas más potentes de las matemáticas, pero suele presentarse a los estudiantes de forma inadecuada, a juicio del matemático y educador Colin Foster. En su artículo 'Making Sense of Proof by Contradiction', Foster sostiene que el ejemplo canónic

mathematics proof by contradiction mathematics education euclid g h hardy
· FTC gives Musk the OK to acquire SpaceX alumni startup Mesh

La FTC da luz verde a Musk para comprar la startup Mesh, fundada por exempleados de SpaceX

Elon Musk avanza en la adquisición de Mesh Optical Technologies, una startup fundada en 2024 por tres exempleados de SpaceX que desarrolla hardware óptico para comunicaciones rápidas en centros de datos. La operación se conoció a través de un expediente de la Comisión Federal de Comercio (FTC), que

spacex elon musk mesh optical technologies ftc thrive capital
· Universal Is Skipping Influencer Screenings for ‘The Odyssey.’ Film Critics Are Thrilled

Universal prescindirá de los pases para influencers en ‘The Odyssey’; los críticos aplauden la decisión

Universal Studios ha decidido no organizar los pases previos para influencers de ‘The Odyssey’, la esperada adaptación de la Odisea de Homero dirigida por Christopher Nolan, según informó The Hollywood Reporter. La medida, interpretada como un signo de confianza en la película, ha sido celebrada por

the odyssey christopher nolan universal studios film marketing influencer screenings
· LLM Policy

Política de uso de LLM en contribuciones a proyectos de software

La organización publica su política revisada el 26 de junio de 2026 sobre el uso de modelos de lenguaje de gran tamaño (LLM) en sus proyectos de código abierto. La norma prohíbe incluir contenido generado por LLM, ya sea en código o en documentación, en cualquier contribución realizada por humanos.

llm policy open source contributions code of conduct vulnerability reporting
· We Can Still Stop California’s 3D Printer Surveillance Scheme

La Asamblea de California aprueba AB 2047, que obligaría a vigilar las impresiones 3D

La Asamblea del Estado de California ha dado luz verde al proyecto de ley AB 2047, que obligaría a los fabricantes a integrar software de vigilancia en las impresoras 3D para bloquear la impresión de armas de fuego sin licencia. La EFF advierte de que la medida, ignorando sus advertencias, censura e

ab 2047 california state assembly california state senate eff 3d printing
· South Korea plans to train entire military as "drone warriors"

Corea del Sur formará a sus 450.000 soldados como operadores de drones

Corea del Sur anunció un plan para entrenar a la totalidad de sus aproximadamente 450.000 militares en el uso de drones, con el objetivo de convertirlos en una "herramienta de combate universal" tan habitual como el arma personal. El ministro de Defensa, Ahn Gyu-back, presentó la iniciativa el 26 de

south korea north korea drones military ahn gyu-back
· Designing a personal Pebble watchface

Diseñar una watchface de Pebble a medida: el proceso creativo de un desarrollador

El desarrollador Jonas Hietala relata en un extenso blog post el proceso de diseño y construcción de una watchface personalizada para su nuevo Pebble Time 2, un smartwatch que destaca por sus aproximadamente cuatro semanas de autonomía y por mantenerse al margen del ecosistema de Google, Apple y Sam

pebble pebble time 2 watchface claude prototyping
· DBOSify: a Postgres-backed drop-in replacement for Temporal in Python

DBOSify: un sustituto de Temporal para Python respaldado por Postgres

DBOSify es una biblioteca de Python que actúa como sustituto directo de Temporal Python, pero utiliza Postgres —a través de DBOS Transact— como infraestructura en lugar de un servidor de Temporal. Esto permite ejecutar flujos de trabajo duraderos, actividades, señales, actualizaciones, reintentos y

dbosify dbos transact temporal python postgres durable workflows
· Why does kinetic energy increase quadratically, not linearly, with speed?

Por qué la energía cinética crece con el cuadrado de la velocidad y no de forma lineal

La energía cinética de un objeto depende de su masa y de su velocidad, pero ¿por qué la relación con la velocidad es cuadrática y no lineal? Este artículo didáctico responde a la pregunta partiendo de una idea previa: lo que hace útil a la energía es que puede transformarse entre formas —cinética y

physics kinetic energy energy conservation newton's laws galilean invariance
· A Tiny Compiler for Data-Parallel Kernels

Un compilador mínimo para entender cómo se paralelizan los kernels de datos

El artículo describe un compilador experimental de unas 180 líneas de Python, disponible en GitHub, que realiza una fase de "lowering" sobre kernels: transforma bucles `for` convencionales en bucles `vector_for` en los que el paralelismo de datos queda explícito. La entrada es un AST pequeño escrito

compilers simd simt data parallelism kernel lowering
· Lippmann Emulsion Making Workflow

Cómo fabricar una emulsión fotográfica Lippmann paso a paso

La emulsión Lippmann es una emulsión de gelatina con haluros de plata pensada para la fotografía en color por interferencia, un procedimiento fotográfico especial que permite registrar el espectro visible como una estructura de capas muy finas dentro de la emulsión. Aunque comparte las fases básicas

lippmann photography photography emulsion making silver gelatin darkroom
· Corgi denies stealing Papermark's open source code and escalates dispute with cease and desist

Corgi niega haber copiado el software de Papermark y envía una carta de cese y desistimiento

La insurtech Corgi, respaldada por Y Combinator, negó haber robado código de Papermark, el creador de un software de código abierto para salas de datos, tras la acusación pública lanzada por el cofundador de Papermark, Marc Seitz, en la red social X. Seitz compartió capturas que mostraban que el nue

· Long Wave radio era set to end with Droitwich switch-off

Comienza una campaña para proteger los mástiles de Long Wave cuando finalice la era de la BBC

La BBC apagará este sábado a las 00:01 BST su servicio de Long Wave (onda larga) tras casi un siglo de emisiones, poniendo fin a una era de la radiodifusión británica. Los mástiles de Wychbold, de 213 metros de altura y situados en el campo de Worcestershire, junto a la localidad de Droitwich, lleva

long wave radio bbc droitwich transmitting station wychbold masts twentieth century society
· Streaming services' obnoxiously loud ads become illegal on July 1 in California

California prohíbe desde el 1 de julio los anuncios excesivamente altos en plataformas de streaming

El 1 de julio de 2026 entra en vigor en California una ley que prohíbe a las plataformas de streaming emitir anuncios con un volumen superior al del contenido que se está reproduciendo. La normativa, recogida en el proyecto de ley SB 576, fue firmada por el gobernador Gavin Newsom en octubre de 2025

california streaming advertising sb 576 calm act