Tags populares：
Virtualización seguridad DNS verificación formal análisis de alcanzabilidad errores del compilador conflicto de macro extensión web framework de desarrollo Gráficos de mapa de bits inconsistencias de API Todos los tags

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
(storymaps.arcgis.com)
Varios flujo de conciencia

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
(ssd.jpl.nasa.gov)
Tecnología Datos del Sistema Solar

Más allá de los KPI: revolucionando la visualización de datos con relaciones dimensionales

2025-01-10
Más allá de los KPI: revolucionando la visualización de datos con relaciones dimensionales

Este artículo defiende la importancia de visualizar las relaciones dimensionales en los datos. El autor critica las limitaciones de depender únicamente de los KPI, argumentando que no logran revelar los factores subyacentes de los datos. Se presentan los diagramas de Sankey y los árboles de descomposición como alternativas superiores para visualizar estas relaciones. Los diagramas de Sankey ofrecen una representación visual clara de las proporciones entre las dimensiones, mientras que los árboles de descomposición proporcionan una visión más detallada de todos los valores y permiten la exploración interactiva de los impactos dimensionales en las medidas clave. Utilizando la empresa cervecera ficticia Dorkweiser, el autor ilustra las ventajas de estos métodos, enfatizando que el objetivo de la visualización de datos es capacitar a los usuarios para tomar decisiones basadas en datos, no simplemente crear imágenes estéticamente agradables.

Leer más
(qlikdork.com)
Diseño relaciones dimensionales árbol de descomposición

Gripe aviar H5N1: Un análisis profundo de la amenaza pandémica

2025-01-01
Gripe aviar H5N1: Un análisis profundo de la amenaza pandémica

Este artículo profundiza en la amenaza pandémica potencial que representa el virus de la gripe aviar H5N1. El virus ya ha infectado aves, vacas y visones, y ahora se ha detectado en cerdos. Si bien los casos humanos siguen siendo relativamente bajos, el autor, basándose en modelos epidemiológicos y pronósticos de expertos, evalúa la probabilidad de una pandemia en el próximo año (5%) y la tasa de mortalidad potencial (que va desde comparable a una gripe estacional normal hasta similar a la gripe española de 1918). El artículo también analiza estrategias para responder a una posible pandemia y destaca el impacto económico en la agricultura.

Leer más
(www.astralcodexten.com)
Tecnología Gripe Aviar

Casi Desastre: El Peligroso Acercamiento de la Starliner a la Estación Espacial Internacional

2025-04-09
Casi Desastre: El Peligroso Acercamiento de la Starliner a la Estación Espacial Internacional

El verano pasado, la nave espacial Starliner sufrió un fallo crítico al aproximarse a la Estación Espacial Internacional, perdiendo cuatro propulsores. El astronauta Butch Wilmore asumió el control manual, pero la incapacidad de maniobrar la nave según lo necesario provocó una situación casi catastrófica. La pérdida de propulsores violó las reglas de la misión, obligando a regresar a la Tierra; sin embargo, Wilmore creía que regresar era igualmente peligroso. Después de media hora tensa, el control terrestre intentó un reinicio arriesgado del propulsor, exigiendo que Wilmore renunciara al control manual. Dos propulsores milagrosamente se reiniciaron, y finalmente, todos menos uno se recuperaron, permitiendo el vuelo autónomo y el acoplamiento exitoso. Si bien la NASA y Boeing expresaron públicamente confianza en el regreso seguro de la Starliner, Wilmore y su compañero de tripulación expresaron serias preocupaciones sobre los riesgos extremos involucrados en el viaje de regreso después de esta experiencia angustiante.

Leer más
(science.slashdot.org)
Tecnología fallo del propulsor

Ciudad Tejida de Toyota: Un Experimento de Ciudad Inteligente en la Vida Real

2025-01-06
Ciudad Tejida de Toyota: Un Experimento de Ciudad Inteligente en la Vida Real

