HackerTrans
トップ新着トレンドコメント過去質問紹介求人

gku

no profile record

投稿

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

github.com
3 ポイント·投稿者 gku·5 か月前·0 コメント

A Spectral-Geometric Proof of the Riemann Hypothesis

zenodo.org
18 ポイント·投稿者 gku·8 か月前·15 コメント

G3 Watch for 6 and 7 November

spaceweather.gov
2 ポイント·投稿者 gku·8 か月前·1 コメント

Touying: Creating Slides in Typst

touying-typ.github.io
2 ポイント·投稿者 gku·9 か月前·1 コメント

コメント

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