Plataforma de Desarrollo IoT de Alto Rendimiento en Rust

2025-04-16
Plataforma de Desarrollo IoT de Alto Rendimiento en Rust

¡Una plataforma de desarrollo IoT de alto rendimiento construida con Rust ya está disponible! Admite múltiples protocolos, incluidos MQTT, WebSocket, TCP y CoAP, y cuenta con capacidades de procesamiento de datos en tiempo real. La seguridad de memoria y las características de concurrencia de Rust garantizan la eficiencia. El diseño modular permite una fácil extensión y mantenimiento, abarcando módulos para el procesamiento de datos, interfaces de protocolo, notificaciones de mensajes y API externas. Esta plataforma es adecuada para diversas aplicaciones de IoT y es de código abierto bajo la licencia Apache 2.0.

Leer más

Entornos de navegador sandboxed listos para implementar

2025-04-16
Entornos de navegador sandboxed listos para implementar

Anthropic presenta entornos de navegador Chrome sandboxed innovadores, construidos sobre contenedores/Docker y Unikraft, proporcionando navegadores listos para usar para flujos de trabajo que necesitan acceso a internet. Estos entornos admiten frameworks Chrome DevTools (como Playwright y Puppeteer) y ofrecen acceso a la GUI para monitoreo visual y control remoto. La versión Unikernel cuenta con funciones como modo de espera automático, captura de estado y reinicios en frío extremadamente rápidos, ideales para aplicaciones que requieren un manejo de eventos de baja latencia. Además, Anthropic está contratando ingenieros de back-end para trabajar en el futuro de la infraestructura de IA.

Leer más
Desarrollo

Programación lógica completa en Clojure: Clolog

2025-04-15
Programación lógica completa en Clojure: Clolog

El proyecto Clolog integra la programación lógica completa (Prolog) en/llamable desde Clojure, con soporte para llamadas desde y hacia Clojure. Inspirado en LogLisp, Lisp Machine Prolog y Allegro Prolog, agrega varias mejoras. Se hace hincapié en el poder expresivo y la transparencia de la ejecución, lo que permite la creación rápida de prototipos, el desarrollo de pruebas de concepto y el razonamiento de bucle externo (aún no es muy rápido). La sintaxis Clojure basada en Lisp proporciona predicados y operadores integrados para la negación, condicionales, enlace de variables y acceso a valores de Clojure.

Leer más
Desarrollo

MeshCore: Una biblioteca ligera de redes mesh LoRa

2025-04-15
MeshCore: Una biblioteca ligera de redes mesh LoRa

MeshCore es una biblioteca C++ ligera y portátil que permite el enrutamiento de paquetes multi-hop para proyectos integrados que usan LoRa y otras radios de paquetes. Diseñada para redes resilientes y descentralizadas que funcionan sin acceso a internet, admite varios dispositivos LoRa y ofrece binarios precompilados para facilitar la grabación usando herramientas como Adafruit ESPTool. MeshCore equilibra la simplicidad y la escalabilidad, proporcionando una funcionalidad similar a Meshtastic y Reticulum, pero con un enfoque en aplicaciones integradas. Ideal para comunicación fuera de la red, respuesta a emergencias e implementaciones de IoT.

Leer más

LightlyTrain: Entrenamiento de modelos más rápido, sin necesidad de etiquetas

2025-04-15
LightlyTrain: Entrenamiento de modelos más rápido, sin necesidad de etiquetas

LightlyTrain lleva el preentrenamiento autosupervisado a los pipelines de visión artificial del mundo real. Aprovecha tus datos sin etiquetar para reducir drásticamente los costes de etiquetado y acelerar la implementación del modelo. Se integra fácilmente en los flujos de trabajo existentes; solo se necesitan unas pocas líneas de código para preentrenar modelos en tus datos de imagen y vídeo sin etiquetar utilizando varias arquitecturas compatibles con bibliotecas como Torchvision, Ultralytics y TIMM. Escalable a millones de imágenes, LightlyTrain mejora significativamente el rendimiento del modelo para conjuntos de datos pequeños y grandes, lo que te permite exportar modelos para ajuste fino o inferencia. No se requiere experiencia en aprendizaje autosupervisado.

