Webtagr - Resumen de noticias de tecnología

Tags populares：

Virtualización seguridad DNS verificación formal análisis de alcanzabilidad errores del compilador conflicto de macro extensión web framework de desarrollo Gráficos de mapa de bits inconsistencias de API Todos los tags

CodeTracer: Un depurador revolucionario de viaje en el tiempo

2025-03-06

CodeTracer: Un depurador revolucionario de viaje en el tiempo

CodeTracer es un depurador de viaje en el tiempo fácil de usar, diseñado para admitir una amplia gama de lenguajes de programación. Registra la ejecución de un programa en un archivo de rastreo independiente y compartible, lo que le permite avanzar y retroceder en la ejecución en un entorno de GUI y examinar el historial de todas las ubicaciones de memoria. En comparación con los depuradores tradicionales, CodeTracer ofrece dos ventajas principales: reproducción y depuración fáciles de errores difíciles de reproducir; y la rápida localización del origen de los errores rastreando el origen de cualquier valor en el programa. Actualmente admite el lenguaje Noir, y en el futuro admitirá más lenguajes de programación de contratos inteligentes y lenguajes de programación de conocimiento cero, e integrará IDE como VS Code.

(github.com)

Desarrollo depuración de viaje en el tiempo desarrollo Web3

Increíble procesamiento de streaming: ¡Comienza sin un clúster!

2025-03-06

Increíble procesamiento de streaming: ¡Comienza sin un clúster!

Muchos creen que el procesamiento de streaming es demasiado difícil, costoso y carece de casos de uso prácticos. ¡Pero eso no es cierto! Este repositorio proporciona demostraciones ejecutables que muestran cómo resolver problemas del mundo real utilizando tecnología moderna de procesamiento de streaming con SQL. Usando Kafka, PostgreSQL y RisingWave, puedes ejecutar ejemplos mínimos localmente, aprendiendo los fundamentos de la ingestión, el procesamiento, la transformación y la descarga de datos, y la integración con otras plataformas. ¡No se necesita clúster, solo tu portátil!

(github.com)

Desarrollo

xdg-ninja: Protegiendo tu directorio $HOME

2025-03-06

xdg-ninja: Protegiendo tu directorio $HOME

xdg-ninja es un potente script shell que comprueba tu directorio $HOME en busca de archivos y directorios no deseados. Aprovechando las especificaciones del directorio base XDG del Arch Wiki, antidot y contribuciones de la comunidad, te guía sobre cómo mover estos archivos a sus ubicaciones apropiadas. Se ejecuta fácilmente con comandos simples y proporciona instrucciones detalladas para la reubicación. Se admiten varios métodos de instalación, incluida la clonación desde GitHub, el uso de Nix o a través de Homebrew. Una herramienta complementaria, xdgnj, automatiza la generación y gestión de archivos de configuración, simplificando la experiencia del usuario.

(github.com)

Desarrollo Gestión de Directorios Estándar XDG

VisualCrypto: Kit de herramientas de código abierto para el intercambio de secretos basado en imágenes

2025-03-06

VisualCrypto: Kit de herramientas de código abierto para el intercambio de secretos basado en imágenes

VisualCrypto es un kit de herramientas de código abierto basado en Python con una interfaz web diseñada para el intercambio de secretos visuales (VSS). VSS es una técnica criptográfica que divide una imagen secreta en varias partes; cada parte parece ruido aleatorio y no revela nada por sí sola, pero combinándolas, se reconstruye la imagen original. Este kit de herramientas se centra principalmente en esquemas (2,2)-VSS, que requieren ambas partes para revelar el secreto. Admite técnicas de criptografía visual (VC) y cuadrícula aleatoria (RG), ofreciendo ejecución basada en web y en scripts para facilitar su uso y extensibilidad.

(github.com)

Desarrollo Intercambio de secretos visuales

llama.cpp a toda velocidad en GPUs Intel con IPEX-LLM

2025-03-06

llama.cpp a toda velocidad en GPUs Intel con IPEX-LLM

