jorty (deprecated aspect) 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.
tired: rust discourse about whether memory-safety is useful or not and wheel reinventing
wired: rust discourse about whether it uses linear or affine types
it's affine btw
@a_breakin_glass
I'm still learning the finer details of type systems and tbh I never heard about linear/affine types
@a_breakin_glass
I had been investigating certain type systems recently, but I was interested mostly in dependent type systems such as found in Coq or ATS
