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

Superando a std::deque: Presentamos el Array Shift-To-Middle

2025-03-23

Superando a std::deque: Presentamos el Array Shift-To-Middle

El Array Shift-To-Middle es un array dinámico diseñado para superar a std::deque, std::vector y listas enlazadas en inserciones y eliminaciones en ambos extremos. Lo logra utilizando memoria contigua, mejorando la localidad de caché y soportando optimizaciones SIMD y paralelas. Los benchmarks muestran ganancias significativas de rendimiento, especialmente en CPUs multinúcleo y hardware con conjuntos de instrucciones SIMD. El proyecto es de código abierto, con documentación completa de la API e informes de benchmarks disponibles. ¡Las contribuciones son bienvenidas!

(github.com)

Desarrollo array dinámico

Verificación Formal de Modelos de ML en Lean 4

2025-03-23

Verificación Formal de Modelos de ML en Lean 4

El proyecto `formal_verif_ml` proporciona un marco Lean 4 para la verificación formal de propiedades (robustez, imparcialidad, interpretabilidad) de modelos de aprendizaje automático. Incluye una biblioteca Lean, un traductor de modelos, una interfaz web y una canalización CI/CD, que admite varios tipos de modelos. Un portal web interactivo permite a los usuarios cargar modelos, ver el código Lean generado, activar la compilación de pruebas y visualizar la arquitectura del modelo.

(github.com)

IA

ttyd: Comparte tu terminal a través de la web

2025-03-23

ttyd: Comparte tu terminal a través de la web

ttyd es una herramienta simple de línea de comandos para compartir tu terminal a través de la web. Ofrece una variedad de opciones, incluyendo la especificación de puerto, la vinculación de interfaz de red, la autenticación, la configuración de permisos de usuario, los directorios de trabajo personalizados y mucho más, permitiendo una configuración flexible. Las funciones avanzadas como el cifrado SSL, la compatibilidad con IPv6 y el paso de argumentos de cliente garantizan un acceso remoto al terminal seguro y confiable.

(github.com)

Desarrollo compartir terminal

Programa Go: Convierte informe de auditoría de seguridad JSON a Markdown

2025-03-23

Programa Go: Convierte informe de auditoría de seguridad JSON a Markdown

Un sencillo programa en Go que convierte `security-audit.json` a `security-audit.md` para su uso en pipelines de CI. Se proporciona un ejemplo de informe, junto con ejemplos de integración de CI (`dependency-audit.yml` y `dependency-audit-only-when-detected.yml`), siendo este último el que crea un problema en GitHub solo si se detectan vulnerabilidades. El programa permite personalizar las rutas de los archivos de entrada y salida y ofrece la opción de fallar si no se encuentran vulnerabilidades.

(github.com)

Desarrollo Auditoría de Seguridad

argp: Un potente analizador de argumentos de línea de comandos basado en el estándar GNU en Go

2025-03-23

argp: Un potente analizador de argumentos de línea de comandos basado en el estándar GNU en Go

argp es una biblioteca de Go que proporciona un analizador de argumentos de línea de comandos robusto, siguiendo los estándares GNU. Cuenta con características como ayuda integrada, escaneo de campos de struct, soporte para tipos compuestos (arrays, slices, structs) y subcomandos anidados. argp sigue las reglas de argumentos GNU, manejando opciones cortas y largas, valores de opciones, múltiples valores y combinaciones de opciones. También ofrece carga de configuración, conteo, anexión y soporte para fuentes de datos personalizadas, como bases de datos MySQL. Los desarrolladores pueden aprovechar argp para crear herramientas de línea de comandos potentes de manera eficiente.

(github.com)

Desarrollo argumentos de línea de comandos estándar GNU

Landrun: Sandbox ligero y seguro para procesos Linux

2025-03-22

Landrun: Sandbox ligero y seguro para procesos Linux

