Webtagr - Resumen de noticias de tecnología

Tach: Una herramienta en Rust para hacer cumplir las dependencias e interfaces de Python

2025-02-26

Tach es una herramienta Python escrita en Rust que aplica las dependencias e interfaces, inspirada en la arquitectura monolítica modular. Permite una adopción incremental, tiene cero sobrecarga en tiempo de ejecución y es interoperable con tus sistemas existentes. Configura tu proyecto de forma interactiva y luego usa el comando `tach check` para detectar violaciones de dependencias. Tach también visualiza tu gráfico de dependencias y proporciona informes que muestran las dependencias y los usos de los módulos. En resumen, Tach ayuda a los desarrolladores a construir proyectos Python más limpios y fáciles de mantener.

(github.com)

Desarrollo

Verificación formal del algoritmo de división larga con lógica de Hoare

2025-02-26

Este artículo presenta una verificación formal detallada del algoritmo de división larga utilizando la lógica de Hoare. El autor recorre meticulosamente la prueba, empleando triples de Hoare, axiomas de asignación, axiomas de composición, axiomas condicionales y el axioma de bucle while para demostrar la corrección del algoritmo. El artículo ofrece una explicación clara de la aplicación de la lógica de Hoare, ilustrando la complejidad del proceso de prueba con un ejemplo concreto y destacando la importancia de la verificación formal en el desarrollo de software.

(www.cofault.com)

Desarrollo

AtomixDB: Una mini base de datos relacional en Go

2025-02-26

AtomixDB es una mini base de datos relacional escrita completamente en Go, centrándose en la implementación y comprensión del funcionamiento de la base de datos, la gestión del almacenamiento y el manejo de transacciones. Utiliza un motor de almacenamiento B+ tree con soporte de indexación, cuenta con reutilización de nodos de lista libre, soporte de transacciones y lecturas concurrentes. Actualmente, admite los comandos CREATE, INSERT, GET, UPDATE, DELETE, BEGIN, COMMIT y ABORT. El proyecto es de código abierto y acepta contribuciones.

(github.com)

Desarrollo

Golioth Investiga: Un Misterio de Conectividad Celular

2025-02-26

Golioth recientemente encontró un problema de conectividad celular desconcertante: algunos dispositivos que usan un chipset de un proveedor específico experimentaron fallas de conexión después de actualizaciones de firmware OTA. La investigación reveló que el problema provenía de algunas redes NB-IoT que no cumplían con las especificaciones 3GPP, haciendo que el módem fallara al obtener las direcciones del servidor DNS correctamente. El equipo de Golioth, analizando a fondo las especificaciones 3GPP, los datos de rastreo del módem y los protocolos de red, finalmente encontró una solución alternativa, pero también expuso las desventajas de los ecosistemas cerrados y la falta de transparencia, pidiendo mayor transparencia en la industria para mejorar la confiabilidad de la conectividad celular.

(blog.golioth.io)

Desarrollo conectividad celular especificaciones 3GPP Conectividad Celular

Cambio de mantenedor de mapeo DMA del kernel de Linux

2025-02-26

Se ha producido un cambio de mantenedor en la comunidad del kernel de Linux. Christoph Hellwig ha transferido el mantenimiento del árbol dma-mapping a Marek Szyprowski. Este cambio se implementó actualizando el archivo MAINTAINERS y ha sido reconocido por las partes pertinentes.

(lore.kernel.org)

Desarrollo Mapeo DMA Cambio de mantenedor

Open Source: Donde los Sueños Mueren

2025-02-26

La renuncia de Hector Martin, desarrollador principal de Asahi Linux, destaca la naturaleza insostenible del desarrollo de código abierto. Años de trabajo no remunerado portando Linux al chip Apple Silicon llevaron al agotamiento, alimentado por las demandas interminables de los usuarios y la falta de compensación. Este artículo explora la economía rota del código abierto, donde los desarrolladores dedican innumerables horas a proyectos sin una recompensa adecuada, lo que lleva al agotamiento y al abandono del proyecto. Hace un llamado a un cambio fundamental en cómo valoramos y apoyamos las contribuciones de código abierto para evitar futuras tragedias.

