Webtagr - Resumen de noticias de tecnología

Trampas en la Comparación de Punto Flotante: Lo que Necesitas Saber

2025-05-15

Este artículo profundiza en las complejidades de comparar números de punto flotante. El autor destaca la falta de fiabilidad de las comprobaciones de igualdad simples debido a las limitaciones inherentes de precisión y los errores de redondeo acumulados. Se detallan dos métodos de comparación: error relativo (épsilon) y ULP (Unidades en el Último Lugar), junto con sus fortalezas y debilidades. El artículo enfatiza el fallo de las comparaciones de error relativo cerca de cero, proponiendo una solución que combina el error absoluto. Un ejemplo convincente usando `sin(π)` demuestra la cancelación catastrófica y cómo los errores de representación de punto flotante pueden mejorar la precisión de π.

(randomascii.wordpress.com)

Desarrollo precisión cálculo numérico

Trampa de Inicialización en C++: Las Sutilezas de `=default`

2025-05-15

Este artículo profundiza en el mundo desconcertante de la inicialización en C++. Un ejemplo simple revela el impacto significativo de la colocación de `=default` en la inicialización de los miembros de una estructura: los miembros de estructura con `=default` en la declaración se inicializan con cero (valor 0), mientras que los que tienen `=default` en la definición tienen valores indeterminados, lo que lleva a un comportamiento indefinido si se leen. El artículo explica detalladamente las diferencias entre la inicialización predeterminada, la inicialización por valor y la inicialización con cero, y enfatiza la importancia de inicializar explícitamente las variables para evitar posibles errores y riesgos de seguridad.

(blog.tartanllama.xyz)

Desarrollo Inicialización Comportamiento Indefinido

Google aumenta la productividad de los desarrolladores con la finalización de código semántico híbrido de ML

2025-05-15

Investigadores de Google han desarrollado un nuevo sistema de finalización de código semántico híbrido basado en Transformer que combina el aprendizaje automático (ML) y los motores semánticos basados en reglas (SE) para mejorar significativamente la productividad de los desarrolladores. El sistema integra ML y SE de tres maneras: 1) reordenando las sugerencias de un solo token de SE usando ML; 2) aplicando finalizaciones de una y varias líneas usando ML y verificando la corrección con SE; y 3) usando la continuación de una y varias líneas por ML de sugerencias semánticas de un solo token. Un estudio de tres meses con más de 10,000 desarrolladores internos de Google mostró una reducción del 6% en el tiempo de iteración de codificación con la finalización de ML de una sola línea. Actualmente, más del 3% del nuevo código se genera al aceptar sugerencias de finalización de ML. El sistema admite ocho lenguajes de programación e incorpora comprobaciones semánticas para garantizar la corrección del código, lo que aumenta significativamente la confianza y la eficiencia del desarrollador.

(research.google)

Desarrollo finalización de código

Una verificación de año bisiesto en tres instrucciones

2025-05-15

Este artículo presenta un algoritmo sorprendentemente eficiente para determinar si un año (0 ≤ y ≤ 102499) es bisiesto utilizando solo unas tres instrucciones de CPU. Aprovecha la manipulación de bits y números mágicos cuidadosamente seleccionados para transformar las complejas reglas de año bisiesto en una simple operación aritmética y comparación. El autor explica meticulosamente la derivación del algoritmo, comparándolo con métodos tradicionales y destacando su significativa ventaja de velocidad. Si bien es ligeramente más lento en casos extremos, su eficiencia en aplicaciones prácticas es impresionante.

(hueffner.de)

Desarrollo año bisiesto

¿Están matando los LLM a Stack Overflow?

2025-05-15

Stack Overflow, el paraíso de los programadores, se enfrenta a una crisis sin precedentes. El artículo revela un declive constante en las preguntas realizadas desde 2014, dramáticamente acelerado por la llegada de ChatGPT. La plataforma, que alguna vez fue un salvavidas para innumerables desarrolladores, ahora ve el volumen de preguntas caer a niveles vistos por última vez en 2009. Si bien las políticas de moderación más estrictas y el auge de los LLM probablemente contribuyeron, el rápido avance de la IA está remodelando innegablemente la forma en que los desarrolladores buscan ayuda.

