Webtagr - Resumen de noticias de tecnología

Kronotop: Una base de datos de documentos distribuida y transaccional compatible con Redis

2025-01-20

Kronotop es una base de datos de documentos distribuida y transaccional compatible con Redis, respaldada por FoundationDB. Admite un lenguaje de consulta similar a MQL, transacciones ACID y un motor de almacenamiento en disco con un modelo de replicación principal-secundario. Aunque todavía está en sus primeras etapas de desarrollo, con una API inestable, ya cuenta con características como ZMap (un almacén de clave-valor ordenado), espacios de nombres y soporte parcial para estructuras de datos Redis (cadenas y hashes). Los planes futuros incluyen soporte para más estructuras de datos Redis (listas, conjuntos, conjuntos ordenados) y una estructura de datos Bucket para almacenar documentos similares a JSON con soporte para el lenguaje de consulta MQL y transacciones.

(github.com)

Desarrollo

Propuesta: Efectos Esenciales para C

2025-01-20

Esta propuesta sugiere mejorar el sistema de tipos principal de C con un sistema de tipo y efecto, requiriendo que las funciones y bloques declaren los efectos de su evaluación. Esto mejora la composición de metaprogramación y simplifica la definición de restricciones al estilo MISRA. El sistema rastrea y verifica efectos, pero no maneja el tratamiento de efectos dinámicos. Se proponen tres grupos principales de efectos: Locales (por ejemplo, escritura local), Persistentes (por ejemplo, escritura no local) y Control (por ejemplo, transferencia de control no local). La verificación estática de efectos se logra asignando tipo y efecto a cada instrucción, expresión y cuerpo de función, descartando los efectos locales para garantizar el orden correcto. Se sugieren buenas prácticas, como limitar la magnitud de los efectos `mut` y `vol` y especificar verificaciones de efectos para operadores y estructuras de control. El objetivo es mejorar la seguridad, legibilidad y composición de C, especialmente para metaprogramación y gestión de recursos.

(www.open-std.org)

Desarrollo

SRCL: Una biblioteca de componentes React con estética de terminal

2025-01-20

SRCL es un repositorio de componentes y estilos React de código abierto que te ayuda a construir aplicaciones web, aplicaciones de escritorio y sitios web estáticos con estética de terminal. Cuenta con una colección completa de componentes, incluyendo barras de acción, acordeones, botones, banners de alerta, avatares, insignias, cargadores, publicaciones de blog, migas de pan, tarjetas, casillas de verificación, tableros de ajedrez, bloques de código, cuadros combinados, tablas de datos, selectores de fecha, paneles de control, ejemplos de bases de datos, menús desplegables, estados vacíos, campos de entrada, formularios, enlaces, listas, mensajes, modales, barras de navegación, ventanas emergentes, barras de progreso, botones de opción, selectores, barras laterales, controles deslizantes, tablas, áreas de texto, información sobre herramientas y vistas de árbol, todos con un estilo retro de terminal.

(www.sacred.computer)

Desarrollo Interfaz de Terminal

WordPecker: Aprendizaje de idiomas personalizado con lecciones al estilo Duolingo y vocabulario personalizado

2025-01-20

WordPecker es una aplicación de aprendizaje de idiomas personalizada que combina lecciones al estilo Duolingo con tus propias listas de vocabulario seleccionadas. Agrega palabras de libros, artículos o videos sin problemas y revísalas mediante cuestionarios interactivos y lecciones generadas por LLM. La aplicación aborda los puntos problemáticos de la adquisición de vocabulario en el aprendizaje de idiomas tradicional, conectando el aprendizaje al contexto, aumentando la eficiencia y la retención. Actualmente con varios tipos de preguntas, el desarrollo futuro incluye seguimiento del progreso, intercambio de listas y mucho más.

(github.com)

Desarrollo

Tolerancia a la Frustración: La Clave para Sobrevivir en Grandes Organizaciones

2025-01-20

