· Exclusive: US government lab is probing Chinese-made lidar for security vulnerabilities

Un laboratorio del Departamento de Energía investiga sensores lidar chinos por posibles riesgos de seguridad

El Laboratorio Nacional de Idaho, dependiente del Departamento de Energía de EE. UU., está analizando si los sensores lidar de fabricación china pueden suponer un riesgo de ciberseguridad si se generalizan en los vehículos del país, según ha sabido TechCrunch por dos fuentes conocedoras del estudio,

lidar chinese lidar idaho national laboratory department of energy hesai
· Why is the DOJ investigating Andreessen Horowitz's board seats? | TechCrunch

Por qué el Departamento de Justicia investiga los asientos en juntas de Andreessen Horowitz

Andreessen Horowitz tiene a dos socios sentados en los consejos de administración de dos empresas que ahora compiten entre sí: Ben Horowitz en Databricks y Martin Casado en Fivetran. Aunque la situación no parece escandalosa a primera vista, el Departamento de Justicia de Estados Unidos investiga de

venture capital antitrust andresseen horowitz databricks fivetran
· Hello, world!

Rust Glancer, una alternativa a rust-analyzer con bajo consumo de RAM

Rust Glancer es una implementación alternativa del Language Server Protocol (LSP) para Rust, desarrollada durante cuatro meses con el objetivo de reducir el consumo de memoria y permitir la reutilización del índice entre sesiones. Su consumo se sitúa por debajo de 100 MB en proyectos razonables y pe

rust rust-analyzer lsp vs code memory usage
· GEN-1.5: un robot aprende una tarea tras observar una sola demostración de segundos

GEN-1.5, el robot que aprende una tarea con sólo observar una demostración de segundos

La empresa de robótica Generalist AI ha presentado GEN-1.5, un modelo capaz de aprender una tarea nueva tras observar una única demostración física de entre tres y doce segundos, sin necesidad de crear nuevos conjuntos de datos ni hacer ajuste fino. La técnica, bautizada como physical prompting, tra

generalist ai gen-1.5 physical prompting robótica inteligencia artificial
· I Just Want to Search

La búsqueda ha dejado de servir al usuario

Un ensayo que reflexiona sobre el deterioro de las funciones de búsqueda dentro de productos digitales cotidianos como Gmail, YouTube, Amazon y los marketplaces de segunda mano. El autor describe cómo, al buscar un receptor de AV por su número de modelo exacto entre comillas, las plataformas devuelv

· steppewm: a minimal stacking Wayland window manager

steppewm: un gestor de ventanas Wayland apilable, ligero y tematizable

steppewm es un gestor de ventanas para Wayland, de tipo apilable (stacking), construido sobre wlroots y pensado para usuarios que prefieren ventanas flotantes que se solapan, con barras de título y una barra de tareas al estilo IceWM. El proyecto ocupa poco espacio, es configurable y se distribuye c

