(arxiv.org)

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

>>42193249 #

not CPU/GPU but on FPGA finite field arithmetic is a thing; plenty of stuff like this around https://ieeexplore.ieee.org/document/4392002

↑

1-Bit AI Infrastructure