marijnvanwezel

// TypeScript can be used just like a proof assistant (for intuitionistic propositional logic)!
//
// Inspired by: https://www.youtube.com/watch?v=i-hRpYiNwBw

// We can encode False as the following recursive type, which can never
// be constructed (e.g. you would need { false: { false: { false: ... }}}).
type False = { false: False };

// True can be encoded as the inhabited singleton type "I", which
// has as its only inhabitant the string "I".

marijnvanwezel

version: "2.1"
services:
    vpn:
        image: "ghcr.io/wfg/openvpn-client:latest"
        environment:
            - "KILL_SWITCH=on"
        cap_add:
            - "NET_ADMIN"
        devices:
            - "/dev/net/tun"

marijnvanwezel

Keybase proof

I hereby claim:

• I am marijnvanwezel on github.
• I am 01101101 (https://keybase.io/01101101) on keybase.
• I have a public key ASAXgeCpmZYZHVQjBgjS31NYeFQBd_4pKR3rG0QBi_DoYQo

To claim this, I am signing this object: