We call this "code archeology" at my company. We're more diligent about ticket descriptions these days, but we weren't always. Obviously the best is to be able to to talk to people, followed by documentation, either…
You can absolutely disincentivize unethical behavior through legislation though, whether they believe it at the core of their being or not. See slavery, murder, rape, robbery, etc. There will always be loopholes people…
A little tangential since this is more about gating white supremacist content than violence or sex, but I was on 4chan when it was being infiltrated by genuine white supremacist organizations and Russians that talked…
> It cant be abused for euphoria Depends on the drug, vyvanse can't really be, but focalin can.
I've also read about various image hosting tools, such as apps for creating wallpapers, being overrun by pornography because communities where pornography is banned found it bypassed various automatic censors. If…
I feel like that might be an organizational problem. At my company the designers will present their figma designs to engineering and we'll have a meeting to go through them and bring up concerns with exactly those sorts…
It's a low effort SEO technique. Google uses time spent in site as surrogate metric for quality, so Goodhart's law applies.
I think Amazon Robotics does some of this stuff.
I would recommend "Software Foundations" also by Pierce. It covers a lot of the same material but in Coq. I found it much more approachable not having as much of formal background. Having proofs machine checked with…
Very neat. It reminds me of the writer monad.
We call this "code archeology" at my company. We're more diligent about ticket descriptions these days, but we weren't always. Obviously the best is to be able to to talk to people, followed by documentation, either…
You can absolutely disincentivize unethical behavior through legislation though, whether they believe it at the core of their being or not. See slavery, murder, rape, robbery, etc. There will always be loopholes people…
A little tangential since this is more about gating white supremacist content than violence or sex, but I was on 4chan when it was being infiltrated by genuine white supremacist organizations and Russians that talked…
> It cant be abused for euphoria Depends on the drug, vyvanse can't really be, but focalin can.
I've also read about various image hosting tools, such as apps for creating wallpapers, being overrun by pornography because communities where pornography is banned found it bypassed various automatic censors. If…
I feel like that might be an organizational problem. At my company the designers will present their figma designs to engineering and we'll have a meeting to go through them and bring up concerns with exactly those sorts…
It's a low effort SEO technique. Google uses time spent in site as surrogate metric for quality, so Goodhart's law applies.
I think Amazon Robotics does some of this stuff.
I would recommend "Software Foundations" also by Pierce. It covers a lot of the same material but in Coq. I found it much more approachable not having as much of formal background. Having proofs machine checked with…
Very neat. It reminds me of the writer monad.