2020-07-01 13:12:24 (GMT)
I'm looking forward to this talk!
2020-07-01 13:26:34 (GMT)
It's not everyday that you hear about verification and SIMD in the same talk…
2020-07-01 13:31:37 (GMT)
What is SIMD?
2020-07-01 13:31:48 (GMT)
2020-07-01 13:31:53 (GMT)
same instruction multiple data
2020-07-01 13:32:2 (GMT)
It's what makes memcpy fast in practice ;)
2020-07-01 14:8:49 (GMT)
Was there any SIMD in the talk?
2020-07-01 14:9:21 (GMT)
Not so far, but he hinted at them early on, is all. I guess you can still talk about them when writing the actual assembly, which is nice.
2020-07-01 14:35:33 (GMT)
I would guess that SIMD is annoying to deal with because of all the packing/unpacking involved.