Leer más

Chroma: Simulación de daltonismo para mejorar la accesibilidad en juegos

2025-04-15
Chroma: Simulación de daltonismo para mejorar la accesibilidad en juegos

Chroma es una herramienta diseñada para simular varios tipos de daltonismo, ayudando a los desarrolladores de juegos y a los equipos de accesibilidad a probar las experiencias de juego para usuarios daltónicos. Simula tres tipos principales: Protanopia, Deuteranopia y Tritanopia, ofreciendo alto rendimiento, precisión y una interfaz fácil de usar. Chroma funciona sobre cualquier juego, independientemente del motor, proporcionando simulación en tiempo real, facilidad de captura de pantalla y configuraciones personalizables. Un problema conocido durante la construcción de CMake implica una biblioteca CPPWinRT obsoleta; se recomienda usar Visual Studio 2022 o instalar el paquete NuGet Microsoft.Windows.CppWinRT.

Leer más

Visor de registros gigante: Navega instantáneamente en archivos de texto de 4 TB

2025-04-15
Visor de registros gigante: Navega instantáneamente en archivos de texto de 4 TB

¿Cansado de esperar para abrir archivos de registro enormes? `giant-log-viewer` carga instantáneamente archivos de texto de hasta 4 TB con una huella de memoria minúscula, usando solo ~80 MB de memoria de montón JVM. Admite codificación UTF-8 y ASCII, pero tiene limitaciones: no maneja líneas de más de 1 MB, emojis o sistemas sin GUI; actualmente solo funciona en Windows, macOS y Linux. Si bien no es tan completo en funciones como `less`, es perfecto para navegar rápidamente por registros gigantes mediante arrastrar y soltar o atajos de teclado. El proyecto es de código abierto en GitHub, y se agradecen las donaciones para ayudar al desarrollador a firmar los ejecutables.

Leer más
Desarrollo archivos grandes

MCP-Shield: Protegiendo tus servidores de Protocolo de Contexto de Modelo

2025-04-15
MCP-Shield: Protegiendo tus servidores de Protocolo de Contexto de Modelo

MCP-Shield es una herramienta para escanear y detectar vulnerabilidades en tus servidores MCP (Protocolo de Contexto de Modelo). Identifica riesgos de seguridad como ataques de envenenamiento de herramientas, canales de exfiltración de datos y escaladas de origen cruzado. La herramienta admite varios métodos de configuración y opcionalmente integra la IA Claude de Anthropic para un análisis más profundo. Los patrones comunes de vulnerabilidad detectados incluyen envenenamiento de herramientas con instrucciones ocultas, shadowing de herramientas y modificación de comportamiento, canales de exfiltración de datos y violaciones de origen cruzado. Por ejemplo, puede identificar una herramienta de calculadora que secretamente intenta acceder a claves privadas SSH. MCP-Shield tiene como objetivo ayudar a los desarrolladores y auditores de seguridad a proteger sus servidores MCP y admite el escaneo antes de agregar nuevos servidores, durante las auditorías de seguridad, durante el desarrollo y después de las actualizaciones.

Leer más

Rompedor de Lógica de Igualdad UUID: Fuerza bruta en AES-256-CBC

2025-04-15
Rompedor de Lógica de Igualdad UUID: Fuerza bruta en AES-256-CBC

Un kit de herramientas de descifrado lógico de campo compacto que fuerza bruta archivos AES-256-CBC encriptados con UUID usando una inicialización basada en la igualdad: xy = x / y. Esto demuestra una búsqueda determinista dentro de espacios de entropía definidos. Una demostración genera un archivo encriptado con UUID con un sufijo estructurado. El `uuid_demobreaker.py` luego escanea linealmente el espacio UUID, aprovechando la igualdad como una 'ignición' lógica, no una heurística, para guiar la búsqueda. El descifrador no adivina, filtra ni usa atajos probabilísticos; define y explora el espacio de búsqueda directamente.

Leer más
Desarrollo

ClipCapsule: Un gestor de portapapeles minimalista para Linux

2025-04-14
ClipCapsule: Un gestor de portapapeles minimalista para Linux

