I really think Exapunks, Shenzhen I/O, SpaceChem and TIS-100 should be there, in fact, Zachtronics created his own puzzle genre, "zachs-like"
> The GNU GPL is not Mr. Nice Guy. It says no to some of the things that people sometimes want to do. There are users who say that this is a bad thing—that the GPL “excludes” some proprietary software developers who “need to be brought into the free software community.”
But we are not excluding them from our community; they are choosing not to enter. Their decision to make software proprietary is a decision to stay out of our community. Being in our community means joining in cooperation with us; we cannot “bring them into our community” if they don't want to join.
What we can do is offer them an inducement to join. The GNU GPL is designed to make an inducement from our existing software: “If you will make your software free, you can use this code.” Of course, it won't win 'em all, but it wins some of the time.
Proprietary software development does not contribute to our community, but its developers often want handouts from us. Free software users can offer free software developers strokes for the ego—recognition and gratitude—but it can be very tempting when a business tells you, “Just let us put your package in our proprietary program, and your program will be used by many thousands of people!” The temptation can be powerful, but in the long run we are all better off if we resist it.
* Turing Complete on Steam (if you're into video games): https://store.steampowered.com/app/1444480/Turing_Complete/ * The Elements of Computing Systems (if you'd rather follow along step by step in a book):https://www.amazon.com/Elements-Computing-Systems-second-Pri...
It focuses on performance, and looks quite beautiful.
The lsp requires you to run "dune build" first, bad already.
If you add a new file, the lsp wont pick it up until you dune build it again.
The compiler errors arent there too.
But i loved writing OCaml, its just thats a bit more painful to learn than due to the tooling, since i didn't use many functional langs before.