La ambiciosa Ciudad Tejida de Toyota, un proyecto de US$ 10 mil millones construido en el sitio de una antigua fábrica de automóviles en Japón, está a punto de completarse. A partir de este verano, 100 empleados de Toyota serán los primeros residentes de este “laboratorio viviente”, probando vehículos autónomos, tecnología doméstica inteligente y varios proyectos innovadores. La ciudad, diseñada por Bjarke Ingels, tiene como objetivo albergar eventualmente a 2.000 residentes, alimentada por la tecnología de pilas de combustible de hidrógeno de Toyota. Si bien es innovador, el proyecto enfrenta desafíos similares al Google Sidewalk Labs, necesitando equilibrar los avances tecnológicos con las preocupaciones sobre la privacidad de los residentes. Los primeros residentes, llamados “Tejedores”, contribuirán al desarrollo y prueba de nuevos conceptos, incluyendo experiencias de café futuristas, sillas de ruedas de alta potencia y robots de compañía.

Leer más
(www.theverge.com)
Tecnología Ciudad Inteligente Futuro de la Movilidad

Curso de Compilador Incremental: De Tiger a Ensamblador x86-64 en OCaml

2025-04-05

Este es un curso de compilador altamente práctico cuyo objetivo es construir un compilador que traduce el lenguaje de alto nivel Tiger a código de máquina x86-64. El curso utiliza OCaml y enfatiza el desarrollo impulsado por pruebas, el control de versiones y la reutilización de código. Emplea un enfoque de desarrollo incremental e iterativo, expandiendo gradualmente las funciones del lenguaje y del compilador, aprovechando el estilo tagless-final para una mayor extensibilidad. El curso cubre temas estándar de compiladores, como el análisis, la verificación de tipos, la optimización y la generación de ensamblador, pero de una manera no tradicional.

Leer más
(okmij.org)
Desarrollo desarrollo incremental

¡Picos de latencia Wifi misteriosos resueltos: Era Qt5!

2025-01-02

Durante ocho meses, el autor luchó contra picos intermitentes de latencia Wifi de 2000 ms o más, lo que dificultaba los juegos y las videollamadas. Adaptadores de red nuevos, reinstalaciones del SO: nada funcionó. ¿El culpable? MediBang Paint Pro, que usa Qt5 (<5.14). Su QNetworkAccessManager verifica constantemente los cambios en la interfaz Wifi, causando una latencia masiva. ¿La solución? Establecer la variable de entorno QT_BEARER_POLL_TIMEOUT en -1.

Leer más
(ryuuta.net)
Desarrollo Latencia de Red

MLC-LLM: Haciendo que las GPU de AMD sean competitivas para la inferencia de LLM

2024-12-24

Las GPU de NVIDIA han dominado durante mucho tiempo el panorama de la inferencia de modelos de lenguaje grandes (LLM). Sin embargo, el proyecto MLC-LLM aprovecha la compilación de aprendizaje automático para implementar con éxito los LLM en las GPU de AMD, logrando resultados impresionantes. Usando ROCm y Vulkan, la AMD Radeon RX 7900 XTX alcanza el 80% de la velocidad de la NVIDIA RTX 4090 y el 94% de la RTX 3090 Ti para la inferencia Llama2-7B/13B. Esto mejora significativamente la competitividad de las GPU de AMD y amplía las opciones de implementación de LLM, extendiéndose a las APU de AMD como las que se encuentran en el Steam Deck. Los desarrollos futuros para MLC-LLM incluyen optimizaciones para procesamiento por lotes, soporte multi-GPU, cuantización y arquitecturas de modelos expandidas, y una mayor reducción de la brecha de rendimiento con NVIDIA, abordando en última instancia las limitaciones de computación de IA.

Leer más
(blog.mlc.ai)
IA GPU de AMD Compilación de Aprendizaje Automático

ML también tiene mónadas: Todo se reduce a los módulos

2025-06-24
ML también tiene mónadas: Todo se reduce a los módulos

