· 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
· Doctors suspected man had brain cancer. He actually had worms.

Médicos creían que un hombre tenía cáncer cerebral y descubrieron larvas de tenia

Un hombre de 60 años en España acudió al médico por una cefalea persistente de dos semanas de evolución, acompañada de leves cambios de comportamiento. El examen neurológico reveló un leve retraso psicomotor y la analítica mostró elevación de inmunoglobulina E, un marcador asociado a respuestas alér

taenia solium neurocysticercosis parasitic infection spain emerging infectious diseases
· Introducing Flink's Native S3 FileSystem: Built for Performance, Designed for Production

Flink 2.3 estrena un sistema de archivos S3 nativo, sin Hadoop y el doble de rápido

Apache Flink estrena en su versión 2.3 un nuevo conector nativo para S3, llamado flink-s3-fs-native, que elimina la dependencia de Hadoop y duplica el rendimiento en operaciones de checkpoint. Hasta ahora, Flink obligaba a elegir entre dos plugins basados en Hadoop (uno compatible con escrituras exa

apache flink amazon s3 flink-s3-fs-native aws sdk v2 hadoop
· Python library adds Reed-Solomon ECC for OCR-safe printed codes

Biblioteca en Python aplica Reed-Solomon a códigos impresos para OCR

El repositorio chasangchual/reed-solomon-for-ocr ofrece corrección de errores optimizada para flujos de lectura óptica de códigos impresos: cupones, identificadores, etiquetas y cualquier documento generado en entornos de impresión poco fiables, como impresoras matriciales con pines dañados, cintas

reed-solomon ocr error correction python reed-solomon-for-ocr
· The Feds Just Reportedly Ordered NPS to Stay Silent on Visitor Deaths

El Departamento del Interior prohíbe al Servicio de Parques informar sobre muertes de visitantes

Un memorándum interno del Departamento del Interior de Estados Unidos, difundido en diciembre, prohíbe al personal del Servicio de Parques Nacionales (NPS) confirmar públicamente muertes o la gravedad de lesiones ocurridas en los 435 parques nacionales del país, según una investigación publicada por

national park service department of the interior washington post yosemite national park sequoia national park
· GitHub - neospe/autofit2: Automated end-to-end data preprocessing, model training, and evaluation pipeline

autofit2: pipeline automatizado de clasificación de textos en 50+ idiomas

autofit2 es una herramienta de código abierto que automatiza de principio a fin el preprocesamiento, el entrenamiento y la evaluación de modelos de clasificación de texto con aprendizaje few-shot. Está construida sobre las bibliotecas setfit y SBERT y permite obtener precisiones del 95 % al 99 % con

autofit2 few-shot learning text classification multilingual nlp setfit
· Prediction: A Frontier Open Source LLM Will Be Released On 3rd December 2026

La brecha entre modelos de código abierto y cerrados se reduce más despacio de lo que sugiere un gráfico viral

Un gráfico difundido en redes sociales proyecta que la distancia entre los modelos de lenguaje de código abierto y los propietarios se cerrará el 3 de diciembre de 2026, una fecha que el autor del análisis, firmado en el blog de Doubleword, califica de engañosa. El razonamiento parte del Artificial

open source llm benchmarking artificial analysis doubleword large language models
· hopscotch-map: a fast C++ hash map and hash set using hopscotch hashing

hopscotch-map: una biblioteca C++ de tablas hash rápidas mediante hopscotch hashing

hopscotch-map es una biblioteca de C++ únicamente de cabeceras (header-only) que implementa mapas y conjuntos hash de alto rendimiento basados en direccionamiento abierto y la técnica de hopscotch hashing para resolver colisiones. Su estructura, amigable con la caché, ofrece en la mayoría de los cas

c++ hash map hopscotch hashing open addressing header-only
· PlayStation Is Deleting Terminator 2 And 550 Other Movies

PlayStation borrará 551 películas, incluida Terminator 2, de las bibliotecas digitales de sus usuarios

Sony ha comenzado a notificar a los usuarios de PlayStation Store que 551 películas y series distribuidas por StudioCanal serán eliminadas de sus bibliotecas el 1 de septiembre, entre ellas Terminator 2, Total Recall, Confessions of a a Dangerous Mind, From Dusk Till Dawn y Cliffhanger. La compañía

playstation store sony studiocanal terminator 2 digital rights
· How People in China Keep Outsmarting Anthropic’s Geolocation Restrictions

Usuarios en China burlan las restricciones geográficas de Anthropic para acceder a Claude

Anthropic aplica medidas agresivas para impedir que personas en China accedan a Claude, como la verificación de identidad y el bloqueo de cuentas sospechosas, pero una economía clandestina creciente dentro del país permite sortear esos filtros. Tras el lanzamiento del modelo Fable 5 a principios de

anthropic claude china ai export controls vpn circumvention
· La NASA detecta los planetas más esponjosos conocidos: del tamaño de Júpiter, con la masa de un suspiro

La NASA detecta los planetas más esponjosos conocidos: del tamaño de Júpiter, con la masa de un suspiro

La misión TESS de la NASA ha identificado dos exoplanetas gigantes alrededor de la estrella TOI-791, situada a unos 1.113 años luz de la Tierra, que desafían la relación habitual entre tamaño y masa en los planetas. TOI-791 b tiene casi el diámetro de Júpiter pero solo el 3,0 % de su masa; TOI-791 c

nasa tess toi-791 b toi-791 c toi-791
· tau-tower: a web radio server for broadcasting audio streams online

tau-tower: servidor de radio web para retransmitir audio en streaming

tau-tower es un servidor de radio web de código abierto, desarrollado por la organización tau-org, que permite retransmitir una fuente de audio a múltiples clientes a través de internet. Su diseño está inspirado en el software Icecast y sirve un flujo de audio en formato HTML que puede incrustarse e

tau-tower tau-radio icecast asciinema caddy
· L-system

Sistema L: gramáticas formales para modelar el crecimiento vegetal

Un sistema L (o sistema de Lindenmayer) es un mecanismo formal de reescritura en paralelo que pertenece a la familia de las gramáticas formales. Se compone de un alfabeto de símbolos, un conjunto de reglas de producción que expanden cada símbolo en cadenas mayores, un axioma inicial y un mecanismo q

l-system lindenmayer system formal grammar rewriting system fractal
· Future generations being failed if more trees not planted, experts say

Expertos advierten de que Gales incumple sus objetivos de reforestación y compromete a las generaciones futuras

Organizaciones ambientales y el sector forestal advirtieron de que Gales avanzará solo hacia el 10 % de su objetivo de plantación de árboles para 2030, una cifra que amenaza los compromisos climáticos del país y deja en evidencia el fracaso en la protección de las generaciones futuras. La organizaci

wales tree planting climate change woodland trust energy and climate intelligence unit
· Russian citizens told "switch to Android" after Apple blocks key Russian apps

Apple bloquea apps clave rusas y usuarios son instados a pasarse a Android

Apple ha retirado en las últimas semanas de su App Store en Rusia dos aplicaciones fundamentales del ecosistema digital ruso: el mensajero estatal Max, bloqueado en la primera semana de junio, y la red social VKontakte, retirada el 25 de junio. Las instalaciones previas seguirán funcionando, pero Ap

apple russia app store vkontakte max messenger
· Microsoft built supercomputer to help OpenAI infringe copyrights, NYT alleged

The New York Times acusa a Microsoft de construir un superordenador para facilitar la infracción de OpenAI

The New York Times ha solicitado a un tribunal federal permiso para modificar su demanda por derechos de autor contra OpenAI y Microsoft y reforzar la acusación de infracción contributiva contra esta última. En un escrito judicial presentado el jueves, el diario neoyorquino alega que Microsoft const

openai microsoft the new york times copyright infringement artificial intelligence