• manpacket@lemmyrs.org
      link
      fedilink
      English
      arrow-up
      4
      ·
      1 year ago

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