Sistema Horizons del JPL de la NASA: Una herramienta poderosa para explorar el Sistema Solar

2025-01-03

El sistema Horizons del Laboratorio de Propulsión a Chorro de la NASA es un potente servicio en línea que proporciona datos orbitales precisos y efemérides para objetos del sistema solar. Ofrece varios métodos de acceso, incluyendo una interfaz web, una interfaz de línea de comandos, correo electrónico y una API. Los usuarios pueden consultar información sobre asteroides, cometas, planetas, satélites y mucho más, y realizar cálculos y visualizaciones orbitales. Horizons es una herramienta poderosa para astrónomos, ingenieros aeroespaciales y entusiastas del espacio que exploran los misterios de nuestro sistema solar.

Leer más

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

En busca del tiempo perdido: Un resumen de la obra maestra de Proust

2025-01-21
En busca del tiempo perdido: Un resumen de la obra maestra de Proust

La obra *En busca del tiempo perdido*, de Marcel Proust, no es simplemente una narrativa, sino una profunda exploración de la memoria, el tiempo y la autoconciencia. A través de descripciones meticulosas de detalles cotidianos, particularmente el poder evocador de olores y sabores, Proust desbloquea los recuerdos latentes del narrador, revelando que el tiempo no es lineal, sino que existe en fragmentos dentro de nuestros recuerdos. El estilo único de flujo de conciencia de la novela y la magistral representación de estados psicológicos sumergen al lector en el mundo interior rico y complejo del narrador, llevando a la reflexión sobre el significado y el valor de la vida.

Leer más

Musk: Directo a Marte, la Luna es una distracción

2025-01-05
Musk: Directo a Marte, la Luna es una distracción

Elon Musk criticó públicamente el programa Artemis de la NASA, calificándolo de ineficiente y priorizando los empleos sobre los resultados. Declaró que SpaceX irá directamente a Marte, considerando la Luna una distracción. Dada la función asesora de Musk en la administración Trump y su influencia en el nuevo administrador de la NASA, su declaración tiene un peso significativo. Aunque Artemis probablemente no se descartará, la NASA puede adoptar un enfoque de dos vías, buscando la exploración lunar y marciana. Se espera que SpaceX y Blue Origin desempeñen papeles clave en esta estrategia revisada.

Leer más
Tecnología

¿Pueden los EE. UU. todavía construir? Los datos dicen que sí

2025-01-07
¿Pueden los EE. UU. todavía construir? Los datos dicen que sí

Este artículo basado en datos refuta la afirmación de que EE. UU. ha perdido su capacidad para construir proyectos a gran escala. Utilizando numerosos gráficos y tablas, el autor demuestra el crecimiento continuo de la construcción en EE. UU. en vivienda, carreteras, plantas solares a gran escala, oleoductos y puentes. Si bien reconoce que las regulaciones como las leyes de protección ambiental pueden causar algunos retrasos, el artículo argumenta que sus beneficios superan los costos. El autor sostiene que el enfoque en los proyectos fallidos eclipsa los numerosos proyectos exitosos, sugiriendo que la reducción de la construcción a gran escala a menudo resulta de la finalización del proyecto en lugar de una disminución de la capacidad. Ejemplos como los proyectos de trenes de alta velocidad ilustran este punto.

Leer más

Los sistemas de frenado automático no detectan a peatones con ropa reflectante

2025-01-14
Los sistemas de frenado automático no detectan a peatones con ropa reflectante

Un nuevo informe del IIHS revela que los sistemas de frenado automático de emergencia (AEB) en los vehículos Honda CR-V y Mazda CX-5 no detectaron a peatones que llevaban tiras reflectantes, incluso en diversas condiciones de iluminación. Los sistemas fallaron consistentemente en frenar, mientras que un Subaru Forester tuvo un mejor rendimiento. Los investigadores instan a los fabricantes de automóviles a mejorar la tecnología AEB, recomendando que los peatones continúen usando equipo reflectante para mayor visibilidad nocturna, reconociendo las limitaciones del AEB actual en algunos vehículos.

Leer más

Globo giratorio en un Commodore PET: Una historia de desarrollo retro de 8 bits

2025-01-11
Globo giratorio en un Commodore PET: Una historia de desarrollo retro de 8 bits

