• 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).