· Connections: a Rust crate for Galois connections between numeric types

Connections: conversiones entre tipos numéricos en Rust con garantías Galois

La biblioteca Rust `connections` (cmk/connections) implementa las conexiones de Galois como valores de primera clase para realizar conversiones entre tipos parcialmente ordenados —por ejemplo, de `f64` a `f32`, de `Duration` a segundos o de `f32` a `u32` y de ahí a `IpAddr`—. El objetivo declarado e

rust github galois connections type conversion property-based testing
· Sentinel: an open-source QA agent that reads your code before it clicks anything

Sentinel: un agente de QA de código abierto que lee el repositorio antes de probar la aplicación

Sentinel es un agente de control de calidad (QA) de código abierto publicado bajo licencia MIT que, a diferencia de los bots de pruebas clásicos —que se limitan a pulsar botones y capturar errores de interfaz—, analiza primero el código fuente de la aplicación para deducir los flujos de negocio real

sentinel open source qa agent playwright next.js
· Ratel: a context engineering layer that cuts token spend in AI agents

Ratel: una capa de ingeniería de contexto que reduce el gasto en tokens de los agentes de IA

Ratel es una biblioteca de código abierto que actúa como capa de ingeniería de contexto para agentes de inteligencia artificial. Su objetivo es doble: reducir el coste por llamada y recuperar la precisión que se pierde cuando el modelo recibe demasiadas herramientas, instrucciones y habilidades a la

ai agents context engineering token optimization bm25 open source
· Launch HN: Traceforce (YC S26) – Company-wide security monitoring for AI apps

Traceforce (YC S26) lanza monitorización de seguridad para aplicaciones de IA en endpoints corporativos

Xia y Varun, fundadores de Traceforce, han presentado en Hacker News una plataforma de monitorización diseñada para empresas que despliegan aplicaciones de IA como ChatGPT, Claude o agentes conectados mediante MCP (Model Context Protocol). La herramienta, respaldada por Y Combinator en su edición S2

ai security mcp model context protocol endpoint monitoring yc s26
· ‘We used acid to sabotage Microsoft hyperscale data centre construction’

Extinction Rebellion afirma haber saboteado los cimientos de un centro de datos de Microsoft en Ámsterdam

Activistas de Extinction Rebellion (XR) atacaron en la noche del 16 de julio una obra del centro de datos hyperscale que Microsoft construye en la zona portuaria de Ámsterdam. El grupo asegura haber arrojado sobre los cimientos de hormigón armado recién vertidos globos de agua rellenos con una mezcl

extinction rebellion microsoft amsterdam data centres artificial intelligence
· Leaves: a text-mode disk usage treemap utility

Leaves: visualizador de uso de disco en terminal con mapas de árbol

Leaves es una utilidad de código abierto escrita en Rust que analiza el uso de disco de un directorio y lo representa en la terminal mediante un mapa de árbol (treemap) de rectángulos anidados. Está inspirada en herramientas gráficas como WinDirStat y QDirStat, pero funciona íntegramente en modo tex

disk usage treemap rust terminal command line
· agent-talk: a plugin that lets coding agents message each other

agent-talk: un plugin para que agentes de programación se comuniquen entre sí

agent-talk es un plugin para agentes de programación —como Claude Code— que dota a un agente de un mecanismo para enviar y recibir mensajes de otros agentes, incluidos los gestionados por otras personas, con el fin de coordinar tareas de manera autónoma. Surge de una necesidad concreta: en proyectos

agent-talk retalk claude code codex antigravity cli
· Allowing your users to query ClickHouse directly using raw SQL

Cómo Helicone aísla a sus clientes al permitir SQL directo sobre ClickHouse

Helicone, plataforma de observabilidad para aplicaciones de IA, incorporó un editor SQL llamado HQL que permite a los clientes ejecutar consultas SELECT directamente contra su clúster compartido de ClickHouse. Como todos los datos de tenants conviven en una misma tabla diferenciados por organization

helicone clickhouse hql multi-tenancy row policies
· Building scalable AI agents with modular prompt transpilation

Cómo escalar agentes de IA con transpilado modular de prompts

El texto describe una arquitectura para construir agentes de IA a escala de producción mediante la modularización y transpilación de prompts, en lugar de mantener un único prompt monológico. Cuando un sistema de instrucciones crece, aparecen tres modos de fallo habituales: dificultad de colaboración

ai agents prompt engineering modular prompts prompt transpiler build system
· Brain implant helps paralysed man to feed himself and drink from cup

Un implante cerebral permite a un hombre paralizado comer y beber por sí solo

Un hombre paralizado del pecho hacia abajo tras un accidente de natación ha recuperado la capacidad de alimentarse y beber de un vaso gracias a un implante cerebral que sortea su lesión medular. Keith Thomas, residente en Massapequa (Nueva York), no podía levantar los brazos de su silla de ruedas cu

brain-computer interface spinal cord injury neural bypass medical research feinstein institutes
· A novel computer Scrabble engine based on probability that performs at championship level

Un motor de Scrabble computerizado basado en probabilidad alcanza nivel de campeonato