Landrun es un sandbox ligero para Linux que utiliza Landlock LSM, ofreciendo seguridad a nivel de kernel con una sobrecarga mínima. Permite control de acceso granular a directorios, soporta rutas de lectura y escritura, y permite permisos de ejecución opcionales. También incluye control de acceso a la red TCP (enlace y conexión). Requiere el kernel de Linux 5.13 o superior con Landlock LSM habilitado (kernel 6.8 o superior para restricciones de red). Landrun proporciona una interfaz de línea de comandos para configurar fácilmente los permisos del sandbox, incluyendo solo lectura, lectura/escritura, ejecución y puertos TCP específicos para enlace y conexión. Un modo de máximo esfuerzo garantiza una degradación suave en kernels más antiguos. Esto lo hace ideal para ejecutar de forma segura código no confiable o potencialmente malicioso.

(github.com)

Desarrollo seguridad del kernel

Desentrañando R1-Zero: Alineación Eficiente de LLMs con el Framework Oat

2025-03-22

Desentrañando R1-Zero: Alineación Eficiente de LLMs con el Framework Oat

Investigadores publicaron un artículo, modelos y una base de código que desvelan los misterios del entrenamiento tipo R1-Zero. Desarrollaron Oat, un framework de aprendizaje por refuerzo LLM altamente modular y eficiente, y lo utilizaron para entrenar modelos tipo R1-Zero como Qwen2.5. El estudio descubrió que los modelos base adecuados y un algoritmo de aprendizaje por refuerzo mejorado (Dr. GRPO) son cruciales, evitando la optimización sesgada de plantillas y conjuntos de preguntas incompatibles. Finalmente, lograron un rendimiento de vanguardia con solo 27 horas de cómputo en 8 GPU A100.

(github.com)

IA

FastOpenAPI: Un Generador OpenAPI Basado en Pydantic

2025-03-22

FastOpenAPI: Un Generador OpenAPI Basado en Pydantic

FastOpenAPI es una biblioteca para generar e integrar esquemas OpenAPI usando Pydantic y varios frameworks, con el objetivo de brindar una experiencia amigable para desarrolladores similar a FastAPI. Soporta Falcon, Flask, Quart, Sanic, Starlette y Tornado, ofreciendo enrutamiento al estilo FastAPI mediante enrutamiento proxy. Una simple instalación con pip permite comenzar rápidamente, con Swagger UI y ReDoc UI proporcionando acceso conveniente a la documentación. El proyecto incluye ejemplos completos y benchmarks para facilitar la adopción y evaluación del rendimiento.

(github.com)

Desarrollo Integración de Frameworks

Preocupaciones por la privacidad: Navegador centrado en la privacidad acusado de problemas de telemetría

2025-03-22

Preocupaciones por la privacidad: Navegador centrado en la privacidad acusado de problemas de telemetría

Un usuario informó de varios problemas de privacidad y telemetría en un navegador versión 1.8.2b en macOS aarch64. El navegador se comercializa como centrado en la privacidad, pero el usuario afirma que la telemetría parece estar activada y la documentación carece de detalles sobre la huella digital y otras prácticas relacionadas con la privacidad. El usuario exige transparencia, solicitando una explicación detallada de los métodos de recopilación de datos o el cese del marketing centrado en la privacidad si las afirmaciones son infundadas.

(github.com)

Varios telemetría

Restricciones de Aplicación de Sugerencias de Código en GitHub

2025-03-22

Restricciones de Aplicación de Sugerencias de Código en GitHub

Este texto enumera varias limitaciones encontradas al aplicar sugerencias de código en el proceso de revisión de código de GitHub. Estas incluyen: ningún cambio de código realizado, solicitud de extracción cerrada o fusionada, visualización de un subconjunto de cambios, solo una sugerencia por línea aplicable, la aplicación de sugerencias en líneas eliminadas no es compatible, la sugerencia ya se aplicó o se marcó como resuelta, las sugerencias de revisiones pendientes no se pueden aplicar y las sugerencias en comentarios de varias líneas no están permitidas. Estas restricciones garantizan la integridad y la precisión del proceso de revisión de código.

(github.com)

Desarrollo Sugerencias de Código

Plugin de Exportación de Región de Krita: Exporta fácilmente regiones del lienzo

2025-03-22

Plugin de Exportación de Región de Krita: Exporta fácilmente regiones del lienzo