(www.trevorlasn.com)

Desarrollo agotamiento del desarrollador

Un Compendio Hilarante de Licencias de Código Abierto Absurdas

2025-02-26

Este artículo recopila una colección de licencias de código abierto ridículas, divertidas y francamente malas. Desde licencias que permiten copiar pero prohíben ejecutar el software, hasta licencias que restringen el uso en función de la raza y la orientación sexual, el absurdo no tiene límites. Algunas licencias exigen que los usuarios sean homosexuales y cometan delitos, otras prohíben el uso con NFT o blockchain, y otras invocan la moralidad bíblica. La advertencia del autor: ¡No uses estas licencias!

(github.com)

Desarrollo licencias de código abierto

arXivLabs: Colaboraciones de la comunidad en las funciones de arXiv

2025-02-26

arXivLabs es un marco para desarrollar y compartir nuevas funciones de arXiv directamente en el sitio web, fomentando la colaboración con individuos y organizaciones que comparten los valores de arXiv de apertura, comunidad, excelencia y privacidad de los datos del usuario. ¿Tiene una idea para mejorar la comunidad de arXiv? Obtenga más información sobre arXivLabs.

(arxiv.org)

Desarrollo

vscli: Simplifica el lanzamiento de contenedores de desarrollo de VS Code desde la línea de comandos

2025-02-26

vscli es una herramienta de línea de comandos diseñada para simplificar el lanzamiento de contenedores de desarrollo de Visual Studio Code. Admite VS Code, VS Code Insiders, Cursor y otros editores, detectando automáticamente si un proyecto utiliza contenedores de desarrollo y lanzando el apropiado. El comando `open` abre proyectos, mientras que el comando `recent` muestra una lista de proyectos utilizados recientemente. Ofrece comportamientos de lanzamiento flexibles (forzar contenedor, forzar clásico, detectar), admite configuraciones personalizadas y permite pasar argumentos adicionales al editor. vscli aumenta significativamente la productividad del desarrollador con sus comandos concisos y amplias opciones.

(github.com)

Desarrollo Contenedor de Desarrollo

Estilos de sangría: Una guerra santa continúa

2025-02-26

El debate sobre los estilos de sangría de código continúa dividiendo a los programadores. Desde Allman hasta K&R y GNU, cada estilo tiene sus defensores, sin un consenso claro sobre cuál es superior. Este artículo profundiza en los pros y los contras de varios estilos de sangría y cita investigaciones recientes que demuestran que una sangría adecuada mejora significativamente la legibilidad del código y reduce el tiempo de lectura. En última instancia, la coherencia, independientemente del estilo elegido, es clave.

(en.wikipedia.org)

Desarrollo convenciones de programación

Telescope: Un visor de registros basado en web para ClickHouse

2025-02-26

Telescope es una aplicación web que proporciona una interfaz intuitiva para explorar datos de registro almacenados en ClickHouse. Admite varios tipos de registros, permitiendo a los usuarios configurar fácilmente conexiones y utilizar consultas para filtrar, buscar y analizar registros de manera eficiente. Actualmente en versión beta, hay una demostración en vivo disponible que muestra las características principales. Los planes futuros incluyen agregar ajustes preestablecidos de consultas, soporte para SQL sin procesar y mucho más.

(github.com)

Desarrollo visor de registros

Codificación de Logaritmo Iterado: Un Nuevo Formato de Codificación de Punto Flotante

2025-02-26