La presente tesis doctoral, elaborada por Alejandro González Romero bajo la dirección de René Alquézar Mancho en la Universitat Politècnica de Catalunya, presenta el diseño y desarrollo de un motor de Scrabble computerizado basado en métodos probabilísticos capaz de competir al más alto nivel. El tr

scrabble artificial intelligence monte carlo simulation opponent modeling game theory
· Period tracker Stardust shares users' health data with analytics firm, says Mozilla research

Mozilla detecta que el rastreador menstrual Stardust comparte datos de salud con una firma de análisis

Mozilla advirtió en una investigación reciente que el rastreador menstrual Stardust comparte información de salud sensible de sus usuarias con la empresa de análisis RudderStack. Entre los datos transferidos figuran la fecha de nacimiento, el tipo de anticonceptivo utilizado, los objetivos reproduct

privacy period tracker health data mozilla stardust
· Swatch’s New Gold MoonSwatch Solves the Problem of the Nightmare Royal Pop Launch

Swatch relanza un MoonSwatch íntegramente de oro Moonshine para evitar el caos de ventas

Swatch y Omega presentan el Mission to the Moon 1969, una nueva edición limitada del MoonSwatch totalmente fabricada con la aleación patentada 18K Moonshine Gold de Omega. La caja, esfera, agujas, corona y pulsadores suman 11 gramos de oro, frente a las versiones anteriores que solo incluían pequeña

swatch omega moonswatch mission to the moon 1969 moonshine gold
· MIT method aims to spot hidden nuclear weapons in Earth orbit

Un método del MIT para detectar armas nucleares en órbita desde la Tierra

Un programa de la BBC repasa la propuesta publicada por el profesor Areg Danagoulian, del MIT, en la revista Nature, para detectar dispositivos termonucleares ocultos en satélites que orbitan la Tierra. El interés por este reto surgió hace unos años, cuando un satélite que atravesaba el cinturón de

outer space treaty van allen belt nuclear weapons satellites mit
· AI-powered travel agency Fora hits unicorn status, raises $60M

La agencia de viajes con IA Fora alcanza valoración de unicornio tras levantar 60 millones de dólares

La agencia de viajes Fora anunció una ronda de Serie D de 60 millones de dólares liderada por Forerunner y Tactile Ventures, que valora a la compañía en 1.000 millones de dólares y le otorga el estatus de unicornio. Fundada en 2021, Fora opera una plataforma dual que permite a cualquier persona conv

fora travel agency series d artificial intelligence forerunner
· La técnica japonesa para secar la ropa en espacios cerrados de una forma más eficiente y rápida

La técnica japonesa del "arcoíris colgante" para secar la ropa en interior sin secadora

En Tokio, una ciudad de clima subtropical húmedo, apartamentos pequeños y lluvias frecuentes, han desarrollado un sencillo método para secar la ropa en el interior de forma más rápida, eficiente y sin malos olores, sin necesidad de recurrir a una secadora eléctrica. La técnica, bautizada como "arcoí

hogar lavandería japón tokio ahorro energético
· Decoy Font: A TTF font that hides what you type from AI

Decoy Font: una fuente TTF que oculta al ojo de la IA lo que escribes

Decoy Font es un archivo de fuente TrueType (TTF) que oculta a los modelos de inteligencia artificial el texto que el usuario escribe. La tipografía está construida sobre la técnica de las imágenes híbridas: combina dos letras distintas en el mismo espacio mediante frecuencias espaciales separadas.

decoy font anti-ai fonts mixfont hybrid images typography
· My homepage has a pulse

Cómo integré mi ritmo cardíaco real en la página principal de mi sitio web

Un desarrollador explica el proceso técnico y las decisiones de diseño detrás de un pequeño corazón rojo que late en su página web al ritmo de su frecuencia cardíaca real. El punto de partida fue un Garmin Descent Mk3i, su ordenador de buceo principal, que registra constantes vitales de forma contin

garmin garmin descent mk3i garmin connect python-garminconnect astro
· GC shape stenciling in Go generics

Cómo Go implementa sus genéricos con GC shape stenciling

Go emplea una técnica intermedia entre la monomorfización completa de Rust o C++ y la borradura de tipos de Java para implementar los genéricos introducidos en Go 1.18: el GC shape stenciling. En lugar de generar una copia del código genérico por cada tipo concreto, el compilador agrupa los tipos se

go generics gc shape stenciling compilers monomorphization
· Guide to data tools landscape for developers

Guía del panorama de herramientas de datos para desarrolladores

Esta guía ofrece una panorámica estructurada del ecosistema de herramientas de datos pensada para ingenieros de software que trabajan en compañías de datos sin experiencia previa en el campo. El artículo parte de la experiencia personal del autor, OlegWock, que tras incorporarse a Deepnote —un cuade

data engineering data science etl data analyst data warehouse
· Un relieve romano de un 'genio guardián' emerge tras 1.600 años bajo Vindolanda

Un relieve romano de un 'genio guardián' emerge tras 1.600 años bajo Vindolanda

