Using the standard formalisms only within appropriate contexts Fitting (using an optimization method) a weighted sum, a line or a curve or a whole “plane” to match the data. Statistics This is, by definition, observing, categorizing and counting observations (which also means “measuring”) that already happened. There is no notion of any potential or possible outcomes. We just observe and count (measure). My favorite example is from archery, when one just measures the distances between hits (arrows), sum them and divide by the number of shots fired (which is averaging of the distances)....

AUTHOR: <lngnmn2@yahoo.com> Writing a semi-automated trading system is easy - just ask John Carmack to write it down for you. Before that Eric Evans has to extract the domain knowledge using his DDD approach, and then some top mathematician, or maybe Bartosz Milewski, would build a consistent model from it. Maybe it is even better to rather ask Simon Peyton Jones to write a matching engine, so you will have it pure-functional, with the most important parts formally proven in Coq (and then translated into Haskell code)....

#+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....