Esta guía muestra cómo ejecutar llama.cpp directamente en GPUs Intel utilizando el paquete zip portátil e IPEX-LLM, eliminando la necesidad de instalaciones manuales. Se ha verificado en procesadores Intel Core Ultra, procesadores Core de 11ª a 14ª generación y GPUs Intel Arc A/B-Series. La guía detalla la descarga, extracción, configuración de variables de entorno y ejemplos de ejecución, ofreciendo instrucciones personalizadas para configuraciones multi-GPU y diferentes sistemas operativos (Windows y Linux). Esto permite una ejecución fluida de modelos de lenguaje grandes en hardware Intel.

(github.com)

Desarrollo

Zentool: Una poderosa utilidad para la manipulación de microcódigo AMD Zen

2025-03-05

Zentool: Una poderosa utilidad para la manipulación de microcódigo AMD Zen

Zentool es un conjunto de herramientas para analizar, manipular y generar parches de microcódigo para procesadores AMD Zen. Incluye un comando de interfaz `zentool`, un ensamblador simple `mcas` y un desensamblador `mcop`. Puedes inspeccionar y modificar varias partes de un archivo de microcódigo, como el número de revisión, los registros de coincidencia y las instrucciones, incluso creando parches de microcódigo personalizados. Se requieren privilegios de root para cargar el microcódigo, y las modificaciones deben volverse a firmar para garantizar la validad. Esta herramienta se basa en el trabajo de miembros del equipo de seguridad de hardware de Google y está influenciada por libros y artículos relevantes.

(github.com)

Desarrollo

Arch Gateway: Manejo de Prompts Seguro y Eficiente para Aplicaciones GenAI

2025-03-05

Arch Gateway: Manejo de Prompts Seguro y Eficiente para Aplicaciones GenAI

Arch Gateway, construido por los colaboradores de Envoy Proxy, simplifica y optimiza el desarrollo de aplicaciones de IA generativa. Utiliza LLMs diseñados específicamente para manejar prompts, proporcionando enrutamiento basado en la intención, seguridad robusta (prevención de jailbreaks), integración de API y observabilidad integral. Arch Gateway admite múltiples LLMs y utiliza Envoy para un alto rendimiento y escalabilidad. Se proporciona una CLI fácil de usar y documentación detallada, con una guía de inicio rápido que muestra la creación de un agente de IA simple, como un agente de cambio de divisas.

(github.com)

Desarrollo

Scholium: Tu agente de investigación personal

2025-03-05

Scholium: Tu agente de investigación personal

Scholium es un agente de IA que encuentra y cita artículos académicos relevantes en segundos. Los investigadores pasan días buscando artículos relevantes porque Google devuelve fuentes no creíbles y no académicas sin citas. Scholium encuentra y cita artículos académicos relevantes en segundos con solo una consulta. Actualmente, Scholium solo tiene acceso a la base de datos arXiv, pero esperamos expandirnos a Pubmed y, con suerte, a revistas académicas pronto.

(github.com)

IA Investigación Cita

Onyx: Plataforma de IA de código abierto para búsqueda empresarial

2025-03-04

Onyx: Plataforma de IA de código abierto para búsqueda empresarial

Onyx (anteriormente Danswer) es una plataforma de IA de código abierto que conecta los documentos, aplicaciones y personas de tu empresa. Cuenta con una interfaz de chat con muchas funciones y admite varios LLM. Integrase perfectamente con más de 40 conectores, incluidos Google Drive, Slack y Salesforce, manteniendo sincronizados el conocimiento y los controles de acceso. Crea agentes de IA personalizados con indicaciones, bases de conocimiento y acciones únicas. Implementa Onyx de forma segura a cualquier escala: portátil, local o en la nube. Una edición comunitaria está disponible gratuitamente bajo la licencia MIT, mientras que una edición empresarial ofrece funciones mejoradas para organizaciones más grandes.

(github.com)

Desarrollo Búsqueda Empresarial

Vidformer: Revolucionando el procesamiento de vídeo para la visión artificial

2025-03-04

Vidformer: Revolucionando el procesamiento de vídeo para la visión artificial

Desarrollado por el OSU Interactive Data Systems Lab, Vidformer proporciona infraestructura para interfaces nativas de vídeo y acelera la visualización de la visión artificial. Transforma vídeos de forma eficiente, permitiendo una anotación, edición y procesamiento más rápidos de los datos de vídeo, sin comprometer el rendimiento. Utilizando un formato de especificación declarativa, Vidformer ofrece optimización transparente y ejecución diferida, proporcionando una reproducción casi instantánea. Construido sobre tecnologías abiertas como OpenCV, Supervision, FFmpeg, Jupyter y Apache OpenDAL, Vidformer ofrece una interfaz cv2 para una fácil integración con los flujos de trabajo de Python existentes. Si bien no es un editor de vídeo ni una base de datos, Vidformer complementa las bibliotecas de visión artificial y los modelos de IA, lo que lo hace ideal para diversas tareas relacionadas con vídeo.

