Dennis Hackethal
@dennis.hackethal·Joined Jun 2024·Ideas
Founder Veritula.
Author. Software engineer. Ex Apple. Translator of The Beginning of Infinity.
dennishackethal.com
#4838·Tyler Mills, 2 months agoThe "Battle tested" badge should have a hyphen!
https://www.merriam-webster.com/dictionary/battle-tested
Thanks, fixed.
#4822·Tyler MillsOP, 2 months agoAh, so if I understand correctly, there are two knobs affecting speed (elapsed time) for a given algorithm: the hardware, and the implementation of the algorithm. The given algorithm has a complexity, independent of those two, which is how the time and memory scales with an input.
The given algorithm has a complexity, independent of [the implementation]
No, the complexity depends on the implementation.
#4837·Tyler Mills, 2 months agoBounties could pay out multiplicatively, up to a limit (e.g. 10$ per criticism, up to 3). This would preserve the incentive for bounty hunting after one criticism has already been posted.
Maybe I’m misunderstanding you, but that’s how standing bounties work already.
When you fund a standing bounty, you set the number of criticisms you’re willing to pay for, and the amount for each.
If that’s something you want to do for your current bounty, you still can, before current funding runs out.
See also “How Do Bounties Work?”
#4809·Dirk Meulenbelt revised 2 months agoA random number generator does not have universal creativity, because it is not a universal explainer: it can only generate explanations by accident. Universal explainers seek good explanations through conjecture and criticism.
Universal explainers
In the context of how AGI may work – which seems to be what Tyler is mostly interested in – the concept of a universal explainer might not get us very far. Creativity is the more fundamental concept, I think.
A person is a universal explainer, yes, but he could also use his creativity to come up with reasons not to create explanations.
https://blog.dennishackethal.com/posts/explain-irrational-minds
Hi Mike, welcome to Veritula. I’m Dennis, the founder.
Take a look at the discussions for any topics that might interest you.
You can also participate in bounties.
What brings you to V?
#4809·Dirk Meulenbelt revised 2 months agoA random number generator does not have universal creativity, because it is not a universal explainer: it can only generate explanations by accident. Universal explainers seek good explanations through conjecture and criticism.
Universal explainers seek good explanations…
You sounded persuaded by https://blog.dennishackethal.com/posts/hard-to-vary-or-hardly-usable. As in, you agreed that people don’t seek good/hard-to-vary explanations.
So why still speak of good explanations?
#4776·Tyler MillsOP, 2 months agoThis wrongly implies speed is a property of programs, but it's a property of hardware.
Speed is a property of programs, too. https://en.wikipedia.org/wiki/Big_O_notation
#3367·Benjamin Davies revised 6 months agoThis might be a difference in dialect. In New Zealand (and I assume other places, like maybe Australia, UK and Ireland) it is common to use ‘must not’ to mean:
a) ‘ Is forbidden to’ (the meaning you are familiar with),
or
b) ‘necessarily cannot’, usually in a deductive way.
Example: “His shoes aren’t here. I guess he must not be home then.”
This is much more natural to me than “His shoes aren’t here. I guess he cannot be home then.”
The other day, I heard an American say ‘must not’ in the sense you mean. So this seems to be more common than I realized.
He didn’t use the contraction, and I suspect Americans would find the contraction unnatural. But they do apparently agree that ‘must not’ does not only mean ‘is forbidden to’ but also ‘necessarily cannot’. So I was definitely wrong about this.
#4771·Dennis Hackethal revised 2 months agoSome people think if they’re hungry that means they’re losing fat. I think that’s wrong.
You can eat a single meal at Cheesecake Factory for 2500kcals and be hungry again an hour later.
Or you can eat low-calorie foods throughout the day and not get very hungry until it’s actually time to eat again.
Some people might have trouble reaching their maintenance calories if they ate nothing but chicken breast, boiled potatoes, and broccoli for a day. They’d feel very full throughout the day.
I don’t expect much correlation, if any, between how satiating and how calorically dense some food is.
The good news for people who enjoy volume eating is that you can eat a lot while losing fat as long as you do it right. That means foods high in fiber and/or water (again, potatoes) and lean proteins. Vegetables generally work well.
The most important thing for fat loss is a calorie deficit, not hunger. Hunger is not a reliable indicator that you’re losing fat. You could be losing fat without being hungry, or you could be gaining weight while being hungry often.
Don’t go off of feelings. Count calories, macronutrients, and fiber, and weigh yourself to track progress.
Some people think if they’re hungry that means they’re losing fat. I think that’s wrong.
You can eat a single meal at Cheesecake Factory for 2500kcals and be hungry again an hour later.
Or you can eat low-calorie foods throughout the day and not get very hungry until it’s actually time to eat again.
Some people might have trouble reaching their maintenance calories if they ate nothing but chicken breast, boiled potatoes, and broccoli for a day. They’d feel very full throughout the day.
I don’t expect much correlation, if any, between how satiating and how calorically dense some food is.
The good news for people who enjoy volume eating is that you can eat a lot while losing fat as long as you do it right. That means foods high in fiber and/or water (again, potatoes) and lean proteins. Vegetables generally work well.
The most important thing for fat loss is a calorie deficit, not hunger. Hunger is not a reliable indicator that you’re losing fat.
Don’t go off of feelings. Count calories, macronutrients, and fiber, and weigh yourself to track progress.
Some people think if they’re hungry that means they’re losing fat. I think that’s wrong.
You can eat a single meal at Cheesecake Factory for 2500kcals and be hungry again an hour later.
Or you can eat low-calorie foods throughout the day and not get very hungry until it’s actually time to eat again.
Some people might have trouble reaching their maintenance calories if they ate nothing but chicken breast, boiled potatoes, and broccoli for a day. They’d feel very full throughout the day.
I don’t expect much correlation, if any, between how satiating and how calorically dense some food is.
The good news for people who enjoy volume eating is that you can eat a lot while losing fat as long as you do it right. That means foods high in fiber and/or water (again, potatoes) and lean proteins. Vegetables generally work well.
The most important thing for fat loss is a calorie deficit, not hunger. Hunger is not a reliable indicator that you’re losing fat. You could be losing fat without being hungry, or you could be gaining weight while being hungry often.
Don’t go off of feelings. Count calories, macronutrients, and fiber, and weigh yourself to track progress.
Some people think if they’re hungry that means they’re losing fat. I think that’s wrong.
You can eat a single meal at Cheesecake Factory for 2500kcals and be hungry again an hour later.
Or you can eat low-calorie foods throughout the day and not get very hungry until it’s actually time to eat again.
Some people might have trouble reaching their maintenance calories if they ate nothing but chicken breast, boiled potatoes, and broccoli for a day. They’d feel very full throughout the day.
I don’t expect much correlation, if any, between how satiating and how calorically dense some food is.
The good news for people who enjoy volume eating is that you can eat a lot while losing fat as long as you do it right. That means foods high in fiber and/or water (again, potatoes) and lean proteins. Vegetables generally work well.
The most important thing for fat loss is a calorie deficit, not hunger. Hunger is not a reliable indicator that you’re losing fat.
Don’t go off of feelings. Count calories, macronutrients, and fiber, and weigh yourself to track progress.
Need time indicators again, for when an idea was posted, like we used to have. But shorter: something like ‘1h’
Need time indicators again, for when an idea was posted, like we used to have. But shorter: something like ‘1h’
Need time indicators again, for when an idea was posted, like we used to have. But shorter: something like ‘1h’
Not if the criticism is clear and concise. That should be incentivized somehow.
Not if the criticism is clear and concise. That should be incentivized somehow.
In everyday English, we say ‘probably’ to leave room for error and communicate some uncertainty. That’s fine because everyone knows we’re not assigning actual probabilities in the sense of the probability calculus.
In math, we use the probability calculus to describe the frequency of outcomes for underlying processes that look random. Like a coin toss. That’s also fine because we know all possible outcomes and we have a measure for each.
Things go wrong when people use probability even though they don’t know the outcomes (because of the growth of knowledge, say, as you write in #4762) or they have no measure for them or the underlying phenomena don’t behave randomly (again because of the growth of knowledge). Like Elon Musk tweeting we’re 90% likely to see AGI in 2026. (Not a literal quote but he says stuff like that sometimes.)
Some people try to steal the prestige of math and hide their ignorance by using the probability calculus illegitimately.
See also https://www.youtube.com/watch?v=wfzSE4Hoxbc. It’s been years since I watched it but it’s bound to have related ideas.
“What do people misunderstand most about crystal meth addiction?” https://www.quora.com/What-do-people-misunderstand-most-about-crystal-meth-addiction/answer/Notmy-Realname-133
Interesting read.
#4730·Moritz Wallawitsch, 3 months agoNot if the criticism is clear and concise. That should be incentivized somehow.
A discussion can get long even if each criticism is concise.
Someone who recently joined made a bunch of low-quality posts in a short amount of time.
Need summaries at top of discussions. Could be AI generated.
Add missing word
Making a Minecraft with AI:
https://www.youtube.com/watch?v=WxmPfBODGuw&list=PLBGDngphGY_2ZC8eNc39yPxfc_RZDtQSN
Making a Minecraft clone with AI:
https://www.youtube.com/watch?v=WxmPfBODGuw&list=PLBGDngphGY_2ZC8eNc39yPxfc_RZDtQSN
Making a Minecraft with AI:
https://www.youtube.com/watch?v=WxmPfBODGuw&list=PLBGDngphGY_2ZC8eNc39yPxfc_RZDtQSN
If you don’t have any counter-criticisms, how could the criticisms not be decisive?
If you don’t have any counter-criticisms, how could the criticisms not be decisive?
#2138·Dennis HackethalOP revised 8 months agoWhat reason could you have to ignore the pending criticisms and adopt [the criticized idea] anyway?
Maybe the criticisms aren’t decisive.
To arrive at that conclusion, you’d first need some counter-criticism anyway.
#2138·Dennis HackethalOP revised 8 months agoWhat reason could you have to ignore the pending criticisms and adopt [the criticized idea] anyway?
Maybe the criticisms aren’t decisive.
Just how ‘tiny’ is a criticism then? By reference to what principle or measure?