ClipCapsule es un gestor de portapapeles minimalista para Linux, construido con Go y WailsJS. Aumenta la productividad al permitirte gestionar y cambiar las entradas del portapapeles usando solo atajos de teclado, sin necesidad de ratón ni GUI. Actualmente en desarrollo, la GUI debe estar abierta para que los atajos funcionen, pero se está trabajando en un demonio en segundo plano para un funcionamiento sin problemas. Las características principales incluyen un flujo de trabajo prioritario para teclado, historial del portapapeles, reordenación dinámica y almacenamiento solo local. La instalación implica clonar el repositorio, instalar Wails y construir la aplicación, lo que puede requerir privilegios de sudo o una configuración manual de acceso al dispositivo de entrada del teclado.

Leer más

Modelo de segmentación de marca de agua de código abierto de Diffusion Dynamics: la tecnología central de clear.photo

2025-04-14
Modelo de segmentación de marca de agua de código abierto de Diffusion Dynamics: la tecnología central de clear.photo

Diffusion Dynamics ha publicado el código fuente de la tecnología central detrás de su producto de eliminación de marcas de agua, clear.photo: un modelo de segmentación de marcas de agua. Este modelo de aprendizaje profundo genera máscaras que resaltan las regiones de la marca de agua, siendo excelente en la segmentación de marcas de agua basadas en logotipos. El proyecto proporciona un flujo de trabajo completo para el entrenamiento e inferencia, incluyendo la generación de conjuntos de datos, el entrenamiento de modelos y el posprocesamiento, y admite el ajuste fino en chips Apple M-series. Una característica clave es su estrategia de aumento de datos que aleatoriza los parámetros de la marca de agua, lo que lleva a un rendimiento robusto. El objetivo es proporcionar una base clara y fácilmente modificable para la construcción de herramientas más complejas.

Leer más

Profiler C++ de Un Solo Encabezado: utl::profiler

2025-04-14
Profiler C++ de Un Solo Encabezado: utl::profiler

utl::profiler es una biblioteca de perfilado C++ de un solo encabezado que utiliza macros simples para medir el tiempo de ejecución de segmentos de código y construir automáticamente un gráfico de llamadas. La biblioteca cuenta con características como opciones de estilo personalizables, seguridad de subprocesos y soporte para subprocesos separados. Reduce significativamente la sobrecarga utilizando intrínsecos x86. La biblioteca también admite estilo personalizado y la exportación de resultados a un archivo.

Leer más

Inferencia de tipos TypeScript sin generación de código a partir de mensajes Protobuf

2025-04-14
Inferencia de tipos TypeScript sin generación de código a partir de mensajes Protobuf

protobuf-ts-types te permite definir tipos de mensajes independientes del lenguaje en formato proto e inferir tipos TypeScript directamente sin generación de código. Utiliza inteligentemente los tipos literales de plantilla de TypeScript. Si bien actualmente es una prueba de concepto y no admite servicios, RPC, campos oneof y map e importaciones, ofrece un gran potencial para simplificar la integración de Protobuf con TypeScript.

Leer más
Desarrollo Inferencia de Tipos

Estrategia de motor de inferencia de código abierto de DeepSeek: contribuciones modulares, no lanzamiento directo

2025-04-14
Estrategia de motor de inferencia de código abierto de DeepSeek: contribuciones modulares, no lanzamiento directo

Debido a limitaciones de recursos, el equipo de DeepSeek ha optado por no lanzar directamente su motor de inferencia interno de código abierto, sino por colaborar con proyectos de código abierto existentes. Extraerán componentes reutilizables del motor y los contribuirán como bibliotecas independientes, además de compartir estrategias de optimización. Este enfoque tiene como objetivo retribuir de manera sostenible a la comunidad de código abierto, promover el desarrollo de AGI y garantizar que sus beneficios sirvan a toda la humanidad. Los esfuerzos futuros priorizarán la sincronización de la ingeniería de inferencia con la comunidad de código abierto y los socios de hardware para permitir soporte SOTA del día 0 para los nuevos lanzamientos de modelos.

Leer más

Meilisearch: Motor de búsqueda de código abierto ultrarrápido para tus aplicaciones