(blog.pragmaticengineer.com)

Desarrollo

Más allá de REST: Por qué la sincronización de estado es el futuro de las aplicaciones web

2025-05-15

Al construir aplicaciones web con React, Typescript y un backend REST de Rust/Axum, el autor encontró desafíos significativos con el enfoque de transferencia de estado de REST para lo que son esencialmente problemas de sincronización de estado. Usando un ejemplo simple de entrada de texto, el artículo destaca problemas como condiciones de carrera de solicitudes concurrentes, indicadores de carga imprecisos e inconsistencias en varias instancias de la aplicación. El autor argumenta a favor de un cambio hacia protocolos de sincronización de estado, como los basados en CRDT, para mejorar la eficiencia y eliminar errores comunes relacionados con REST.

(www.mbid.me)

Desarrollo Sincronización de Estado

El Desastre de los Puntos de Curl: Dos CVE y una Persecución Sin Fin

2025-05-15

El equipo de curl ha tenido una lucha persistente con los puntos finales en los nombres de host dentro de las URL. Inicialmente los ignoraban, pero luego restablecieron el soporte para sitios web que requieren puntos finales. Sin embargo, este cambio introdujo inadvertidamente dos vulnerabilidades de seguridad (CVE-2022-27779 y CVE-2022-30115) que afectan al manejo de cookies y al mecanismo HSTS, respectivamente. Estas vulnerabilidades se debieron a un manejo inadecuado de los puntos finales, lo que provocó coincidencias de dominio incorrectas. Curl 7.83.1 soluciona estos problemas, pero el autor sospecha que esto puede ser solo el comienzo de una batalla prolongada.

(daniel.haxx.se)

Desarrollo

Refactorizando Clojure: Creando un Generador de Texto Markov Elegante

2025-05-15

Este artículo detalla la refactorización de código Clojure que genera un texto de Markov de primer orden a nivel de palabra. En lugar de modificar el código original directamente, el autor comienza caracterizando su comportamiento con pruebas exhaustivas. El código refactorizado utiliza funciones más claras y una estructura más comprensible, empleando `reduce` y llamadas a funciones recursivas para una generación de texto eficiente. El resultado es una mejora significativa en la legibilidad y el mantenimiento, preservando la funcionalidad original.

(www.orsolabs.com)

Desarrollo cadena de Markov

Registro de Desarrollo del Software de Audio Tengri: Un Vistazo al Progreso Reciente

2025-05-15

El equipo de desarrollo del software de audio de código abierto Tengri actualizó recientemente su registro de proyecto en GitHub, detallando las actividades desde mayo. Esto incluye una refactorización significativa del arreglador, la reactivación del soporte LV2, mejoras en el proceso de construcción (como construcciones en contenedores Docker), actualizaciones de documentación y correciones de errores. El registro refleja un proceso de desarrollo iterativo, abordando activamente problemas y mostrando el estado de desarrollo activo del proyecto.

(codeberg.org)

Desarrollo software de audio

Más Allá de la Selección Escalar: Procesamiento por Lotes de Flujos de Eventos para la Eficiencia

2025-05-15

El autor describe la ineficiencia del antipatrón de selección escalar en el diseño de servicios con estado, ejemplificado por un servidor LSP. Procesar eventos uno a uno lleva a retrasos y desperdicio de recursos. La solución propuesta es procesar flujos de eventos por lotes. Una función `batch_stream` fusiona eventos entrantes en lotes, mejorando significativamente la eficiencia. Bajo carga baja, se comporta como procesamiento de eventos únicos, pero bajo carga alta, reduce drásticamente la sobrecarga, aumentando el rendimiento.

(matklad.github.io)

Desarrollo

La Sorprendente Eficacia de un Bucle de Agente LLM con Uso de Herramientas

2025-05-15

El autor y su equipo desarrollaron un asistente de programación de IA llamado Sketch, cuyo núcleo es un bucle sorprendentemente simple: el LLM recibe la entrada del usuario, realiza acciones (que pueden incluir llamadas a herramientas como bash) y devuelve resultados. Este bucle simple, combinado con LLMs potentes como Claude 3.7 Sonnet, permite a Sketch manejar eficientemente muchas tareas de programación, como operaciones git, modificaciones de código y manejo de errores. El autor cree que este enfoque de bucle de agente LLM tendrá un uso generalizado en la automatización diaria, mejorando drásticamente la eficiencia.