Este artículo presenta un nuevo formato de codificación de números reales: la codificación de logaritmo iterado. A diferencia de las representaciones tradicionales de punto flotante, este formato utiliza una secuencia de bits de signo para representar números, donde cada bit de signo indica la positividad o negatividad del número dentro de un rango específico. Este enfoque permite un rango notablemente amplio de números representables, incluyendo valores extremadamente grandes o pequeños que están fuera del alcance de los formatos tradicionales de punto flotante. Tiene una propiedad de ordenación lexicográfica única. Si bien la distribución de precisión no es uniforme, el método ofrece ventajas en la representación de números dentro de ciertos rangos, especialmente cuando se trata de valores extremadamente grandes o pequeños y los requisitos de precisión son menos estrictos.

(adamscherlis.github.io)

Desarrollo punto flotante

Cuadrados Misteriosos en los Nombres de Archivos de Windows: Una Aventura con Pares Sustitutos UTF-16

2025-02-26

Este artículo describe un fenómeno curioso en Windows: muchos ejecutables pequeños con cuadrados extraños en sus nombres que aparecen en el Administrador de Tareas. Estos archivos no son maliciosos; el problema se debe al uso de pares sustitutos UTF-16 en los nombres de archivo. UTF-16, para acomodar caracteres Unicode extendidos, usa pares sustitutos para representar caracteres más allá del Plano Multilingüe Básico. Cuando la manipulación de cadenas produce pares sustitutos aislados o malformados, los nombres de archivo se vuelven ilegibles. El artículo explica los pares sustitutos y proporciona un script de Python para generar archivos con nombres de archivo ilegibles, reproduciendo el fenómeno.

(zaferbalkan.com)

Desarrollo Pares Sustitutos

DeepGEMM: Núcleos GEMM FP8 limpios y eficientes con escalado granular fino

2025-02-26

DeepGEMM es una biblioteca para multiplicaciones de matrices generales (GEMMs) FP8 limpias y eficientes en NVIDIA Hopper Tensor Cores, con escalado granular fino, como se propuso en DeepSeek-V3. Admite GEMMs agrupadas normales y de Mix-of-Experts (MoE), utiliza un compilador Just-In-Time (JIT) ligero, eliminando la necesidad de compilación durante la instalación. Aborda la imprecisión de la acumulación del tensor core FP8 mediante la acumulación de dos niveles (promoción) del núcleo CUDA. A pesar de su diseño conciso (~300 líneas de código principal), el rendimiento de DeepGEMM iguala o supera a las bibliotecas ajustadas por expertos en varias formas de matrices.

(github.com)

Desarrollo

EdgeDB cambia de nombre a Gel y abraza el ecosistema PostgreSQL

2025-02-26

La startup de bases de datos EdgeDB ha cambiado oficialmente su nombre a Gel y ha anunciado que su versión 6.0 ofrece soporte completo para SQL, con soporte nativo para el protocolo PostgreSQL. Gel se posiciona como una capa frontal para PostgreSQL, similar a TypeScript para JavaScript, mejorando la eficiencia de los esquemas de datos y las consultas mediante compiladores inteligentes. El cambio de nombre busca mayor claridad y simplicidad, integrándose mejor en el próspero ecosistema de PostgreSQL. El lanzamiento de Gel 6.0 marca un cambio significativo de solo soportar su lenguaje de consulta propietario EdgeQL a abrazar SQL, ampliando su atractivo y reduciendo la barrera de entrada.

(www.geldata.com)

Desarrollo

MyCoder: Asistente de codificación de IA de línea de comandos que maneja cualquier desafío de codificación

2025-02-25

MyCoder es un potente sistema de agente de IA basado en línea de comandos capaz de realizar tareas arbitrarias, con un enfoque particular en tareas de codificación. Utiliza una arquitectura modular basada en herramientas para interactuar con archivos, ejecutar comandos, realizar solicitudes de red y generar subagentes para la ejecución paralela de tareas. Con una clave de API de Anthropic, MyCoder puede corregir errores de compilación, actualizar dependencias, refactorizar código, agregar nuevas funciones y mucho más. Admite el modo interactivo y la lectura de indicaciones desde archivos, y cuenta con funciones de registro inteligente y capacidad de automodificación. MyCoder aprovecha la API de Claude y utiliza Conventional Commits y GitHub Actions para CI/CD.