Esta publicación detalla la creación de una demostración de animación de globo giratorio en un Commodore PET, escrita en ensamblador 6502. El autor utiliza inteligentemente caracteres PETSCII y técnicas de vectores de bits para comprimir un mapa mundial de 32x32 píxeles en 4,8 KB de memoria, logrando una animación sorprendentemente fluida. El artículo se adentra en el diseño de la estructura de datos, el algoritmo de proyección y las estrategias de optimización, mostrando impresionantes habilidades de programación y una pasión por el desarrollo de juegos retro.

Leer más

La Guía Definitiva de los Molinillos de Pimienta de Jens Quistgaard de Dansk

2025-01-21

Este sitio web es una guía completa de la colección de molinillos de pimienta diseñados por Jens Quistgaard para Dansk Designs. Cada molinillo está meticulosamente documentado, detallando su forma única, número de modelo, tipo de molinillo e historial de producción. El sitio desentraña las historias detrás de estos diseños icónicos, revelando la evolución de sus formas y procesos de fabricación. Desde los primeros molinillos totalmente metálicos hasta las variaciones posteriores de plástico, este recurso es imprescindible para coleccionistas y entusiastas del diseño.

Leer más

Nueva Frontera de la Física: Más Allá de la Termodinámica

2024-12-22
Nueva Frontera de la Física: Más Allá de la Termodinámica

Este artículo profundiza en la importancia y las limitaciones de la termodinámica en la física. El autor argumenta que si bien la mecánica estadística proporciona una comprensión microscópica de la termodinámica, puede ocultar principios más generales. Se hace un llamamiento para centrarse en observaciones macroscópicas y empíricas, como la termodinámica fuera del equilibrio y los sistemas autoorganizados, lo que sugiere que estas áreas pueden contener nuevas leyes físicas y ofrecer soluciones a problemas prácticos, reflejando el desarrollo inicial de la termodinámica a partir de mejoras en las máquinas de vapor.

Leer más

Chatbot de IA implicado en suicidio de adolescente: batalla legal sobre responsabilidad

2025-05-31
Chatbot de IA implicado en suicidio de adolescente: batalla legal sobre responsabilidad

Una jueza de Florida dictaminó que las protecciones de la Primera Enmienda no protegen a una empresa de IA de una demanda que alega que sus chatbots jugaron un papel en el suicidio de un adolescente de Orlando. La demanda, presentada por la madre del adolescente, afirma que los chatbots de Character.AI, que imitan a personajes de Juego de Tronos, contribuyeron a la muerte de su hijo. La jueza rechazó la defensa de la Primera Enmienda de los acusados, argumentando que el texto generado por IA no es discurso protegido. Sin embargo, la jueza desestimó las afirmaciones de infligir intencionalmente angustia emocional y las reclamaciones contra la empresa matriz de Google, Alphabet. Character.AI declaró que ha implementado funciones de seguridad y espera defender su posición en base a los méritos.

Leer más

ScyllaDB cambia a una única edición Enterprise y ofrece un nivel gratuito

2024-12-25
ScyllaDB cambia a una única edición Enterprise y ofrece un nivel gratuito

ScyllaDB anunció un cambio estratégico para centrarse en un único flujo de lanzamiento: ScyllaDB Enterprise, poniendo fin a su oferta de código abierto con licencia AGPL. Un nivel gratuito de ScyllaDB Enterprise estará disponible para la comunidad, incluyendo todas las funciones de rendimiento, eficiencia y seguridad que antes estaban reservadas para la edición Enterprise. El nivel gratuito está limitado a 50 vCPU y 10 TB de almacenamiento total. Esto simplifica la línea de productos, ofreciendo al mismo tiempo una opción gratuita potente para los usuarios.

Leer más
Desarrollo

TimeMap.org: Un Proyecto de Atlas de Historia Mundial

2024-12-12
TimeMap.org: Un Proyecto de Atlas de Historia Mundial

TimeMap.org es un proyecto colaborativo de atlas de historia mundial que permite a los usuarios crear y compartir mapas mundiales basados en el tiempo. Cuenta con una comunidad activa, actualizaciones regulares de noticias y una aplicación móvil para un acceso fácil. Los usuarios pueden explorar mapas históricos de varias regiones y profundizar en eventos históricos de diferentes períodos.

