Verdex

5 ms·

31.
by Verdex 4mo ago
Hey, would you mind elaborating a bit on this: > assuming you have a clear idea of what you want to do and how I mean, if I have a sufficiently clear idea of what and how, then surely just coding it manually would work significantly bett
32.
by Verdex 5mo ago
Yeah, I think so. If someone lets you cheat off of their test, that's authorized but still plagiarism.
33.
by Verdex 5mo ago
IIRC they do some stuff with f co algebras. Which if I understand it is effectively doing things like "hey here's a generator that produces an infinite number of the number 1, but the only way to evaluate it is via a take with a
34.
by Verdex 5mo ago
That's my take as well. I've had my unPRed branches grabbed up and blindly merged by an agent twice now. The guy doing it was shocked both times that his PR had my change sets in it. Also one engineer is treating the code as ass
35.
by Verdex 6mo ago
I have a friend who dealt with this in highschool. The English teacher just copied whatever their grade was from their first assignment onto all other assignments. It got so bad that his Dad, who was an active English and Spanish teacher at
36.
by Verdex 6mo ago
Heres the thing about clean code. Is it really good? Or is it just something that people get familiar with and actually familiarity is all that matters. You can't really run the experiment because to do it you have to isolate a bunch
37.
by Verdex 6mo ago
Hey friend, check the user name of the person I'm responding to (and perhaps check out the people responsible for dtrace and larry ellison lawnmower comparisons). I might appear more coherent afterwards.
38.
by Verdex 6mo ago
Whenever the lawnmower thing comes up, I try to also mention dtrace. As far as things to be remembered for, they make some strange bedfellows... although it's better than anything I've managed so I guess congrats.
39.
by Verdex 6mo ago
While the LLM rust experiments I've been running make good use of ADTs, it seems to have trouble understanding lifetimes and when it should be rc/arc-ing. Perhaps these issues have known solutions? But so far the LLM just clones
40.
by Verdex 6mo ago
It's also less frustrating to organize world wide ram production and logistics than to deal with a single mathematician. Constantly sitting around trying to solve problems that nobody has made headway on for hundreds of years. Or inve
41.
by Verdex 6mo ago
Known in the business as 'pulling a jevons'
42.
by Verdex 6mo ago
I suppose that you could have the phone listening in real time and generating profiles that are hidden and embarrassing but not illegal. So when they ask for the real profile it shows in the next unlock a profile that makes it very clear yo
43.
by Verdex 7mo ago
The busy beaver function isn't uncomputable. You just compute the brains of a bunch of immortal mathematics. At which point it's "very difficult and expensive function to evaluate with absurdly large boundary conditions.&quot
44.
by Verdex 7mo ago
Yeah, church turing suggests that a computer can compute any computable function. Or the universality of computable substrate. Maybe there's a confusion that computation universality implies everything universality?
45.
by Verdex 7mo ago
> In theory a computer should be able to model any physical process Wait, which theory is that? In church turing theory the computer can compute any computable function. Why do we think that the computer can model any physical process?
46.
by Verdex 7mo ago
Church turing is about computable functions. Uncomputable functions exist. For example how much rain is going to be in the rain gauge after a storm is uncomputable. You can hook up a sensor to perform some action when the rain gets so hig
47.
by Verdex 7mo ago
My understanding is that waymo has gone on the record to say that they have human operators that remotely drive the vehicle in scenarios where their automated system is confused. Which I assert is semantically equivalent to saying: Human dr
48.
by Verdex 7mo ago
Yeah, in the past the limiting factor was the human suffering of the engineer who had to try and fit the sprawling nightmare fuel into their brain. The machine doesn't suffer. Or if it does nobody cares. People eventually start havin
49.
by Verdex 7mo ago
Yeah, that's kind of what I'm wondering about. It's an interesting story about how even though all metrics show massive losses actually they have massive gains. Accounting is a rather mature field, so I figure that someone in
50.
by Verdex 7mo ago
That's an interesting idea. I'm curious, though, are there any other industries and/or companies that have tried to pull this sort of thing off? And what ultimately happened to them?
51.
by Verdex 7mo ago
Clearly. Crazy thing. Number of times reading the source saved time and clarified why: many. Number of times reading the documentation saved time and clarified why: never. Perhaps I've just been unlucky? EDIT: The hilarious part to me
52.
by Verdex 7mo ago
I do read the code instead of the documentation, whenever that is an option. Interesting factiod. The number of times I've found the code to describe what the software does more accurately than the documentation: many. The number of t
53.
by Verdex 7mo ago
"Its not a fantasy game, it's far future dystopian post apocalyptic implied hyper technical ethereal augmentation science fiction." "Very clever sir. But Im aware of what dark sun is. You'll have to come with me.&
54.
by Verdex 7mo ago
In my mind Google is the one AI provider which is more or less guaranteed to make it past the next 2-5 years. Maybe anthropic and openai can be profitable with current model. But they'll never get to stop investing in next model whil
55.
by Verdex 7mo ago
There's code structure but then there's also code philosophy. The worst code bases I have to deal with have either no philosophy or a dozen competing and incompatible philosophies. The best are (obviously) written in my battle tes
56.
by Verdex 7mo ago
Yeah, even the AI CEOs are admitting that training scaling is over. They claim that we can keep the party going with post training scaling, which I personally find hard to believe but I'm not really up to speed on those techs. I mean,
57.
by Verdex 8mo ago
I think many serious endeavors would benefit from including a magician. Intelligent experts fail time and again because while they are experts, they don't know a lot about lying to people. The magician is an expert in lying to people a
58.
by Verdex 8mo ago
So, I kind of get this sentiment. There is a lot of goal post moving going on. "The AIs will never do this." "Hey they're doing that thing." "Well, they'll never do this other thing." Ultimately I s
59.
by Verdex 8mo ago
Cool. What's the product? Like, do you have a link to it or something.
60.
by Verdex 8mo ago
If the LLM is a high level language, then why aren't we saving the prompts in git? Last I checked with every other high level language, you save the source and then rerun the compiler to generate the artifact. With LLMs you throw away

More ›