Einsum: Más Allá de la Multiplicación de Matrices

2025-01-06

Einsum es más que una simple multiplicación de matrices; es una implementación eficiente de la convención de suma de Einstein. Utiliza una notación concisa para representar operaciones complejas de tensores, evitando bucles anidados y mejorando la legibilidad y el rendimiento del código. Este artículo profundiza en la mecánica de Einsum, demostrando sus ventajas en el manejo de operaciones de tensores de alta dimensionalidad, como la multiplicación de matrices, la transposición y los cálculos de traza con ejemplos ilustrativos. Para los desarrolladores que necesitan cálculos de tensores de alto rendimiento, Einsum es una herramienta invaluable.

Leer más

Computación Antipersonal: Un Nuevo Paradigma Malicioso en la Computación de Principios del Siglo XXI

2025-05-13

Este artículo introduce el neologismo "computación antipersonal" para describir un patrón malicioso en la computación dominante de principios del siglo XXI: el uso de dispositivos informáticos perjudica los intereses del usuario, beneficiando a entidades de terceros. Una "computadora antipersonal" se define como un dispositivo usado principalmente en detrimento de su usuario y para el beneficio de terceros. El término hace una analogía con las minas antipersonales, destacando el lado oscuro del mal uso de la tecnología.

Leer más

Dominando el 'No' del Gerente de Producto: Reuniones Eficientes y Priorización

2025-01-22
Dominando el 'No' del Gerente de Producto: Reuniones Eficientes y Priorización

Esta publicación o indicación explora cómo los gerentes de producto pueden decir 'no' eficazmente a las solicitudes innecesarias, manteniendo las reuniones ágiles y las prioridades en orden. Se enfatiza la comunicación clara y la toma de decisiones eficiente para evitar que los proyectos se desvíen por demandas irrelevantes, aumentando así la productividad.

Leer más

La mecánica cuántica proporciona números aleatorios verdaderamente a demanda

2025-06-16
La mecánica cuántica proporciona números aleatorios verdaderamente a demanda

Investigadores del NIST y de la Universidad de Colorado Boulder han creado CURBy, un faro de aleatoriedad público que aprovecha el entrelazamiento cuántico. Este sistema utiliza una prueba de Bell para medir fotones entrelazados, generando números verdaderamente aleatorios e impredecibles. A diferencia de los generadores de números pseudoaleatorios clásicos, la aleatoriedad de CURBy es rastreable y verificable, estando protegida por el protocolo Twine para transparencia y seguridad. Proporciona una fuente fiable de aleatoriedad para aplicaciones como auditorías y loterías. Este avance representa un progreso significativo en la aplicación de la mecánica cuántica, estableciendo el primer servicio público de números aleatorios basado en la no localidad cuántica.

Leer más

Código QR Doble: ¿El Futuro de los Pagos Sin Problemas?

2025-01-25

Imagina un código QR que contiene tanto la información de pago como la del comerciante, permitiendo completar el pago sin cambiar—esa es la atracción del código QR doble. Combina inteligentemente códigos estáticos y dinámicos; el primero muestra la información del comerciante para facilitar la identificación y consulta, mientras que el segundo se usa para el pago, garantizando la seguridad y eficiencia de la transacción. Esta tecnología promete simplificar los procesos de pago y mejorar la experiencia del usuario. En el mundo actual centrado en los pagos móviles, los códigos QR dobles pueden convertirse en la tendencia futura en los métodos de pago, transformando los hábitos del consumidor.

Leer más

El telescopio Webb revela convección de nubes en el hemisferio norte de Titán

2025-05-18
El telescopio Webb revela convección de nubes en el hemisferio norte de Titán

Utilizando datos del Telescopio Espacial James Webb y del telescopio Keck II, los astrónomos han encontrado evidencia de convección de nubes en el hemisferio norte de Titán. La mayoría de los lagos y mares de Titán se encuentran allí y probablemente se reabastecen con lluvias ocasionales de metano y etano. El Webb también detectó una molécula clave que contiene carbono, ofreciendo información sobre los procesos químicos en la compleja atmósfera de Titán. Esta es la primera vez que se observa convección de nubes en el hemisferio norte de Titán, lo cual es crucial para comprender el ciclo del metano de Titán, ya que la mayoría de los lagos y mares se encuentran allí. El descubrimiento también revela la presencia de radicales metilo en la atmósfera de Titán, ayudando a los científicos a comprender los procesos químicos de Titán.

