from Hacker News

GSoC'24: Differentiable Logic for Interactive Systems and Generative Music

by jarmitage on 9/24/24, 5:02 PM with 8 comments

• by benob on 9/24/24, 6:08 PM

  Difflogic should lead to very efficient hardware implementations of inference for a wide range of problems. But is it going to allow to generate the logical chains that elude current LLMs?

  --- edit ---

  After reading the paper more thoroughly, I find the way they implement differentiable logic clever. They use continuous relaxations of 16 logic operators, run them in parallel and apply a softmax to select the most useful operator. At inference time, everything is binarized.

• by mkaic on 9/24/24, 11:40 PM

  This is fascinating—I've recently been experimenting with something spookily similar after coming across the same paper as OP, only I'm trying to make random DAGs of logic gates reconstruct images rather than audio signals. Great minds like a think, I guess :P

• by pierrec on 9/24/24, 11:18 PM

  Cool concept and it seems weirdly effective. It would certainly help us lazy people to have the web version hosted somewhere, I'm assuming it could be a static site, since the meat of it is in WASM, right?

  Would this be amenable to "morphing between presets", or even manually combining a selection from one network into another network? Lots of things to try out here!

• by Archit3ch on 9/24/24, 9:55 PM

  Most interesting! :D

  Logic gates implemented with non-ideal transistors have non-zero rise times. Therefore, they are smooth and differentiable.