FP

So, this is what is actually going on (seen as they are) in plain English. The sheer brute-force of data-center-sized “frontier” models is so brute that it easily appears as “intelligence”. This is still the next-token prediction based on a conditional probability under the hood. There is no “understanding”, no “reasoning”, no “knowledge”, no “skills” (these are just the same streams of tokens). But this is not mere a “glorified autocomplete” anymore. There are compilers, code linters and even basic static analysis tools in the loop. ...

I loooove the questions which starts with “whys”, and simply could not just pass by one. So, shit has already starting to hit the fan. https://terrytao.wordpress.com/2026/10/15/why-are-we-even-doing-all-this/ I have seen this before more than once – akshually, this is just another reccuring social pattern waithing to be properly generalized. Let me first show you where I have seen this pattern before. The classic and definitive example which I familiar with is the “transition” of Tantic schools of Tibetan “Buddhism” from deity worship and “magic” into doing “social work” – protecting the people by performing endless rituals to apeace and control various deities and for auspicious occasions, and thus maintaining the world peace and the “status quo”, and basically being almost “servants of the people” (despite tax collection and farmland ownership). ...

People are saying avoid Monad “tutorials” [written by unqualified retards] , so writing down one is an IQ test and understanding is a “filter”. And, indeed, one has to know and understand some related concepts and become to a certain kind of mathematical thinking, otherwise one would apply bullshit imperative programming concepts instead of mathematical ones. The first concept is “composition of functions”, the famous \(\circ\) operator of the traditional mathematical notation. it takes two functions (of a single argument) and produces a new function (of a single argument, which is operationally defined is nesting of function calls. ...

A product-type is a generalized notion of having a bunch of things at the same physical locality (or proximity) – this and [also] that. This is what molecules are. A sum-type is a generalized abstract notion of having this-or-that (either-this-or-that, and NOT both). This is, among other things, a “fork” on a path – never both can be taken (except when backtracking). These notions are enough for everything and they are our basic building blocks. ...