jdoliner

5 ms·

1.
by jdoliner 8d ago
My model of mathematical intelligence for a little while now has been 3 levels: 1. I give you a proof, you tell me if it's correct 2. I give you a theorem, you give me a correct proof 3. I give you nothing, you give me a theorem 1. is
2.
by jdoliner 9d ago
I hope everyone is as Navier-Stoked about this as I am.
3.
by jdoliner 9mo ago
I've always liked that HN typically has comments that are small bits of research relevant to the post that I could have done myself but don't have to because someone else did it for me. In a sense the "I asked $AI, and it sai
4.
by jdoliner 10mo ago
Wordcels, rise up!
5.
by jdoliner 10mo ago
I've seen a rumor going around that OpenAI hasn't had a successful pre-training run since mid 2024. This seemed insane to me but if you give ChatGPT 5.1 a query about current events and instruct it not to use the internet it will
6.
by jdoliner 10mo ago
It's not totally obvious to me that you can get the economics of this to work. A Google search costs ~.04 cents to serve, whereas a frontier reasoning LLM request costs about 2 cents. The revenue from a Google search is also around 2 c
7.
by jdoliner 10mo ago
It's a funny juxtaposition to slap the "Pro" label on it which makes it sound more enterprisey but leave the name as Nano Banana.
8.
by jdoliner 11mo ago
Throughout most of the non-US parts of the western world voting works quite well using paper ballots and hand counts. Any organization treating voting like a tech problem is willfully oblivious of the existing very good low-tech solutions.
9.
by jdoliner 11mo ago
With the advent of things like r/MyBoyfriendIsAI I was expecting a substantially different article than the one I clicked into.
10.
by jdoliner 1y ago
Hey can you print this paper off my vape bro? I need to turn it in to my next class.
11.
by jdoliner 1y ago
Every round Anthropic raises twists the knife deeper in SBF. If only he could have survived the downturn his Antropic investment alone probably could have papered over the other loses.
12.
by jdoliner 1y ago
The problem is that the DNC establishment feels the same way about Bernie, AOC and Zohran as it does about the normal people that they can't talk to.
13.
by jdoliner 1y ago
I feel like I see these two opposite behaviors. People who formed an opinion about AI from an older model and haven't updated it. And people who have an opinion about what AI will be able to do in the future and refuse to acknowledge t
14.
by jdoliner 1y ago
This is what the argument I read claimed, I haven't verified it.
15.
by jdoliner 1y ago
I saw an interesting argument recently that the reason you get this type of verbose language in corporate settings is that English lacks a formal tense. Apparently it's much less common in languages that have one. But in corporate Engl
16.
by jdoliner 1y ago
Does anybody else see high CPU and GPU utilization on this site with a process called ClineBot?
17.
by jdoliner 1y ago
Beauty is truth, truth is beauty.
18.
by jdoliner 1y ago
Mathematicians generally feel that a single number qualifies as a "product of 1 number." So 7 can be written as just 7 which is still considered a product of prime(s). This is purely a convention thing to make it so theorems can b
19.
by jdoliner 1y ago
> Middle-aged man trading cards Examples are Mr. Honda (74), Mr. Takeshita (81) and Mr. Fujii (68). Japanese are just built different I guess.
20.
by jdoliner 1y ago
My experience is that HN's Overton window is probably on average 15-20% larger than most forums. That's not uniform across all topics though. So if you skew toward a particular set of topics it may feel like a typical forum, or ev
21.
by jdoliner 1y ago
> On the face of it, HN should be terrible. It's a forum owned an investment firm as promotion for their business. I think it's at least as plausible that this is part of the magic that makes it good. HN is sufficiently "o
22.
by jdoliner 2y ago
I don't know about the framing of "giving up." But I think anyone who's been following election models since the original 538 in 2008 has probably gotten the feeling that they have less alpha in them than they did back t
23.
Musk-led group makes $97B bid for control of OpenAI(reuters.com)
706 points by jdoliner 2y ago|978 comments
24.
by jdoliner 2y ago
There was a lot of contradictory reporting about negotiations and which said had accepted/rejected the deal. But one thing I think is undisputed is that Israel signed because they were pressured to, and is generally not happy with the
25.
by jdoliner 2y ago
It's telling you what it's mining in the background with those extra gpu cycles.
26.
by jdoliner 2y ago
The source of the error is this reddit post: https://www.reddit.com/r/explainlikeimfive/comments/pfkel9/e... which lists Phelp's physical advantages including: "Size 14 feet = basically flipper
27.
by jdoliner 2y ago
It's the year of Linux on someone else's Desktop.
28.
by jdoliner 2y ago
There is a lot of wisdom in the old ways.
29.
by jdoliner 3y ago
The galaxy brain take is that Craig Wright actually is Satoshi Nakamoto and his inept attempts to prove his identity is merely another layer of op-sec. After this ruling anyone who even attempts to reveal his true identity will be dismissed
30.
by jdoliner 3y ago
Because we really do live in a society. Believe it or not you were once someone's expensive and serious responsibility that others had to pay for. And in the future those expensive and serious responsibilities are going to be the tax b

More ›