For more brain flipping try looking into hardware description languages (Verilog) or proof assistants (Coq).
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
For more brain flipping try looking into hardware description languages (Verilog) or proof assistants (Coq).