Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
gku
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
5 ms
·
1.
▲
by
gku
6mo ago
oauth `redirect_url` points to localhost, so the login redirect hangs
2.
▲
by
gku
6mo ago
oauth `redirect_url` points to localhost, so the login redirect hangs
3.
▲
API Error: Claude's response exceeded the 32000 output token maximum
(github.com)
3 points
by
gku
7mo ago
|
0 comments
4.
▲
by
gku
7mo ago
Crazy good! This is the most enlightening post about Lean that I've come across on HN.
5.
▲
by
gku
8mo ago
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 unauthenticat
6.
▲
by
gku
8mo ago
The need to upgrade Pandas, combined with emerging AI tools, might accelerate Polars adoption, let’s see what happens.
7.
▲
by
gku
8mo ago
The 26,000-year cycle is also known as the Platonic Year.
8.
▲
by
gku
9mo ago
Unspecified behavior != UB https://en.wikipedia.org/wiki/Unspecified_behavior
9.
▲
by
gku
10mo ago
CS 99: Functional Programming and Theorem Proving in Lean 4,designed by Stanford University Centaur Lab: https://web.stanford.edu/class/cs99/
10.
▲
by
gku
10mo ago
Anyone seeing a link between AI-generated infra code and this year’s wave in popular service outages?
11.
▲
A Spectral-Geometric Proof of the Riemann Hypothesis
(zenodo.org)
18 points
by
gku
10mo ago
|
15 comments
12.
▲
G3 Watch for 6 and 7 November
(spaceweather.gov)
2 points
by
gku
10mo ago
|
1 comments
13.
▲
by
gku
10mo ago
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-di
14.
▲
Touying: Creating Slides in Typst
(touying-typ.github.io)
2 points
by
gku
11mo ago
|
1 comments
15.
▲
by
gku
11mo ago
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.
16.
▲
China's aerosol cleanup has contributed to the acceleration in global warming
(researchsquare.com)
1 points
by
gku
1y ago
|
3 comments
17.
▲
by
gku
1y ago
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 emi
18.
▲
Copilot Code Review now supports all languages in public preview
(github.blog)
3 points
by
gku
1y ago
|
0 comments
19.
▲
by
gku
1y ago
Yes, everybody knows that Vatican is the industrial heart of the world
20.
▲
by
gku
1y ago
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 cause
21.
▲
by
gku
1y ago
arithmetic mean of percentages = terrorism
22.
▲
by
gku
1y ago
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/star/gaia2.html > "The tour
23.
▲
Banana Pi BPI-R4: OpenWrt Quickstart
(interfacinglinux.com)
3 points
by
gku
1y ago
|
0 comments
24.
▲
Unlike `Float`, we don't worry about `nan` for our comparisons
(github.com)
2 points
by
gku
2y ago
|
0 comments
25.
▲
by
gku
2y ago
Alternative source: https://phys.org/news/2024-05-earth-environment-ancient-mars...
26.
▲
Adrift (2023)
(projects.apnews.com)
2 points
by
gku
2y ago
|
0 comments
27.
▲
by
gku
3y ago
I've recently updated the Lambda functions to Amazon Linux 2023, only to find that its standard support apparently expires earlier than that of the older Amazon Linux 2.
28.
▲
An easy to use tool to change the behaviour of your input devices
(github.com)
1 points
by
gku
3y ago
|
0 comments
29.
▲
Large-Scale Violence in Late Neolithic Western Europe
(nature.com)
1 points
by
gku
3y ago
|
0 comments
30.
▲
by
gku
3y ago
Hogei, twenty in basque, is said to be related to other Celtic languages, for example, ugain in Welsh and ugent in Breton. I miss a note in https://www.omniglot.com/celtiadur/2023/07/11/twenty/ .
More ›