l'empathie mécanique is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
l'empathie mécanique @dpwiz

We should adjust branding to « statically *proving* languages » to focus on more interesting bits.

· Web · 0 · 1
l'empathie mécanique @dpwiz

On a related note, this highlights futility of gradual typing, while gradual proving kinda makes sense.

mastodon.social powered by Mastodon