(arxiv.org)

157 points galeos | 1 comments | 15 Nov 24 14:28 UTC | HN request time: 0.202s | source

Show context

js8 ◴[20 Nov 24 12:19 UTC] No.42193249[source]▶

It's technically not 1-bit, but 2-bit.

Anyway, I wonder if there is some HW support in modern CPUs/GPUs for linear algebra (like matrix multiplication) over Z_2^n ? I think it would be useful for SAT solving.

replies(4): >>42193552 #>>42193565 #>>42195167 #>>42197753 #

1. meindnoch ◴[20 Nov 24 20:23 UTC] No.42197753[source]▶

>>42193249 #

https://en.m.wikipedia.org/wiki/CLMUL_instruction_set

↑

1-Bit AI Infrastructure