(arxiv.org)

157 points galeos | 1 comments | 15 Nov 24 14:28 UTC | HN request time: 0.735s | 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. scarmig ◴[20 Nov 24 13:01 UTC] No.42193565[source]▶

>>42193249 #

There's carry-less multiplication (https://en.m.wikipedia.org/wiki/CLMUL_instruction_set), introduced by Intel in 2010.

↑

1-Bit AI Infrastructure