Una losa redondeada obligó a interrumpir la excavación de un barracón del siglo IV en el fuerte romano de Vindolanda y, al darle la vuelta, dejó al descubierto un rostro tallado que llevaba más de 1.600 años oculto bajo el suelo del yacimiento, al sur del muro de Adriano, en Northumberland. El relie

vindolanda genio romano muralla de adriano northumberland arqueología romana
· Intolerancia a la lactosa y alergia a la leche: claves para distinguirlas

Intolerancia a la lactosa y alergia a la leche: claves para distinguirlas

Carmen Aragón Valera, portavoz del área de nutrición de la Sociedad Española de Endocrinología y Nutrición (SEEN), explica las diferencias entre la intolerancia a la lactosa y la alergia a la proteína de la leche, dos reacciones a los lácteos que con frecuencia se confunden en el lenguaje cotidiano

intolerancia a la lactosa alergia a la proteína de la leche lácteos nutrición endocrinología
· New monkey species a 'fascinating discovery', study lead says

Científicos describen una nueva especie de mono como un descubrimiento fascinante

El titular de un estudio difundido por BBC News presenta una nueva especie de mono como un «descubrimiento fascinante», según palabras del investigador principal del trabajo. La nota, clasificada por el medio en las secciones de Fauna, África, Medio Ambiente, Ciencia y Conservación, sugiere que se t

wildlife monkeys new species africa conservation
· Proton’s CTO says there’s no such thing as a good backdoor

El CTO de Proton defiende que no existen las puertas traseras «solo para los buenos»

En una entrevista en el podcast Decoder, Bart Butler, CTO de Proton, sostiene que ningún mecanismo de acceso oculto a sistemas cifrados puede limitarse exclusivamente a actores legítimos, una postura que la compañía ha convertido en eje de su estrategia tecnológica y comercial. Butler explicó que P

encryption privacy proton bart butler decoder podcast
· Sheryl Sandberg leads $10 million investment in AI-powered vehicle inspection startup Self Inspection

Sheryl Sandberg lidera una inversión de 10 millones en Self Inspection, inspección de vehículos con IA

Sheryl Sandberg, exdirectora de operaciones de Meta, ha encabezado una ronda de inversión de 10 millones de dólares en Self Inspection, una startup con sede en San Diego que aplica inteligencia artificial a la inspección de vehículos. La ronda fue liderada por su family office, Sandberg Bernthal Ven

· América Latina tiene que tomarse en serio El Niño y tiene que hacerlo ya

América Latina debe prepararse ya ante un Niño histórico: la preparación llega tarde

La NOAA elevó el 9 de julio al 81% la probabilidad de que el episodio de El Niño 2025-2027 sea "muy fuerte" entre octubre y diciembre, lo que lo situaría entre los mayores desde 1950, y proyecta un 97% de que se mantenga hasta la primavera de 2027. La anomalía frente a las costas de Perú y Ecuador a

el niño cambio climático américa latina canal de panamá perú
· El jefe del Pentágono anuncia tests para detectar niveles bajos de testosterona entre los soldados

El Pentágono implantará tests anuales de testosterona para soldados a partir de 30 años

El secretario de Guerra de Estados Unidos, Pete Hegseth, anunció este miércoles un nuevo programa de detección de "deficiencia de testosterona" para los militares. Las pruebas serán anuales y obligatorias dentro de los reconocimientos médicos para soldados de 30 años o más; los menores de esa edad p

pentágono pete hegseth testosterona sanidad militar administración trump
· La medicina islámica medieval ya diagnosticó el mal de amores como una dolencia propia

La medicina islámica medieval ya diagnosticó el mal de amores como una dolencia propia

Una investigación de la Universidad de Exeter, dirigida por el profesor Nahyan Fancy, reconstruye cómo los médicos del mundo islámico medieval estudiaron el ʿishq —el amor enfermizo— como una dolencia con síntomas, causas y tratamientos diferenciados, en un debate que se extendió entre los siglos X

medicina islámica ʿishq historia de la medicina universidad de exeter nahyan fancy
· Moonshot's upcoming Kimi K3 is expected to close the gap with Anthropic's Opus 4.8

Moonshot lanzará Kimi K3, su mayor modelo abierto, para competir con Anthropic Opus 4.8

Moonshot AI, laboratorio chino de inteligencia artificial, ultima el lanzamiento de Kimi K3, un nuevo modelo de código abierto con entre 2 y 3 billones de parámetros que, según fuentes anónimas citadas por el Financial Times, igualará o superará el rendimiento de Opus 4.8, el modelo de Anthropic. Se

· Denshattack! review – time to get on board with kickflipping trains

Denshattack!: cuando el monopatín se sube al tren en un Japón distópico

El estudio barcelonés Undercoders lanza Denshattack!, un plataformas sobre raíles ambientado en un Japón distópico en el que pandillas rivales libran combates haciendo trucos de skate con convoyes sobre la red ferroviaria en ruinas. La protagonista, Emi, una joven outsider, aspira a convertirse en l

denshattack! undercoders tony hawk's pro skater jet set radio redline