Mixed precision dot product example

[bkmgit]

No description provided.

[jan-wassenberg]

Thanks for adding - a few minor suggestions :)

[bkmgit]

There is a function SafeCopyN in contrib, should this be used for copying values from a non-aligned array to an aligned array?

[jan-wassenberg]

Thanks for updating :) For copying to aligned, I'd recommend just hwy::CopyBytes, no need to write a new function. But it's likely unnecessary: as long as pointers are aligned, LoadU will be as efficient as Load. Load just ensures the binary will crash if there is misalignment. So no need for a separate function, we can just remove the extra aligned path.

[bkmgit]

Removed the aligned path.

[jan-wassenberg]

👍

[bkmgit]

Removed some unnecessary includes and updated the description in the README

[jan-wassenberg]

Typo on promtion but let's land as-is before the meeting :)