• @selfMA
    link
    English
    41 year ago

    it’s kind of amazing how many of the “I’ll never use CS theory in my career ever” folks end up trying to implement a fast SAT solver without realizing