Can you really rely on an LLM to write valid proofs though? What if one of the assumptions is false? I can very well think of a lot of ways that this can happen in Rocq, for example.
That's not very promising. Most versions of Zen are made-up export products designed to flatter Westerners. Kind of like the samurai movie honor bushido stuff.
(Japanese people think Buddhism is a thing you do at funerals. If you get into it more seriously, I vaguely understand it's mostly a religion that tells you not to have sex.)
In this case the more important question is whether it actually works.
> Most versions of Zen are made-up export products designed to flatter Westerners. Kind of like the samurai movie honor bushido stuff.
I don't think so. If you go to a zenkai or a sesshin held by a western zendo, and then go to one at a Japanese temple, you won't notice too many differences, apart from the language. Many American zen teachers trained in Japan at some point, or their teachers did, and they brought these practices back more or less verbatim. In fact, in many American zendos, students chant the same sutras, _in Japanese_, as in Japanese zendos. Plus, there are regulatory bodies, like the Soto Zen school, that certify affiliated western zendos as authoritative. It's not made-up, it's hardly an "export product," and it certainly isn't designed to flatter anyone.
That seems like a rambling, self-published book by a Vajrayana practitioner with an axe to grind against Zen, for some bizarre reason. But there are plenty of real books about the rise of American Zen, or Buddhism in the west, that are well-researched. _Zen in America_ by Helen Tworkov is one.
> Japanese people think Buddhism is a thing you do at funerals.
Not at all. Buddhism, and Zen especially, permeate Japanese culture very deeply. Japanese aesthetics, architecture, landscape design, visual art, calligraphy, the tea ceremony, and the martial arts, have all been strongly influenced by Zen. And it's all over pop culture, too—just think of how pervasive Daruma dolls are—that's Bodhidharma, the founder of Zen. Sure, Buddhism is at funerals, but it's everywhere, else, too.
> If you get into it more seriously, I vaguely understand it's mostly a religion that tells you not to have sex.
Maybe you're thinking of Christianity? Unless you're a monk, attitudes towards sex are fairly liberal in Buddhism. There are bodhisattva precepts that caution against misusing sex, but nowhere does anyone tell you not to have it. In fact, it's largely unconcerned with it, let alone "mostly a religion that tells you not to have" it. Western religions are very concerned with telling you what to do and not do, but Buddhism is concerned with liberation.
> > Japanese people think Buddhism is a thing you do at funerals.
> Buddhism, and Zen especially, permeate Japanese culture very deeply. Japanese aesthetics, architecture, landscape design, visual art, calligraphy, the tea ceremony, and the martial arts, have all been strongly influenced by Zen. And it's all over pop culture, too—just think of how pervasive Daruma dolls are—that's Bodhidharma, the founder of Zen. Sure, Buddhism is at funerals, but it's everywhere, else, too.
Your statement may be true but so is the grandparent's. (Although I agree that there isn't much about not having sex; mainly you hear about monks don't eat meat, or at least not while people are looking)
Kind of insane that you achieved this. Does your processor support all python bytecode at this point? How do you implement ref counting and garbage collection?
I agree. This nuance is overblown and the knowledge to notice and deal with cues from the body aren't brought up whenever people mention this, which I think is really unhelpful.
It's very easy to observe the changes you mention: A lack of energy in activities in the short term, which you can control with diet adjustments.
In the long term (over the course of a few months), you should be tracking your weight chart and reducing your intake.
The body can adjust to caloric deficits, but not so much that consistent effort over weeks will be blocked.
I think it's necessary to mention how to deal with these changes, whenever they're mentioned.
I've been building something similar for calorie tracking as well. A lot of the apps I've tried don't let me add meals quickly enough (repeat meals from the past, or new ones) or let me enter calorie formulae, and there's a bunch of unnecessary features like goal-setting.
