I don't think it is true either, considering the broad claims made.
The thing to be changed is research incentives, not getting the bar even higher. Take the Francesca Gino case, for example. I don't think anyone can argue that Harvard's bar is "not high enough".
I didn't read it as simply making the bar higher for entering universities. For example here in Germany there are Universitäten (Universities) and Fachhochsculen (sort of like vocational academies, but they still award bachlor and master degrees).
Most people who studied computer science with me at university weren't interested in computer science at all but just wanted a good vocational training for entering the lucrative carrer of "software developer". I think it would benefit both them and employers if they would have instead attended a good vocational school for software development.
I didn't mean that at all. I am a regular developer who got into this field at a lucky time and am as worried about the future employment prospects as many are.
My current issue with pass is my difficulty with migrating my private GPG keys to new devices. Makes the experience so much more worse IMO. (I've been using pass for 6 years at this point)
KeePass is for sure better suited for this usecase. There is far less to keep track of, and the unlock mechanism and data are tied together. I've also had inexplicable issues migrating GPG keys cross-platform to where I just do not bother anymore. Ssh/age/minisign just work for my use cases.
I'd be glad if someone could enlighten me on why the whole file needs to be encrypted.
What issues does storing an encrypted value (password, metadata, etc) associated with a particular key (let's say website name) have? (apart from leaking the fact that that file has a entry associated with that site)
The biggest weakness is the cost. Each client would have to purchase an expensive license. The source code is provided upon purchase though, but essentially destroys the ability to build a client from source due to the compiled binary distribution.
I really doubt it. I have not seen any evidence to suggest that there are irreconcilable issues with SQLCipher's page level encryption over a flat file. Codebook, Enpass, Signal, and a ton of other important clients use it just fine.
Link seems to be down...
But also, considering curl recently shut down its bug bounty program due to AI spam, this doesn't really inspire much confidence.
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)
reply