Leer más
Tecnología ciclo del metano

Comparativa de rendimiento: Operaciones bit a bit vs. módulo para comprobar si un número es par

2025-01-14
Comparativa de rendimiento: Operaciones bit a bit vs. módulo para comprobar si un número es par

Esta publicación compara dos métodos para comprobar si un número es par en Pascal y C: operación de módulo y operación bit a bit. El enfoque bit a bit (usando el operador AND bit a bit) resultó significativamente más rápido. Una prueba en Pascal iterando de 0 a MaxInt mostró que las operaciones bit a bit fueron casi 15 veces más rápidas que el módulo. En C, aunque la optimización del compilador puede traducir el módulo 2 a AND bit a bit, el método bit a bit aún superó ligeramente al módulo. Esto destaca la ventaja de eficiencia de las operaciones bit a bit para comprobar números pares en escenarios críticos de rendimiento.

Leer más

NearlyFreeSpeech.NET: Un servicio de alojamiento DIY para geeks

2025-01-11

NearlyFreeSpeech.NET es un servicio de alojamiento web de bricolaje diseñado para webmasters experimentados y personas altamente motivadas. Funciona con un modelo de pago por uso, lo que significa que solo pagas por los recursos que consumes. Si bien no ofrece soporte técnico personal, proporciona una extensa documentación y soporte comunitario, lo que lo convierte en una opción rentable para quienes se sienten cómodos administrando sus propios sitios web. Los servicios incluyen alojamiento web, alojamiento de DNS y registro de dominio, con soporte para varios lenguajes de programación y bases de datos.

Leer más
Desarrollo alojamiento web

Craft Basic 1.7.1: Un intérprete BASIC retro para Windows

2025-05-18

Craft Basic 1.7.1 es un intérprete BASIC gratuito para Windows 95 y versiones posteriores. Aprende a programar, crea juegos simples, escribe código interactivo, realiza cálculos complejos, muestra gráficos geniales, crea formularios, escribe scripts útiles y mucho más. Los comandos simples te permiten dibujar mapas de bits y reproducir archivos WAV; cuenta con manejo de formularios para texto estático y botones; e incluye muchos programas de ejemplo para que comiences. Es compatible con Win9X, Win2K, WinXP, Win10 y Win11.

Leer más
Desarrollo intérprete BASIC

Quantus: Plataforma de Trading Cuantitativo Revolucionaria

2024-12-12

Quantus es una plataforma de trading cuantitativo avanzada, diseñada para proporcionar soluciones de trading eficientes y fiables a traders profesionales e inversores institucionales. Integra potentes herramientas de análisis de datos, capacidades de backtesting flexibles y un sistema de ejecución de baja latencia, permitiendo a los usuarios aprovechar mejor las oportunidades del mercado y mejorar los retornos de inversión. Con su robusta tecnología e interfaz fácil de usar, Quantus se está convirtiendo rápidamente en una estrella en ascenso en el panorama de las fintech.

Leer más
Tecnología trading cuantitativo

Clean: Un DSL incrustado y un framework de verificación formal para circuitos ZK en Lean4

2025-03-27

Los investigadores han desarrollado Clean, un lenguaje específico de dominio (DSL) incrustado y un framework de verificación formal en Lean4 para construir circuitos de conocimiento cero (ZK). Los circuitos ZK son propensos a errores, y Clean tiene como objetivo mejorar la corrección al permitir a los usuarios definir circuitos en Lean4, especificar sus propiedades deseadas y probarlos formalmente. Este proyecto es parte del Proyecto de Verificación Formal zkEVM, cuyo objetivo es proporcionar la infraestructura y las herramientas para la verificación formal de zkEVMs. Clean admite cuatro operaciones básicas para definir circuitos: witness, assert, lookup y subcircuit, y ofrece una interfaz monádica para una mejor usabilidad. Su núcleo es la estructura FormalCircuit, que empaqueta de forma fuertemente tipada la definición del circuito, los supuestos, la especificación, las pruebas de solidez y completitud. Los circuitos grandes se pueden verificar formalmente reemplazando recursivamente las restricciones de los subcircuitos por sus especificaciones (formalmente verificadas). El framework ya ha verificado con éxito circuitos simples como la suma de 8 bits, con planes futuros para agregar más gadgets de bajo nivel, definir circuitos de funciones hash comunes y construir una máquina virtual mínima formalmente verificada para un subconjunto de RISC-V.

