oauth `redirect_url` points to localhost, so the login redirect hangs
Readit Newsgku commented on Elevated errors on login with Claude Code status.claude.com/inciden... · Posted by u/zurfer
oauth `redirect_url` points to localhost, so the login redirect hangs
gku commented on The Evolution of a Lean Programmer unnamed.website/posts/evo... · Posted by u/aebtebeten
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.
gku commented on A 26,000-year astronomical monument hidden in plain sight (2019) longnow.org/ideas/the-260... · Posted by u/mkmk
The 26,000-year cycle is also known as the Platonic Year.
My understanding of this was that the UB starts only after the value is passed/returned. So if foo() has a contract to only return positive integers, the code within foo can check and ensure this, but if the calling code does it, the compiler might optimize it away.
Unspecified behavior != UB
https://en.wikipedia.org/wiki/Unspecified_behavior
gku commented on Ask HN: Looking for a good course to learn proof assistant Lean 4 · Posted by u/rabarbers
CS 99: Functional Programming and Theorem Proving in Lean 4,designed by Stanford University Centaur Lab: https://web.stanford.edu/class/cs99/
gku commented on Cloudflare Global Network experiencing issues cloudflarestatus.com/inci... · Posted by u/imdsm
Anyone seeing a link between AI-generated infra code and this year’s wave in popular service outages?