2025-04-14
Meilisearch: Motor de búsqueda de código abierto ultrarrápido para tus aplicaciones

Meilisearch es un motor de búsqueda de código abierto ultrarrápido y fácil de integrar en tus aplicaciones, sitios web y flujos de trabajo. Ofrece funciones listas para usar, como búsqueda híbrida, búsqueda al escribir, tolerancia a errores tipográficos, filtrado y búsqueda facetada, ordenación, soporte de sinónimos, geobúsqueda y soporte para múltiples idiomas, para una experiencia de búsqueda superior. Meilisearch proporciona una API RESTful, múltiples SDK, compatibilidad con IA y un servicio en la nube (Meilisearch Cloud) para una fácil implementación y mantenimiento. Prioriza la privacidad del usuario, permitiendo a los usuarios desactivar la recopilación de datos anónimos y proporcionando un canal de solicitud de eliminación de datos.

Leer más

Una Guía Práctica de Programación C para Hackers

2025-04-14
Una Guía Práctica de Programación C para Hackers

Este libro, dedicado a Dennis Ritchie, ofrece una guía práctica de programación C para hackers. El autor, un hacker experimentado, comparte técnicas prácticas obtenidas de años de experiencia, enfatizando el poder y la flexibilidad del lenguaje C. Defiende la libertad que ofrece C, argumentando que la elección de la herramienta correcta es prerrogativa del programador, no una cuestión de preferencias impuestas. El libro incluye ejemplos de código y debates sobre el uso de extensiones GNU.

Leer más
Desarrollo Guía Práctica

CI local para GitHub: Olvídate de la nube, abraza tu máquina de desarrollo

2025-04-14
CI local para GitHub: Olvídate de la nube, abraza tu máquina de desarrollo

¿Cansado de la CI en la nube lenta, cara y alquilada? `gh-signoff`, una extensión de la CLI de GitHub, ¡trae la CI a tu máquina local! Ejecuta tus pruebas localmente, firma cuando pasen (usando `gh signoff`) y obtén ese estado de confirmación verde de GitHub sin problemas. Di adiós a las complejas colas de fusión y a los pipelines de implementación: la simplicidad y el control son tuyos.

Leer más
Desarrollo CI local

Entrenamiento GRPO ligero: Sin Transformers, sin vLLM

2025-04-13
Entrenamiento GRPO ligero: Sin Transformers, sin vLLM

Este proyecto implementa un framework de entrenamiento GRPO (Group Relative Policy Optimization) ligero, construido casi desde cero, dependiendo solo de tokenizadores y PyTorch. Mejora el algoritmo original eliminando la divergencia de KL e incorporando el filtro de episodios demasiado largos, mejorando la estabilidad del entrenamiento y el uso de la memoria de la GPU. El proyecto entrena el modelo Qwen2.5-3B-Instruct en la tarea CountDown, que requiere generar una expresión matemática para alcanzar un valor objetivo dado un conjunto de números. El modelo lo resuelve aprendiendo a generar razonamiento en cadena de pensamiento antes de la respuesta final, guiado por recompensas de formato y respuesta. Todo el proceso es sencillo y reproducible, ejecutándose en una sola GPU A40 con comandos mínimos.

Leer más
Desarrollo

EXWM: Un potente gestor de ventanas para Emacs

2025-04-13
EXWM: Un potente gestor de ventanas para Emacs

EXWM es un gestor de ventanas X para Emacs basado en XELB, con características completas y totalmente controlado por teclado. Ofrece modos de diseño híbrido (mosaico y apilamiento), soporte para espacios de trabajo dinámicos y compatibilidad con ICCCM/EWMH. Las características opcionales incluyen soporte RandR (multimonitor), bandeja del sistema, método de entrada, configuración de fondo y servidor XSETTINGS. ¡Consulta las capturas de pantalla y la guía del usuario para obtener una visión general completa e instrucciones de instalación!

Leer más
Desarrollo

Guía Abierta sobre Compensación con Acciones: Una Visión General Exhaustiva

2025-04-13
Guía Abierta sobre Compensación con Acciones: Una Visión General Exhaustiva

