Webtagr - Resumen de noticias de tecnología

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

McKinsey pagará 650 millones de dólares en un acuerdo por la crisis de los opioides, pero los ejecutivos evitan cargos

2024-12-14

McKinsey pagará 650 millones de dólares en un acuerdo por la crisis de los opioides, pero los ejecutivos evitan cargos

El gigante de la consultoría global McKinsey & Company acordó pagar 650 millones de dólares para resolver una investigación federal sobre su papel en el aumento de las ventas de opioides. Si bien McKinsey admitió que sus estrategias llevaron a recetas de opioides inseguras e innecesarias, y un ex socio principal se declaró culpable de destruir documentos, otros ejecutivos evitaron cargos criminales. Esto destaca el problema continuo de las grandes empresas que pagan multas elevadas por su papel en la crisis de los opioides, mientras que sus principales ejecutivos rara vez enfrentan consecuencias, lo que genera preocupaciones sobre la responsabilidad corporativa.

(www.npr.org)

Varios crisis de opioides responsabilidad corporativa

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.

(raviqqe.com)

Desarrollo Recarga en caliente

El potente Ryzen AI Max+ de AMD debuta: tecnología de memoria radical impulsa los gráficos RDNA 3.5 y los núcleos Zen 5

2025-01-06

El potente Ryzen AI Max+ de AMD debuta: tecnología de memoria radical impulsa los gráficos RDNA 3.5 y los núcleos Zen 5

AMD presentó su serie de procesadores móviles 'Strix Halo' Ryzen AI Max en la CES 2025, con una innovadora arquitectura de memoria integrada. Estas APU incorporan una iGPU RDNA 3.5 de 40 núcleos, ofreciendo un rendimiento monstruoso para juegos delgados y ligeros y estaciones de trabajo de IA. AMD afirma tener hasta 1,4 veces más velocidad en juegos que el Intel Lunar Lake Core Ultra 9 288V, un 84% más de velocidad de renderizado que el Apple MacBook M4 Pro y una asombrosa ventaja de rendimiento de IA de 2,2 veces sobre la Nvidia RTX 4090 de escritorio, todo mientras consume un 87% menos de energía. El Ryzen AI Max+ 395 principal cuenta con 16 núcleos/32 subprocesos, 40 CUs RDNA 3.5 y admite hasta 128 GB de memoria compartida, asignada dinámicamente entre la CPU, la GPU y la XDNA 2 NPU. Se esperan versiones de escritorio en el futuro.

(www.tomshardware.com)

Hardware

Cierre del mapa en vivo del metro de Londres después de 15 años

2025-01-13

Un desarrollador construyó y mantuvo un sitio web que mostraba las rutas del metro y los autobuses de Londres en tiempo real utilizando datos abiertos de TfL desde 2010. El sitio, destacado en la BBC y The Guardian, ganó popularidad. Sin embargo, el 7 de enero de 2025, el desarrollador recibió una orden de cese y desistimiento de TfL con respecto al esquema del mapa del metro. A pesar de su disposición a modificar, el desarrollador cerró el sitio web, citando el enfoque autoritario de TfL. Esta historia destaca el conflicto entre las grandes organizaciones y los desarrolladores individuales, y las complejidades de las aplicaciones de datos abiertos.

(traintimes.org.uk)

Desarrollo datos abiertos

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.

(ssd.jpl.nasa.gov)

Tecnología Datos del Sistema Solar

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.

(www.astralcodexten.com)

Tecnología Gripe Aviar

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.

(blog.zksecurity.xyz)

Desarrollo prueba de conocimiento cero

¡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.

(ryuuta.net)

Desarrollo Latencia de Red

Grupo de Investigación Holotipica Occupanid: Desvelando lo Desconocido

2024-12-12

El Grupo de Investigación Holotipica Occupanid es una organización dedicada a la exploración de territorios desconocidos. Los detalles de su investigación permanecen sin revelar, requiriendo más información para un resumen completo. Esto podría involucrar tecnología de vanguardia, realidad virtual u otros proyectos aún no revelados.

(www.horg.com)

Varios territorios desconocidos grupo de investigación tecnología de vanguardia

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

2025-06-24

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.

(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.

(www.quistgaardpepper.com)

Diseño Diseño danés Diseño moderno de mediados de siglo

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

2025-01-08

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.

(arstechnica.com)

Tecnología caída del servicio créditos en la factura

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.

(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.

(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.

(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.

(rm4n0s.github.io)

Desarrollo

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.

(doodledreams.cc)

Juegos animación garabato creación

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.

(www.tuhs.org)

Desarrollo Control de versiones Gestión de código fuente

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.

(science.slashdot.org)

Tecnología fallo del propulsor

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.

(jeffmorrisjr.substack.com)

IA memoria de IA

Imágenes sin precedentes: La óptica adaptativa revela la corona solar con detalles impresionantes

2025-06-01

Imágenes sin precedentes: La óptica adaptativa revela la corona solar con detalles impresionantes

Los científicos han logrado un avance en la observación solar utilizando un nuevo sistema de óptica adaptativa llamado 'Cona'. Instalado en el telescopio solar Goode de 1,6 metros en el Observatorio Solar Big Bear, Cona corrige la distorsión atmosférica, produciendo las imágenes y videos más nítidos de la corona solar jamás registrados. El sistema ajusta la forma de su espejo 2.200 veces por segundo para compensar la turbulencia atmosférica. Las imágenes resultantes revelan detalles sin precedentes de prominencias solares en rápida reestructuración, flujos de plasma finos y lluvia coronal delicada, ofreciendo datos invaluables para comprender el calentamiento coronal y el clima espacial. Esta tecnología, preparada para una adopción generalizada, marca una nueva era en la física solar.

(nso.edu)

Tecnología

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.

(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.

(www.gov.uk)

Tecnología Tecnología Cuántica Reloj Atómico Seguridad Nacional

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.

(blog.darklang.com)

Desarrollo

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.

(research.mietek.io)

Varios axioma de elección matemática constructiva

← Previous 1 2 … 588 589 590 591 592 593 594 595 596 Next →