korbonits

5 ms·

1.
by korbonits 2mo ago
ack'ed -- I will fix this! -- not the response I am hoping for obviously so I will dial it waaay down. Thanks for the candid feedback
2.
by korbonits 2mo ago
Which conjectures will be proven false via counterexample next? Dixmier? Poisson?
3.
Reproducing the Jacobian conjecture counterexample in two cells of SymPy(korbonits.com)
1 points by korbonits 2mo ago|2 comments
4.
An LLM verifier rated math proofs near-perfect; an expert found 17% correct(korbonits.com)
3 points by korbonits 3mo ago|0 comments
5.
by korbonits 3mo ago
Proves the need for more formal verification :)
6.
by korbonits 3mo ago
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 build
7.
Who verifies the verifier? Notes on DeepMind's formal proof-search paper(korbonits.com)
1 points by korbonits 4mo ago|0 comments
8.
The Verification Problem (On OpenAI's Erdős Disproof)(korbonits.com)
3 points by korbonits 4mo ago|0 comments
9.
by korbonits 4mo ago
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 handli
10.
by korbonits 4mo ago
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 :)
11.
by korbonits 5y ago
What about this guy's book? https://math.uchicago.edu/~dannyc/books/4dpoincare/4dpoincar...
12.
by korbonits 5y ago
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
13.
by korbonits 7y ago
Science is political! This headline is :thumbs-down:
14.
Textio Flow Launched Today(textio.ai)
2 points by korbonits 7y ago|0 comments
15.
by korbonits 8y ago
This is addicting <3
16.
by korbonits 8y ago
> 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
17.
by korbonits 8y ago
SAILING FOR THE WIN
18.
by korbonits 8y ago
what model/year? Are you a PCA member?
19.
by korbonits 8y ago
This is such a good book. One of the few books I've re-read
20.
by korbonits 8y ago
Is whistling allowed? :)
21.
The Languages of Black Panther(junglelightspeed.com)
1 points by korbonits 9y ago|0 comments
22.
by korbonits 9y ago
This is an excellent write-up.
23.
2018 New Year's Resolutions(korbonits.github.io)
1 points by korbonits 9y ago|0 comments
24.
by korbonits 9y ago
If Goldman is doing it... maybe I should finally buy some BitCoin...
25.
by korbonits 9y ago
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...
26.
by korbonits 9y ago
The demo of this at NIPS was awesome!
27.
by korbonits 9y ago
I love that the author quotes Kant in the context of imbuing philosophy with storytelling. It's true! >>> begin quote One philosopher writes, with studied relief, of arriving to “the land of truth,” which is “surrounded by a w
28.
Corporate cultural values vs. corporate PR(techmeme.com)
1 points by korbonits 9y ago|0 comments
29.
Hiring language across 25k job descriptions and corporate cultural norms(businessinsider.com)
2 points by korbonits 9y ago|0 comments
30.
How Language in Job Listings Could Widen Silicon Valley’s Gender Divide(wsj.com)
1 points by korbonits 9y ago|0 comments

More ›