HackerTrans
TopNewTrendsCommentsPastAskShowJobs

korbonits

no profile record

Submissions

An LLM verifier rated math proofs near-perfect; an expert found 17% correct

korbonits.com
3 points·by korbonits·18 dni temu·0 comments

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

korbonits.com
1 points·by korbonits·2 miesiące temu·0 comments

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

korbonits.com
3 points·by korbonits·2 miesiące temu·0 comments

comments

korbonits
·w zeszłym miesiącu·discuss
Proves the need for more formal verification :)
korbonits
·w zeszłym miesiącu·discuss
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.
korbonits
·2 miesiące temu·discuss
[flagged]
korbonits
·2 miesiące temu·discuss
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.
korbonits
·2 miesiące temu·discuss
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 :)
korbonits
·2 miesiące temu·discuss
[dead]