En grandes organizaciones, las ambiciones a menudo chocan con la realidad. Este artículo explora la 'tolerancia a la frustración', un factor crucial que determina el éxito al navegar por las complejidades organizacionales, los conflictos y el lento progreso. Una alta tolerancia a la frustración permite a los individuos ver los desafíos como manejables, mientras que una baja tolerancia conduce a la renuncia, la negatividad y el agotamiento. Se identifican cuatro causas principales de la baja tolerancia a la frustración: demandas de comodidad, justicia, logro y control emocional. Replantear el roce organizacional como un catalizador para la innovación permite desarrollar una mayor tolerancia a la frustración y prosperar en entornos complejos.

(www.leadingsapiens.com)

Desarrollo Liderazgo Comportamiento Organizacional Gestión de la Frustración

La Magia Matemática Detrás de los Problemas de Divisibilidad en la Universidad

2025-01-20

Esta entrada de blog explora el origen de problemas comunes en los cursos universitarios de matemáticas, como demostrar que un polinomio siempre es múltiplo de un cierto entero. El autor señala que estos problemas provienen del conteo combinatorio, específicamente del conteo de Pólya-Redfield. Este método utiliza la fórmula de conteo de órbitas bajo la acción de grupo para conectar el valor de un polinomio con el conteo de una cierta estructura combinatoria, asegurando que el polinomio siempre sea múltiplo de un entero específico. El artículo utiliza dos ejemplos, el conteo de brazaletes y el conteo de tableros de tres en raya, para explicar cómo se utiliza el conteo de Pólya-Redfield para construir estos problemas. También propone una conjetura sobre si todos estos polinomios se originan en el conteo de Pólya-Redfield.

(grossack.site)

Desarrollo matemáticas combinatorias conteo de Pólya-Redfield acción de grupo

¿Systemd: Una Toma de Control Furtiva del Ecosistema Linux por Red Hat?

2025-01-20

Este artículo profundiza en las verdaderas motivaciones detrás de systemd, revelando cómo Red Hat aprovechó sus intereses comerciales en dispositivos integrados para transformar systemd de un simple sistema init en un componente central del sistema operativo Linux. El autor alega que Red Hat utilizó varias tácticas, incluyendo presionar a proyectos de código abierto para que dependan de systemd y contratar desarrolladores de otras distribuciones, para ejercer control sobre el ecosistema Linux, provocando una reacción negativa en la comunidad de código abierto y llevando a la renuncia de varios desarrolladores de Debian. Systemd se describe como un sistema monolítico con preocupaciones de privacidad, y la ambición de Red Hat se retrata como la de crear el próximo Windows. El artículo concluye abogando por un retorno al desarrollo impulsado por la comunidad y recomendando alternativas a systemd, como runit y s6.

(unixdigest.com)

Desarrollo

Parinfer: Una forma más sencilla de editar Lisp

2025-01-20

Parinfer es un modo de editor novedoso para lenguajes de programación Lisp que simplifica la codificación Lisp vinculando inteligentemente paréntesis y sangría. Aborda el famoso problema de los paréntesis en Lisp, ofreciendo una experiencia de edición más intuitiva para principiantes y expertos. Parinfer tiene dos modos: Modo de Sangría y Modo de Paréntesis, permitiendo a los usuarios concentrarse en la sangría o los paréntesis mientras Parinfer gestiona automáticamente el otro. También proporciona funcionalidad similar a Paredit sin necesidad de atajos complejos. En su esencia, Parinfer se basa en una definición formal de la relación entre paréntesis y sangría y emplea un mecanismo de ajuste automático inteligente basado en esta definición.

(shaunlebron.github.io)

Desarrollo

Demostraciones de la Comunidad CFRS[]: Dibujando Arte Increíble con Seis Comandos

2025-01-20

CFRS[] es un lenguaje de dibujo extremadamente minimalista que consiste en solo seis comandos (C, F, R, S, [, ]). Este documento recopila demostraciones CFRS[] contribuidas por miembros de la comunidad, incluyendo demostraciones dinámicas (usando el comando 'S' para animación) y demostraciones estáticas. Estas demostraciones muestran una gran variedad de formas, como flores, cruces, caleidoscopios y hojas, demostrando el poder expresivo del lenguaje. Incluso comandos simples pueden crear arte impresionante. Esta colección ofrece diversión e inspiración para principiantes y entusiastas de la programación.

(susam.github.io)