Leer más

Portspoof: Herramienta de suplantación de puertos de código abierto frustra los análisis de puertos

2024-12-25
Portspoof: Herramienta de suplantación de puertos de código abierto frustra los análisis de puertos

Portspoof es una herramienta de suplantación de puertos de código abierto diseñada para mejorar la seguridad del sistema operativo. Confunde a los escáneres de puertos manteniendo siempre abiertas las 65535 puertos TCP y respondiendo con SYN+ACK a cada intento de conexión. Además, Portspoof cuenta con una base de datos masiva de firmas de servicio dinámicas, imitando varios banners de servicio para dificultar aún más que los atacantes identifiquen los servicios reales. Esto aumenta significativamente el tiempo y la dificultad para que los atacantes realicen análisis de puertos e identificación de servicios, mejorando eficazmente la seguridad del sistema sin necesidad de privilegios de root.

Leer más

arXivLabs: Proyectos experimentales con colaboradores de la comunidad

2025-02-22
arXivLabs: Proyectos experimentales con colaboradores de la comunidad

arXivLabs es un marco que permite a los colaboradores desarrollar y compartir nuevas funciones de arXiv directamente en nuestro sitio web. Las personas y organizaciones que trabajan con arXivLabs han adoptado y aceptado nuestros valores de apertura, comunidad, excelencia y privacidad de los datos de los usuarios. arXiv está comprometido con estos valores y solo trabaja con socios que los respetan. ¿Tiene una idea para un proyecto que agregará valor a la comunidad de arXiv? Obtenga más información sobre arXivLabs.

Leer más
Desarrollo

Construye un SO en 1000 líneas de código: Una guía para principiantes

2025-01-08

Este libro te guiará en la construcción de un pequeño sistema operativo desde cero, paso a paso. Si bien el desarrollo del kernel del SO puede parecer desalentador, las funciones fundamentales son sorprendentemente simples. Usando C, implementarás cambio de contexto, paginación, modo de usuario, un shell de línea de comandos, un controlador de disco y E/S de archivos, todo en 1000 líneas de código. El desafío? La depuración. Aprenderás técnicas de depuración esenciales para el desarrollo de SO, enfrentando desafíos como el proceso de arranque y la paginación. ¡Prepárate para un viaje emocionante al mundo del desarrollo de SO!

Leer más
Desarrollo Lenguaje C

Nuevas Funciones Hash Rain Hashes: Velocidad y Seguridad Combinadas

2024-12-13
Nuevas Funciones Hash Rain Hashes: Velocidad y Seguridad Combinadas

DOSAYGO Research ha lanzado Rain Hashes, una nueva familia de funciones hash con los algoritmos Rainbow y Rainstorm. Rainbow se destaca por su velocidad excepcional, lo que lo hace ideal para el hashing de propósito general. Su implementación en C++ ha superado todas las pruebas de SMHasher3 y se caracteriza por su código conciso y eficiente. Rainstorm prioriza la seguridad; aunque no ha sido auditado formalmente, su diseño incorpora elementos de funciones hash criptográficas y ofrece tamaños de salida de 64 a 512 bits. El proyecto proporciona implementaciones en C++, WASM y Node.js, junto con una herramienta de línea de comandos y pruebas de evaluación comparativa para una fácil evaluación y uso.

Leer más
Desarrollo función hash

Finlandia casi erradica la falta de vivienda: Lecciones de una estrategia exitosa

2025-01-10
Finlandia casi erradica la falta de vivienda: Lecciones de una estrategia exitosa

