hellohello2

6 ms·

61.
by hellohello2 3mo ago
Its completely pointless yet I still want it. IDK, its the status lights that look fun.
62.
by hellohello2 3mo ago
This feels mistaken; we develop abstract objects i.e. graphs based on real-world utility or whatever. As we try to improve our understanding of graphs, we value proofs that help us do so, or help other fields of mathematics. We assign 0 val
63.
by hellohello2 3mo ago
I would assume/hope they had someone verify it before publishing
64.
by hellohello2 3mo ago
You seem to be suggesting that it is just as hard to understand an existing proof to a problem, than to solve it yourself? I don't follow your argument at all, what are you trying to say?
65.
by hellohello2 4mo ago
You had sudo on your PC. You just didn't know ;)
66.
by hellohello2 4mo ago
Just to share my perspective, I have not had this much fun programming as when I first learned to code. It's really something you have to try for yourself to actually understand. Its like a new form of programming, where code is "
67.
by hellohello2 4mo ago
I wasn't clear enough, I was replying to "you'll be the one selected, out of millions laid off," in context I meant "mass layoff" as in "95% of everyone is out of a job permanently".
68.
by hellohello2 4mo ago
Current SOTA is far past "agressive autocomplete" at this point, more like ask for a PR for a small feature and its done... I guess for me the fun is you can build a lot yourself, without relying on others. I hear you for the soci
69.
by hellohello2 4mo ago
Perhaps its the apprehension/anxiety that makes it feel bad then? I like coding (building things) and couldn't care less about businesses, and am having a great time. In the current state of AI, mass layoffs probably won't ha
70.
by hellohello2 4mo ago
I'm curious, have you tried working seriously with claude code or gpt codex and which part of it did you not enjoy? What makes you wish to write code like 2022?
71.
by hellohello2 4mo ago
"Have you personally used any of the latest batch of even smaller local models?" No I have not, which is why I asked (it wasn't a rhetorical question). Do you have pointers on what the recent improvements are?
72.
by hellohello2 4mo ago
"It is almost guaranteed that a 60-90B model can outperform current SOTA in coding tasks within 2-3 years" What insight do you have to make this claim?
73.
by hellohello2 4mo ago
No, chatbots are LLMs trained for question-answering through RLHF (its not just a prompt). But yes, if you just zero-shot prompt a bare LLM you can still "talk to it" & you are correct on everything else as far as I know.
74.
by hellohello2 4mo ago
They are chatbots trained for tool use, its not just a prompt.
75.
by hellohello2 4mo ago
Sorry but I don't really see how this contradicts what I said in context i.e. both our statements are compatible in the context of what I was replying to
76.
by hellohello2 4mo ago
I agree that the amount people pay for these services is very unlikely to decrease (i.e. Blinn's Law but for tokens). Still, the current level of "intelligence" will eventually become available for a very low price almost sur
77.
by hellohello2 5mo ago
Computation halves in price every ~2 years so maybe in the short term but not in the long term
78.
by hellohello2 5mo ago
There can be some issues with shadowing yeah, especially if you render with splatting/rasterization, but its fine if you raytrace I think.
79.
by hellohello2 5mo ago
There are some works on doing this directly e.g. https://arxiv.org/abs/2601.23065 but getting accurate materials is a challenge for anything more than diffuse. AI-based relighting will no doubt start working soon.
80.
by hellohello2 5mo ago
Thanks for your explanation, I find it much more intuitive than the paper's. In your opinion, does a Calculus solver model certain aspects of the world?
81.
by hellohello2 5mo ago
The literal definition of a model is "an informative representation of an object, person, or system". I think you mean something else though, what are you trying to express exactly?
82.
by hellohello2 5mo ago
"Text generated by an LM is not grounded in communicative intent, any model of the world, or any model of the reader’s state of mind." Modelling text describing the world is not modelling (some aspect) of the world? Modelling the
83.
by hellohello2 5mo ago
(I meant statically typed / high level of type safety here not strongly typed)
84.
by hellohello2 5mo ago
I think the parent is mostly referring to solutions like Slang.D
85.
by hellohello2 5mo ago
I get what you mean but I think if anything AI pairs extremely well with strongly typed languages that are at times cumbersome for humans, but decrease the latency at which AI can get feedback on its code. In my (very) limited experience Ru
86.
by hellohello2 5mo ago
Lol! My bad, I wasn't aware it was the original author (my fault for replying with too little reading). In any case, I think what I said still applies to his LLM experiment.
87.
by hellohello2 5mo ago
Why would this be true for simulated annealing?
88.
by hellohello2 5mo ago
Hmm I'm not sure what you mean by "Gradient descent is mathematically the most efficient optimization strategy". Do you mean that gradient-based optimization in general? (in other words do you consider Adam gradient descent?)
89.
by hellohello2 5mo ago
You can view it as an overreaction, but also as a sign that your work is significant. It impressed some, and scared others. In any case, you made something interesting.
90.
by hellohello2 5mo ago
I agree, this is the correct way to see it IMO. Instead of designing better optimizers, we designed easier parameterizations to optimize. The surprising part is that these parameterizations exist in the first place.

More ›