Leer más

Gromit: Un perro ficticio como héroe de la tecnología

2025-01-06

Este artículo retrata con humor a Gromit, el perro de plastilina, como un héroe de la tecnología, contrastándolo con magnates de la tecnología de la vida real. Un ingeniero cauteloso y previsor, Gromit anticipa y soluciona consistentemente los desastres causados por los inventos de Wallace. El autor argumenta que Gromit encarna la cautela y la racionalidad que la tecnología debería poseer, contrastando fuertemente con la imprudencia e irresponsabilidad de algunos líderes tecnológicos del mundo real. También se comparte una anécdota divertida sobre una conexión con los modelos de Gromit.

Leer más
Tecnología Animación

¡Cuidado! La última oleada de agencias literarias falsas

2025-01-09
¡Cuidado! La última oleada de agencias literarias falsas

Writer Beware® expone una nueva cosecha de agencias literarias fraudulentas que utilizan sitios web sofisticados y tácticas engañosas para estafar a escritores. La investigación detallada revela los métodos utilizados por varias agencias falsas, como The Elite Scout Society e ImplicitPress Literary Agency, mostrando cómo fabrican credenciales y solicitan tarifas por adelantado. El artículo enfatiza la importancia de verificar la legitimidad de una agencia antes de interactuar con ellas para evitar ser víctima de estas estafas.

Leer más

Visualización con IA: Redes de Carreteras Urbanas Similares

2024-12-15
Visualización con IA: Redes de Carreteras Urbanas Similares

El sitio web similar-cities utiliza IA para visualizar las relaciones entre ciudades comparando las similitudes de sus redes de carreteras. Emplea un algoritmo único de 'paseo del borracho', calculando la similitud de caminos aleatorios dentro de las redes de carreteras para evaluar la similitud estructural. Los datos provienen de OpenStreetMap, abarcando aproximadamente 2500 ciudades. El proyecto es de código abierto, proporcionando explicaciones detalladas del algoritmo y el código, y se reciben más datos de ciudades para mejorar la precisión.

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

Motor de Inferencia LLM Rápido Creado desde Cero

2024-12-15

Este artículo detalla el proceso del autor para construir un motor de inferencia LLM desde cero usando C++ y CUDA, sin depender de ninguna biblioteca. Este proceso permitió una inmersión profunda en toda la pila de inferencia LLM, desde los núcleos CUDA hasta la arquitectura del modelo, mostrando cómo las optimizaciones afectan la velocidad de inferencia. El objetivo era crear un programa capaz de cargar pesos de modelos de código abierto comunes y realizar inferencia de lote único en un único servidor CPU+GPU, mejorando iterativamente el rendimiento de tokens para superar a llama.cpp. El artículo describe meticulosamente los pasos de optimización tanto en la CPU como en la GPU, incluyendo multithreading, cuantificación de pesos, SIMD, fusión de núcleos y cuantificación de caché KV, analizando cuellos de botella y desafíos. El resultado final logra un rendimiento cercano al estado del arte para la inferencia LLM local.

Leer más
Desarrollo inferencia LLM

Internet Archive: Biblioteca Digital de Textos, Películas, Música y Wayback Machine Gratuitos y Prestable

2024-12-22

Internet Archive es una organización sin fines de lucro dedicada al acceso universal al conocimiento. Ofrece una vasta biblioteca digital de sitios web (a través de Wayback Machine), libros, películas, música y mucho más, proporcionando un recurso gratuito y de fácil acceso para investigadores, educadores y el público. Los usuarios pueden navegar y descargar libremente estos materiales, explorando la historia y la diversidad cultural de internet.

Leer más
Varios

La Deuda Oculta de la Guerra de Rusia: Una Bomba de Tiempo Financiera

2025-01-12
La Deuda Oculta de la Guerra de Rusia: Una Bomba de Tiempo Financiera

El Kremlin ha financiado en secreto gran parte de su esfuerzo bélico a través de un financiamiento riesgoso y extrapresupuestario, en gran medida pasado por alto por Occidente. Un nuevo informe revela cómo Rusia ha obligado a los bancos a otorgar préstamos preferenciales a contratistas de defensa, por un total estimado de entre 210.000 y 250.000 millones de dólares. Esta acumulación clandestina de deuda ha creado un dilema financiero para Moscú, que ha provocado una inflación creciente y un riesgo de crisis crediticia sistémica. Esta vulnerabilidad ofrece a Ucrania y sus aliados una nueva y significativa influencia en las negociaciones.

