The first time I used caddy (came to it from nginx), I was blown away by how simple it was to get up and running (letsencrypt etc...). Thank you for creating something wonderful, and congratulations!
At work, I have to use a Windows laptop running stock Ubuntu 16.04 inside Virtualbox. This VM used to behave in weird ways - network got disconnected periodically (only a restart could bring it back), the whole thing would freeze all of a sudden etc. Finally, I got fed up and switched to Xfce. Absolutely no problems now. Thanks to the Xfce developers for a truly amazing piece of software!
The counterparts of these books in the mathematical domain may be self-contained with respect to the subject matter, but you fail to consider the fact that most of them require a high degree of mathematical sophistication and are really targeted at people who have already acquired the required level of intuition. The "self-contained" nature of these books is deceptive - they might start with some innocent looking stuff about counting, integers etc and very soon drill deep into abstract stuff through complex chains of reasoning which a beginner will find extremely dry, bewildering and unfathomable. When you are a total beginner and trying to learn a subject through self-study, you are more likely to appreciate a book in which the author tries to recreate the experience of sitting in a classroom and listening to a professor holding your hand and showing you stuff from various angles.
I am happily running Rust generated code on my ARM microcontrollers. Rust uses LLVM for code generation and can support any architecture which LLVM supports.
It is not just the borrow checker. The ownership system / move semantics and powerful static type system with traits and generics helps to create some interesting abstractions (which have very little run time overhead) - pleas check: http://blog.japaric.io/brave-new-io/ as well as other articles on that blog.