La percepción común de que el uso de mónadas en Haskell es una característica exclusiva del lenguaje se cuestiona. El autor argumenta que las mónadas son una cuestión de diseño de biblioteca, no de diseño de lenguaje, y se pueden lograr en cualquier lenguaje modular. El artículo usa ML para demostrar cómo las mónadas, incluidas las mónadas Option e IO, se pueden implementar utilizando su sistema de módulos. Si bien reconoce la capacidad de ML para las mónadas, el autor sugiere que su omisión predeterminada se debe a posibles inconvenientes, como dificultar la flexibilidad del código y la transición entre estilos funcionales y monádicos.

Leer más
(existentialtype.wordpress.com)
Desarrollo Programación funcional

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
(www.quistgaardpepper.com)
Diseño Diseño danés Diseño moderno de mediados de siglo

Recarga en caliente en Rust con Scheme incrustado

2025-01-08

Este artículo muestra cómo incrustar el intérprete Scheme ligero Stak Scheme dentro de Rust, un lenguaje compilado, para modificar dinámicamente el comportamiento del programa sin reiniciar el proceso. Se muestra la funcionalidad de recarga en caliente incorporando un script Scheme en un servidor HTTP de Rust. Usando Stak Scheme y la biblioteca `stak-build`, la lógica del manejador de solicitudes HTTP del servidor se cambia dinámicamente sin necesidad de recompilar el programa Rust.

Leer más
(raviqqe.com)
Desarrollo Recarga en caliente

AT&T promete créditos en la factura después de una gran caída del servicio

2025-01-08
AT&T promete créditos en la factura después de una gran caída del servicio

Después de una gran caída del servicio el año pasado, causada por una actualización fallida, AT&T ahora promete créditos diarios en la factura para futuras interrupciones del servicio. Los créditos se aplican a interrupciones del servicio inalámbrico que duren al menos 60 minutos y afecten a 10 o más torres de telefonía móvil, y a interrupciones del servicio de fibra que duren al menos 20 minutos (utilizando un gateway proporcionado por AT&T). Sin embargo, la promesa tiene salvedades, excluyendo eventos como desastres naturales o problemas de terceros. AT&T mantiene la discreción total sobre la elegibilidad para el crédito, lo que genera preocupaciones sobre la fiabilidad del servicio y la transparencia en el manejo de tales incidentes.

Leer más
(arstechnica.com)
Tecnología caída del servicio créditos en la factura

Doodle Dreams: Dale vida a tus dibujos

2024-12-27

Doodle Dreams es una aplicación que transforma tus garabatos hechos a mano en animaciones. Simplemente dibuja los personajes que desees en papel, escanéalos usando la aplicación y reconocerá y creará animaciones. Puedes elegir diferentes fondos, música y efectos para hacer que tus garabatos sean más vívidos y atractivos. Esta aplicación es adecuada para todas las edades; tanto si eres un artista experimentado como un principiante, podrás crear fácilmente tus propias obras animadas.

Leer más
(doodledreams.cc)
Juegos animación garabato creación

Repetición Espaciada: Dominando la Memoria con el Poder de los Algoritmos

2025-05-18

Los sistemas de repetición espaciada (SRS) aprovechan los efectos de prueba y espaciado para mejorar drásticamente la memorización. El SRS, pionero de Supermemo y popularizado por Piotr Wozniak, va más allá del aprendizaje de memoria, facilitando la comprensión conceptual. Estos sistemas hacen que recordar sea un proceso deliberado, no solo casual, y son notablemente efectivos para retener grandes cantidades de información.

Leer más
(notes.andymatuschak.org)
Desarrollo técnicas de memoria

pl_synth: Un sintetizador de música pequeño basado en JSON

2025-01-06

Dominic Szablewski de PhobosLab lanzó pl_synth, un sintetizador de música ligero en C/JS y su editor de secuenciador (tracker). Inspirado en Sonant, pl_synth prioriza el tamaño pequeño del código y los datos y utiliza WASM para mejorar drásticamente el rendimiento de la versión JavaScript, reduciendo el tiempo de generación de música de 5 segundos a 25 milisegundos. Admite varios instrumentos y efectos, tiene funcionalidad de deshacer/rehacer y permite incrustar el producto final directamente en una URL. pl_synth ahora se incluye con el motor de juego high_impact.

