Why S and K are enough.

DESCRIPTION: Oops, I did it again. The hack The word “implies” and corresponding arrows are grossly overloaded and have more than one subtle but distinct meanings. We will read and interpret the “arrows” (and the word “implies”) from different formalisms differently (as an implication in terms of necessity and sufficiency and as a single discrete step of causality). We will put the universal notion of an environment (and the corresponding Γ abstraction) from obscurity to the center. ...

August 5, 2023 · <lngnmn2@yahoo.com>

Abstraction barriers

AUTHOR: <lngnmn2@yahoo.com> First of all, abstraction barriers are very real (not merely abstract notions) and they are liteterally everywhere (at all levels, from molecular to social). The “most real” abstraction barrier is how what we call “atoms” are “used” by molecular (cell) biology. For cells atoms are is how ancient people used to conceptualize them - an atom is indivisible, indestructive, eternal, “just is”. More precisely, cell biology “is not concerned” with what atoms “really are” and use them as an abstraction, provided that there is no one to “see this”, aside from an “higher level” intelligent observer. ...

August 4, 2023 · Ln Gnmn

GNU Emacs

Emacs is a monument (just like Potala palace in Lhasa) of an old-school software engineering and classic languages – it is, indeed, a world heritage site of the golden age of programming. It also could be compared with the ghat complex of Varanasi, which began no one knows when and is constantly changing since then, being reshaped by the “waves” and “tides” of social dynamics. Visiting Emacs is like visiting one of such historic sites, and just like them, it has been re-shaped by the successions of mass-hysteria and zealous over-excitement about bullshit. ...

July 28, 2023 · &lt;lngnmn2@yahoo.com&gt;

Trading Math

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). The player with the smallest average distance is objectively the most skilled one, with the most consistent actual outcomes. ...

July 28, 2023 · &lt;lngnmn2@yahoo.com&gt;

Writing a semi-automated trading system

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). ...

July 28, 2023 · Ln Gnmn

Biological evolution and Life Itself

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

July 23, 2023 · &lt;lngnmn2@yahoo.com&gt;

Remote

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. This is all you really need. And an ATM, of course. ...

July 21, 2023 · &lt;lngnmn2@yahoo.com&gt;

The recurring patterns captured as a Monoid

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

July 16, 2023 · &lt;lngnmn2@yahoo.com&gt;

Understanding Rust

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. The order of statements matters (a lot, giving the changes of ownership), expressions are just an addition, and there is no (and never will be) referential transparency. ...

July 15, 2023 · &lt;lngnmn2@yahoo.com&gt;

The simplest self-publishing workflow

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

July 13, 2023 · &lt;lngnmn2@yahoo.com&gt;