(github.com)

Desarrollo Visión artificial

anon-kode: Asistente de Codificación con IA Basado en Terminal

2025-03-04

anon-kode: Asistente de Codificación con IA Basado en Terminal

anon-kode es un asistente de codificación con IA basado en terminal que utiliza cualquier modelo compatible con la API de estilo OpenAI. Corrige código con errores, explica el comportamiento de las funciones, ejecuta pruebas y mucho más, similar a Claude-code. Después de la instalación y la configuración inicial, simplemente comienza a escribir. La gestión de versiones, la compilación y la publicación se automatizan mediante GitHub Actions, lo que permite activar manualmente los lanzamientos con selección de versión patch/minor/major.

(github.com)

Desarrollo Corrección de Código

Ejecutando Windows NT en una GameCube/Wii: Una aventura alocada

2025-03-04

Ejecutando Windows NT en una GameCube/Wii: Una aventura alocada

Un proyecto increíble está en marcha para portar Windows NT 3.51 y versiones posteriores a GameCube y Wii. Esto implica un hacking significativo, incluyendo firmware ARC personalizado, controladores y una cadena de herramientas. El proyecto admite GameCube, Wii y Wii U (solo vWii), detallando el proceso de instalación, incluyendo el particionado, la instalación de controladores y los posibles problemas. Si bien es una tarea desafiante, muestra el potencial del hardware de la consola de juegos y el ingenio del desarrollador.

(github.com)

Desarrollo

FoleyCrafter: Dando vida a vídeos silenciosos con sonidos realistas y sincronizados

2025-03-04

FoleyCrafter: Dando vida a vídeos silenciosos con sonidos realistas y sincronizados

FoleyCrafter es un framework de vanguardia para la generación de audio a partir de vídeo, capaz de producir efectos de sonido realistas y sincronizados en función del contenido del vídeo. Utilizando IA, transforma vídeos silenciosos en experiencias inmersivas con ricos detalles de audio. Los usuarios pueden generar fácilmente varios efectos de sonido mediante comandos sencillos en la línea de comandos, incluso controlando el audio generado con indicaciones de texto: añadir 'multitudes ruidosas' o 'gaviotas', por ejemplo. Construido sobre modelos como Auffusion, proporciona instrucciones detalladas de instalación y uso.

(github.com)

IA Generación de audio Procesamiento de vídeo

A-MEM: Un Sistema de Memoria Agéntica para Agentes LLM

2025-03-03

A-MEM: Un Sistema de Memoria Agéntica para Agentes LLM

Los agentes de Modelos de Lenguaje Amplio (LLM) sobresalen en tareas complejas, pero necesitan sistemas de memoria sofisticados para aprovechar experiencias pasadas. A-MEM introduce un nuevo sistema de memoria agéntica que organiza dinámicamente las memorias usando los principios Zettelkasten. Cuenta con indexación y vinculación inteligentes, generación exhaustiva de notas con atributos estructurados y evolución continua de la memoria. La toma de decisiones guiada por agentes garantiza la gestión adaptativa de la memoria. Experimentos en seis modelos básicos demuestran un rendimiento superior en comparación con los mejores de su clase. Este repositorio proporciona código para reproducir los resultados; para aplicaciones, consulte la implementación oficial.

(github.com)

IA Modelos de Lenguaje Amplio Sistemas de Memoria

Chirp: Transferencia de Datos Basada en Sonido

2025-03-03

Chirp: Transferencia de Datos Basada en Sonido

Chirp es una aplicación que transmite datos a través del sonido. Utiliza un esquema de codificación simple para convertir texto en frecuencias de audio, que se reproducen a través de los altavoces y son captadas por un micrófono. Incluye visualización de frecuencia en tiempo real, transmisión de texto a sonido y recepción de sonido a texto, utilizando firmas distintivas de inicio y fin. Desarrollada con Node.js, React, TypeScript y Vite, aprovechando la Web Audio API para el procesamiento de audio.

