Even with copy-on-write, fork() still has to pay the setup cost for COW. If the parent process has a lot of busy threads (e.g. Java), you can end up doing a lot of unnecessary COW before exec() fires.
If I understand the article correctly, that second proof was published as a rider on a first proof that was entirely Dedekind's. So, there was definitely a credit owed at time of publishing.
I came away with the impression that the biggest villain in this story was Kronecker. Without the need to tiptoe around his ego and gatekeeping, these results may have been published as a paper with joint authorship.
From a quick skim of hardware support on Wikipedia, it looks like encoding support for H.265 showed up in NVIDIA, AMD, et. al around 2015 whereas AV1 support didn't arrive until 2022.
So, the apparent preference could simply be 5+ years more time to do hardware-assisted transcoding.
Agreed. I think the buried lede here is actually the clawback clause. With that in the contract, this isn't a $1.5 million dollar grant, it's a $1.5 million dollar liability.
If you take the money and spend it on research and development and then get hit by a clawback, whether due to "DEI" or some other reason, that is a financially ruinous event to somehow come up with $1.5 million dollars that was already spent.
A shame and a waste as it sounds like the project would have been beneficial outside of the Python ecosystem, had it been funded.
Also, "git reflog" lists out all commit SHAs in chronological order. Trying to figure out how to rebase, but got lost and everything seems broken? You're just one "git reset" away from the better place you were in and "reflog" has the list.
> It doesn’t make sense to tax every other passenger for it.
I'd rather pay a monetary tax on my ticket to keep families organized together instead of the discomfort tax of sharing a row with parent+child that has been unexpectedly split up from their partner and is now trying to manage the child's behavior for the duration of the flight without the benefit of teamwork.