Esta guía desentraña las complejidades de la compensación con acciones, cubriendo varias formas como acciones restringidas, opciones sobre acciones y unidades de acciones restringidas. Su objetivo es capacitar a empleados, gerentes de contratación, fundadores y estudiantes para que comprendan las complejidades de la compensación con acciones, tomen decisiones informadas y eviten errores costosos. Los temas incluyen los conceptos básicos de la compensación con acciones, los fundamentos de las sociedades anónimas, cómo se otorgan las acciones, los conceptos básicos de impuestos, los impuestos sobre la compensación con acciones, planes y escenarios, ofertas y negociaciones y más recursos. La guía también aborda las trampas comunes y ofrece sugerencias prácticas.

Leer más

Gatehouse-TS: Una biblioteca de autorización flexible y sin dependencias en TypeScript

2025-04-13
Gatehouse-TS: Una biblioteca de autorización flexible y sin dependencias en TypeScript

Gatehouse-TS es una biblioteca de autorización flexible y sin dependencias escrita en TypeScript, que combina políticas de control de acceso basadas en roles (RBAC), basadas en atributos (ABAC) y basadas en relaciones (ReBAC). Un puerto de la popular biblioteca Gatehouse Rust, cuenta con una API fácil de usar, admite la composición de políticas con operadores lógicos, ofrece un seguimiento detallado de la evaluación para la depuración y proporciona una API de constructor fluido para crear políticas personalizadas. Su diseño ligero y su documentación exhaustiva la hacen fácilmente integrable y adaptable a varios proyectos.

Leer más

Skywork-OR1: Lanzamiento de poderosos modelos de razonamiento de código abierto

2025-04-13
Skywork-OR1: Lanzamiento de poderosos modelos de razonamiento de código abierto

SkyworkAI ha lanzado la serie Skywork-OR1 de poderosos modelos de razonamiento de código abierto, incluyendo Skywork-OR1-Math-7B, Skywork-OR1-32B-Preview y Skywork-OR1-7B-Preview. Estos modelos, entrenados usando aprendizaje por refuerzo basado en reglas a gran escala, sobresalen en el razonamiento matemático y de código. Skywork-OR1-Math-7B supera significativamente a modelos de tamaño similar en las pruebas AIME24 y AIME25; Skywork-OR1-32B-Preview alcanza niveles de rendimiento de Deepseek-R1 en tareas matemáticas y de codificación; y Skywork-OR1-7B-Preview supera a todos los modelos de tamaño similar en ambos dominios. Los modelos completos y los scripts de entrenamiento estarán disponibles de código abierto en los próximos días.

Leer más
IA

Pruebas de mutación Rust con cargo-mutants

2025-04-13
Pruebas de mutación Rust con cargo-mutants

cargo-mutants es una herramienta Rust que mejora la calidad del código generando versiones mutantes de tu código para probar su robustez. Identifica errores potenciales que tus pruebas existentes no detectan, ofreciendo una perspectiva diferente a las herramientas tradicionales de cobertura de código. Se centra en si las pruebas realmente verifican el comportamiento del código, no solo el alcance del código. Fácil de usar e integrable con CI, se mantiene activamente y promete mejoras futuras, incluyendo nuevos tipos de mutación.

Leer más
Desarrollo Calidad del Código

Osprey: Protección del Navegador

2025-04-13
Osprey: Protección del Navegador

Osprey es una extensión de navegador diseñada para protegerte de sitios web maliciosos. Verifica las URL contra amenazas conocidas y bloquea el acceso a sitios dañinos, mostrando una advertencia si se detecta un sitio malicioso. Fácil de instalar desde la Chrome Web Store o los complementos de Microsoft Edge, Osprey también ofrece instrucciones de instalación manual. Personaliza las opciones de protección y obtén soporte a través del rastreador de problemas proporcionado.

Leer más

Whenever: Fechas y horas tipadas y seguras para DST en Python

2025-04-13
Whenever: Fechas y horas tipadas y seguras para DST en Python

