Galois Slicing as Automatic Differentiation (via suhacker256) — discussion

#ai #plt