(github.com)

Desarrollo

ggwave: Una pequeña biblioteca de transmisión de datos por sonido

2025-02-25

ggwave es una biblioteca de código abierto ligera que permite la comunicación de pequeñas cantidades de datos entre dispositivos aislados usando sonido. Emplea un protocolo de transmisión simple basado en FSK con un ancho de banda de 8-16 bytes/seg, incorporando códigos de corrección de errores para una demodulación robusta. Las aplicaciones van desde IoT y códigos QR de audio hasta el emparejamiento de dispositivos. La biblioteca es multiplataforma, ofreciendo ejemplos e instalación sencilla en varios sistemas. Los usuarios pueden utilizar diferentes backends de audio según sus necesidades.

(github.com)

Desarrollo transmisión de datos comunicación de sonido

Cambio de paradigma en la interacción web: Comandos Invoker explicados

2025-02-25

Esta explicación detalla una nueva propuesta para la interacción web: Comandos Invoker. Al agregar los atributos `commandfor` y `command` a los elementos ``, asigna comportamiento a los botones de una manera más accesible y declarativa, reduciendo la cantidad de JavaScript necesaria. La propuesta define un evento `CommandEvent`, permitiendo que los desarrolladores personalicen las interacciones. Se incluye soporte integrado para los elementos `` y ``, con enfoque en la accesibilidad y la seguridad. También admite comandos personalizados y proporciona un amplio código de ejemplo que muestra cómo simplificar el desarrollo de la interacción web utilizando esta propuesta.

(open-ui.org)

Desarrollo

Una mirada al futuro de Python en el navegador: Presentamos SPy

2025-02-25

Para superar las limitaciones de velocidad de Python en el navegador, ingenieros de Anaconda y Cloudflare desarrollaron SPy. SPy no es una simple adaptación de Python; es un nuevo lenguaje que permite una mezcla de código en tiempo de compilación y tiempo de ejecución (código azul y rojo, respectivamente). El código azul, similar a Python, permite la precomputación en tiempo de compilación, lo que aumenta drásticamente el rendimiento. El código SPy puede interpretarse o compilarse a C, y luego compilarse a binarios nativos o WebAssembly. Una demostración de arte generativo mostró una mejora de velocidad de 100x al migrar de PyScript a SPy. Si bien se encuentra en etapas iniciales, SPy demuestra un potencial impresionante, prometiendo velocidades cercanas a Rust para la ejecución nativa de Python en navegadores en el futuro.

(lukasz.langa.pl)

Desarrollo

Perfilado de memoria estadística de baja sobrecarga en PyPy: integrando VMProf y el GC

2025-02-25

Esta entrada de blog describe un nuevo enfoque para el perfilado estadístico de memoria de baja sobrecarga para PyPy. En lugar de registrar cada asignación, muestrea cada n-ésimo byte asignado, integrando inteligentemente la lógica de muestreo en la verificación del asignador de puntero de colisión del recolector de basura (GC) de PyPy. Esto asegura que la ruta rápida permanece idéntica con y sin muestreo de memoria, minimizando la sobrecarga. Los experimentos demuestran un buen rendimiento en varias tasas de muestreo, ofreciendo un control más preciso y una menor sobrecarga para el perfilado de memoria.

(pypy.org)

Desarrollo perfilado de memoria

LLMs: El éxito inesperado del ranking de documentos

2025-02-25

Este artículo argumenta que los Grandes Modelos de Lenguaje (LLMs) pueden utilizarse eficazmente para el ranking de documentos por lista, y que, sorprendentemente, algunos problemas complejos pueden resolverse transformándolos en problemas de ranking de documentos. El autor lo demuestra utilizando la comparación de parches para localizar vulnerabilidades de día N. Al replantear el problema como el ranking de diferencias (documentos) según su relevancia para un aviso de seguridad (consulta), los LLMs pueden identificar eficientemente la función específica que corrige una vulnerabilidad. Esta técnica se ha validado en varias conferencias de seguridad y puede aplicarse a otros problemas de seguridad, como la selección y priorización de objetivos de fuzzing. Las mejoras futuras incluyen analizar los resultados clasificados y generar pruebas verificables, como generar automáticamente exploits de prueba de concepto que se puedan probar.

