#Matemáticas #informática Avances serios en el reto de cómo asegurar que varios ordenadores puedan calcular de modo distribuido sin caer en problemas inesperados ni perder su sincronización
https://youtu.be/IzSs_gJDVzI
https://youtu.be/IzSs_gJDVzI
YouTube
How Vector Addition Keeps Your Computer From Crashing
How can a programmer ensure a critical piece of software is bug-free? Theoretical computer scientists use a fundamental question called the reachability problem, which determines whether a computer will reach or avoid various dangerous states when running…
#Informática #Matemáticas Por muy grande que sea el ancho de banda de las redes de comunicación actuales, la transmisión eficiente de cantidades enormes de datos sigue siendo un reto, y no va a mejorar con la IA y el "Big data".
Formatos como JPEG usan trucos matemáticos con ondas e interferencia para comprimir al máximo imágenes sin perder demasiado detalle, pero las cosas se complican si requerimos que no haya pérdida de información.
Recientemente, un proyecto open source consiguió desarrollar un algoritmo que permite mejorar 50 veces la velocidad de procesamiento del algoritmo que comprime y descomprime las imágenes en PNG:
https://youtu.be/EFUYNoFRHQI?si=KnMktnoy7zXJ8EKD
Formatos como JPEG usan trucos matemáticos con ondas e interferencia para comprimir al máximo imágenes sin perder demasiado detalle, pero las cosas se complican si requerimos que no haya pérdida de información.
Recientemente, un proyecto open source consiguió desarrollar un algoritmo que permite mejorar 50 veces la velocidad de procesamiento del algoritmo que comprime y descomprime las imágenes en PNG:
https://youtu.be/EFUYNoFRHQI?si=KnMktnoy7zXJ8EKD
YouTube
How PNG Works: Compromising Speed for Quality
Visit https://brilliant.org/Reducible/ to get started learning STEM for free, and the first 200 people will get 20% off their annual premium subscription.
Chapters:
0:00 Introduction
1:35 Exploiting redundancy
2:09 Huffman Codes
4:22 Run Length Encoding…
Chapters:
0:00 Introduction
1:35 Exploiting redundancy
2:09 Huffman Codes
4:22 Run Length Encoding…
Los principios de la teoría de grafos son fundamentales para muchas aplicaciones de las #matemáticas a los sistemas de #informática y de distribución, y sin embargo grandes partes de ella siguen sin estar claras. Una famosa suposición no demostrada (una conjetura) se demostró como falsa este último par de semanas, mostrando el potencial del campo para futuras, y útiles, sorpresas:
https://youtu.be/aDU-oTiHnCs
https://youtu.be/aDU-oTiHnCs
YouTube
Math News: The Bunkbed conjecture was just debunked!!!!!!!
The famous bunkbed conjecture in probabilistic graph theory was disproven with a crazy counterexample with 7222 vertices!
Papers cited:
1) The main paper by Gladkov, Pak, and Zimin: https://arxiv.org/abs/2410.02545
2) The paper by Wagner documenting the…
Papers cited:
1) The main paper by Gladkov, Pak, and Zimin: https://arxiv.org/abs/2410.02545
2) The paper by Wagner documenting the…
Incluso los avances en las #matemáticas más aparentemente abstrusas, como ahora las curvas elípticas, son importantes para el desarrollo humano y la #tecnología básica.
Estas curvas, y especialmente sus puntos racionales, se encuentran tras un montón de códigos que se autocorrigen (contrarrestando las pérdidas por ruido), reconocimiento con información incompleta y programación #informática mucho más eficiente. Conocerlas mejor no es un avance menor, sobretodo viendo la dificultad del problema.
https://www.quantamagazine.org/new-elliptic-curve-breaks-18-year-old-record-20241111/
Estas curvas, y especialmente sus puntos racionales, se encuentran tras un montón de códigos que se autocorrigen (contrarrestando las pérdidas por ruido), reconocimiento con información incompleta y programación #informática mucho más eficiente. Conocerlas mejor no es un avance menor, sobretodo viendo la dificultad del problema.
https://www.quantamagazine.org/new-elliptic-curve-breaks-18-year-old-record-20241111/
Quanta Magazine
New Elliptic Curve Breaks 18-Year-Old Record
Two mathematicians have renewed a debate about the fundamental nature of some of math’s most important equations.