¿Cansado de las trampas de `datetime` de Python? Whenever ofrece operaciones de fecha y hora tipadas y seguras para DST con un rendimiento inigualable, superando a otras bibliotecas de terceros y, a menudo, a la biblioteca estándar. Elige entre una implementación Rust de alto rendimiento o una versión Python pura para facilitar su uso. Resuelve las deficiencias de la biblioteca estándar en el manejo de DST y la comprobación de tipos, proporcionando una API limpia para escribir código de fecha y hora correcto.

Leer más
Desarrollo fecha y hora

Chonky: Segmentación inteligente de texto con transformadores

2025-04-13
Chonky: Segmentación inteligente de texto con transformadores

Chonky es una biblioteca de Python que divide inteligentemente el texto en fragmentos semánticos significativos utilizando un modelo de transformador afinado. Esta biblioteca es útil en sistemas de Generación Aumentada por Recuperación (RAG). Procesa textos largos de manera eficiente, dividiéndolos en fragmentos más pequeños y manejables para facilitar el análisis y el procesamiento. El código de ejemplo muestra cómo usar Chonky para dividir un texto de muestra en fragmentos semánticamente coherentes.

Leer más

OmniSVG: Un Modelo Unificado y Escalable para la Generación de Gráficos Vectoriales

2025-04-13
OmniSVG: Un Modelo Unificado y Escalable para la Generación de Gráficos Vectoriales

OmniSVG es la primera familia de generadores multimodales de SVG de extremo a extremo que aprovecha modelos de Visión-Lenguaje (VLM) preentrenados. Es capaz de generar SVGs complejos y detallados, desde íconos simples hasta intrincados personajes de anime. El proyecto ya ha lanzado los conjuntos de datos MMSVG-Icon y MMSVG-Illustration, y el artículo científico. Los planes futuros incluyen el lanzamiento del código y los modelos preentrenados, el conjunto de datos MMSVG-Character, y una página del proyecto con un informe técnico.

Leer más

KickSmash32: Módulo de Reemplazo de ROM Amiga de Código Abierto

2025-04-12
KickSmash32: Módulo de Reemplazo de ROM Amiga de Código Abierto

KickSmash32 es un módulo de reemplazo de ROM Kickstart de código abierto para sistemas Amiga 3000 y 4000. Admite hasta 8 bancos flash independientes, lo que permite la programación y el cambio de ROM a través de utilidades de línea de comandos de Amiga o una utilidad de host Linux (USB-C). Los servicios de archivos de host opcionales permiten transferencias de archivos fáciles entre la Amiga y el PC host. Se proporciona documentación completa e instrucciones de compilación. Tenga en cuenta que, debido a los diseños inconsistentes de los zócalos de ROM en los modelos Amiga, KickSmash32 solo es compatible con Amiga 3000 y Amiga 4000 originales.

Leer más
Hardware reemplazo de ROM

Shorty: Una biblioteca C++ para Lambdas más concisas

2025-04-12
Shorty: Una biblioteca C++ para Lambdas más concisas

Shorty es una biblioteca C++ diseñada para ofrecer una sintaxis más concisa que las expresiones lambda nativas de C++, sin la intención de reemplazar C++ con un DSL perezoso. Permite una notación más intuitiva para la ordenación, el filtrado, el zip y la llamada a funciones externas, admitiendo varios métodos de acceso a argumentos y conversiones de tipo. Por ejemplo, `std::ranges::sort(subject, $lhs > $rhs);` ordena de forma concisa, y `subject | std::views::filter(($i % 2) == 0);` filtra los números pares. Su diseño prioriza la eficiencia del desarrollador y la reducción de código redundante.

Leer más
Desarrollo Expresiones Lambda

Awe: Un Nuevo Compilador ALGOL W

2025-04-12
Awe: Un Nuevo Compilador ALGOL W

Awe es un nuevo compilador para el lenguaje de programación ALGOL W, sucesor de Algol 60. Es una implementación completa del lenguaje según se describe en la Descripción del Lenguaje ALGOL W de junio de 1972. Awe debería compilar código escrito para compiladores ALGOL W OS/360 con modificaciones mínimas. Las características incluyen asignación de registros dinámica, manejo de cadenas, números complejos y un sistema de E/S estándar. El proyecto agradece a Hendrick Boom y otros por sus contribuciones.

Leer más
Desarrollo
1 2 24 25 26 28 30 31 32 50 51