(noperator.dev)

Desarrollo Ranking de Documentos Descubrimiento de Vulnerabilidades

El poderoso ecosistema de OCaml: Dune y bibliotecas esenciales

2025-02-25

Este artículo presenta componentes clave del robusto ecosistema de OCaml. Dune (anteriormente Jbuilder) es un sistema de construcción compositivo; Base reemplaza la biblioteca estándar de OCaml para un mejor rendimiento y portabilidad; Core extiende Base con funcionalidad mejorada; Async permite la programación asincrónica; Bonsai construye máquinas de estado declarativas e incrementales; Incremental facilita los cálculos autoajustables; Base_quickcheck proporciona pruebas aleatorias basadas en propiedades; y Patdiff es una herramienta de comparación optimizada para archivos de código y configuración. Juntas, estas bibliotecas forman una base poderosa para el desarrollo de OCaml, aumentando la eficiencia y la calidad del código.

(opensource.janestreet.com)

Desarrollo

Asistente de codificación con IA gratuito: Gemini Code Assist ahora disponible para individuos

2025-02-25

El Gemini Code Assist de Google ahora es gratuito para desarrolladores individuales, integrado en Visual Studio Code e IDEs JetBrains. Ofrece funcionalidades de autocompletado de código, generación y chat, con un límite de uso 90 veces superior al de otros asistentes de código gratuitos. Con una generosa ventana de contexto de 128.000 tokens, los desarrolladores pueden trabajar con archivos grandes sin problemas. Usando prompts de lenguaje natural en varios idiomas, los desarrolladores pueden generar código (como un formulario HTML simple), explicar fragmentos de código y depurar. Esta potente herramienta permite a los desarrolladores concentrarse en la creatividad, mientras Gemini se encarga de las tareas repetitivas.

(blog.google)

Desarrollo Herramienta de desarrollo gratuita

GoatDB: Una base de datos NoDB ligera para Deno y React

2025-02-25

GoatDB es una base de datos en tiempo real con control de versiones, ideal para proyectos Deno y React, que ofrece implementaciones sencillas. Perfecta para prototipado, autohospedaje, aplicaciones de un solo inquilino y configuraciones multiinquilino ligeras sin backends complejos. Las características incluyen procesamiento del lado del cliente, capacidades offline-first y colaboración en tiempo real. Los hooks de React simplifican la gestión del estado, mientras que las consultas incrementales eficientes, la sincronización integrada y un robusto modelo de seguridad la hacen perfecta para prototipado rápido y proyectos colaborativos.

(github.com)

Desarrollo

Browser-Use: Habilitando la IA para controlar tu navegador

2025-02-25

Imagina tu IA interactuando sin problemas con tu navegador, buscando información, haciendo clic en enlaces e incluso realizando tareas web complejas. Browser-Use es una potente biblioteca Python que permite a los agentes de IA controlar directamente los navegadores, automatizando acciones como buscar en Reddit, agregar artículos a un carrito de compras o incluso agregar contactos a Salesforce. El proyecto ofrece APIs fáciles de usar, ejemplos de IU disponibles y documentación completa. Incluso se está formando un comité dedicado para definir las mejores prácticas para el diseño de IU/UX de agentes de navegador. Tanto si eres desarrollador como investigador de IA, Browser-Use ofrece importantes beneficios.

(github.com)

Desarrollo

Hyperspace: Una aplicación Mac que recupera espacio en disco usando clones APFS

2025-02-25

