HackerTrans
TopNewTrendsCommentsPastAskShowJobs

gku

no profile record

Submissions

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

github.com
3 points·by gku·5 bulan yang lalu·0 comments

A Spectral-Geometric Proof of the Riemann Hypothesis

zenodo.org
18 points·by gku·8 bulan yang lalu·15 comments

G3 Watch for 6 and 7 November

spaceweather.gov
2 points·by gku·8 bulan yang lalu·1 comments

Touying: Creating Slides in Typst

touying-typ.github.io
2 points·by gku·9 bulan yang lalu·1 comments

comments

gku
·4 bulan yang lalu·discuss
oauth `redirect_url` points to localhost, so the login redirect hangs
gku
·4 bulan yang lalu·discuss
oauth `redirect_url` points to localhost, so the login redirect hangs
gku
·5 bulan yang lalu·discuss
Crazy good! This is the most enlightening post about Lean that I've come across on HN.
gku
·5 bulan yang lalu·discuss
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.
gku
·5 bulan yang lalu·discuss
The need to upgrade Pandas, combined with emerging AI tools, might accelerate Polars adoption, let’s see what happens.
gku
·6 bulan yang lalu·discuss
The 26,000-year cycle is also known as the Platonic Year.
gku
·6 bulan yang lalu·discuss
Unspecified behavior != UB https://en.wikipedia.org/wiki/Unspecified_behavior
gku
·8 bulan yang lalu·discuss
CS 99: Functional Programming and Theorem Proving in Lean 4,designed by Stanford University Centaur Lab: https://web.stanford.edu/class/cs99/
gku
·8 bulan yang lalu·discuss
Anyone seeing a link between AI-generated infra code and this year’s wave in popular service outages?
gku
·8 bulan yang lalu·discuss
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.
gku
·9 bulan yang lalu·discuss
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.