Este plugin de Krita te permite exportar cualquier región de tu lienzo, con redimensionamiento opcional. Instalación: Coloca la carpeta `region_exporter` en la subcarpeta `pykrita` de la carpeta de recursos de Krita. Coloca `region_exporter.desktop` en la raíz de la carpeta de recursos de Krita y `region_exporter.action` en la subcarpeta `actions`. Uso: Usa el atajo Ctrl+Shift+E o el menú Herramientas. Introduce las coordenadas, el tamaño, la rotación y las opciones de selección de capa para exportar tu imagen.

(github.com)

Diseño Exportación de Imagen

Servidor Hyperbrowser MCP: Facilidad en el Rascado Web y la Extracción de Datos

2025-03-21

Servidor Hyperbrowser MCP: Facilidad en el Rascado Web y la Extracción de Datos

Hyperbrowser presenta su servidor de Protocolo de Contexto de Modelo (MCP), una herramienta potente para raspar páginas web, extraer datos estructurados y rastrear sitios web. También simplifica el acceso a agentes de navegador de propósito general como el CUA de OpenAI, el Uso del Computador Claude de Anthropic y el Uso del Navegador. El servidor cuenta con funciones que incluyen raspado web, rastreo web, extracción de datos estructurados, búsqueda de Bing y varias capacidades de automatización del navegador. La instalación es sencilla; simplemente ejecute `npx hyperbrowser-mcp ` y configure los archivos de configuración correspondientes.

(github.com)

Desarrollo rascado web automatización del navegador

Screen: Un emulador de terminal en PHP puro para interfaces de usuario de texto enriquecidas

2025-03-21

Screen: Un emulador de terminal en PHP puro para interfaces de usuario de texto enriquecidas

Screen es una biblioteca de emulador de terminal escrita completamente en PHP, permitiendo la creación de interfaces de usuario basadas en texto enriquecidas en cualquier aplicación PHP. Desarrollada inicialmente para solucionar conflictos de códigos de escape ANSI en el TUI multiproceso de Solo para Laravel, Screen crea un búfer de terminal virtual para gestionar de forma segura las operaciones ANSI (movimiento del cursor, cambios de color, limpieza de pantalla). Esto asegura una renderización consistente y admite Unicode, caracteres multibyte, desplazamiento y una amplia gama de códigos de escape ANSI. Un conjunto completo de pruebas, con un innovador sistema de comparación visual, garantiza la emulación precisa.

(github.com)

Desarrollo interfaz de usuario de texto

Cliente RDP basado en Rust: IronRDP, seguro y eficiente

2025-03-21

Cliente RDP basado en Rust: IronRDP, seguro y eficiente

IronRDP es un conjunto de crates Rust que proporcionan una implementación segura del Protocolo de Escritorio Remoto (RDP) de Microsoft. Admite varios códecs, incluyendo mapas de bits sin comprimir, RLE, compresión de mapas de bits RDP 6.0 y Microsoft RemoteFX. Se incluye un cliente RDP asíncrono completo, junto con un ejemplo de bloqueo para facilitar la integración. El proyecto también detalla cómo habilitar RemoteFX en el servidor para un mejor rendimiento gráfico.

(github.com)

Desarrollo

Manifest: Un micro-backend de 1 archivo para desarrollo simplificado

2025-03-21

Manifest: Un micro-backend de 1 archivo para desarrollo simplificado

Manifest es un framework de micro-backend ligero y de un solo archivo, diseñado para simplificar el desarrollo del 80% de los sitios web y aplicaciones que solo necesitan funciones básicas de backend. Ofrece funcionalidades esenciales como autenticación, validación, almacenamiento, cambio de tamaño de imágenes, panel de administración, puntos finales dinámicos, API REST, SDK de JS y webhooks. Ideal para prototipado rápido, microservicios, aplicaciones con muchas operaciones CRUD y CMS headless, Manifest está actualmente en versión beta y es adecuado para proyectos pequeños y MVP, pero no se recomienda para plataformas críticas.

(github.com)

Desarrollo prototipado rápido un solo archivo

PocketFlow: Un nuevo marco para construir sistemas de IA listos para empresas

2025-03-21

PocketFlow: Un nuevo marco para construir sistemas de IA listos para empresas

