Barraketh

8 ms·

1.
by Barraketh 7mo ago
A new proof assistant that will hopefully be more suitable for reinforcement learning than Lean - faster to typecheck and specialized apis for tree search
2.
by Barraketh 2y ago
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 possibly win and get a judgement against some of the money. B
3.
by Barraketh 2y ago
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).
4.
by Barraketh 2y ago
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, and if that lawsuit was successful, the seized money wo
5.
by Barraketh 2y ago
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 most of the settlement money) specifically to get these so call
6.
by Barraketh 3y ago
Interesting post. A possible more general restatement would be "under consequentialism (or utilitarianism) everyone's happiness (including the crime perpetrators') is weighted equally. Should that be the case?" I suspect
7.
by Barraketh 3y ago
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 calling it "abuse&q
8.
by Barraketh 3y ago
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 advertisement, you need to have some idea of how ads perform in a parti
9.
by Barraketh 3y ago
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 collection. What I have seen are 1) Data le
10.
by Barraketh 3y ago
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 clickthrough to their site, but to just keep their product
11.
by Barraketh 3y ago
> 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 it is about people running their own blogs / w
12.
by Barraketh 3y ago
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 the interaction between the owner of the
13.
by Barraketh 3y ago
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 discussion :) I guess my main contention is
14.
by Barraketh 3y ago
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 that crypto / web3 is anonymous - it shuttles around coo
15.
by Barraketh 3y ago
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 valuable to reframe the question from the produce
16.
by Barraketh 4y ago
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 ammonia directly as fuel. There is an ARPA-E funded project
17.
by Barraketh 5y ago
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 variety of sources (including the FDA), and so when th
18.
by Barraketh 5y ago
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 companies lobby against emissions standards /
19.
by Barraketh 5y ago
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 sued are actually kind of weak. Broadly, the things Purdue is
20.
by Barraketh 5y ago
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 companies like Facebook more powerful. This article generic
21.
by Barraketh 5y ago
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 would look like. The large advertising brokers ar
22.
by Barraketh 5y ago
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 need to track you - you give them your data willin
23.
by Barraketh 5y ago
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 wrong I'd love to hear about it.
24.
by Barraketh 5y ago
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 is that cookie tracking data has NEVER been associated
25.
by Barraketh 6y ago
Could you elaborate on the "compositional datatypes"? What is the use case?
26.
by Barraketh 6y ago
So since March we've seen multiple countries (Korea, China, New Zealand) largely contain the virus, and start re-opening the economy. The way you do it is to get R<1 (where R is the reproduction number - the average number of people
27.
by Barraketh 6y ago
Relatedly, I'd like to plug Wikibabel ( http://www.wikibabel.com/ ). It's translating wikipedia from English to Swahili, with hopefully more languages to follow.
28.
by Barraketh 7y ago
I completely agree that we need better generic libraries. I was mostly commenting that I really believe that there are huge wins that can be achieved in the "generic distributed execution engine" space, and that people shouldn&#x2
29.
by Barraketh 7y ago
I expected that there is overhead to distributing the computation, but I was surprised by the magnitude of the speedups available.
30.
by Barraketh 7y ago
I know that Spark has had a lot of work put into it, but my personal experience with it has been pretty negative. I've spent a lot of time at my job trying to tune it to our workflows (extremely deep queries), with only moderate succes

More ›