deleted by creator
deleted by creator
The recorder. It’s easy to get started, there is a lot of good information online (look up Sarah Jeffery), and professional plastic instruments are very cheap. It also requires no special care and doesn’t need maintenance, since it has no moving parts.
The downside is that in order to play larger recorders your hands need to stretch a bit, so I’m no sure if that is a problem if you have joint issues.
The other option is a hand ocarina, but it is very hard to even make a sound, even harder to make it clear and consistent. Also you need to play entirety by ear. It’s a fun challenge, though.
Just buy a new SSD to install Linux on. If you decide to switch back just plug the old one in.
I quite enjoy Nix flakes for this. Only certain languages have good support though (C, Rust, Haskell, OCaml, …).
Remove the wall plug, straighten the paper clip and insert it into the cable in between the wires, reinstall the wall plug.
All is not a “for you” feed, it contains posts from the whole fediverse. You are supposed to add the filter yourself. Find the communities you are interested in, subscribe and then browse that.
As you already figured out the types are sets with a certain number of elements.
Two types are isomorphic if you can write a function that converts all elements of the first one into the elements of the second one and a function which does the reverse. You can then use this as the equality.
The types with the same number of elements are isomorphic, i.e True | False = Left | Right. For example, you can write a function that converts True to Left, False to Right, and a function that does the reverse.
Therefore you essentially only need types 0, 1, 2, 3, …, where type 0 has 0 elements, type 1 has 1 element, etc. and all others are isomorphic to one of these.
Let’s use (*) for the product and (+) for the sum, and letters for generic types. Then you can essentially manipulate types as natural numbers (the same laws hold, associativity, commutativity, identity elements, distributivity).
For example:
2 = 1 + 1 can be interpreted as Bool = True | False
2 * 1 = 2 can be interpreted as (Bool, Unit) = Bool
2 * x = x + x can be interpreted as (Bool, x) = This of x | That of x
o(x) = x + 1 can be interpreted as Option x = Some of x | None
l(x) = o(x * l(x)) = x * l(x) + 1 can be interpreted as List x = Option (x, List x)
l(x) = x * l(x) + 1 = x * (x * l(x) + 1) + 1 = x * x * l(x) + x + 1 = x * x * (l(x) + 1) + x + 1 = x * x * l(x) + x * x + x + 1 so a list is either empty, has 1 element or 2 elements, … (if you keep substituting)
For the expression problem, read this paper: doi:10.1007/BFb0019443
The sum and product types follow pretty much the same algebraic laws as natural numbers if you take isomorphism as equality.
Also class inheritance allows adding behaviour to existing classes, so it’s essentially a solution to the expression problem.
Well, most people installing Arch for the first time have no idea what a typical Linux install does under the hood. That makes it a worthwhile learning experience. The same commands you use during the setup you can later use to fix or change things. It basically forces you to become a somewhat proficient Linux user.
If you create accounts on various sites with an email address on your new domain keep a list of those. If decide to let the domain expire you need to close the accounts beforehand, otherwise someone else can get access if they purchase the domain.
Also you will likely be playing for the domain forever, so just register/renew it for 10 years, maybe you’ll also get a discount.