Desarrollo arte de programación dibujo minimalista contribuciones de la comunidad

Enums de TypeScript: Casos de uso y alternativas

2025-01-20

Esta publicación de blog analiza más a fondo los enums de TypeScript: ¿Cómo funcionan? ¿Cuáles son sus casos de uso? ¿Cuáles son las alternativas si no queremos usarlos? La publicación concluye con recomendaciones sobre cuándo usar qué enfoque. Cubre los conceptos básicos de los enums, los casos de uso (por ejemplo, espacio de nombres para constantes con valores primitivos, tipo personalizado con valores únicos, espacio de nombres para constantes con valores de objeto), las alternativas (por ejemplo, literales de objeto, unión de tipos literales de cadena) y cómo realizar comprobaciones de exhaustividad y enumerar miembros.

(2ality.com)

Desarrollo

Lanzamiento de Linux 6.13 Estable: Optimizaciones AMD, Amplio Soporte Apple y Más

2025-01-20

El kernel estable de Linux 6.13 ya está aquí, trayendo características emocionantes como optimizaciones AMD 3D V-Cache para procesadores Ryzen X3D, mayor eficiencia energética para servidores AMD EPYC 9005 "Turin", soporte para dispositivos Apple más antiguos y optimizaciones de compilador AutoFDO/Propeller. También se incluye soporte inicial para gráficos Intel Xe3, soporte NVMe 2.1 e infraestructura expandida del lenguaje Rust. Marcando el primer lanzamiento importante del kernel de 2025, Linux 6.13 mejora significativamente el rendimiento y la compatibilidad del hardware.

(www.phoronix.com)

Desarrollo

GitHub Actions: Por qué lo estoy reconsiderando

2025-01-20

Esta publicación detalla las frustraciones de usar GitHub Actions para CI/CD en un gran monorepo con 15 ingenieros que envían código constantemente a la rama principal. El autor destaca problemas clave: comprobaciones obligatorias defectuosas para solicitudes de extracción en una configuración de monorepo, baja reutilización del flujo de trabajo y administración de YAML, falta de entorno de desarrollo local y la actitud poco receptiva de GitHub hacia los comentarios de los usuarios. La conclusión aboga por explorar plataformas de CI/CD alternativas como GitLab, Jenkins o incluso Dagger para obtener mejores soluciones.

(ninkovic.dev)

Desarrollo

Proveedor Terraform para Switches HRUI: Simplificando la Configuración de Red

2025-01-20

El proyecto de código abierto `terraform-provider-hrui` proporciona un proveedor Terraform para administrar switches de la marca HRUI (Horaco, Sodola, XikeStor, etc.). Utiliza la biblioteca goquery para interactuar con la interfaz web del switch y se ha probado con éxito con el Horaco ZX-SWTG124AS. Se agradecen las contribuciones, y el proyecto está licenciado bajo la licencia MPL-2.0.

(github.com)

Desarrollo Gestión de Red

Revolucionando la autorización de grano fino: el motor de computación incremental de Feldera

2025-01-20

Feldera presenta un enfoque revolucionario para la autorización de grano fino (FGA). Los sistemas FGA tradicionales evalúan las solicitudes de autorización en tiempo real, lo que lleva a la ineficiencia. Feldera precalcula todas las decisiones de autorización y utiliza su motor de computación incremental (basado en SQL) para actualizar los resultados, convirtiendo las solicitudes de autorización en simples búsquedas de clave-valor. Incluso con grandes gráficos de objetos, Feldera procesa los cambios en milisegundos, mejorando drásticamente el rendimiento. El artículo detalla los principios de FGA y demuestra la construcción de un motor FGA de alto rendimiento utilizando SQL, mostrando su superioridad en el manejo de grandes conjuntos de datos.

(www.feldera.com)

Desarrollo Autorización de grano fino Computación incremental

Rhai: Un lenguaje de scripting seguro y eficiente para Rust

2025-01-20

