This project is about reverse engineering the firmware blobs. It states that they do not want to create a distribution like postmarketOS or other projects do.
The listed distributions have already been created. The OP didn't suggest to create a distribution but to collaborate with existing ones not relying on the Google's OS.
If you wanted to create an ebook from scratch, how would you do this? Would you write plain html. Would you write markdown, and convert it? What tools would you use?
Imho as everywhere in this field there are tradeoffs to choose for improving this problem: Complexity (rust, formal proofs), runtime overhead (GC), etc.
Hare tries to be simple, so that it's easier to reason about the code and hence maybe find/avoid such bugs more easily.
If there’s a women’s-only language in the U.K. I’ve never heard of it, but that doesn’t mean there isn’t one. I do however think the U.K. has different linguistic patterns for aristocracy vs. everyone else, both with the echo of Anglo-Saxon vs. Norman (cow/beef, sheep/mutton etc.); and also with the specific posh accent, formal modes of address that most people don’t bother with, and random use of Latin, Greek, and French.
Deborah Tannen's "You Just Don't Understand" discusses this idea. I found it pretty interesting.
Roughly, its thesis is that men typically interact with others in a competitive way, as if interactions are about status in a hierarchy; whereas typically women would prefer to interact in a cooperative way, where interactions are about belonging/intimacy. -- The different perspectives lend themselves to framing the same sets of actions in different ways.
-- The preface makes an interesting point: to the extent that differences in cultural attitudes leads to misunderstanding/conflict, it's worth trying to understand what those cultural differences are.
Her: We’ve been dating for six months and I’m all for taking it slow, but you haven’t even brought up the idea of moving in together? Like just to have the conversation? Like what am I to you?
