Hacker News: korbonits

New comment by korbonits in "Ask HN: What was your "oh shit" moment with GenAI?"

korbonits — Sat, 06 Jun 2026 20:19:36 +0000

It was Claude Code this January for me. I had heard that it got really good last November but I was still using Kiro at that point.

It wasn't so much an "uh oh" but more of a "eureka!" moment for me. Been busy building ever since.

My reading has dropped off quite a bit in the evenings because sometimes it's more fun to build.

Who verifies the verifier? Notes on DeepMind's formal proof-search paper

korbonits — Sat, 30 May 2026 04:13:08 +0000

Article URL: https://korbonits.com/blog/2026-05-28-who-verifies-the-verifier/

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

Points: 1

# Comments: 0

The Verification Problem (On OpenAI's Erdős Disproof)

korbonits — Sun, 24 May 2026 05:18:16 +0000

Article URL: https://korbonits.com/blog/2026-05-23-the-verification-problem/

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

Points: 3

# Comments: 0

New comment by korbonits in "Ask HN: What are you working on? (May 2026)"

korbonits — Tue, 12 May 2026 18:06:36 +0000

To be honest, I don't know because I have not hit many of those limits due to what I would call "moderate" scale. So far, I have just provisioned enough pods to handle the traffic as-is without using KubeRay. So k8s is handling the load balancing adequately at the moment, but Ray serve is not cluster-aware, only pod aware, for now.

New comment by korbonits in "Ask HN: What are you working on? (May 2026)"

korbonits — Mon, 11 May 2026 22:09:12 +0000

Have you considered using vLLM on top of Ray Serve (on EKS with KubeRay)? KubeRay makes Ray cluster-aware and there could be some optimizations you could make e.g. keeping that GPU fully utilized all the time :)

New comment by korbonits in "New math book rescues landmark topology proof"

korbonits — Thu, 09 Sep 2021 19:27:39 +0000

What about this guy's book?

https://math.uchicago.edu/~dannyc/books/4dpoincare/4dpoincar...

New comment by korbonits in "Digital Minimalism: What are the alternative to screen time?"

korbonits — Thu, 09 Sep 2021 03:00:26 +0000

Sailing.

Low tech, keep the gadgets off (other than VHF 16, and, if it's safe). No sound other than the water hitting the hull. It's quiet like when it snows.

Totally relaxing and rejuvenating. Offline.

You won't want to come back to land.

New comment by korbonits in "Scientists must rise above politics and restate their value to society"

korbonits — Wed, 07 Aug 2019 16:18:10 +0000

Science is political! This headline is :thumbs-down:

Textio Flow Launched Today

korbonits — Tue, 23 Apr 2019 16:44:44 +0000

Article URL: https://textio.ai/textio-flow-augmented-writing-6dfa711ae4e1

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

Points: 2

# Comments: 0

New comment by korbonits in "Population Mountains"

korbonits — Tue, 11 Dec 2018 23:42:26 +0000

This is addicting <3

New comment by korbonits in "Feynman's Lost Lecture (ft. 3Blue1Brown) [video]"

korbonits — Thu, 06 Sep 2018 18:47:02 +0000

> One of the most incredible feelings is when you make that new connection of understanding on an idea

To paraphrase the ongoing meme on twitter, it's better than sex

New comment by korbonits in "Maersk installed 100-foot-tall rotating sails on one of its tankers"

korbonits — Fri, 31 Aug 2018 20:07:47 +0000

SAILING FOR THE WIN

New comment by korbonits in "Ask HN: What are some niche communities you enjoy?"

korbonits — Mon, 06 Aug 2018 02:13:21 +0000

what model/year? Are you a PCA member?

New comment by korbonits in "Ask HN: What books do you keep on your desk?"

korbonits — Wed, 04 Apr 2018 17:24:54 +0000

This is such a good book. One of the few books I've re-read

New comment by korbonits in "Show HN: Launched my first app where people hum songs for others to guess"

korbonits — Tue, 27 Mar 2018 22:12:19 +0000

Is whistling allowed? :)

The Languages of Black Panther

korbonits — Thu, 22 Feb 2018 18:12:06 +0000

Article URL: http://www.junglelightspeed.com/the-languages-of-black-panther/

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

Points: 1

# Comments: 0

New comment by korbonits in "Deep reinforcement learning doesn't work yet"

korbonits — Thu, 15 Feb 2018 23:38:33 +0000

This is an excellent write-up.

2018 New Year's Resolutions

korbonits — Sat, 06 Jan 2018 05:40:16 +0000

Article URL: http://korbonits.github.io/2018/01/05/New-Years-Resolutions.html

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

Points: 1

# Comments: 0

New comment by korbonits in "Goldman Sachs Is Setting Up a Cryptocurrency Trading Desk"

korbonits — Thu, 21 Dec 2017 22:06:44 +0000

If Goldman is doing it... maybe I should finally buy some BitCoin...

New comment by korbonits in "The Art of Conducting"

korbonits — Thu, 21 Dec 2017 21:42:43 +0000

If you enjoy this article, you'd love this book:

Absolutely on Music: Conversations (Haruki Murakami and Seiji Ozawa)

https://www.amazon.com/Absolutely-Music-Conversations-Haruki...