jacobmartin

The Glass Bead Game (aka Magister Ludi) by Herman Hesse is more or less about a secular monastery. I highly recommend it.

Troubadors (buskers) existed before the advent of paid church musicians, as far as I can tell.

Interestingly, at least for classical music nowadays in my limited experience, the most reliable way to get a regular gig for most ordinary musicians (who aren't going to be opera stars or something) is to work for a church still. But perhaps my instrument choices (voice and organ) have skewed this disproportionately.

It's extremely easy and quick to go >>1k blocks away from spawn looking for good territory if you want to, and I've done so now in three separate worlds. And I didn't have a bunch of resources when I did that either. Iron is easier to find than ever now that it spawns on the surface in mountain biomes. I got over a stack just taking the surface iron on a mountain. Sure, there were also copper veins, but there was plenty of iron. This was the first thing I did after punching down a tree and getting a stone pickaxe btw.

I do agree with you on inventory clutter, but that has been a problem for as long as I have played the game (since about 2010? I don't remember which version). I am disappointed that they have delayed the introduction of the bundle.

High school students are frequently taught a highly routinized form of proof in Geometry class in the US: https://www.cuemath.com/geometry/geometrical-proofs/ That is what it seems the parent was referring to and what I was referring to.

Did I read you right that you do 90 minutes of rowing a day? How do you fit it all in?

It is interesting to me that you didn't encounter problems with the rote geometric method before abstract algebra. I went to a so-so public school in the American South, so I don't think I exactly had a stellar introduction to math or even school/academics in general, but beginning in trigonometry, we had to structure our proofs with more words and 'connective tissue,' and less explicit axiomatization/symbolization. Calculus continued this trend, and by the time I took linear algebra (at a local university while I was still in high school), the proofs were exactly like the proofs I would write throughout college. But there were several 'stepping stones' away from the original geometric proof.

Though admittedly I only got an SB in Math, I think geometric proofs were an okay introduction to the idea of the proof and of logic. Of course they are not representative of professional math. There are many things we learn as an introduction which don't turn out to bear that much resemblance to the more advanced form. I don't write 5-paragraph essays with clear thesis sentences anymore either. But it helped me to learn to write that way as a way of clarifying that I was stating my arguments effectively.

Sometimes, for my homework, I tried to state very explicitly in my proofs which axiomata I was using, both as an intellectual exercise and to see, e.g., where I might have gotten my logic backwards or where I used the axiom of choice (which constantly surprised me). I wouldn't turn these overexplicit proofs, but it helped to clarify that I was doing things correctly. If anything, when I was in college, the trend was away from 'informal' language. When I took, e.g., Discrete Math, for more complicated proofs, we were encouraged to write out a DAG for the dependencies of the proofs/lemmata so that it was exceedingly clear what depended on what and that we had in fact proven what we set out to prove.