PocketFlow es un framework LLM basado en TypeScript que utiliza una estructura de gráfico dirigido anidado. Esto divide las tareas complejas de IA en pasos de LLM reutilizables, permitiendo la ramificación y la recursión para la toma de decisiones similar a la de un agente. El framework es fácilmente extensible, integrando varios LLMs y APIs sin wrappers especializados, y cuenta con depuración de flujo de trabajo visual y persistencia de estado, acelerando la construcción de sistemas de IA de nivel empresarial.

(github.com)

IA

Retro Boy: ¡Emulador de Game Boy en Rust, ahora en la web!

2025-03-20

Retro Boy: ¡Emulador de Game Boy en Rust, ahora en la web!

Retro Boy es un emulador de Game Boy preciso, escrito en Rust y jugable en tu navegador web. Utilizando wasm-pack para compilación WebAssembly, usa Web Audio API y HTML Canvas para audio y gráficos. Soporta cartuchos MBC1, MBC3, MBC5 y HuC1, con emulación precisa de CPU, audio y gráficos, incluso incluyendo soporte para códigos de trucos GameShark/GameGenie. La interfaz amigable incluye modo de pantalla completa, pausa/reanudar, modos de color seleccionables y mapeo de teclas personalizable. Retro Boy pasa una parte significativa de las pruebas ROM de Blargg, demostrando su alta precisión.

(github.com)

Juegos

GizmoSQL: Un Servidor de Base de Datos Apache Arrow Flight SQL de Alto Rendimiento

2025-03-20

GizmoSQL: Un Servidor de Base de Datos Apache Arrow Flight SQL de Alto Rendimiento

GizmoSQL es una implementación de servidor Apache Arrow Flight SQL que utiliza DuckDB o SQLite como base de datos back-end. Permite la autenticación a través de middleware y permite conexiones encriptadas a través de TLS. Este proyecto ofrece imágenes Docker y ejecutables CLI para una fácil implementación y uso. Los usuarios pueden conectarse al servidor a través de controladores JDBC o ADBC y consultar utilizando Python o la herramienta de línea de comandos `gizmosql_client`. GizmoSQL admite comandos SQL de inicialización personalizados y ofrece opciones de configuración flexibles, como la selección de diferentes bases de datos back-end y la habilitación/deshabilitación de TLS. También hay disponible una imagen Docker compacta.

(github.com)

Desarrollo

Minimalytics: Herramienta de análisis SQLite ligera para miles de millones de eventos

2025-03-20

Minimalytics: Herramienta de análisis SQLite ligera para miles de millones de eventos

Minimalytics es una herramienta de análisis minimalista independiente basada en SQLite, diseñada para entornos con recursos limitados. Ofrece una solución ligera para el seguimiento y la visualización de datos de eventos con una huella mínima. Gestionando más de mil millones de eventos al mes con solo ~20 MB de almacenamiento, es perfecta para el seguimiento de servicios internos o si necesitas análisis simples sin sobrecarga. Las funciones incluyen una interfaz web para la gestión de paneles y gráficos interactivos.

(github.com)

Desarrollo análisis ligero

Minesweeper a través de MCP: Un agente del lado del servidor

2025-03-20

Minesweeper a través de MCP: Un agente del lado del servidor

Este es un servidor de Protocolo de Contexto de Modelo (MCP) que permite a los agentes clientes MCP jugar al Buscaminas. Está diseñado para funcionar junto con un servidor de juego Buscaminas. Una demostración de vídeo acelerada está disponible en https://youtu.be/CXXMafVtlEQ (16x de velocidad). Siga las instrucciones del servidor del juego para iniciarlo localmente. Instale las dependencias, cree el servidor y configure su cliente MCP para agregar la herramienta (por ejemplo, en claude_desktop_config.json de Claude Desktop). Inicie una partida de Buscaminas e intente marcar todas las minas; las coordenadas están indexadas a partir de 0. El registro completo de la conversación es extenso, con fragmentos que muestran la colocación incorrecta de banderas y la renuncia después de varios intentos.

(github.com)

Juegos Buscaminas Servidor de Juego

AgentKit: Creando Redes Multiagente con Enrutamiento Determinista y Herramientas Potentes