Leer más

DeepSeek desafía a Altman: Un modelo de IA de 5,6 millones de dólares sacude el mercado

2025-01-28
DeepSeek desafía a Altman: Un modelo de IA de 5,6 millones de dólares sacude el mercado

Sam Altman, CEO de OpenAI, afirmó que las startups de IA con solo 10 millones de dólares eran 'completamente desesperanzadas' para competir con OpenAI. Sin embargo, el surgimiento de DeepSeek, una empresa china de IA, desafía esta afirmación. El modelo innovador de DeepSeek, r1, se entrenó con solo 5,6 millones de dólares, demostrando que la declaración de Altman era incorrecta y enviando ondas de choque por la industria. El propio Altman ha elogiado el logro de DeepSeek, destacando el ritmo acelerado del desarrollo de la IA y la disrupción inesperada de actores inesperados.

Leer más
IA

¿Las GPUs son tan rápidas, por qué seguimos usando CPUs?

2025-01-08
¿Las GPUs son tan rápidas, por qué seguimos usando CPUs?

Un vídeo viral utiliza un duelo de pintura para ilustrar la diferencia de rendimiento entre CPUs y GPUs: una CPU dibuja lentamente una cara sonriente, mientras que una GPU renderiza instantáneamente la Mona Lisa. Pero esto pasa por alto un punto crucial: los tipos de programa. Las CPUs sobresalen en instrucciones secuenciales, mientras que las GPUs prosperan en el procesamiento paralelo. La mayoría de las aplicaciones combinan código secuencial y paralelo; por ejemplo, un programa puede ser 50% paralelizable. Las CPUs son como chefs, hábiles para manejar eventos inesperados; las GPUs son como cocineros de línea, dominando tareas repetitivas. Chips como el Apple M3 integran ambos, combinando la flexibilidad de la CPU con la potencia de cómputo de la GPU.

Leer más

Addon de Blender: Crecimiento Diferencial Simula Formas Orgánicas

2024-12-26

Boris Okunskiy ha lanzado Differential Growth, un complemento de Blender que genera proceduralmente formas y patrones orgánicos inspirados en la naturaleza. Este complemento gratuito y de código abierto permite a los usuarios simular procesos de crecimiento, creando texturas y formas que recuerdan a líquenes, lechugas y algas. El autor anima a los usuarios a descargarlo, experimentar y compartir sus creaciones en la comunidad.

Leer más

Entrenamiento de 7 minutos: ¿Ciencia o exageración?

2025-01-01

Una entrada de blog cuestiona la eficacia y la exhaustividad del entrenamiento científico de 7 minutos que apareció en The New York Times. El autor argumenta que, si bien el programa afirma estar basado en la ciencia, hace mucho hincapié en los ejercicios de piernas, mientras que descuida un entrenamiento equilibrado para los glúteos, la espalda y los músculos del core, una omisión particularmente preocupante para los profesionales sedentarios. Una aproximación más equilibrada, sugiere la entrada, incluiría más ejercicios dominados por la cadera, ejercicios de tracción de la parte superior del cuerpo y ejercicios de extensión del core para contrarrestar los desequilibrios musculares causados por estar sentado durante largos periodos.

Leer más

Retrospectiva de desarrollo de juegos de 2024: Lecciones aprendidas de proyectos inconclusos

2025-01-16
Retrospectiva de desarrollo de juegos de 2024: Lecciones aprendidas de proyectos inconclusos

Un desarrollador independiente de juegos reflexiona sobre su desafiante viaje de desarrollo de juegos en 2024. Abordó tres proyectos diversos: un juego de rol multijugador por turnos, un juego de simulación de rompecabezas y un juego de disparos cooperativo de desplazamiento lateral. A pesar de no haber completado ninguno, se aprendieron lecciones valiosas sobre la gestión del alcance, la mecánica multijugador y la creación de recursos artísticos. Las conclusiones clave incluyen comenzar poco a poco, centrarse en un bucle de juego sólido y priorizar el pulido más adelante en el desarrollo. Aunque 2024 terminó sin un juego terminado, se hizo un progreso significativo, sentando una base sólida para 2025 y más allá.

