DESCRIPTION: Read some Shiller for Christ sake. I am so tired. These things, when I suddenly stumble upon them, render me speechless and feel wasted and burned out https://www.kaggle.com/code/vanpatangan/forecast-bitcoin-future-price This is a Jupyter notebook (an .ipynb), originally developed on Google Colab, where they have all the datasets and the tools to run the notebooks quickly. It uses some pre-defined package called Prophet (just imagine!) , which I assume contain some basic “state-of-the-art” statistical inference crap. ...

There is something to be actually realized as soon as possible (which I recently experienced directly) –the condition-probability-based “glorified autocomplete” could generate some small pieces of code (with intelligent prompting) that simply above (in intrinsic quality) 90% of all the related crap that could be found on Github, which easily extrapolates to 90% of people in existence who identify themselves as “programmers”. Period. The code will be better than high-dopamine, “laser-focused” (on Adderall or just amphetamines), but not so well-educated on fundamentals zealots could produce. Better than inexperienced in realities of the actual open-source software ecosystems academics could even hope to write, no matter how good their theoretical understanding is. With very specific and properly constrained prompting, which takes into account the major results of the last 50-or-60 years of PL and CS research, especially in the field of math-based Functional Programming and Immutable Data Structures, one can get almost optimal (approaching perfection small pieces of code, provided you understand what theoretical-limited perfection actually looks like in this particular case, and why. ...

Testing interacts with your dopamine system, so you will a small yay! every time all tests passed. This is crucial, because motivation tend to decays exponentially and to experience inevitable “crashes” after spikes. TTD is sort of a direct consequence of type-driven (or “types first”) approach to prototyping. Ideally, each type is associated (in an one-to-one correspondence) with each distinct concept in the problem domain, at an appropriate level of abstraction. ...

Maybe it is time to settle this discurse once and for all, and move on. Recently I asked Deepseek (otherwise amazing), Grok (a meme) and Gemini about idiomatic way of enabling syntax highlighting in blocks of code, which may appear in an eww or nov modes. What they all give me is some stylized pasta from StackOverflow and Github about polymode and mmm-mode and how to use regexps to find particular blocks and to apply some low-level function on a range. ...

Reading less social media bullshit and using ones own well-trained mind sometimes helps to clarify complex and noisy topics. Here is why, in principle, any LLM coding (I cannot call this crap “programming” because there is no uderstanding involved) will always yield sub-par bullshit. LLMs operate on tokens, which are abstract numbers, if you will. Parts of words of a human language are being associated with a distinct token, and then a probabilistic graph-like structure is created out of these tokens, using a fundamental back-propagation algorithm. ...

There are lots of literal degens (undeveloped, unrefined, lacking any sense of beauty and elegance) who keep parroting the stupid mantra “syntax does not matter” or “syntax is not important”, or “it is a mater of individual prurience”. Idiots. There is a universal human notion which we call [careful and even obsessive] “attention to details”. In certain cultures this part is very prominent, and one can tell. Every neurologically normal person could name that particular country. Other countries had either brief periods of such “enlightenment” in their past, that can still be observed in traditional architectural and art forms, or have some occupations in which attention to details is the paramount, like that long lost German automobile engineering in the 70s and 80s. ...

There are some philosophical “ideals”, which has been identified since antiquity and to attainment (or approaching of) which people are striving ever since. To see things as they really are. To do things just right way. To find an optimum or a “perfection” Perfection has been famously defined as “when there is nothing else (more) to take away (to remove)”. Modern meme-based socially-constructed (by retarded majority) social concensus frown upon “perfectionism” and sees it as the inhibition to “getting shit done”. They are not wrong, though. Approaching a perfection (finding a local optimum) is a very different process from just putting together some slop. Yes, indeed, “perfection is the enemy of good-enough”. ...

There are lots of hysterical complains in the social media gutters, like /g/, about Leetcode and apparent uselessness of such math-based drills.. Nothing can be further from the truth. First of all, every remarkable programming achievements of the past, be it of NASA missions, or of Bell Labs, or of Ericsson, or some academic breakthroughs like ML or Scheme or Haskell – they all are due to the fact that the only way to have access to a computer used to be through mathematics, applied and even purely theoretical. The early Computer Science was basically considered, and especially taught at good schools, as applied math. It should remain this way(but, unfortunately, everything has been ruined). ...

“The Darwin Gödel Machine: AI that improves itself by rewriting its own code” https://sakana.ai/dgm/ There is what is actually going on. A model trained on a large amount code is, in principle, no different from any other LLMs – it is just a statistical model that predicts the next token based on the previous ones. It does not understand the code it spews out, it does not “know” what it is doing. These are just mathematical procedures (not even functions) – given an input encoded in a particular way, it produces an output, not even the same for the same input. ...

Some midwit tried to be clever, and other midwits applauded. The top story on Lobsers. https://lobste.rs/s/y13fa3/poor_man_s_types Replying with the Djikstra “presense, not the absense” quote would be too easy. There are two principal distinctions. First how type-classes (in Haskell) can formalize and systematize so-called duck-typing (walks like a duck, quacks like a duck) for the most general mathematical notions, such as equality, ordering, etc. This alone would have been enough to ever rise this bullshit again. ...