Leer más
(phoboslab.org)
Desarrollo

Manejo fluido de segundos bisiestos: un 'engaño de tiempo' en toda la empresa

2025-01-12

En 2015, la empresa del autor se enfrentó al riesgo de fallos en el sistema debido a un segundo bisiesto. Para evitar la repetición de fallos anteriores, el autor diseñó inteligentemente un sistema de 'engaño de tiempo'. Durante las 20 horas previas al segundo bisiesto, el sistema ajustó lentamente la hora en todos los dispositivos de la empresa, quedando un segundo por detrás de la hora estándar mundial, navegando así suavemente el segundo bisiesto. Este proceso requirió el cálculo preciso de desplazamientos de tiempo y varias pruebas, evitando finalmente fallos en el sistema. Esto demuestra las habilidades técnicas superiores del autor y su capacidad creativa para resolver problemas.

Leer más
(rachelbythebay.com)
Tecnología segundo bisiesto mantenimiento del sistema

La Mina de Oro Intacta de F#: Rastros de Pila Tipados (TST)

2025-01-16

Este artículo explora la poco conocida técnica de Rastros de Pila Tipados (TST) en F#, que utiliza el sistema de tipos para rastrear errores, resolviendo los problemas de análisis de errores y mantenimiento de código en grandes aplicaciones monolíticas. El autor argumenta que TST, combinado con el Diseño Orientado a Dominio (DDD) y una nueva metodología llamada "Desarrollo Impulsado por Restricciones (CDD)", puede revolucionar la arquitectura de software y los procesos de desarrollo, permitiendo que los desarrolladores regresen a arquitecturas monolíticas y a la gestión de proyectos en cascada, simplificando el trabajo de DevOps y SRE. TST aprovecha los tipos de unión y la capacidad de coincidencia de patrones de F# para crear árboles de tipos de error claros, mejorando la legibilidad y el mantenimiento del código. El artículo utiliza un ejercicio de entrevista como ejemplo para detallar cómo usar TST, DDD y CDD para construir una API REST simple.

Leer más
(rm4n0s.github.io)
Desarrollo

SCCS: El Motel de Código Fuente Después de 50 Años

2024-12-13

Este artículo examina retrospectivamente la influencia del Sistema de Control de Código Fuente (SCCS) en los últimos 50 años. El autor, Larry McVoy, detalla el formato único de tejido del SCCS, que permite la fusión por referencia, evitando las ineficiencias de la copia basada en parches que se encuentran en otros sistemas. Explica cómo el SCCS aprovecha este tejido para recuperar cualquier versión de archivo en tiempo constante y preserva la autoría entre versiones. Si bien reconoce inconvenientes como los bloqueos a largo plazo y la orientación a archivos, McVoy destaca la eficiencia del formato de tejido y su preservación de la autoría como innovadoras, sentando las bases para sistemas posteriores como BitKeeper.

Leer más
(www.tuhs.org)
Desarrollo Control de versiones Gestión de código fuente

Actualización de memoria de OpenAI: Un salto transformador para la IA

2025-04-17
Actualización de memoria de OpenAI: Un salto transformador para la IA

Las actualizaciones de memoria de OpenAI marcan el comienzo de lo que puede ser el cambio más transformador desde el debut de GPT-3. Antes, la IA parecía un amigo brillante pero olvidadizo. Ahora, la memoria lo cambia todo. La IA recordará tus hábitos, patrones de pensamiento y preferencias, convirtiéndose en un compañero y asistente de por vida. Esto conducirá a ganancias masivas de productividad y desafiará la sabiduría convencional de que la IA carece de defendibilidad. OpenAI podría lanzar un producto "Iniciar sesión con OpenAI", permitiendo que los desarrolladores externos accedan directamente a su capa de memoria, construyendo aplicaciones más potentes. La competencia se centrará en la memoria; quien la capture más rápido gana.