La notable reducción de personas sin hogar en Finlandia durante tres décadas, de más de 16.000 en 1989 a alrededor de 4.000 en 2020, se debe a una estrategia nacional sostenida centrada en un enfoque de "Vivienda Primero". Esto prioriza el suministro de vivienda inmediata, independiente y permanente, junto con servicios de apoyo social integrados y asistencia financiera a través del sistema de prestaciones sociales. A diferencia de las soluciones temporales, esta estrategia garantiza una base sólida para abordar otras necesidades como el empleo y la atención médica. El éxito destaca la importancia de un enfoque equilibrado que combine ayuda financiera, apoyo integral y un mayor suministro de viviendas, lo que resulta mucho más eficaz que depender de una sola palanca. El modelo finlandés ofrece valiosas lecciones para otros países de la OCDE que buscan abordar la falta de vivienda de manera eficaz.

Leer más

Putnam-AXIOM: Un nuevo benchmark que desafía la capacidad de razonamiento matemático de los LLM

2025-01-01
Putnam-AXIOM: Un nuevo benchmark que desafía la capacidad de razonamiento matemático de los LLM

Los investigadores presentaron Putnam-AXIOM, un benchmark desafiante que consta de 236 problemas de la William Lowell Putnam Mathematical Competition, diseñado para evaluar las capacidades de razonamiento matemático de alto nivel de los modelos de lenguaje grandes (LLM). Para mitigar la contaminación de datos, también se creó un benchmark de variaciones con alteraciones funcionales de 52 problemas. Los resultados muestran que incluso los modelos de mejor rendimiento experimentan una caída significativa en la precisión (alrededor del 30%) en las variaciones en comparación con los originales, lo que destaca un espacio sustancial para mejorar el razonamiento matemático de los LLM.

Leer más

Iteradores Go: Manejo eficiente de APIs paginadas

2024-12-21

Este artículo muestra cómo manejar eficientemente APIs paginadas usando la característica de iteradores introducida en Go 1.23. Utilizando la API de GitHub como ejemplo, el autor demuestra cómo escribir un iterador personalizado para abstraer la lógica de paginación, haciendo el código más legible y reutilizable. El artículo se centra en la implementación y las pruebas del iterador, incluyendo la simulación de llamadas a la API y el uso de iteradores pull para asegurar que el iterador devuelve los resultados esperados. Los iteradores permiten a los desarrolladores separar la lógica de paginación de la lógica de negocio, mejorando la mantenibilidad y legibilidad del código.

Leer más
Desarrollo

Primeros pasos en ensamblador: Optimización de un analizador léxico con vectores de bits

2024-12-25

Después de leer "Writing an Interpreter in Go", un programador intentó reescribirlo en Zig y Rust, centrándose en la optimización del rendimiento del analizador léxico. Exploró varios métodos: ramificaciones, tablas de búsqueda y vectores de bits. Los vectores de bits comprimen la representación del estado asignando caracteres ASCII a bits, reduciendo el uso de memoria y mejorando la eficiencia de búsqueda. Si bien un intento de usar instrucciones SIMD falló, implementó con éxito vectores de bits en Zig y obtuvo buenos resultados en las pruebas de rendimiento, adquiriendo una valiosa experiencia en programación en ensamblador y optimización del rendimiento.

Leer más

Pyper: Python Concurrente Simplificado

2025-01-15
Pyper: Python Concurrente Simplificado

Pyper es un framework flexible para el procesamiento de datos concurrente y paralelo, basado en patrones de programación funcional. Integra a la perfección operaciones con threads, multiprocesamiento y asincrónicas, simplificando la creación de sistemas ETL, microservicios de datos y pipelines de recolección de datos. Con una API limpia y colas eficientes, Pyper ofrece una solución ligera en Python puro (sin dependencias) que prioriza la facilidad de uso, la seguridad y la eficiencia. Los desarrolladores pueden concentrarse en la construcción de la lógica en lugar de gestionar detalles de concurrencia de bajo nivel.

Leer más
Desarrollo

Tarjetas Perforadas: Un Fragmento Olvidado de la Historia de la Computación