Rhai es un lenguaje de scripting e motor de evaluación integrado para Rust, que proporciona una manera segura y sencilla de agregar capacidades de scripting a cualquier aplicación. Es compatible con todos los objetivos de CPU y SO compatibles con Rust, incluyendo WebAssembly, y tiene una sintaxis simple, similar a JavaScript. Rhai se caracteriza por su evaluación eficiente y su estrecha integración con las funciones y tipos nativos de Rust, permitiendo la transferencia y el uso sin problemas de valores de Rust. Sus robustas características de seguridad lo protegen contra ataques maliciosos como desbordamientos de pila y scripts descontrolados.

(github.com)

Desarrollo Lenguaje de Scripting Integrado

Geometría Computacional con Primitivas Probabilísticamente Ruidosas

2025-01-20

Una nueva preimpresión explora algoritmos de geometría computacional bajo operaciones primitivas probabilísticamente ruidosas. Muchos de estos algoritmos dependen de primitivas que acceden a coordenadas de entrada y las convierten en información combinatoria. El artículo considera primitivas que producen resultados incorrectos aleatoriamente e investiga cómo obtener resultados correctos con alta probabilidad sin pérdida significativa de eficiencia. Se descubrió que, para algunos problemas (como la construcción del casco convexo), la ralentización debida a la repetición puede evitarse, mientras que para otros (como encontrar pares más cercanos), no puede. Esto se conecta con trabajos anteriores sobre complejidad de comunicación utilizando comparaciones ruidosas para mejorar la eficiencia.

(11011110.github.io)

Desarrollo geometría computacional ruido probabilístico eficiencia de algoritmos

Las Dos Cosas Más Difíciles en la Ciencia de la Computación

2025-01-20

Un chiste clásico entre programadores dice: "Solo hay dos cosas difíciles en la Ciencia de la Computación: invalidación de caché y nombrar cosas." Este artículo rastrea el origen y la evolución de esta frase ingeniosa, explorando su humor y significado más profundo. Desde su forma concisa inicial hasta variaciones que incorporan 'errores fuera de rango' y más, el chiste refleja los numerosos desafíos que los programadores enfrentan diariamente, destacando la complejidad y la diversión inherentes a la programación.

(martinfowler.com)

Desarrollo

Cómo las interrupciones impactan a los ingenieros de software: Una investigación a fondo

2025-01-20

Una nueva investigación explora cómo las interrupciones afectan la productividad y el estrés de los ingenieros de software. El estudio descubrió que diferentes tipos de interrupciones (por ejemplo, notificaciones presenciales versus en pantalla) impactan la codificación, la comprensión de código y la revisión de código de manera diferente, con las tareas complejas siendo menos afectadas. Curiosamente, los datos fisiológicos (variabilidad de la frecuencia cardíaca) mostraron menos estrés con las interrupciones presenciales, pero los ingenieros las percibieron como más estresantes. Los gerentes deben priorizar el estrés percibido por los ingenieros, minimizando las interrupciones de alta prioridad y proporcionando tiempo enfocado para tareas como la codificación para aumentar la eficiencia del equipo.

(rdel.substack.com)

Desarrollo interrupciones

La fea verdad sobre la indentación Lisp

2025-01-19

Los programadores Lisp han debatido durante mucho tiempo sobre el mejor estilo de sangría. Este artículo explora varios enfoques, incluida la ausencia de sangría, la sangría alineada con la función, la sangría de relleno de espacio y la controvertida sangría de macro "enferma" del autor. La sangría alineada con la función se vuelve difícil de manejar con un anidamiento profundo, mientras que la sangría de relleno de espacio, aunque eficiente, se queda corta en casos extremos. El autor aboga por un estilo de macro "enfermo", que, a pesar de ser poco convencional, mantiene la legibilidad en código profundamente anidado y funciona bien con la mayoría de las herramientas de sangría. Se invita a los lectores a compartir sus estilos preferidos.

(aartaka.me)

Desarrollo estilo de codificación sangría

Autocorrección de Git: ¿Demasiado rápida incluso para pilotos de F1?

2025-01-19

La función de autocorrección de Git, con su tiempo de respuesta de 0,1 segundos, ha generado debates. Este artículo profundiza en su diseño y velocidad sorprendentemente rápida. No es el comportamiento predeterminado; en cambio, es configurable mediante la configuración `help.autocorrect`. Inicialmente, se estableció un tiempo de espera corto y en broma, luego se mejoró para permitir retrasos definidos por el usuario o indicaciones de confirmación. El autor también analiza el algoritmo de autocorrección de Git y sugiere mejoras para una mejor experiencia del usuario.

