yosh on Nostr: nprofile1q…386hp hahaha, I just landed an hour ago from Amsterdam. I haven’t ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjm703w9rqp7y7jy0ajsnjj92xv7ptkq0n8me28wjtmg4majyq4fsx386hp (nprofile…86hp) hahaha, I just landed an hour ago from Amsterdam. I haven’t opened Zulip in a week lol.
i guess I’ll have to read my DMs tomorrow. But like, in general I’m a big fan of: “a system is what it does”. To me it seems more important to make it *possible* to encode linear type invariants than to have a feature called “linear types” or whatever ^^
i guess I’ll have to read my DMs tomorrow. But like, in general I’m a big fan of: “a system is what it does”. To me it seems more important to make it *possible* to encode linear type invariants than to have a feature called “linear types” or whatever ^^