(sketch.dev)

Desarrollo Asistente de programación de IA Bucle de agente LLM Uso de herramientas

Revitalizando TLA⁺: Un Llamado a la Acción para el Desarrollo de Herramientas

2025-05-15

El Evento de la Comunidad TLA⁺ de 2025 destacó el estado actual y la dirección futura de las herramientas TLA⁺. El autor argumenta que la facilidad de desarrollo dentro del ecosistema TLA⁺ es primordial. Los analizadores sintácticos, intérpretes y verificadores de modelos existentes se revisan, junto con los desafíos, como el código heredado y las lagunas en la documentación. Las estrategias para superar estos obstáculos incluyen el desarrollo impulsado por pruebas, la incorporación de desarrolladores y las subvenciones. Las direcciones futuras incluyen pruebas generativas y simplificación de la sintaxis, culminando en un objetivo ambicioso: aumentar el rendimiento del TLC a 1000 millones de estados por minuto.

(ahelwer.ca)

Desarrollo

NumPy: Una relación de amor y odio con la biblioteca de arrays de Python

2025-05-15

Este artículo profundiza en los puntos débiles del uso de NumPy, la popular biblioteca de computación de arrays de Python, al tratar con arrays multidimensionales. Si bien NumPy sobresale por su simplicidad y eficiencia para arrays de menor dimensión, su mecanismo de broadcasting y su indexación se vuelven increíblemente complejos y difíciles de entender al abordar operaciones multidimensionales más intrincadas. El autor argumenta que el problema principal de NumPy proviene de su mecanismo de broadcasting que reemplaza a los índices, lo que resulta en una expresividad limitada. El artículo utiliza múltiples ejemplos para destacar las dificultades de NumPy con los cálculos de arrays complejos, comparando las ventajas y desventajas de usar bucles y np.einsum, expresando finalmente frustración con NumPy y el deseo de un lenguaje de arrays más amigable para el usuario.

(dynomight.net)

Desarrollo arrays multidimensionales

Desmitificando la concurrencia en Ruby: Procesos, Ractors, Threads y Fibers

2025-05-15

Ruby, conocido por su elegancia y legibilidad, presenta un modelo de concurrencia que puede ser inicialmente confuso. Este artículo profundiza en los cuatro mecanismos de concurrencia en Ruby: procesos, Ractors, threads y fibers. Los procesos ofrecen un aislamiento de memoria completo, ideales para tareas que necesitan separación absoluta; los Ractors, introducidos en Ruby 3, proporcionan paralelismo dentro de un solo proceso, utilizando el paso de mensajes para evitar las condiciones de carrera; los threads son ligeros, pero están limitados por el GIL a la concurrencia, no al paralelismo real; y las fibers, el mecanismo más ligero, ofrecen multitarea cooperativa mediante la cesión manual del control. Ejemplos de código y explicaciones claras aclaran las diferencias y los casos de uso, proporcionando una comprensión completa del complejo panorama de la concurrencia en Ruby.

(blog.papey.fr)

Desarrollo

¿El navegador bloquea el puerto 6000? ¡Vulnerabilidad de script entre protocolos!

2025-05-15

Mientras trabajaba en un proyecto Docker y Flask, el autor encontró un problema en el que el puerto 6000 era inaccesible, mientras que el puerto 8000 funcionaba correctamente. La investigación reveló que los navegadores bloquean activamente ciertos puertos, incluido el 6000, como medida de seguridad contra vulnerabilidades de script entre protocolos (XSS). Chrome muestra un error ERR_UNSAFE_PORT, Safari muestra una página en blanco y Firefox proporciona un mensaje más informativo "Esta dirección está restringida". El navegador cancela las solicitudes a estos puertos incluso antes de que se envíen. El autor confirmó que el servidor funcionaba correctamente usando curl, aislando el problema en las políticas de seguridad del navegador. El artículo enumera los puertos bloqueados por Firefox y sus servicios, explicando cómo funciona esta protección.