John Siracusa, un desarrollador experimentado, ha lanzado Hyperspace, una aplicación Mac que aprovecha inteligentemente las funciones de clonación del sistema de archivos APFS para liberar valioso espacio en disco. A diferencia de otras aplicaciones que eliminan archivos duplicados, Hyperspace recupera espacio sin pérdida, convirtiendo archivos con contenido idéntico en clones que comparten una única instancia de datos. El artículo detalla el proceso de desarrollo de Hyperspace y las experiencias y desafíos del autor usando SwiftUI y Swift 6. Si bien el método de Hyperspace para manipular archivos conlleva riesgos, su potente funcionalidad y facilidad de uso lo convierten en una bendición para los usuarios de Mac.

(hypercritical.co)

Desarrollo Aplicación Mac Espacio en disco

Elixir Abraza Python: Pythonx Aporta Programación Multilingüe a Livebook

2025-02-25

Para abordar el desafío de integrar Elixir con los ecosistemas Python existentes en ciencia de datos, este artículo presenta el proyecto Pythonx. Pythonx integra el intérprete de Python en la máquina virtual Erlang, permitiendo la conversión automática de datos y la evaluación de código entre Elixir y Python, y simplificando la gestión de entornos virtuales. Con Pythonx, los desarrolladores pueden mezclar a la perfección código Elixir y Python en cuadernos Livebook, mejorando significativamente la eficiencia del desarrollo y aumentando la practicidad de Livebook. El artículo también analiza problemas potenciales como el GIL y soluciones alternativas, y presenta Fine, una biblioteca C++ para simplificar el desarrollo de NIF.

(dashbit.co)

Desarrollo

Ideas novedosas para lenguajes de programación: Tipos de refinamiento y seguridad en tiempo de compilación

2025-02-25

Una publicación de blog explora las futuras direcciones de los lenguajes de programación, proponiendo varias características innovadoras. Estas incluyen la sobrecarga de funciones basada en tipos de refinamiento y el uso de tipos de unión y tipos de refinamiento en estructuras similares a C para la optimización de la memoria. La publicación también analiza la seguridad de memoria en tiempo de compilación e introduce el concepto de una función 'suponer', que permite a los programadores omitir las comprobaciones de seguridad en condiciones específicas para facilitar la depuración. Estas ideas tienen como objetivo mejorar la seguridad de tipos y la eficiencia en los lenguajes de programación.

(davidbos.me)

Desarrollo seguridad en tiempo de compilación

Configuración avanzada de Git: Cómo los desarrolladores principales configuran Git

2025-02-25

Esta publicación profundiza en configuraciones de Git poco conocidas que pueden mejorar significativamente la experiencia con Git. El autor comparte las mejores configuraciones descubiertas por los desarrolladores principales de Git durante un experimento de "limpieza de primavera", categorizadas en tres grupos: configuraciones que mejoran demostrablemente Git (como la mejora de la clasificación de ramas, algoritmos diff, operaciones de push y fetch), configuraciones inofensivas pero ocasionalmente útiles (como la sugerencia de autocorrección, mostrar diffs en el commit, reutilizar resoluciones de conflictos) y configuraciones basadas en preferencias personales (como la mejora del manejo de conflictos de merge, valores predeterminados de rebase y monitoreo del sistema de archivos). La función de cada configuración se explica detalladamente con los comandos correspondientes, ayudando a los lectores a optimizar sus configuraciones de Git para una mayor eficiencia.

(blog.gitbutler.com)

Desarrollo Configuración

Omitiendo TCP/UDP: Un viaje inesperado de experimentos de red

2025-02-25

El autor intenta crear un protocolo de transporte de red personalizado, omitiendo TCP y UDP, para explorar su comportamiento en diferentes sistemas operativos y entornos de red. Los experimentos revelan que el protocolo personalizado tiene éxito parcial en las pruebas de bucle invertido locales, pero en entornos de red cruzados, la mayoría de los servidores en la nube y los dispositivos de red descartan los paquetes de protocolo personalizados, excepto AWS, y existen problemas como la mala compatibilidad entre plataformas. Conclusión final: a menos que sea necesario, ¡cumpla con TCP o UDP!

(github.com)

Desarrollo

Category: Desarrollo