korbonits
Re:Reproducing the Jacobian conjecture counterexample in two cells of ...
on Tuesday July 21, 2026 @08:35PM (#49000310)
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
Re:Human mathematicians are being outcounterexampled
on Tuesday July 21, 2026 @02:02AM (#48988606)
Which conjectures will be proven false via counterexample next? Dixmier? Poisson?
Reproducing the Jacobian conjecture counterexample in two cells of SymPy
An LLM verifier rated math proofs near-perfect; an expert found 17% correct
Proves the need for more formal verification :)
Re:What was your "Oh Shit" moment with GenAI?
on Saturday June 06, 2026 @04:19PM (#48428607)
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
The Verification Problem (On OpenAI's Erdős Disproof)
Re:Ask HN: What are you working on? (May 2026)
on Tuesday May 12, 2026 @02:06PM (#48111955)
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.
Re:Ask HN: What are you working on? (May 2026)
on Monday May 11, 2026 @06:09PM (#48101330)
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 :)
Re:New math book rescues landmark topology proof
on Thursday September 09, 2021 @03:27PM (#28473633)
What about this guy's book?
https://math.uchicago.edu/~dannyc/books/4dpoincare/4dpoincar...
Re:Digital Minimalism: What are the alternative to screen time?
on Wednesday September 08, 2021 @11:00PM (#28465733)
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.
Re:Scientists must rise above politics and restate their value to society
on Wednesday August 07, 2019 @12:18PM (#20636099)
Science is political! This headline is :thumbs-down:
Textio Flow Launched Today
Re:Population Mountains
on Tuesday December 11, 2018 @06:42PM (#18660068)
This is addicting <3
Re:Feynman's Lost Lecture (ft. 3Blue1Brown) [video]
on Thursday September 06, 2018 @02:47PM (#17928522)
> 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
Re:Maersk installed 100-foot-tall rotating sails on one of its tankers
on Friday August 31, 2018 @04:07PM (#17888310)
SAILING FOR THE WIN
Re:Ask HN: What are some niche communities you enjoy?
on Sunday August 05, 2018 @10:13PM (#17694706)
what model/year? Are you a PCA member?
Re:Ask HN: What books do you keep on your desk?
on Wednesday April 04, 2018 @01:24PM (#16756895)
This is such a good book. One of the few books I've re-read
Re:Show HN: Launched my first app where people hum songs for others to...
on Tuesday March 27, 2018 @06:12PM (#16693250)
Is whistling allowed? :)
The Languages of Black Panther
Re:Deep reinforcement learning doesn't work yet
on Thursday February 15, 2018 @06:38PM (#16388765)
This is an excellent write-up.
2018 New Year's Resolutions
Re:Goldman Sachs Is Setting Up a Cryptocurrency Trading Desk
on Thursday December 21, 2017 @05:06PM (#15983270)
If Goldman is doing it... maybe I should finally buy some BitCoin...
Re:The Art of Conducting
on Thursday December 21, 2017 @04:42PM (#15983061)
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...
Re:Superhuman AI in heads-up no-limit poker: Libratus beats top profes...
on Thursday December 21, 2017 @04:41PM (#15983047)
The demo of this at NIPS was awesome!
Re:Philosophy Needs a New Definition
on Tuesday December 19, 2017 @02:59PM (#15963657)
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 wide and stormy ocean, the region of illusion, where many a fog-bank, many an iceberg, seems to the mariner, on his voyage of discovery, a new country.” The quote is not from Nietzsche or Benjamin’s work, nor from other “literary philosophers” — it’s from Kant’s Critique of Pure Reason.
>>> end quote