I need a new home computer. I like running Linux but I hate setting it up. Last time I got System76 and it was nice for a while, but eventually things broke. What are the best prepackaged Linux machines these days?
14
1
16
Conversation
I'm consider a Mac if and only if Coq and OCaml development on a Mac is easy.
8
5
I haven't had any issues with OCaml, I don't think. pretty sure opam is on Homebrew. haven't done anything with Coq so can't speak to that but wouldn't be surprised if it also has a Homebrew package.
1
2
You can also use Nix for package management too.
ah, I have zero experience with Nix. I've just been a Homebrew user for years so I keep using it 😅