(github.com)

Desarrollo comunicación acústica transferencia de datos

Smartest Kid: Asistente de IA de escritorio para Windows en Python

2025-03-03

Smartest Kid: Asistente de IA de escritorio para Windows en Python

Conoce a Smartest Kid, un asistente de IA de escritorio para Windows creado en Python. Inspirado en SmarterChild, cuenta con una interfaz de chat simple y limpia, y utiliza la automatización COM de Windows para interactuar con Microsoft Office (Word, Excel), imágenes y tu sistema de archivos. Perfecto para usuarios de Windows que exploran la automatización de escritorio con tecnología de IA. El proyecto es de código abierto y acepta contribuciones para expandir su funcionalidad y personalidad.

(github.com)

Desarrollo Asistente de IA Automatización de Windows

Implementación Go de alto rendimiento de mecanismos de atención y capas Transformer

2025-03-03

Implementación Go de alto rendimiento de mecanismos de atención y capas Transformer

El equipo de investigación de frontera de takara.ai presenta la primera implementación pura en Go de mecanismos de atención y capas Transformer, priorizando el alto rendimiento y la facilidad de uso. Esta biblioteca incluye atención de producto punto, atención multi-cabeza y una implementación completa de la capa Transformer, con operaciones por lotes para un mejor rendimiento y operaciones de matriz optimizadas para CPU. Ideal para computación perimetral, procesamiento en tiempo real, aplicaciones nativas en la nube, sistemas integrados e implementaciones de producción. Las mejoras futuras incluyen codificación posicional, abandono y aceleración CUDA.

(github.com)

Desarrollo Mecanismos de Atención

agents.json: Simplificando la Interacción de Agentes de IA con APIs

2025-03-03

agents.json: Simplificando la Interacción de Agentes de IA con APIs

Wildcard AI presenta la especificación agents.json, diseñada para optimizar la interacción de agentes de IA con APIs. Construida sobre el estándar OpenAPI, aborda el desafío de los agentes de IA que ejecutan secuencias de llamadas a API de varios pasos, añadiendo funciones como flujos y enlaces. El archivo agents.json describe los endpoints de la API y sus interacciones, permitiendo la ejecución fiable de llamadas a API por agentes de IA. El paquete Python Wildcard Bridge proporciona funcionalidad para cargar, analizar y ejecutar archivos agents.json, permitiendo a los desarrolladores integrar perfectamente agentes de IA con APIs simplemente añadiendo un archivo agents.json.

(github.com)

Desarrollo interacción con API

FlakeUI: Una novedosa interfaz gráfica de usuario basada en fractales

2025-03-03

$FlakeUI: Una novedosa interfaz gráfica de usuario basada en fractales$

FlakeUI revoluciona la navegación de contenido con su interfaz gráfica de usuario basada en estructuras fractales, órbitas padre-hijo y elementos de zoom. Imagina explorar tu contenido web no como una simple lista, sino como un universo fractal dinámico y explorable. Los usuarios navegan esta interfaz visualmente impresionante usando cinco gestos intuitivos: arrastrar para panorámica, rotar, acercar, alejar y desplazar para cambiar de modo. Construido con Javascript, FlakeUI es perfecto para sitios web visitados con frecuencia, como colecciones de enlaces seleccionadas o catálogos jerárquicos buscables. El contenido se gestiona mediante páginas XHTML y configuración XML, con soporte para navegación por hiperenlaces dentro de los nodos. ¡Experimenta la navegación de contenido como nunca antes!

(github.com)

Desarrollo Interfaz Gráfica de Usuario Estructura Fractal

Ninjavis: Visualización de registros de compilación Ninja

2025-03-03

Ninjavis: Visualización de registros de compilación Ninja

Ninjavis analiza los registros de compilación de Ninja, extrayendo el objetivo, el tiempo de inicio y el tiempo de finalización para cada elemento de compilación. Genera estos datos en una plantilla con una visualización de línea de tiempo simple usando vis.js. Inspirado en buildbloat, ayuda a analizar el rendimiento de la compilación. Recuerda ejecutar `ninja -t recompact` previamente para eliminar entradas duplicadas en el registro. La herramienta ofrece una interfaz de línea de comandos limpia para generar perfiles de compilación.