(blog.gitbutler.com)

Desarrollo autocorrección

Crea una Autoridad de Certificación diminuta y segura con YubiKey para tu Homelab

2025-01-19

Este tutorial te guía en la creación de una Autoridad de Certificación (CA) segura y protegida con YubiKey en una Raspberry Pi. Utilizando el software de código abierto step-ca y un Infinite Noise TRNG opcional para una aleatoriedad mejorada, crearás un pequeño servidor ACME interno para las necesidades TLS de tu homelab. La guía cubre la configuración del sistema, la creación de PKI, la configuración de la CA, la adición de un provisionador ACME y la implementación de servicios systemd para manejar la extracción/inserción de la YubiKey. El resultado: una CA diminuta, segura y sin SSH.

(smallstep.com)

Desarrollo autoridad de certificación

La sorprendente lucha para obtener una marca de tiempo de época UNIX a partir de una cadena UTC en C o C++

2025-01-19

Este artículo profundiza en las complejidades de convertir cadenas de tiempo UTC en marcas de tiempo Unix en C/C++. El autor descubre comportamientos inesperados en las funciones de manejo de tiempo POSIX en varias bibliotecas y lenguajes C. El enfoque está en el uso de las funciones `strptime()`, `mktime()` y `timegm()`, destacando problemas con el horario de verano y las configuraciones regionales. Se proporcionan soluciones, incluyendo el uso de `timegm()` para tiempos UTC y el aprovechamiento de flujos C++ para evitar problemas de configuración regional. El artículo concluye recomendando bibliotecas de manejo de tiempo más robustas disponibles en C++20 y posteriores, como la biblioteca tz de Howard Hinnant.

(berthub.eu)

Desarrollo

Curso Esencial de Robótica y ROS 2 de Código Abierto: Aprende ROS 2 desde Cero

2025-01-19

Henki Robotics, en colaboración con la Universidad del Este de Finlandia, ha publicado un curso de robótica ROS 2 para principiantes de código abierto. El curso cubre conceptos esenciales de ROS 2, simulación Gazebo, SLAM, navegación y más, todo en un entorno contenedorizado basado en Docker, eliminando la necesidad de instalación previa. Los ejercicios prácticos y el enfoque en la aplicación práctica hacen de este curso una opción ideal para principiantes que desean adquirir rápidamente las habilidades necesarias para el desarrollo de robótica moderna.

(henkirobotics.com)

Desarrollo Curso de Código Abierto

Eliminación de Tipos en Node.js: Simplificando el Desarrollo de TypeScript

2025-01-19

Node.js v23.6.0 introduce una función experimental muy esperada, la Eliminación de Tipos (Type Stripping), destinada a simplificar el uso de TypeScript al permitir que el código TypeScript se ejecute sin configuración adicional. Esta función lo logra eliminando la información de tipo del código TypeScript, evitando configuraciones y comprobaciones de tipo engorrosas, y aumentando así la eficiencia del desarrollo. Si bien se hicieron algunas concesiones para la compatibilidad y el rendimiento, como no admitir algunas características complejas de TypeScript, la función mejora significativamente la experiencia del desarrollador y allana el camino para la popularización de TypeScript en el ecosistema de Node.js.

(satanacchio.hashnode.dev)

Desarrollo Eliminación de Tipos

Google lanza OSV-SCALIBR: Una potente biblioteca de análisis de composición de software

2025-01-19

Google ha lanzado OSV-SCALIBR, una biblioteca extensible de análisis de composición de software (SCA) para escanear paquetes instalados, binarios independientes y código fuente en busca de vulnerabilidades. Admite numerosos lenguajes de programación y administradores de paquetes, y genera listas de materiales de software (SBOM). OSV-SCALIBR es el motor de SCA principal utilizado internamente por Google y ahora es de código abierto, con planes para integrarlo en OSV-Scanner para una interfaz de línea de comandos más robusta.

(security.googleblog.com)

Desarrollo Seguridad de Software

