david-gpu

29 ms·

61.
by david-gpu 1mo ago
Please consider the context of the question. An artificial intelligence only needs to have the cognitive abilities of a random average human in order to be "AGI". The average human has never published a bestselling book. A person
62.
by david-gpu 1mo ago
How many times have you done each of the following? - write a well-received book, write a best-seller - come up with a new company idea, Run that company - actually have a decent conversation, maybe someday talk somebody out of suicide effe
63.
by david-gpu 1mo ago
Countersteering is important on a bicycle too when you need to quickly dodge something, for example. But yeah, the stakes around riding are so much higher on a motorbike.
64.
by david-gpu 1mo ago
I would separate cycling from riding motorbikes entirely. They are different enough in terms of mass, speed, and especially acceleration. As an example, pedaling while turning is often a bad idea because of the risk of pedal strikes, so acc
65.
by david-gpu 1mo ago
Braking while turning is a risky business indeed. You typically want to use both brakes at once to reduce the chance of skidding, but if you do lose grip on either wheel nonetheless, you better have quick reflexes and release both brakes.
66.
by david-gpu 1mo ago
The code tells you what the code does. It does not explain why it is doing that, and not something else. That is, among other things, what documentation does, and that includes comments.
67.
by david-gpu 1mo ago
> I figure that it's basically making notes for itself, when it has to revisit the same code in a fresh session. That sounds like a great thing to do even if you are a human writing code for other humans. Most codebases out there
68.
by david-gpu 1mo ago
You can ask LLMs questions about an immense variety of subjects, and they can give you customized explanations to those questions. It is as if an acquaintance of yours had digested Wikipedia and tens of thousands of books and had infinite p
69.
by david-gpu 1mo ago
If people use [the Internet] to replace [Sears catalogs] or [paper mail], you can see how this new invention is not really adding anything you already hadn't.
70.
by david-gpu 1mo ago
Did you experience the popularization of the WWW? There were massive disagreements even among smart tech-savvy people. We even had a stock market boom and just cycle associated with it. Funnily, none of that mattered. What mattered is that
71.
by david-gpu 1mo ago
> generative art is blindingly obvious.... To me Have you tested this systematically, or is it possible that you are experiencing survivorship bias? If there were any generative art pieces that you didn't notice, you would have th
72.
by david-gpu 1mo ago
Did I mention waterfall at all? You are fighting a strawman. You can write specs for a MVP, write a test plan, yadda yadda, then progressively iterate. I have no idea where you got the idea that I was proposing a waterfall lifecycle.
73.
by david-gpu 1mo ago
My experience is the same. That is why I write technical specifications for the LLM to follow, and treat the actual code they generate in the same way I treat the assembly produced by a compiler: a black box I rarely peek into. If the code
74.
by david-gpu 1mo ago
We are talking of TOS independent of copyright law .
75.
by david-gpu 1mo ago
The thread is about terms of use separate from copyright law . It is the whole premise.
76.
by david-gpu 1mo ago
Standard copyright boilerplate. Not terms of service distinct from copyright, which is the subject of this thread.
77.
by david-gpu 1mo ago
Can you please provide a specific example?
78.
by david-gpu 1mo ago
How long until books come with TOS, then?
79.
by david-gpu 1mo ago
Some folks won't get it, no matter how well you explain it, because they do not seek to understand in the first place. For them, being reminded that there is somebody out there that is somewhat different from them is already an annoyan
80.
by david-gpu 2mo ago
In the study we are discussing they did six 30-second "all out" efforts, three or four times per week, and nothing else. This is far beyond threshold intensities. I other words, I agree with you. And I think hopefully you now al
81.
by david-gpu 2mo ago
With this I am not trying to invalidate the research. What I am doing is warning laypeople from drawing overly simplistic conclusions from studies like these, such as concluding that "Exercising hard is good".
82.
by david-gpu 2mo ago
Yes. And he emphasizes spending most of your time doing easy volume. Because especially as a regular Joe you won't recover well from doing high intensity intervals three or four times a week, especially when you haven't built a st
83.
by david-gpu 2mo ago
I do recommend learning what Steve Magness says about the subject. He covers that as well. Even as a complete amateur you still would not structure your training as they did in that paper, because it makes zero sense.
84.
by david-gpu 2mo ago
> Thinking rock make many wrong marks So do humans. Don't Lean proofs take care of that?
85.
by david-gpu 2mo ago
The second part can only be done by human minds... For now. Just like the first part could only be done by human minds until a few years (or decades) ago.
86.
by david-gpu 2mo ago
So many similar studies, including this one, suffer from the same flaws pointed out by Olympic coach Steve Magness. In brief, the training protocols used in these papers are not representative at all of how actual athletes train. And athlet
87.
by david-gpu 2mo ago
Software is buggy when people are more willing to buy the cheaper buggy software vs the higher price of more robust software. When people want more robust software, they pay for it and it is delivered. None of the modern world would work wi
88.
by david-gpu 2mo ago
I last touched formal verification methods 20 years ago. Back then, Coq had the capacity to automatically transform your proof into OCaml. I would have expected that this would have only gotten better with time.
89.
by david-gpu 2mo ago
I suspect you underestimate the number of utility cyclists. People on bikes take a lot less space than people on SUVs and pickup trucks, so it is easy to underestimate their numbers.
90.
by david-gpu 2mo ago
I used to be similarly judgemental and flippant when my BMI was 20~21 in my 20s and 30s. My health took a few wrong turns and I now have a BMI of 30. My diet is just as good, if not better, than back when I was slim. But now my sleep is wor

More ›