1. 12

PLT tag because of the use of Sentient Lang, a declarative language that uses SAT solvers.

  1.  

  2. 1

    Here’s a link to the twitter thread ‘unrolled’ into a single page: https://threadreaderapp.com/thread/1177636866671157248.html