欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
PeerVPN:一款开源(GPLv3) P2P VPN。
和传统的VPN 采用C/S架构、不能穿越防火墙不同,PeerVPN采用去中心化、对等架构,所有节点直接通信,无论对带宽和稳定性均胜一筹。