gku

oauth `redirect_url` points to localhost, so the login redirect hangs

oauth `redirect_url` points to localhost, so the login redirect hangs

Crazy good! This is the most enlightening post about Lean that I've come across on HN.

API key exposed in client-side JavaScript X)

> We conducted a non-intrusive security review, simply by browsing like normal users. Within minutes, we discovered a Supabase API key exposed in client-side JavaScript, granting unauthenticated access to the entire production database - including read and write operations on all tables.

The need to upgrade Pandas, combined with emerging AI tools, might accelerate Polars adoption, let’s see what happens.

The 26,000-year cycle is also known as the Platonic Year.

Unspecified behavior != UB https://en.wikipedia.org/wiki/Unspecified_behavior

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.

Yes, everybody knows that Vatican is the industrial heart of the world

TL;DR

> REN said: “Due to extreme temperature variations in the interior of Spain, there were anomalous oscillations in the very high voltage lines (400 kV), a phenomenon known as ‘induced atmospheric vibration’. These oscillations caused synchronisation failures between the electrical systems, leading to successive disturbances across the interconnected European network.”

- Redes Energéticas Nacionais (REN) is a Portuguese energy sector company

arithmetic mean of percentages = terrorism

If you find this impressive, take a look at the 1.33 billion stars TSP solution provided by the same authors.

- Gaia DR2 (1,331,906,450 Stars): https://www.math.uwaterloo.ca/tsp/star/gaia2.html

> "The tour is at most 1.0038 times the length of a shortest-possible route."

Alternative source: https://phys.org/news/2024-05-earth-environment-ancient-mars...

I've recently updated the Lambda functions to Amazon Linux 2023, only to find that its standard support apparently expires earlier than that of the older Amazon Linux 2.

Hogei, twenty in basque, is said to be related to other Celtic languages, for example, ugain in Welsh and ugent in Breton. I miss a note in https://www.omniglot.com/celtiadur/2023/07/11/twenty/.