Hacker News: gku

New comment by gku in "Elevated errors on login with Claude Code"

gku — Wed, 11 Mar 2026 17:09:22 +0000

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

New comment by gku in "Ask HN: Is Claude down again?"

gku — Wed, 11 Mar 2026 17:04:53 +0000

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

API Error: Claude's response exceeded the 32000 output token maximum

gku — Tue, 17 Feb 2026 22:51:29 +0000

Article URL: https://github.com/anthropics/claude-code/issues/24055

Comments URL: https://news.ycombinator.com/item?id=47054564

Points: 3

# Comments: 0

New comment by gku in "The Evolution of a Lean Programmer"

gku — Thu, 12 Feb 2026 12:00:15 +0000

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

New comment by gku in "Hacking Moltbook"

gku — Tue, 03 Feb 2026 15:48:38 +0000

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.

New comment by gku in "Pandas 3.0"

gku — Wed, 28 Jan 2026 17:29:14 +0000

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

New comment by gku in "A 26,000-year astronomical monument hidden in plain sight (2019)"

gku — Wed, 21 Jan 2026 15:56:43 +0000

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

New comment by gku in "The C3 Programming Language"

gku — Sat, 03 Jan 2026 19:42:47 +0000

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

New comment by gku in "Ask HN: Looking for a good course to learn proof assistant Lean 4"

gku — Tue, 25 Nov 2025 10:30:46 +0000

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

New comment by gku in "Cloudflare Global Network experiencing issues"

gku — Tue, 18 Nov 2025 13:25:56 +0000

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

A Spectral-Geometric Proof of the Riemann Hypothesis

gku — Fri, 14 Nov 2025 11:06:29 +0000

Article URL: https://zenodo.org/records/17508340

Comments URL: https://news.ycombinator.com/item?id=45925755

Points: 18

# Comments: 15

New comment by gku in "G3 Watch for 6 and 7 November"

gku — Thu, 06 Nov 2025 17:33:10 +0000

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.

G3 Watch for 6 and 7 November

gku — Thu, 06 Nov 2025 17:33:10 +0000

Article URL: https://www.spaceweather.gov/news/g3-watch-6-and-7-november-utc-days

Comments URL: https://news.ycombinator.com/item?id=45837791

Points: 2

# Comments: 1

New comment by gku in "Touying: Creating Slides in Typst"

gku — Thu, 09 Oct 2025 09:23:15 +0000

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.

Touying: Creating Slides in Typst

gku — Thu, 09 Oct 2025 09:23:15 +0000

Article URL: https://touying-typ.github.io/docs/start/

Comments URL: https://news.ycombinator.com/item?id=45525354

Points: 2

# Comments: 1

New comment by gku in "China's aerosol cleanup has contributed to the acceleration in global warming"

gku — Wed, 11 Jun 2025 09:03:42 +0000

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.

China's aerosol cleanup has contributed to the acceleration in global warming

gku — Wed, 11 Jun 2025 09:03:42 +0000

Article URL: https://www.researchsquare.com/article/rs-6005409/v1

Comments URL: https://news.ycombinator.com/item?id=44245630

Points: 1

# Comments: 3

Copilot Code Review now supports all languages in public preview

gku — Tue, 13 May 2025 14:19:13 +0000

Article URL: https://github.blog/changelog/2025-05-07-copilot-code-review-now-supports-all-languages-in-public-preview/

Comments URL: https://news.ycombinator.com/item?id=43973281

Points: 3

# Comments: 0

New comment by gku in "First American pope elected and will be known as Pope Leo XIV"

gku — Thu, 08 May 2025 18:58:17 +0000

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

New comment by gku in "Spain and Portugal power outage: what caused it, and was there a cyber-attack?"

gku — Tue, 29 Apr 2025 12:12:49 +0000

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