欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Netcat 被用来对网络连接TCP或者UDP进行读写。
在某些系统上,修改过的netcat或变体以下面命令名出现:
nc, ncat, pnetcat, socat, sock, socket, sbd。