Interesting to see what you've been reading, but I'm also wondering if you've been reading about the history of the human potential movement.

Previously you wrote:

My lead guess is that the barriers and tricky spots we ran into are somewhat similar to those that lots of efforts at self-help / human potential movement / etc. things have run into

It was a long time before I placed rationalism in what I now think of as its proper context. Or rather, two contexts: the human potential movement, and the tradition that Drexler calls "exploratory engineering" (≈L5 society culture).

And I don't think it was just me that missed this; Scott's Yes, We Have Noticed The Skulls seems to be looking at a completely different reference class (and even says we're making new mistakes, the opposite of your later conclusion).

I'd be interested in whatever you have to say about this context or how you acquired it (not necessarily recently, I realize). It seems like an important subject, and if you're restarting CFAR workshops I suppose you must have had some sources to conclude that you're not making the familiar mistakes this time.

That's interesting—if it's broken down not into single amino acids, but a mixture of single amino acids, dipeptides, and tripeptides, that still fits with how I understand the system to work; like we're breaking it down into pieces, but not reliably into single units, sometimes two or three. And then collagen consists of distinctive tripeptide repeats, so the tripeptides you get from collagen are a distinct mixture rather than just random 3-mers, I didn't think of that. That these tripeptides actually do something is surprising if true, but why not.

I guess what I was thinking was that when you eat collagen, it doesn't become your collagen. Which seems to be true: your collagen is made at the ribosome from single amino acids, not assembled from the kind of dipeptides and tripeptides discussed in the paper. So it's not like you get collagen by eating collagen, the way you get vitamin B12 by eating vitamin B12. But if there's some totally separate biological effect... well, I can't rule it out.

Right, it depends on the vegan diet. Grains and legume protein are complementary, one deficient in branched chain amino acids, the other deficient in sulfur-containing amino acids, if I recall correctly. I think it's an easy failure mode of a vegan diet to be all legume protein, and the gluten-free trend has made this even worse, but that's a rant for the other day. The point here is that when it comes to dietary protein, all that matters is the amino acid composition. Every protein, including collagen, is broken down in the stomach into component amino acids. And that's why collagen supplements are a scam, and while I am broadly sympathetic to the message of this post I think rationalists should do better.

I eat oysters but am otherwise vegan. The reason I didn't just go with standard veganism is something like the more general arguments in this post. I had my reasons for nitpicking the details of this post; rationalists should learn some science and thereby be less wrong than the rest of the cultic milieu. But I want to comment again to focus on the positive: this post was a great reminder that I'm not a real vegan and why, and I've been making more of an effort to get oysters since reading it.

Wait, you think people need to eat collagen? Collagen is just a kind of protein, it'll get broken down into raw amino acids in the stomach. There can be issues with a vegan diet not getting complete protein (that is, low on one or more essential amino acids) but there's nothing special about collagen specifically.

I'm surprised at how hard it is for me to think of counterexamples.

I thought surely whale populations due to the slow generation time, but it looks like humpback whale populations have already recovered from whaling, and blue whales will get there before long.

Thinking again—in my baseball example, gravity is pulling the ball into the domain of applicability of the constant acceleration model.

Maybe what's special about the exponential growth model is it implies escape from its own domain of applicability, in time that grows slowly (logarithmically) with the threshold.

I remember this by analogy to Curry's paradox.

Where the sentence from Curry's paradox says "If this statement is true, then $p$", $\Psi$ says "if this statement is provable, then $p$", that is, $\square \Psi \to p$.

In Curry's paradox, if the sentence is true, that would indeed imply that $p$ is true. And with $\Psi$, the situation is analogous, but with truth replaced by provability: if $\Psi$ is provable, then $p$ is provable. That is, $\square \Psi \to \square p$.

But, unlike in Curry's paradox, this is not what $\Psi$ itself says! Replacing truth with provability has attenuated the sentence, destroyed its ability to cause paradox.

If only $\square p\to p$, then we would have our paradox back... and that's Löb's theorem.

This is all about $\square \Psi \to \square p$, just about one direction of the biimplication, whereas the post proves not just that but the other direction. It seems that only this forward direction is used in the proof at the end of the post though.

You say "if we are to accurately model the world"...

If I am modelling the path of a baseball, and I write "F = mg", would you "correct" me that it's actually inverse square, that the Earth's gravitation cannot stay at this strength to arbitrary heights? If you did, I would remind you that we are talking about a baseball game, and not shooting it into orbit—or conclude that you had an agenda other than determining where the ball lands.

What if I'm sampling from a population, and you catch me multiplying probabilities together, as if my draws are independent, as if the population is infinite? Yes there is an end to the population, but as long as it's far away, the dependence induced by sampling without replacement is negligible.

Well, that's the question, whether to include an effect in the model or whether it's negligible. An effect like finite population size, diminishing gravity, or the "crowding" effects that turn an exponential growth model logistic.

And the question cannot be escaped just by noting the effect is important eventually.

Eliezer in 2008, in When (Not) To Use Probabilities, wrote:

To be specific, I would advise, in most cases, against using non-numerical procedures to create what appear to be numerical probabilities. Numbers should come from numbers.