2025-03-20

AgentKit: Creando Redes Multiagente con Enrutamiento Determinista y Herramientas Potentes

AgentKit es un framework para construir redes multiagente que ofrece enrutamiento determinista, soporte para múltiples proveedores de modelos y herramientas potentes a través de MCP. Combinado con el servidor Inngest Dev y su motor de orquestación, AgentKit hace que tus agentes sean tolerantes a fallos cuando se implementan en la nube. Los conceptos principales incluyen Agentes (llamadas LLM combinadas con prompts, herramientas y MCP), Redes (una forma sencilla de hacer que los Agentes colaboren con un Estado compartido, incluyendo la transferencia), Estado (combina el historial de conversaciones con una máquina de estado totalmente tipada, utilizada en el enrutamiento), Enrutadores (autonomía desde el enrutamiento basado en código hasta el basado en LLM (ej: ReAct)) y Rastreo (depura y optimiza tu flujo de trabajo localmente y en la nube con rastreo integrado). AgentKit admite múltiples estrategias de enrutamiento, incluyendo el enrutamiento determinista basado en código y el enrutamiento autónomo basado en agente, y ofrece un mecanismo de estado compartido para facilitar la colaboración entre agentes.

(github.com)

Desarrollo red multiagente enrutamiento determinista

Actualización de TruffleRuby: Mejora del rendimiento y compatibilidad

2025-03-20

Actualización de TruffleRuby: Mejora del rendimiento y compatibilidad

TruffleRuby, una implementación de alto rendimiento del lenguaje de programación Ruby, ha lanzado una nueva versión con mejoras significativas en el rendimiento y la compatibilidad. Esta versión corrige numerosos errores, incluyendo problemas en métodos como Module#name, Module#const_added y ObjectSpace.undefine_finalizer, y mejora la compatibilidad con OpenSSL 3.0.x y 3.x. Además, se han añadido numerosos métodos y funciones nuevas, como IO#{pread, pwrite}, Range#reverse_each, y se han optimizado la negociación de codificación y el rendimiento de varias extensiones C. Esta actualización mejora la estabilidad y el rendimiento de TruffleRuby, acercándolo a la implementación estándar de Ruby, MRI.

(github.com)

Desarrollo Mejora de Rendimiento

Physix.go: Un motor de física simple en Go

2025-03-20

Physix.go: Un motor de física simple en Go

Physix.go es un motor de física simple, rápido y fácil de usar, escrito en Go. Ofrece cálculos de física eficientes, incluyendo simulaciones basadas en partículas, operaciones vectoriales y dinámica de muelles. Se instala mediante `go get github.com/rudransh61/Physix.go`, con ejemplos disponibles. El motor admite la detección de colisiones rectángulo-rectángulo y círculo-círculo con efectos de rebote basados en la conservación del momento y la energía, y también incluye capacidades de simulación de muelles.

(github.com)

Desarrollo

Stelvio: Gestión simplificada de AWS para desarrolladores Python

2025-03-20

Stelvio: Gestión simplificada de AWS para desarrolladores Python

Stelvio es una biblioteca de Python que simplifica la gestión e implementación de la infraestructura en la nube de AWS. Utiliza Python puro, ofreciendo valores predeterminados inteligentes para configuraciones complejas. Los desarrolladores definen recursos en la nube con código Python familiar, separando claramente la infraestructura del código de la aplicación. Actualmente admite Lambda, DynamoDB y API Gateway (con más servicios de AWS planeados), Stelvio prioriza la productividad del desarrollador sobre la complejidad de la infraestructura, ofreciendo un enfoque más simplificado que Terraform, Pulumi o AWS CDK. Nota: Stelvio se encuentra en una etapa alfa temprana, ideal para la experimentación.

(github.com)

Desarrollo Infraestructura en la nube

Servidor MCP para obtener contenido de páginas web usando el navegador sin cabeza Playwright

2025-03-20

Servidor MCP para obtener contenido de páginas web usando el navegador sin cabeza Playwright