wayland wlroots steppewm icewm window manager
· Every shape can be cut in half at any angle (and why humans can't eyeball it)

Cualquier figura se puede cortar en dos mitades iguales a cualquier ángulo (y por qué al ojo humano le cuesta)

Cualquier región plana con área positiva puede dividirse en dos mitades exactas mediante una recta en cualquier orientación. Esa garantía se apoya en el Teorema del Valor Intermedio: al deslizar una línea a través de la figura, el área acumulada en uno de sus lados pasa de forma continua de cero al

mathematics geometry intermediate value theorem ham sandwich theorem bisecto
· Pushing the Speed-Cost Frontier for Qwen3-TTS

Una implementación open source de Qwen3-TTS alcanza sub-50 ms de latencia en una sola H100

Nari Labs presenta una implementación open source del modelo de síntesis de voz Qwen3-TTS CustomVoice 1.7B que alcanza 10 peticiones por segundo (RPS) con un tiempo al primer audio (TTFA) inferior a 50 milisegundos en percentil 95 sobre una única GPU NVIDIA H100 SXM. El equipo comparó su sistema con

qwen3-tts nari labs nvidia h100 vllm-omni sglang-omni
· Machine Logic: How I came to write THAT paper with Leslie Lamport

La pelea por los tipos: cómo terminé coescribiendo un artículo con Leslie Lamport

En 1992, Leslie Lamport, conocido por sus trabajos en sistemas distribuidos y por haber creado LaTeX, publicó una nota titulada "Types Considered Harmful", en la que defendía que los lenguajes de especificación debían basarse en formalismos no tipados (una suerte de teoría de conjuntos) en lugar de

type theory set theory formal verification toplas latex
· Seven months governing a personal AI agent fleet under a written constitution. Zero incidents.

Una constitución escrita para una flota de agentes de IA: siete meses, cero incidentes

Un desarrollador solitario relata cómo, hace siete meses, redactó una constitución escrita antes de permitir que sus agentes de inteligencia artificial tocasen sistemas reales. El documento, que no es un prompt ni un mensaje de sistema, define qué puede y qué no puede hacer cada agente, quién audita

ai agents agent governance constitution append-only ledger fail-safe
· Omacom Foundation launches with $8 million in founding pledges

La fundación Omacom arranca con ocho millones de dólares de financiación

El creador de Omarchy Quattro ha anunciado la incorporación de la Omacom Foundation, una organización sin ánimo de lucro que asumirá la propiedad de las marcas, financiará la infraestructura y respaldará los proyectos de código abierto en los que se basa su sistema operativo. La fundación arranca co

omacom foundation omarchy quattro linux open source shopify
· Obfuscation (Part III): Local Mixing

Ofuscación (Parte III): la mezcla local

En la tercera entrega de esta serie sobre ofuscación criptográfica (iO), el autor aborda una tercera familia de protocolos bautizada como "mezcla local", distinta de las dos líneas anteriores —la conservadora basada en supuestos criptográficos estándares con sobrecarga galáctica y la "iO diamante",

obfuscation cryptography local mixing indistinguishability obfuscation symmetric cryptography
· AgentSight: zero-instrumentation eBPF observability for AI Agents

AgentSight: observabilidad de agentes de IA sin modificar código, basada en eBPF

AgentSight es una herramienta de observabilidad para agentes de inteligencia artificial que no requiere modificar el código de la aplicación. Funciona sobre eBPF, una tecnología del kernel de Linux que permite capturar eventos del sistema con muy poca sobrecarga, y se instala con un único comando (`

agentsight ai agent observability ebpf llm token analysis systemd service
· Cancer-Related Mortality Among US Pilots and Flight Attendants

Mortalidad por cáncer en pilotos y auxiliares de vuelo estadounidenses: un estudio de cohorte nacional

Los pilotos y auxiliares de vuelo constituyen el grupo ocupacional estadounidense que recibe la mayor dosis media anual de radiación ionizante, fundamentalmente a causa de los rayos cósmicos presentes a las altitudes de crucero del transporte aéreo comercial. Aunque las posibles consecuencias de est

aircrew cancer mortality ionizing radiation cosmic radiation occupational health
· AI Boosted Homework Scores by 18% — Then Exam Scores Dropped 20%, Study Shows

Un estudio detecta que la IA sube las notas de deberes pero baja las de exámenes

Los alumnos que utilizan herramientas de inteligencia artificial para hacer sus deberes mejoran sus calificaciones en un 18%, pero rinden un 20% por debajo de sus compañeros en los exámenes realizados sin ayuda tecnológica. Es la principal conclusión de uno de los estudios más amplios publicados has

doubao education china inteligencia artificial exam performance
· Waymo doubles spending on lobbying in robotaxi battle with Uber

Waymo duplica su gasto en lobbying para presionar a los reguladores de los robotaxis frente a Uber

Waymo, filial de Alphabet, multiplicó por más de dos su gasto en lobbying ante el Gobierno federal de Estados Unidos entre abril y junio, al superar el millón de dólares, frente a los algo más de 500.000 dólares del mismo trimestre del año anterior, según las declaraciones oficiales. En el primer se

waymo uber robotaxis lobbying alphabet
· Enabling the next-generation trait solver on nightly

Rust activa por defecto en nightly su nuevo resolvedor de traits

El equipo de Rust ha activado por defecto en el canal nightly el nuevo resolvedor de traits (next-generation trait solver), un componente del compilador desarrollado durante casi cuatro años que cambia por completo la forma de demostrar where-clauses y normalizar tipos asociados. El cambio estará di

rust compiler traits type system nightly
· Why does it seem like food recalls are out of control this year?

La cadena de retiradas de alimentos en 2026: ¿hay más riesgo o solo más ruido?

En las últimas semanas, EE. UU. ha encadenado varias retiradas de alimentos de gran alcance: la lechuga iceberg de Taylor Farms vinculada a un brote de cyclospora con más de 9.000 afectados; más de un millón de huevos de Midwest Poultry Services distribuidos en Kroger y otros comercios del sur y sur

food recalls food safety fda cdc taylor farms
· Google's Pixel 10A is a great deal at 15 percent off

El Pixel 10A de Google baja un 15%: oferta destacada junto a otras promociones

El Google Pixel 10A está disponible desde principios de agosto a 424 dólares en Amazon, Best Buy y la Google Store, frente a los 499 dólares de su precio original, lo que supone un descuento del 15%. El artículo, publicado en el contexto del lanzamiento de la familia Pixel 11 —con el modelo estándar

google pixel 10a pixel 11 deals steelseries
· Una fundación denuncia que solo el 0,37% de los barcos que fondean sobre posidonia son multados en Ibiza y Formentera

Una fundación denuncia que solo el 0,37% de los fondeos ilegales sobre posidonia acaba en sanción en Ibiza y Formentera

La fundación Ibiza & Formentera Preservation ha denunciado que en 2025 solo se levantaron 18 actas en las Pitiusas por infracciones de fondeo ilegal sobre posidonia, de las cuales 15 se tramitaron en Ibiza y tres en Formentera. El Servicio de Vigilancia de Posidonia de la Conselleria de Medio Ambien

posidonia fondeo ilegal medio ambiente ibiza formentera
· Meditar por la mañana reduce el estrés en pocos minutos, según la evidencia científica

Meditar por la mañana reduce el estrés en pocos minutos, según la evidencia científica

Numerosos estudios y metaanálisis han demostrado que las intervenciones de meditación y los programas de reducción del estrés basados en la atención plena son capaces de reducir significativamente los niveles de cortisol en sangre y saliva. El cortisol, la hormona del estrés, aumenta de forma natura

meditación mindfulness estrés cortisol salud mental
· A 3D fruit fly on your macOS desktop, wired to a real FlyWire connectome simulation

Una mosca 3D simulada con neurociencia real camina por tu escritorio macOS

desktop-vibe-fly es un proyecto de software libre para macOS que coloca una mosca de la fruta en tres dimensiones sobre el escritorio del usuario. El insecto no está animado con guiones convencionales: su comportamiento emerge de una simulación de redes neuronales tipo Leaky Integrate-and-Fire a 1 k

github macos drosophila connectome flywire
· España tiene costas muy profundas para la eólica offshore. La solución de la Universidad de Cantabria: que flote

La Universidad de Cantabria impulsa plataformas flotantes parallevar la eólica offshore a las aguas profundas españolas

El proyecto SEA-LIFT, desarrollado por el Instituto de Hidráulica Ambiental de la Universidad de Cantabria junto al Centro Nacional de Energías Renovables (CENER) y la empresa navarra Nabrawind, plantea una solución para desplegar aerogeneradores de más de 20 MW sobre plataformas flotantes en aguas

eólica offshore eólica marina plataformas flotantes energías renovables aerogeneradores
· The B-right/V R2 Operating System

B-right/V R2: el sistema operativo japonés ultraligero con entorno multilingüe real

El proyecto TRON, iniciado en Japón a mediados de los años ochenta, concibio un modelo de "ordenador interfaz de red" que anticipó la idea de los actuales network computers. Frente a la propuesta estadounidense de Sun Microsystems con StarOffice y StarPortal —basada en navegadores pesados sobre sist

tron project btron b-right/v r2 personal media corporation seiko instruments
· Caligra c100 Developer Terminal

Caligra c100, un terminal de desarrollo en formato mini-PC con teclado mecánico integrado

El c100 es el terminal de desarrollo de referencia de Caligra: un mini-PC concebido para oficinas, talleres, laboratorios y fábricas. Su chasis de metal arenado integra un teclado mecánico de tamaño completo, un compartimento para herramientas y una tapa extraíble; una bisagra magnética permite pleg

caligra c100 caligra workbench amd ryzen 9 7940hs mini-pc
· Nobuzz: a Claude Code skill that strips the Buzzfeed voice from Claude's replies

Nobuzz: una skill para Claude Code que elimina el tono clickbait de las respuestas

Nobuzz es un proyecto de código abierto que ofrece una skill para Claude Code —el entorno de programación asistido por el modelo Claude de Anthropic— diseñada para traducir el estilo de las respuestas del asistente a un lenguaje llano y directo. La herramienta nace de una observación humorística: qu

nobuzz claude code anthropic google gemini cli prompt engineering
· John Berger: From Life by Tom Overton review – a vibrant biography of the pioneering critic

John Berger: From Life, de Tom Overton — biografía vibrante del crítico rebelde

El historiador y crítico británico Tom Overton publica John Berger: From Life, una biografía exuberante del influyente escritor marxista John Berger, fallecido en 2017 a los 90 años. La obra es el fruto de una relación singular: Overton se convirtió en curador del archivo de Berger en la British Lib

john berger tom overton ways of seeing a fortunate man british library