Readit NewsIf it is satire, it's quite subtle and well done. It references the old reasons why "Agile" was invented (current software development processes being bureaucratic and meeting-intensive, the new one will be lightweight and engineer-led).
If it is not satire, the juxtaposition is striking.
The fact that I'm not replying even after your second attempt should be a strong indicator that I want you to remove me. If you send me three mails, I'll mark your email as spam and block you.
But maybe it's worth it. or at least, the good ones would be worth it. I can imagine great metadata (and platforms to query and explore it) saves more engineering time than it costs in server time. So to me this ratio isn't that material, even though it looks a little weird.
I deeply disagree. While Worldcoin's execution seems questionable at best, the idea seems like a solution to a problem that we (society) definitely have, namely the real-people problem. Worldcoin or something like it, if properly implemented, makes it possible to distinguish between real people and bots. This is a real problem that we have today, is getting rapidly worse, and till now this problem has only been solved in shitty ways by governments.
I've used an investment in the Solar Schools coop [1] for this in the past, which I'm confident is 'real', but there are probably much cheaper ways. One of the reason I liked the coop is that it (presumably) also helps kids to learn about renewable energy, and helps schools with their energy bills.
Example: https://github.com/ImperialCollegeLondon/FLT/blob/main/FLT/M...
Also check out the blueprint, which describes the overall structure of the code:
https://imperialcollegelondon.github.io/FLT/blueprint/
I'm very much an outside observer, but it is super interesting to see what Lean code looks like and how people contribute to it. Great thing is that there's no need for unittests (or, in some sense, the final proof statement is the unittest) :P