Este proyecto ofrece un servidor MCP que utiliza el navegador sin cabeza Playwright para obtener contenido de páginas web. Admite la obtención de URLs únicas y por lotes, extrae inteligentemente el contenido principal y lo convierte a Markdown. Los usuarios pueden ejecutarlo directamente con `npx` y configurar parámetros como el tiempo de espera, la estrategia de espera, la extracción de contenido, la longitud máxima y si devolver HTML o Markdown. También se proporcionan instrucciones para configurar el servidor en Claude Desktop, instalar navegadores Playwright y depurar.

(github.com)

Desarrollo Extracción web

Actualización del modelo Hunyuan3D de Tencent: más pequeño, más rápido y con generación de texturas

2025-03-20

Actualización del modelo Hunyuan3D de Tencent: más pequeño, más rápido y con generación de texturas

Tencent ha lanzado una versión actualizada de su modelo de código abierto Hunyuan3D, con una variante 'mini' más pequeña y rápida. Esta actualización no solo mejora la velocidad de inferencia, sino que también agrega capacidades de generación de texturas, lo que resulta en imágenes de modelos 3D significativamente mejoradas. Los cambios en el código se centran en la optimización de la carga del modelo, los ajustes de parámetros y una canalización de generación de texturas simplificada con un soporte más amplio para formatos de archivo. Esto hace que la potente tecnología de modelado 3D sea más accesible para una gama más amplia de desarrolladores.

(github.com)

Desarrollo

Adminer: Herramienta de gestión de bases de datos en un solo archivo

2025-03-20

Adminer: Herramienta de gestión de bases de datos en un solo archivo

Adminer es una herramienta completa de gestión de bases de datos escrita en PHP, que consta de un único archivo para facilitar su implementación. Es compatible con MySQL, PostgreSQL, SQLite y muchas otras bases de datos, con plugins que amplían la funcionalidad a Elasticsearch, MongoDB y otras. Los usuarios pueden personalizar Adminer con plugins adicionales y gestionar su orden de carga mediante un sencillo archivo de configuración PHP. Adminer Editor proporciona una interfaz fácil de usar para la manipulación de datos.

(github.com)

Desarrollo

mcp-kafka: Conectando asistentes de IA con Apache Kafka

2025-03-19

mcp-kafka: Conectando asistentes de IA con Apache Kafka

mcp-kafka es un servidor Model Context Protocol (MCP) que actúa como un puente entre asistentes de IA y Apache Kafka. Permite a los asistentes de IA crear, gestionar e interactuar directamente con los temas y mensajes de Kafka. La herramienta admite la creación, listado, eliminación, descripción de temas, producción y consumo de mensajes, con soporte para autenticación SASL_PLAINTEXT y PLAINTEXT. mcp-kafka es fácil de instalar y usar, con documentación y ejemplos completos.

(github.com)

Desarrollo

Modo Enfoque: Una extensión de navegador de código abierto para mejorar la productividad

2025-03-19

Modo Enfoque: Una extensión de navegador de código abierto para mejorar la productividad

Modo Enfoque es una extensión de navegador de código abierto diseñada para aumentar la productividad bloqueando sitios web que distraen. Los usuarios pueden bloquear múltiples sitios, programar horarios de bloqueo e incluso usar comodines (por ejemplo, reddit.com/*) para un bloqueo completo. Se aceptan contribuciones bajo la Licencia MIT.

(github.com)

Desarrollo

Adiós a copiar y pegar: Claude Desktop obtiene un asistente de programación en pareja

2025-03-19

Adiós a copiar y pegar: Claude Desktop obtiene un asistente de programación en pareja

¿Cansado de copiar y pegar código dentro y fuera de la ventana de chat de Claude? codemcp es un complemento que transforma a Claude Pro en un poderoso asistente de programación en pareja. Edita archivos directamente, corrige errores, refactoriza código y ejecuta pruebas, todo dentro de tu IDE. Construido en torno a IA agentiva segura y control de versiones Git, codemcp garantiza que todos los cambios sean reversibles. ¡Dile adiós a las cuentas masivas de API (¡hola a los límites de velocidad basados en el tiempo!) y hola a la codificación eficiente y colaborativa con Claude!

(github.com)

Desarrollo

← Previous 1 2 … 29 30 31 32 33 34 35 36 37 … 50 51 Next →