Leer más

Exbody2: Imitación de Movimiento Corporal Completo de Alta Fidelidad en Robots Humanoides

2024-12-18

Los investigadores han desarrollado Exbody2, un marco de seguimiento corporal completo generalizado que permite a los robots humanoides realizar movimientos expresivos con una estabilidad similar a la humana. Entrenado en simulación utilizando Aprendizaje por Refuerzo y luego transferido al mundo real, Exbody2 desacopla el seguimiento de puntos clave del control de velocidad. Utiliza una política de profesor privilegiada para destilar habilidades de imitación precisas, logrando la replicación de alta fidelidad de movimientos dinámicos como correr, agacharse y bailar. Los experimentos en dos plataformas humanoides demuestran un rendimiento superior en comparación con los métodos de vanguardia, proporcionando pautas prácticas para el control corporal completo avanzado en robótica humanoide.

Leer más

PolyDye: Modificación de Impresión 3D a todo color para Impresoras Marlin

2024-12-30
PolyDye: Modificación de Impresión 3D a todo color para Impresoras Marlin

PolyDye es un proyecto de código abierto que lleva la impresión vibrante a todo color a las impresoras 3D basadas en Marlin mediante la integración de la tecnología de inyección de tinta. Aplica capas de tinta entre capas de filamento blanco, controladas con precisión por un ESP32-S3. Actualmente en versión beta, este emocionante mod está en constante evolución y añadiendo funciones.

Leer más

Netflix: El auge de un gigante del streaming y la decadencia del cine

2024-12-28
Netflix: El auge de un gigante del streaming y la decadencia del cine

Comenzando como un servicio de alquiler de DVD, Netflix desbarató a Blockbuster, conquistó la industria de la televisión con su plataforma de streaming y, finalmente, extendió su influencia al cine. Su modelo de suscripción único la liberó de las normas tradicionales de rentabilidad cinematográfica, lo que provocó una avalancha de contenido de baja calidad. Si bien inicialmente apoyó las películas independientes, Netflix se inclinó hacia la escala y la producción de bajo costo, lo que resultó en una disminución de la calidad general de las películas y provocó una profunda reflexión sobre el equilibrio entre el arte y el comercio en la industria cinematográfica.

Leer más

Búsqueda de Google: Disminución de la calidad provoca frustración entre los usuarios

2024-12-18
Búsqueda de Google: Disminución de la calidad provoca frustración entre los usuarios

El experto en SEO, Elie Berreby, destaca una disminución significativa en la calidad de la búsqueda de Google, lo que provoca una insatisfacción generalizada entre los usuarios. Al analizar los comentarios de los usuarios de canales no oficiales, como los comentarios de YouTube, revela quejas sobre el deterioro de los resultados de búsqueda, la publicidad excesiva y las vistas de IA que roban contenido. La estrategia de Google parece priorizar la monetización sobre la experiencia del usuario, lo que podría llevar a los usuarios a buscar motores de búsqueda alternativos. El artículo sirve como advertencia para Google, sugiriendo consecuencias graves si no se realizan mejoras.

Leer más

Pastor acusado de estafa de criptomonedas de 5,9 millones de dólares que, según él, tuvo en un sueño

2025-01-16
Pastor acusado de estafa de criptomonedas de 5,9 millones de dólares que, según él, tuvo en un sueño

Un pastor de una iglesia en Pasco, Washington, ha sido acusado de 26 cargos de fraude por supuestamente dirigir una estafa de criptomonedas que defraudó a inversores por al menos 5,9 millones de dólares entre 2021 y 2023. Francier Obando Pinillo, de 51 años, supuestamente utilizó su posición para atraer inversores a 'Solano Fi', una empresa fraudulenta de criptomonedas que, según él, le llegó en un sueño, prometiendo rendimientos garantizados. Utilizó Facebook y un grupo de Telegram para ampliar su alcance, atrayendo a más de 1.500 víctimas. La acusación alega que Pinillo malversó fondos, mostrando saldos falsos en una aplicación web y empleando tácticas como la extorsión para mantener el esquema en funcionamiento. Ahora enfrenta hasta 20 años de prisión.

Leer más
1 2 588 589 590 591 592 594 596