Readit NewsPoe's Law is hitting me in the face right now. This is satire, right? I can't quite tell (seriously! please tell me)
If 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.
I'm receiving email spam for my business ("Nice product! What does your Go-To-Market strategy look like? ..."), and they often include 'if you don't want more emails from me, just reply "remove me."'. I assume this is either to create a sunk cost, to validate that the email address works, or to avoid me hitting the Report spam button in GMail.
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.
It's actually because replies boost their email domain's reputation. (Mark as spam is a good response, given that it's exactly what they don't want)
lincolnq commented on Is it time to version observability? charity.wtf/2024/08/07/is... · Posted by u/RyeCombinator
The ratio of 'metadata' to data is often hundreds or thousands to one, which translates to cost, especially if you're a using a licensed service. I've been at companies where the analytics and observability costs are 20x the actual cost of the application for cloud hosting. Datadog seems to have switched to revenue extraction in a way that would make oracle proud.
Is that 20x cost... actually bad though? (I mean, I know Datadog is bad. I used to use it and I hated its cost structure.)
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’m having a hard time not being snarky and sarcastic about this. Worldcoin is a solution to no particular problem, designed to replace government functions with their own profit-driven replacements. I’m not the slightest surprised they’re ignoring those same governments telling them not to do something.
> "solution to no particular problem"
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.
lincolnq commented on A new attack can unmask anonymous users on any major browser (2022) wired.com/story/web-deano... · Posted by u/tysone
wouldn't that be stopped by CORS blocking which is pretty much the norm for large websites?
Iframes bypass CORS, so the trick is to use an Iframe and figure out (using some side channel since you can’t peek into the frame) whether the iframe loaded the content successfully or whether it loaded an error page.
Surely eating healthier and exercising costs less than $12k a year right?
…no? Exercising 2h/week (close to the minimum) costs 100 hours per year, at $100/hr that’s close to 10k already and that doesn’t include the attention cost, or anything to do with diet
Can someone explain more about what happened here?
For those of us reading this who would like to genuinely and effectively offset emissions, is anyone able to suggest some really robust schemes where you can be confident the offsets are real? I'm especially interested in schemes where I can be confident buying additional credits has a marginal impact.
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.
I think Wren is doing a pretty nice job (www.wren.co).
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