2025-02-26
Tarjetas Perforadas: Un Fragmento Olvidado de la Historia de la Computación

En las décadas de 1950 y 1960, las tarjetas perforadas eran omnipresentes en contabilidad, recolección de datos e informática temprana, con millones producidas mensualmente por cientos de empresas en todo el mundo. Sin embargo, rápidamente se volvieron obsoletas y desaparecieron del conocimiento público. Este archivo conserva una pequeña selección de estas tarjetas y materiales relacionados, documentando un fragmento olvidado de la historia de la tecnología.

Leer más
Tecnología archivo histórico

Roadster Tesla confundido con asteroide

2025-01-25
Roadster Tesla confundido con asteroide

Un objeto inicialmente identificado como un asteroide recién descubierto, 2018 CN41, resultó ser el Tesla Roadster de Elon Musk, lanzado al espacio en 2018 durante una prueba del cohete Falcon Heavy de SpaceX. Este incidente gracioso destaca el creciente desafío de rastrear desechos espaciales. Un astrónomo aficionado inicialmente lo confundió con un objeto cercano a la Tierra, y el Minor Planet Center inicialmente lo incluyó como un nuevo asteroide. Si bien el problema se resolvió rápidamente, subraya el creciente número de objetos espaciales no rastreados que podrían dificultar los esfuerzos para proteger la Tierra de asteroides potencialmente peligrosos.

Leer más
Tecnología Desechos espaciales

Prolog: La elegancia de la programación declarativa

2025-01-26

Este artículo profundiza en la simplicidad y el poder de Prolog, un lenguaje de programación lógica. A diferencia de los populares lenguajes imperativos (como Python, Java), Prolog emplea un paradigma declarativo, centrándose en describir el problema en lugar de especificar los pasos de la solución. El autor demuestra las ventajas de Prolog en concisión y adaptabilidad comparando implementaciones en Prolog y Kotlin de un sistema de autorización. El código Prolog es significativamente más compacto, y las modificaciones son más fáciles cuando cambian los requisitos (por ejemplo, añadiendo una dimensión de tiempo). Aunque Prolog tiene una curva de aprendizaje más pronunciada, dominarlo amplía las perspectivas de programación y ayuda a mantener la simplicidad del sistema.

Leer más

La Docena de Datasaurus: Exponiendo las Trampas de la Estadística

2024-12-17

Trece conjuntos de datos, con estadísticas descriptivas simples casi idénticas, ¡pero con distribuciones y visualizaciones muy diferentes! Esta es la fascinante Docena de Datasaurus. Compuesta por un conjunto de datos con forma de dinosaurio y otros doce con formas variadas, todos comparten casi las mismas medias, varianzas y correlaciones. Esto demuestra poderosamente el peligro de depender únicamente de estadísticas descriptivas básicas; la visualización es crucial. La Docena de Datasaurus sirve como una advertencia, instando a los analistas de datos a priorizar la visualización antes del análisis para evitar conclusiones engañosas.

Leer más

Descubrimiento accidental: Nanomaterial recoge agua del aire sin energía externa

2025-05-26
Descubrimiento accidental: Nanomaterial recoge agua del aire sin energía externa

Una observación fortuita en un laboratorio de Ingeniería Química en Penn Engineering ha llevado al descubrimiento de una nueva clase de materiales nanoestructurados que pueden extraer agua del aire, recogerla en poros y liberarla en superficies sin necesidad de energía externa. Este material, una mezcla de nanopores hidrofílicos y polímeros hidrofóbicos, utiliza la condensación capilar para capturar la humedad del aire, incluso con baja humedad, y expulsarla en forma de gotas. El descubrimiento promete aplicaciones en la recolección pasiva de agua en regiones áridas y en el enfriamiento de dispositivos electrónicos o edificios mediante enfriamiento evaporativo.

Leer más

Las hormigas superan a los humanos en un experimento de trabajo en equipo

2024-12-25
Las hormigas superan a los humanos en un experimento de trabajo en equipo

