#+HUGO_TAGS esoteric “life itself” There are some principles which are useful for a programmer to realize. There are deep connections between these and functional programming, math and logic. First, biological life “assumes” permanent (immutable) molecular structures and atoms as being “eternal”, well, atomic “black box abstraction”. Of course, neither Life nor evolution (being mere processes) assumes nothing, but these are properties of a stable-enough environment which makes Life (and evolution) possible....

The dream Imagine, living in this or that beautiful and peaceful Buddhist country, in a picturesque hilly area, above 2000m, like Darjeeling and most of hill stations of India. There are beautiful mountain areas in Thailand, Sri-Lanka, even in Myanmar. Ideally, one has to move with the seasons, just like migration birds, from one nice place to another, and to have an endless summer. It is absolutely real when one have just a Linux laptop, GNU Emacs, a couple of SIM cards and a GSM tower nearby....

The common patterns There are recurrent patterns, which has been captured in familiar “standard” abstractions. Monoid A Set along with a composition operation, which has an identity element. addition, for (+) identity is 0 concatenation, which is a specialization of putting together, identity is "". List, a fundamental recursive sum-type, identity is [] Option, a specialization of empty/non-empty aspect of a List, identity is None Boolean logic, very subtle, identity is False (false imply nothing) The notion that some Boolean operations form a Monoid is very subtle, but it will emerge with conditional expressions....

The Rust programming language has been hyped as a system programming language, which implies that it has to have an explicit “access” to the hardware-level abstractions, such as the Stack, the Heap and the Procedures, together with the operating system-level abstractions, such as following the particular calling conventions (a set of standardized interfaces) for an “arch and OS /duo”, and to be “aware of” the ABIs in general. Overview Rust is, in principle, an imperative language....

Overview This is the simplest but smart self-publishing workflow. org-mode -> ox_hugo -> hugo -> static html -> git commit -a -> git push -> github pages Everything is according to the universal principles of being almost “pure functional transformations” of a structured and decorated text, together with version control, which provides sort of immutability (of the previous versions). At each stage or step we delegate some aspect to an appropriate external vendored tool....