(www.keenformatics.com)

Desarrollo Seguridad del navegador

Shaders de ensamblaje ARB: Una inmersión profunda antes de GLSL

2025-05-15

Este artículo profundiza en los shaders de ensamblaje ARB, un lenguaje de sombreado utilizado en OpenGL antes de la llegada de GLSL. Se detallan la integración de shaders ARB, las características del lenguaje, los conjuntos de instrucciones y las comparaciones con GLSL. Aunque ahora está en gran parte obsoleto, comprender el ensamblaje ARB proporciona información valiosa sobre la evolución de la programación gráfica moderna y los mecanismos subyacentes de las tecnologías de gráficos de bajo nivel.

(mid.net.ua)

Desarrollo

Avance en la Coloración de Grafos: Algoritmo Casi Óptimo Alcanzado

2025-05-15

Imagine la complejidad de gestionar el tráfico aéreo en el aeropuerto de Newark. Para evitar colisiones, los investigadores modelan el problema como un problema de coloración de grafos: cada ruta de vuelo es una línea, cada ubicación un punto. Durante décadas, el progreso en algoritmos eficientes fue lento. Pero recientemente, un gran avance: un algoritmo de tiempo casi lineal, casi tan rápido como teóricamente posible, ofreciendo nuevas posibilidades para el control de tráfico aéreo y otras aplicaciones. Esto resuelve un problema de décadas, un verdadero hito.

(www.quantamagazine.org)

Desarrollo coloración de grafos

Trophy renueva la documentación para desarrolladores para una mejor experiencia

2025-05-15

Trophy revisó su documentación para desarrolladores para ofrecer una experiencia más rica e intuitiva. Eligieron Mintlify como su proveedor de documentación como servicio, apreciando su experiencia de escritura, soporte para componentes React personalizados y alojamiento de dominio personalizado económico. Los nuevos documentos utilizan un diseño con pestañas, segmentando claramente los documentos de la plataforma, las referencias de API, los tutoriales y los ejemplos. La legibilidad mejorada proviene de los diagramas Mermaid y los fragmentos de código adaptados a varios lenguajes de programación. Un mecanismo de retroalimentación y la integración de GitHub fomentan la participación de la comunidad. Los planes futuros incluyen funciones de conocimiento del usuario, soporte multilingüe e integración de LLM para una mejor capacidad de búsqueda.

(trophy.so)

Desarrollo documentación para desarrolladores documentación como servicio documentación de API

Fresh 2.0 Retrasado: El Framework Web de Próxima Generación de Deno Recibe una Actualización de Base

2025-05-15

El equipo de Deno anunció un retraso para Fresh 2.0, su framework web construido sobre los últimos estándares web, posponiendo el lanzamiento hasta finales del tercer trimestre de 2025. El retraso se debe a la concentración en mejorar el núcleo de la plataforma Deno y el registro JavaScript (JSR), solucionando problemas de compatibilidad con Node.js y, en última instancia, construyendo una base más sólida para la velocidad, extensibilidad y facilidad de uso de Fresh 2.0. Fresh 2.0 presentará APIs similares a Express/Hono, componentes asíncronos reales y un nuevo sistema de plugins. Ya está impulsando deno.com y Deno Deploy en producción, con una versión alfa disponible para que los desarrolladores la prueben, junto con una guía de migración para proyectos existentes.

(deno.com)

Desarrollo

Árboles Wavelet: Un Enfoque Elegante para Consultas de Rango en Secuencias

2025-05-15

Esta entrada de blog presenta el Árbol Wavelet, una estructura de datos elegante para responder consultas de rango en secuencias sobre alfabetos grandes. Alcanzando una complejidad temporal de O(log₂A) (donde A es el tamaño del alfabeto), organiza una cadena en una jerarquía de vectores de bits. La entrada detalla la construcción y consulta del Árbol Wavelet, destacando técnicas de optimización usando estructuras RRR u otros índices de rango binario para compresión y velocidad. Se recomienda una implementación en la biblioteca de estructuras de datos comprimidas de Francisco Claude (libcds) para su aplicación práctica.

(www.alexbowe.com)

Desarrollo