Guía de programación de red Linux: Una inmersión profunda en la programación de sockets

2025-01-19

Esta guía proporciona una explicación completa de la programación de red en Linux, centrándose en la programación de sockets. El autor observa que muchos recursos en línea carecen de claridad y los códigos de ejemplo a menudo solo cubren lo básico, de ahí la creación de este tutorial, que ofrece directrices claras y numerosos ejemplos. Los temas tratados incluyen tipos de sockets, direccionamiento, APIs (getprotobyname(), getservbyname(), getaddrinfo(), htonl(), htons(), ntohl(), ntohs(), socket(), setsockopt(), bind(), listen(), accept(), connect(), recv(), send(), close()), modelos cliente-servidor (cliente HTTP simple, cliente-servidor basado en TCP, cliente-servidor TCP multihilo, cliente-servidor basado en UDP), técnicas avanzadas (sockets no bloqueantes, multiplexación de E/S sincrónica con select() y poll(), mensajes de broadcast) y redes seguras con libcurl y OpenSSL.

(github.com)

Desarrollo Programación de Red

El Libro de Fuzzing: Automatizando las Pruebas de Software

2025-01-19

El Libro de Fuzzing es una guía completa para las pruebas de software automatizadas, centrándose en las técnicas de fuzzing. Cubre varios métodos de fuzzing, incluyendo fuzzing léxico, sintáctico y semántico, con ejemplos de código ejecutable para el aprendizaje práctico. Tanto si eres un probador de software, un ingeniero de seguridad o un desarrollador, este libro te capacita para generar casos de prueba automáticamente, mejorar la calidad del software y descubrir errores ocultos.

(www.fuzzingbook.org)

Desarrollo Pruebas de Software Pruebas Automatizadas

Construye una base de datos en 3000 líneas de código Go: de cero dependencias a consultas SQL

2025-01-19

Este artículo detalla la creación de una pequeña base de datos en 3000 líneas de código Go, desde cero. El autor explica los conceptos centrales, comenzando por la atomicidad contra pérdida de energía (lograda mediante registros de solo anexión y sumas de verificación) e indexación eficiente usando estructuras de datos como árboles B+. El proceso se explica paso a paso, cubriendo la creación de un almacén KV de solo anexión, la recuperación de espacio, las operaciones de base de datos relacionales (consultas de punto/rango, índices secundarios), el control de concurrencia y un lenguaje de consulta similar a SQL. Todo el proceso está documentado en un libro, disponible gratuitamente en línea.

(build-your-own.org)

Desarrollo

Redescubriendo la joya de la Apple Newton: Open Dylan

2025-01-19

Open Dylan es un lenguaje de programación funcional orientado a objetos, descendiente del lenguaje Dylan de Apple, originalmente creado para la PDA Newton. Combinando las fortalezas de Scheme y CLOS, sin la sintaxis Lisp, está diseñado para la generación eficiente de código de máquina. Este artículo muestra la documentación completa de Open Dylan, incluyendo tutoriales, manuales de referencia y una extensa documentación de la biblioteca, junto con un Playground online para una experimentación rápida. Si estás aprendiendo un nuevo lenguaje o explorando paradigmas de programación eficientes, Open Dylan merece la pena echarle un vistazo.

(opendylan.org)

Desarrollo

Visor de imágenes de terminal: La odisea de un programador

2025-01-19

Un programador se embarca en un viaje desafiante para crear el visor de imágenes de terminal perfecto. Comenzando con la visualización simple de píxeles, se adentra en las complejidades de cargar y representar varios formatos de imagen (JPEG, PNG, GIF, AVIF, JPEG XL, HEIC, ETC, BC, OpenEXR, etc.), encontrando obstáculos inesperados en el camino: estándares de formato inconsistentes, bibliotecas mal documentadas, las complejidades del procesamiento de imágenes HDR, las sutilezas de la gestión del color y las limitaciones de los protocolos de salida de terminal. Finalmente, supera estos desafíos para crear un visor de imágenes potente, adquiriendo una profunda apreciación por las complejidades y el encanto de los gráficos por computadora.

(wolf.nereid.pl)

Desarrollo visualización de terminal

Category: Desarrollo