ADT

There is a meaningful HN thread once in a while, due to being populated by the actual ex-googlers and facebookers. https://news.ycombinator.com/item?id=40818809 First of all, FB approach is “The Worse Is Better” all over again. If you write a quick crap to be replaced by something else very soon, the meme of “Move Fast and Break Things” (which is a polite name for “Just Pile Up more and more Crap, who cares LOL”) will “work” in the short run Otherwise it is guaranteed to accumulate all sorts of “technical debt” (a polite wording for “now costly or impossible to fix early quick idiotic and incompetent decisions”) – just look at Shittereum and ask shitalik – the champion of quick incompetent decisions....

What is a pattern? A properly captured by the Mind (of an external observer) into a named abstraction “frequently emerging arrangement”. There are obvious weather patterns, seasonal patterns, social patterns, and so on. The most “concrete” emergent patterns are the “structural patterns” – rivers, trees, proteins, biological species. The most fundamental structural patterns has been captured as abstractions: linear sequences trees (acyclic directed graphs) tables (lookup tables) More abstractions has been derived...

Recently I have poisoned myself by watching some talking heads on YouTube. The topic was “something something structural system design”. There is a “correspondence” (not a true isomorphism, but still) between the structural patterns in molecular and cell biology and patterns in a pure functional code – an augmented Lambda Calculus. Both “systems” are heavily constrained by the execution environment (molecular structures of cell biology is the code and the data, the Universe (in a particular locality) is the runtime)....

Just like Max Cohen stated in “Pi”, there are patterns everywhere. Not, however, because of mathematics (which he called “the language of the Universe”), but, and this is crucial – prior to it. Having the maths “after” Reality (What Is), not “prior” to it, like “esoterics” (or rather plain idiots) put it is the only proper philosophy (of the ancient East), which puts everything into their right places. What mathematics is really?...

It is time to publish some more results. Type-level reasoning A function application - corresponds to /Modus Ponens/ A specialization, an instance of it. > ($) :: (a -> b) -> a -> b > ($) f x = f x Reversed order of agreements, still the same /Modus Ponens/ > (|>) :: a -> (a -> b) -> b > (|>) x f = f x "Multi-argument" is just /currying/ -- ~* ->*->*-> *~ Same, but with an explicit /abstraction barrier/ (and /lifting/) > (>>=) :: m a -> (a -> m b) -> m b > (>>=) ma f = undefined -- has to be defined for each particular type (an instance) Notice that this is essentially a type-signature of ~fmap~, > fmap :: f a ->(a->b) -> f b with a reversed order of arguments and a specialized function....

Python is eating the word. When I type “Python” on the Library Genesis search prompt I’m getting some 300 pages (7628 files found | showing results from 1 to 25). This has to be bullshit. Arguably, the mass hysteria has started when MIT switched from the classic MIT Scheme to Python as its main teaching language. The AIMA code at Berkeley has been ported from Common Lisp to Python at about the same time....

I created for myself the meme Going Full Gogans (you know) which is, literally, what one should do in order to achieve anything slightly above mediocrity. To go “higher” one has to Go Full Steppenwolf. which means to fully embrace and stick to the classics, ignoring everything “modern” as one ignores “user-defined genders and pronouns”. By “classics” I mean just a few distinct well-established traditions and related cultures. The LISP tradition, with distinct MIT Scheme, Norvig and Graham books, and later Clojure cultures....

Trying to understand complex social systems was my favorite timepass. I went through Eastern philosophy and religions. algorithmic trading, Informix system administration and functional programming. of course. I am a FreeBSD and Gentoo addict too. I almost always compile my stuff from sources (so I know all the dependencies by heart). In particular, Eastern Philosophy (the Early Upanishads and Early Buddhism) helped me to sort out what the current AI tools can achieve and what they cannot do in principle (and I showed why)....

You probably have already read things like “Async computations form a Monad” or something like that. Did you ever ask yourself why would they? Here are the answers for you. Have you ever seen that kind of device in some chemical and physics labs – a glass wall, with two holes in it which have a pair of thick gloves attached to them, to reach inside? A person put his hands into these gloves and reach into a contained and sealed compartment (environment) and is able to perform some tasks, like moving and filling things inside....

Once one has been exposed to a wrong concepts or just bullshit it is very difficult to unlearn what is “already known” and to see things as they really are. Especially when a necessary abstraction barrier is neglected or not even well-understood and some implementation aspects are mixed arbitrary with definitions of an abstraction itself, and with parts of a supposedly abstract interface, which has to form (establish) the abstraction barrier....