Or you can set up a relay in weechat and connect with glowing-bear (html5) or android-weechat. Works great. The glowing-bear community have good tutorials iirc.
This is about verifying the compiler, not proving any properties of the generated code. Totally orthogonal to Rust's aims, unless the Rust compiler has been formally verified (I don't believe it has).
Would the world be a better place if Linux, the BSD kernel behind OS X, and the Windows kernel were all rewritten in Rust? (I don't think it would be dramatically better overnight.)
If we could do this by waving a wand without downsides (e.g. all existing maintainers magically acquire Rust knowledge, etc.), yes it would be better. No question.
If the Linux kernel writers all instantly knew Rust as well as they know C, then in 10 years they might produce something that is as functional as the Linux kernel currently is. In the process, they would lose everything that they could do over the next ten years to improve the Linux kernel.
You could claim that eventually the payoff would pay back the lost 10 years. But "eventually" can be a very long time...
It would be better overnight. But it would be even better if we had one NT like kernel and a new OS built from scratch with a browser (webkit) based ui.
That is indeed another perspective, yet not that different after all, if we'd look at what programming _is_. At its core, it is problem solving and mashing keys on the keyboard.
I don't think that keyboard part is really meaningful to anyone who claims to love programming, so it must be problem solving coupled with complex interactions between abstract idea how to solve it with concrete pecularities of programming languages, platforms, libraries, etc. The second part doesn't go anywhere whether you solve problems for Business Folks or scratch your own itch.
That means that difference between the perspectives is only who's supplying the problems. That reminds me of another distinction, namely, the one between painters and commercial illustrators (not sure if that is proper nomenclature). The path of Painter is hard and lonely, most of the painters we know today did some kind of commercial work or lived off 'grants' from philantropists. Or you can earn your paycheck doing something else and program as a hobbyist, for its own sake. I think that this is also valid programming 'culture' that exists somewhat under the radars of 'tech industry'.
Well, the idea is that you're using emacs for your code, and then you jump over to your mail client (all the emacs mail clients don't really work for me), and hit a key to switch over to russian, or whatever.
Do you program in SQL? (I've just pressed Shift and released it after I typed SQL, hey)
Using Caps Lock for its intended purpose means that it's another mode that you need mental resources to keep track of.
Historical aside that's not related to your comment: early Soviet computers modeled after IBM PC had Latin key, that basically worked like Shift, but it changed layout from Cyrillic to Latin and vice versa. This idea died after MS Windows, that didn't (and still doesn't? I don't know) have this option, took over the market.
There is an option in pgAdmin to automatically capitalize keywords. Last I checked though it capitalizes them only in pgAdmin - the actual .sql file is lowercase.
When I do SQL, it's usually SQL over psql over SSH-to-database-server. And it's uncommon enough to not warrant any time investment into how to get psql syntax-highlighted.