Un experimento del Instituto Weizmann enfrentó a hormigas contra humanos en un desafío de transporte colaborativo de carga a través de un laberinto. Sorprendentemente, los equipos de hormigas, incluso con comunicación limitada, superaron a los equipos humanos. Los investigadores atribuyen esto a la naturaleza altamente social de las hormigas y a sus objetivos compartidos, mientras que los equipos humanos lucharon con las diferencias individuales y las fallas de comunicación, sin lograr realizar plenamente la 'sabiduría de la multitud'. Este estudio arroja luz sobre la toma de decisiones en grupo y las ventajas y desventajas de la cooperación, cuestionando la aplicabilidad universal de la 'sabiduría de las multitudes' en contextos humanos.

Leer más

Ciudad Tejida de Toyota: Fase 1 Completa, Primeros Residentes se Mudan

2025-02-26
Ciudad Tejida de Toyota: Fase 1 Completa, Primeros Residentes se Mudan

Toyota Motor Corporation ha anunciado la finalización de la fase uno de su ciudad futurista, Woven City, ubicada al suroeste de Tokio. Con más de 700.000 metros cuadrados, este desarrollo urbano innovador integrará vehículos autónomos, robótica y tecnologías digitales de vanguardia para ofrecer a los residentes una experiencia de vida única y tecnológicamente avanzada. La ciudad cuenta con carreteras dedicadas a vehículos autónomos, zonas peatonales y pasajes subterráneos para entregas y gestión de residuos. Aproximadamente 360 empleados de Toyota y sus familias comenzarán a mudarse en la segunda mitad de este año, con una población proyectada de 2.000 residentes eventualmente.

Leer más
Tecnología

Desafíos visuales únicos para los astronautas en el polo sur lunar

2024-12-29
Desafíos visuales únicos para los astronautas en el polo sur lunar

El programa Artemis de la NASA, que tiene como objetivo establecer una base lunar permanente en el Polo Sur, enfrenta un desafío único: el duro entorno de iluminación. El bajo ángulo de elevación solar crea variaciones extremas de luz y sombra, afectando gravemente la visión y el rendimiento de las tareas de los astronautas. A diferencia de las misiones anteriores en las que el diseño del casco era suficiente, Artemis requiere sistemas innovadores de apoyo a la visión. Estos sistemas, que incluyen cascos, ventanas e iluminación, deben garantizar una visión clara en diversas condiciones de iluminación, protegiendo los ojos de los astronautas de lesiones. La NASA está desarrollando diversas técnicas de simulación para abordar este desafío, allanando el camino para una exploración lunar exitosa.

Leer más

El Puerto de Expansión de NES Finalmente Despierta Después de 39 Años

2024-12-12
El Puerto de Expansión de NES Finalmente Despierta Después de 39 Años

Después de 39 años de inactividad, el puerto de expansión olvidado del Nintendo Entertainment System finalmente se está utilizando en productos comerciales. Este artículo explora la historia del puerto de expansión de NES y por qué permaneció en gran parte sin usar durante tanto tiempo, examinando factores como la estrategia de Nintendo, las limitaciones tecnológicas y el entorno del mercado. Ahora, gracias a los esfuerzos de la comunidad de hardware de código abierto y entusiastas, el puerto de expansión se está utilizando para agregar funciones como soporte para controlador Bluetooth y compatibilidad con el sistema de disco Famicom, lo que marca un gran avance en la modificación de consolas de juegos retro.

Leer más

Di adiós al rastreo: Configurando un Pi-hole en casa

2025-05-05
Di adiós al rastreo: Configurando un Pi-hole en casa

¿Cansado del rastreo online constante y de los anuncios? Este artículo te guía en la configuración de un Pi-hole, un proxy DNS que se ejecuta en un Raspberry Pi, para bloquear eficazmente anuncios, rastreadores y otros dominios maliciosos, protegiendo tu privacidad en la red. El autor detalla el proceso de configuración, incluyendo los requisitos de hardware, la instalación del software, la configuración de listas de bloqueo de dominios y técnicas avanzadas, como el uso de reglas iptables para evitar que los dispositivos ignoren la configuración de DNS. El resultado: Tráfico de red significativamente reducido y una experiencia online mejorada.

Leer más
Tecnología
1 2 577 578 579 581 583 584 585 595 596