Leer más
(jeffmorrisjr.substack.com)
IA memoria de IA

Supabase: Alternativa open source remota a Firebase, contratando ahora

2025-01-06
Supabase: Alternativa open source remota a Firebase, contratando ahora

Supabase, una alternativa open source a Firebase totalmente remota y asíncrona, está contratando a nivel global. Ofrecen excelentes beneficios, incluyendo un presupuesto para hardware, cobertura médica completa y viajes anuales. Supabase valora la colaboración abierta y cuenta con un equipo distribuido globalmente y una gran comunidad. Si te apasiona el código abierto y quieres trabajar en un equipo vibrante y diverso, postula a un puesto en Supabase.

Leer más
(supabase.com)
Desarrollo

Reino Unido presenta un revolucionario reloj atómico cuántico para mejorar la seguridad militar

2025-01-02
Reino Unido presenta un revolucionario reloj atómico cuántico para mejorar la seguridad militar

El Laboratorio de Ciencia y Tecnología de Defensa (Dstl) del Reino Unido ha desarrollado un revolucionario reloj atómico cuántico con una precisión sin precedentes, perdiendo menos de un segundo en miles de millones de años. Este avance mejora la seguridad de las operaciones militares al reducir la dependencia de la tecnología GPS vulnerable. Implementable en cinco años, se espera que el reloj se miniaturice para la producción en masa, con aplicaciones en vehículos y aeronaves militares. Además de la defensa, esta tecnología impulsa el progreso industrial, crea empleos altamente cualificados y fortalece la competitividad global del Reino Unido en tecnología cuántica.

Leer más
(www.gov.uk)
Tecnología Tecnología Cuántica Reloj Atómico Seguridad Nacional

El Axioma de Elección: Un Siglo de Debate

2025-06-13

Este artículo profundiza en el debate centenario que rodea al Axioma de Elección en matemáticas. Desde el principio del buen orden de Cantor hasta la prueba de Zermelo y la introducción del Axioma de Elección, la comunidad matemática se ha involucrado en acaloradas discusiones. El artículo analiza a fondo las diferentes formas del Axioma de Elección, incluyendo las versiones constructiva y extensional, destacando el problema con la versión extensional: viola el principio de 'no se puede obtener algo de la nada'. A través de pruebas en la teoría de tipos constructiva, el artículo revela la relación entre el Axioma de Elección extensional, el Axioma de Elección de Zermelo y el Axioma de Elección de la teoría de topos, concluyendo que el Axioma de Elección extensional es la representación correcta del Axioma de Zermelo en la teoría de tipos constructiva.

Leer más
(research.mietek.io)
Varios axioma de elección matemática constructiva

Darklang se convierte en código abierto: Un viaje del código cerrado al abrazo de la comunidad

2025-06-16
Darklang se convierte en código abierto: Un viaje del código cerrado al abrazo de la comunidad

Darklang, un lenguaje de programación inicialmente lanzado como una plataforma solo alojada y de código cerrado, ha anunciado que está abriendo todo su código fuente. Este cambio se debe a la madurez del producto, la retroalimentación del usuario y un cambio en la dirección técnica. Inicialmente, el enfoque de código cerrado de Darklang tenía como objetivo garantizar la sostenibilidad y ofrecer funciones únicas, como la migración de código segura y la implementación unificada. Sin embargo, con la madurez del producto, las solicitudes de los usuarios de más transparencia y la aparición del desarrollo local y nuevos modelos de negocio (por ejemplo, colaboración en equipo de pago y herramientas de IA), Darklang optó por adoptar el código abierto para fomentar el crecimiento de la comunidad y la evolución a largo plazo de la plataforma. Si bien aún existen algunos desafíos técnicos, como las implicaciones de licencia en la gestión de paquetes, Darklang de código abierto será más transparente y accesible.

Leer más
(blog.darklang.com)
Desarrollo
1 2 … 588 589 590 591 592 593 594 596 Next →