Rust aprende de las capacidades dinámicas de Python: Reflexión con Serde

2025-05-15

Este artículo detalla cómo el autor usó Rust y la biblioteca Serde para imitar el mecanismo de acceso a atributos dinámicos de Python (__getattr__), creando una API limpia y fácil de usar para acceder a la información del sistema. El artículo explica a fondo el proceso de implementación, incluyendo implementaciones personalizadas de trait, Deserializer y Visitor, y cómo aprovechar la característica derive(Deserialize) de Serde para simplificar el código. En última instancia, el autor creó con éxito una biblioteca Rust eficiente y fácil de usar que logra una API concisa similar a Python, y discute enfoques alternativos y compensaciones.

(ohadravid.github.io)

Desarrollo

Contribuciones de código abierto vs. trabajos bien remunerados: ¿LeetCode gana?

2025-05-15

Cinco años después de graduarse, un programador con una gran cantidad de proyectos de código abierto en su haber descubrió que sus años de dedicación no se tradujeron en un trabajo bien remunerado. Trabajó en dos startups, dedicando muchas horas por una remuneración insignificante. Finalmente, tuvo que abandonar sus amados proyectos de código abierto y dedicarse a LeetCode, lo que resultó en un aumento de 5 veces en su salario, pero también en la pérdida de la alegría y la satisfacción que tenía antes. Este artículo revela una dura realidad: el mercado laboral valora más LeetCode y la experiencia en grandes empresas que las contribuciones de proyectos del mundo real.

(lemmy.ml)

Desarrollo

llm-min.txt: Compresión al estilo Min.js para contextos de LLM

2025-05-15

llm-min.txt aborda el problema de corte de conocimiento en LLMs, donde los asistentes de codificación de IA carecen de acceso a actualizaciones recientes de bibliotecas de programación. Utiliza un enfoque similar a min.js, aprovechando otra IA para destilar la documentación técnica detallada en un resumen súper conciso y estructurado. Empleando el Formato de Conocimiento Estructurado (SKF), organiza la información en tres secciones principales (Definiciones, Interacciones, Patrones de Uso), logrando una reducción de tokens de hasta el 97% mientras conserva la información esencial para los asistentes de IA. llm-min.txt utiliza el modelo de IA Google Gemini y ofrece uso de línea de comandos y API de Python.

(github.com)

Desarrollo

Lanzamiento de Elixir Lua Library v0.1.0: Ejecuta Lua en la máquina virtual BEAM

2025-05-15

¡El primer lanzamiento estable de la biblioteca Elixir Lua, v0.1.0, ya está disponible en hex.pm! Esta biblioteca te permite ejecutar programas Lua en modo sandbox directamente en la máquina virtual BEAM, no mediante la incorporación del tiempo de ejecución y el compilador C Lua, sino a través de una implementación completa de Lua 5.3 en Erlang (con la potencia de la biblioteca Luerl). Las mejoras incluyen mejores mensajes de error, documentación exhaustiva, una macro `deflua` para exponer fácilmente las API de Elixir a Lua y un símbolo `~LUA` para la comprobación de sintaxis en tiempo de compilación. Nacido de las necesidades de TV Labs para construir pruebas de integración de dispositivos físicos, se utiliza como objetivo de compilación para su constructor de automatización de arrastrar y soltar. Los planes futuros incluyen la fusión de la biblioteca Elixir Lua con Luerl para mejorar los mensajes de error, la documentación y las funciones de sandbox.

(davelucia.com)

Desarrollo Máquina virtual BEAM

Facturación de Otoño: Evolución de Claves Publicables a Acciones de Servidor Cifradas

2025-05-15

Una empresa que construye un sistema de facturación exploró varios enfoques para simplificar el desarrollo, abordando el desafío de las operaciones de pago seguras en el front-end. Inicialmente, probaron Claves Publicables, pero encontraron limitaciones de seguridad y funcionalidad. Luego, adoptaron Acciones de Servidor de Next.js, pero esto expuso los ID de los clientes, creando una vulnerabilidad de seguridad. Finalmente, protegieron el sistema cifrando los ID de los clientes dentro de las Acciones de Servidor, pero este enfoque depende de las Acciones de Servidor y carece de agnóstico de framework. Los planes futuros incluyen una solución más general, independiente del framework, que simplifica la configuración del back-end.