(github.com)

Desarrollo

uBlock Origin se enfrenta a la depreciación de Manifest V3 en Chrome

2025-03-03

uBlock Origin se enfrenta a la depreciación de Manifest V3 en Chrome

A partir de Chrome 127, los usuarios de uBlock Origin (uBO) verán advertencias debido a la depreciación de las extensiones Manifest V2. uBO, una extensión Manifest V2, carece de un equivalente Manifest V3. Se ha lanzado una alternativa ligera, uBO Lite (uBOL), pero con sacrificios de funciones para la compatibilidad con Manifest V3. Los usuarios deben decidir si cambian a uBOL o continúan usando uBO en navegadores como Firefox. Se están llevando a cabo discusiones sobre la extensión del soporte de Manifest V2 en Chrome hasta junio de 2025.

(github.com)

Desarrollo

SmallPond: Un framework ligero de procesamiento de datos

2025-03-02

SmallPond: Un framework ligero de procesamiento de datos

SmallPond es un framework ligero y de alto rendimiento para el procesamiento de datos, construido sobre DuckDB y 3FS. Escala para manejar conjuntos de datos de petabytes sin necesidad de servicios de larga ejecución y admite Python 3.8-3.12. Su API simple permite una fácil carga, procesamiento y guardado de datos. Evaluado con el benchmark GraySort en un clúster de 50 nodos de computación y 25 nodos de almacenamiento ejecutando 3FS, SmallPond ordenó 110,5 TiB de datos en 30 minutos y 14 segundos, alcanzando un rendimiento promedio de 3,66 TiB/min.

(github.com)

Desarrollo

Máquina PCR a prueba de manipulaciones: garantizando resultados científicos verificables

2025-03-02

Máquina PCR a prueba de manipulaciones: garantizando resultados científicos verificables

Para abordar el creciente problema de la falsificación de datos en biomedicina, los investigadores han desarrollado una máquina PCR verificable. Al integrar la firma criptográfica y el hardware seguro en la máquina PCR, el sistema garantiza que los resultados experimentales no se puedan alterar después de la generación. Utilizando una máquina virtual y un entorno de ejecución confiable, el software PCR está aislado, evitando modificaciones maliciosas. Este enfoque mejora la confiabilidad de los datos, incluso para equipos más antiguos, lo que representa un paso significativo hacia la construcción de un sistema de investigación científica verificable.

(github.com)

Tecnología

Recommendarr: Recomendaciones de Películas y Series con IA

2025-03-02

Recommendarr: Recomendaciones de Películas y Series con IA

Recommendarr es una aplicación web que utiliza IA para proporcionar recomendaciones personalizadas de películas y series de TV basadas en tus bibliotecas Sonarr, Radarr y Plex. Se integra directamente con Sonarr y Radarr para analizar tus colecciones de medios y, opcionalmente, con Plex para incorporar tu historial de visualización para obtener recomendaciones aún mejores. Se incluye soporte para OpenAI, modelos locales (Ollama/LM Studio) y cualquier API compatible con OpenAI. Personaliza el recuento de recomendaciones, los parámetros del modelo y mucho más, con modo claro/oscuro y visualización de imágenes de póster. Fácil instalación a través de Docker o instalación manual. Tus datos permanecen privados; nunca se envían a servidores externos.

(github.com)

Desarrollo Recomendaciones de IA Gestión de Medios Recomendaciones Personalizadas

Herramienta VPN de línea de comandos: desglose de parámetros

2025-03-02

Herramienta VPN de línea de comandos: desglose de parámetros

Esta es una herramienta VPN controlada por línea de comandos. Los usuarios pueden especificar el destino de la red privada (-d), el enrutamiento global (-g), la dirección local (-l), la dirección del servidor remoto (-s), el modo servidor (-srv), las IP del dispositivo TUN del cliente y del servidor (-tc, -ts) y el nombre del dispositivo TUN (-tname). Es crucial que el servidor pueda alcanzar la red privada; de lo contrario, se perderán los paquetes.

(github.com)

Desarrollo red

punktf: Administrador de archivos de configuración multiplataforma para una configuración perfecta

2025-03-02

punktf: Administrador de archivos de configuración multiplataforma para una configuración perfecta

