CS 99: Functional Programming and Theorem Proving in Lean 4,designed by Stanford University Centaur Lab: https://web.stanford.edu/class/cs99/

Anyone seeing a link between AI-generated infra code and this year’s wave in popular service outages?

A coronal mass ejection (CME) is anticipated to impact Earth as early as Thursday evening, 6 November EST. Therefore we have a G3 (Strong) Watch in effect on the 6 and 7 November UTC-days. There is a fair measure of confidence in a Earth-directed aspect to this CME and a moderate level of confidence in timing of the CME arrival - which we anticipate with a range from as early as Thursday evening to Friday morning EST.

Touying is a slide/presentation package developed for Typst. Touying is similar to LaTeX Beamer but benefits from Typst, providing faster rendering speed and a more concise syntax.

Preprint Abstract: Global surface warming has accelerated since around 2010, relative to the preceding half century1-3. This has coincided with China’s efforts to reduce air pollution through restricted atmospheric aerosol and precursor emissions. A direct link between the two has, however, not yet been established. Here we show, using a large set of simulations from eight Earth System Models, how a time evolving 75% reduction in Chinese sulfate emissions partially unmasks greenhouse driven warming and influences the pattern of surface temperature change. We find a rapidly evolving global, annual-mean warming of 0.07 ± 0.05 ºC, sufficient to explain a majority of the uptick in global warming rate since 2010. We also find North-Pacific warming and a top-of-atmosphere radiative imbalance that are consistent with recent observations. China’s aerosol cleanup is thus likely a key contributor to recent global warming acceleration, and to Pacific warming trends.