(useautumn.com)

Desarrollo desarrollo de back-end sistemas de pago

Colección de artículos y proyectos del programador Bradford J. Rodriguez

2025-05-15

El sitio web personal de Bradford J. Rodriguez alberga una colección de artículos, presentaciones de seminarios y programas de computadora que ha publicado a lo largo de los años. El contenido abarca temas que incluyen la escritura de núcleos Forth, sistemas de multiprocesamiento, control en tiempo real, Forth orientado a objetos y ensambladores. Esto incluye el texto completo de sus disertaciones de doctorado y maestría, junto con el código fuente y la documentación de varios proyectos más pequeños. Estos recursos proporcionan materiales de aprendizaje valiosos para quienes estén interesados en sistemas embebidos, el lenguaje Forth y la arquitectura de computadoras.

(www.bradrodriguez.com)

Desarrollo Arquitectura de Computadoras

1700 Películas Subestimadas Descubiertas mediante la Minería de Datos de Wikipedia

2025-05-15

¿Cansado de que los algoritmos de recomendación de películas fallen? Un programador dedicó 12 horas a usar Python para extraer 150 GB de datos en inglés de Wikipedia, descubriendo más de 1700 películas aclamadas por la crítica de 83 países, que abarcan 19 géneros y datan de la década de 1910. La mayoría de estas películas no aparecen en las plataformas de recomendación convencionales, ofreciendo a los cinéfilos una oportunidad única de descubrir joyas ocultas. El proyecto no es un servicio de streaming, sino que proporciona un sitio web con la lista de estas películas; las compras incluyen actualizaciones gratuitas de por vida.

(kudos.wiki)

Desarrollo recomendaciones de películas minería de datos

LiveSplat: Algoritmo de Splatting Gaussiano en Tiempo Real Lanzado (Alfa)

2025-05-15

Se ha lanzado LiveSplat, un algoritmo de splatting gaussiano en tiempo real que utiliza flujos de cámara RGBD. Desarrollado como parte de un sistema de telerrobótica VR más grande, su lanzamiento público sigue un interés significativo de la comunidad. Actualmente en versión alfa, requiere Python 3.12+, Windows o Ubuntu, una GPU Nvidia y de uno a cuatro sensores RGBD. Si bien es de código cerrado, se proporcionan instrucciones de instalación y un script de integración Intel Realsense. El autor está abierto a oportunidades de licencia.

(github.com)

Desarrollo

Flujo de Registro de Schrödinger de Bitwarden: Un Fallo de UX de Seguridad

2025-05-15

Una arquitecta de seguridad, “Юленька”, descubrió un fallo lógico en el proceso de registro de Bitwarden. Los usuarios podían iniciar el registro en el Dispositivo A, pero completarlo (incluida la configuración de la contraseña maestra) en el Dispositivo B, lo que provocaba un fallo en la creación de la cuenta y aplicaciones inutilizables. Después de una respuesta despectiva de Bitwarden, “Юленька” informó creativamente del problema utilizando una rutina de comedia stand-up. El problema parece estar resuelto, pero Bitwarden no ofreció ningún reconocimiento ni registro de cambios. Esto destaca la necesidad de un mejor diseño de UX en los productos de seguridad y enfatiza la importancia de una comunicación clara para resolver los problemas de seguridad.

(github.com)

Desarrollo

ALTCHA: Solución antispam ligera y que protege la privacidad

2025-05-15

ALTCHA es un servicio antispam autohospedado para sitios web y APIs. Utiliza un mecanismo de prueba de trabajo en lugar de CAPTCHAs, protegiendo la privacidad del usuario y cumpliendo con los estándares GDPR y WCAG 2.2 AA. ALTCHA es ligero, sin cookies y totalmente accesible, ofreciendo una API SaaS y amplias opciones de configuración, incluyendo solicitudes personalizadas, filtro de spam y ofuscación de datos. Su tamaño es solo el 6% del reCAPTCHA.

(github.com)

Desarrollo antispam prueba de trabajo

Category: Desarrollo