Hacker News
- WireGuard – Simple and Modern VPN https://www.wireguard.com/ 4 comments
- WireGuard Trademark Usage Policy https://www.wireguard.com/trademark-policy/ 2 comments
- WireGuard for Windows Pre-Alpha Is Available https://www.wireguard.com/install/ 35 comments
- WireGuard: Next Generation Kernel Network Tunnel [pdf] https://www.wireguard.com/papers/wireguard.pdf 25 comments
- WireGuard: fast, modern, secure VPN tunnel https://www.wireguard.com/ 43 comments
- Formal verification of the WireGuard protocol https://www.wireguard.com/formal-verification/ 17 comments
- Gnome Wireguard Integration https://www.wireguard.com/ 2 comments ubuntu
- Wireguard Windows Alpha Builds https://www.wireguard.com/install/?downloadwindowsprealpha=1 19 comments selfhosted
- Wireguard non-dkms binary packages are now available in [community] https://www.wireguard.com/ 9 comments archlinux
- WireGuard VPN https://www.wireguard.com/ 10 comments sysadmin
- Cryptokey Routing https://www.wireguard.com/ 4 comments crypto
- Formal verification of the Wireguard protocol https://www.wireguard.com/formal-verification/ 26 comments linux
- Formal verification of the WireGuard protocol using Tamarin Prover https://www.wireguard.com/formal-verification/ 4 comments netsec
- WireGuard VPN just got formally verified with Tamarin-Prover (which is all Haskell) https://www.wireguard.com/formal-verification/ 27 comments haskell