tauroid is a user on octodon.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.
Rust culture: If we do terribly unsafe things in private but expose a safe interface, that's great, right?
Haskell culture: If we can't make the compiler understand and check that what we're doing is safe, we might as well go home.
http://okmij.org/ftp/Computation/types.html#1st-class-memory
@marijn oh wow, I am bookmarking this site