Viewing profile — 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 …

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 U…

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 pollut…

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 …

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/st…

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