¿Cansado de administrar diferentes archivos de configuración para diferentes sistemas? ¡punktf resuelve este problema! Este administrador de archivos de configuración multiplataforma funciona en Windows, Linux y macOS, permitiéndote compilar e implementar archivos de configuración en múltiples destinos con un solo comando. Utiliza una sintaxis similar a Handlebar para la compilación condicional y la inserción de variables, y permite ganchos pre/post para personalizar el comportamiento. ¡Una configuración, experiencia de desarrollador consistente en todas tus máquinas!

(github.com)

Desarrollo administrador de archivos de configuración

AlgoMIDI: Un Estudio Musical con Autómatas Celulares y Algoritmos de Recorrido de Grafos

2025-03-02

AlgoMIDI: Un Estudio Musical con Autómatas Celulares y Algoritmos de Recorrido de Grafos

AlgoMIDI es un estudio musical virtual creado como sucesor espiritual de Cellular Minimata. En lugar de simplemente visualizar autómatas celulares, cada célula 'viva' activa una nota musical. Usando Vue 3, Vite, TypeScript, Web Audio API (vía Tone.js), p5.js y Cytoscape.js, AlgoMIDI te permite crear música usando el Juego de la Vida de Conway, algoritmos de recorrido de grafos (BFS/DFS) y reglas personalizadas. Las características incluyen velocidad de reproducción ajustable (60-240 BPM), un piano virtual que muestra las notas generadas y varias opciones de diseño para la representación visual. Es un enfoque único para la composición musical.

(github.com)

Desarrollo

Sonic Unleashed Recompilado: Un Puerto No Oficial para PC con Mejoras Impresionantes

2025-03-02

Sonic Unleashed Recompilado: Un Puerto No Oficial para PC con Mejoras Impresionantes

Unleashed Recompiled es un puerto para PC hecho por fans de la versión de Xbox 360 de Sonic Unleashed, logrado mediante recompilación estática. Este puerto no oficial lleva el juego a Windows y Linux con mejoras significativas, incluyendo altas resoluciones, soporte para ultrawide, tasas de fotogramas aumentadas, rendimiento mejorado y capacidad de modding. Necesitarás proporcionar tus propios archivos de juego obtenidos legalmente. Construido con recompiladores personalizados inspirados en N64: Recompiled, Unleashed Recompiled cuenta con un menú renovado, soporte para logros y visuales mejorados, ofreciendo una experiencia muy mejorada con respecto al lanzamiento original de la consola.

(github.com)

Juegos Remasterización

Servo: Un motor de renderizado web ligero y de alto rendimiento en Rust

2025-03-01

Servo: Un motor de renderizado web ligero y de alto rendimiento en Rust

Servo es un motor de renderizado web de alto rendimiento escrito en Rust, con soporte para WebGL y WebGPU, adaptable a aplicaciones de escritorio, móviles e integradas. Creado por Mozilla Research en 2012, pretende ser una alternativa ligera para integrar tecnologías web y contribuye a los estándares web. En 2020, Mozilla transfirió la administración a la Linux Foundation, y en 2023, Igalia se unió y lo trasladó a la Linux Foundation Europe. La financiación cubrirá inicialmente los costos de infraestructura, garantizando lanzamientos del motor e integración con las pruebas de la plataforma web, y cualquier excedente se asignará a mejoras y desarrollo futuros, guiado por el Comité Directivo Técnico de Servo.

(github.com)

Desarrollo

Maestro: Un framework de pruebas de IU simple y eficaz para móviles y web

2025-03-01

Maestro: Un framework de pruebas de IU simple y eficaz para móviles y web

Maestro es un framework de pruebas de IU simple y eficaz para aplicaciones móviles y web. Construido sobre las lecciones aprendidas de Appium, Espresso, UIAutomator y XCTest, Maestro cuenta con tolerancia integrada a la inestabilidad (manejo de elementos de IU inestables y toques) y retrasos (esperando automáticamente la carga del contenido sin llamadas `sleep()`). Su naturaleza interpretada permite una iteración extremadamente rápida, mientras que su sintaxis YAML declarativa simplifica la definición de pruebas. Un único binario facilita la configuración. Consulta docs.maestro.dev para empezar.

(github.com)

Desarrollo pruebas de IU framework de pruebas

← Previous 1 2 … 32 33 34 35 36 37 38 39 40 … 50 51 Next →