This wasn't a hypothetical. I'm still not sure I made the right choice.
I decided to go with GHC via nix-shell, which worked fine, but it's a different path than I went with installing Rust (global rustup), and I'm not sure how to evaluate the pros/cons of each. I miss having ghci invocable anywhere, but doubt that's a good reason to change.
Also, ghcup failing on my Rasberry Pi was a fun troubleshooting experience! I don't remember how I got around that one either, but they eventually fixed the issue.
Yeah, we are still needing a way to modify webpages. Hiding a div on a web page is about ~1 line javascript, and there is no way to inspect and share it.
Extensions are a security risk, userscripts are a security risk as well. Too bad all the current browsers are user antagonistic :|
> There must be other schemes out there? What are the respected ones?
I don't think there are any other divisions there, not really. Disputing such soft statements on algebra and geometry would be like claiming that the horror genre is all about making people laugh and comedy movies are produced to induce fear.
I belive this is what was attemped in France (they taught set teory in an abstract way in elementary school), but with poor results and abandoned this approach after some time.
I mean, like you want to name your dog Bell character, right-to-left character, Bell character, 0-width space. Can you do that legally? Can you do that culturally? Would that become the dog's name in most of the senses?
Random characters in Apple product names is similar territory, although less extreme.
Raccoon and raccoon dog (tanuki) are very different species. Their family tree diverged at Arctoidea/Canidae with Arctoidea including raccoons, bears, seals, and Canidae including dogs, foxes, tanukis. So, e.g. raccoons are closer to seals than to tanukis.
reply