• manpacket@lemmyrs.org
      link
      fedilink
      English
      arrow-up
      4
      ·
      9 months ago

      For more brain flipping try looking into hardware description languages (Verilog) or proof assistants (Coq).