Viewing profile — Barraketh

A new proof assistant that will hopefully be more suitable for reinforcement learning than Lean - faster to typecheck and specialized apis for tree search

Well, I don't think civil forfeiture specifically would work, but like I mentioned above, yes, if the justice department wanted to criminally charge the Sacklers, they could possib…

Well, it's a bankruptcy, so anyone can file a claim. The states have, but so have the victims and their families directly (as a class).

IANAL, but I don't think this would help the victims (and incidentally, that could have still happened even with the settlement). If there were a criminal lawsuit of the Sacklers, …

Negative outcome. Some important points that the article here did not emphasize: 1) The Sackler family was not actually a party to this litigation. They came to the table (with mos…

Interesting post. A possible more general restatement would be "under consequentialism (or utilitarianism) everyone's happiness (including the crime perpetrators') is weighted equa…

You're right, it's just that the word "abuse" is doing a lot of work in that statement. I've still never seen any example of any person being actually damaged by the "tracking", so…

So one issue that this article glosses over is how contextual advertising interacts with attribution. Essentially, as an advertiser, in order to do effective contextual advertiseme…

So, since you seem particularly upset about it, I'd love to know - what is the problem of "data collection"? I've still never seen an example of damage to a user by AdTech data col…

Well, this has been a fun discussion. A salient point that I haven't mentioned but that actually plays a big role is attribution. Many advertisers run ad campaigns not to get a cli…

> People ask that right now, and adtech is one of the things that have killed it. I don't think this is actually true. When I think about the old internet vs new internet, a lot of…

Well kinda. The business wanting to market themselves certainly isn't your problem, but the "how does the website monetize itself" is exactly your problem, or rather, it's part of …

So, out my now 15+ year career, only about 4 were in AdTech, and I've been out of that game for more than 7 years. But fair enough - happy to play 'ad-guy' for the purposes of this…

I think this is a genuinely interesting point, and I wish that we as a society had a more nuanced discussion about what that right is. AdTech is largely anonymous in the same way t…

There seems to be a really strong disdain on HN for AdTech in general, which I think is misguided, and comes fundamentally from a "web consumer" mentality. I think that it would be…

Ammonia has been mentioned a few times in this thread, but I will expand a bit, because I believe it is the most promising hydrogen-based approach. Essentially, the idea is to use …

I totally agree. I'm just saying that from the point of view of legal liability the doctor is considered an expert. Purdue would argue that the doctor is getting information from a…

Incidentally, similar arguments are going to play out around trying to sue oil & gas companies for climate change (and will probably use the same public nuisance statutes). The o&g…

This is being framed is as miscarriage of justice, and from a moral perspective it definitely is. The problem is that the legal grounds on which Purdue (and the Sacklers) can be su…

I think you are right - this was a brain dump of some things I've been thinking about, specifically on how the fight against cookie tracking is making centralization worse and comp…

Well, it's hard to prove the absence of a negative - I think that it's on the people claiming harm to provide some examples. However, I'm not even sure what a cookie data leak woul…

The premise is slightly different. I'm mostly differentiating between cookie tracking and social networks (and some other large online platforms). The large online platforms don't …

I'm trying to differentiate between data that is anonymized (cookies), and data that is not. I'm unaware of any data leak of anonymized data that resulted in any harm, but if I'm w…

Honestly, I'm kind of sick of how bad a rap advertising gets. Now sure, companies knowing a lot about your personal life is creepy on an intuitive level, but the fact of the matter…

Could you elaborate on the "compositional datatypes"? What is the use case?