Blog
Recent content on Notes from the digital underground by Lngnmn
So, it feels like it’s time to write again, to see where we actually are at. Recently there were two big events related to the LLMs. First one is the “discovery” of a counter-example for the famous conjuncture (and the large blog post by Terence Tao, that he could have discovered it too, LOL). Another one was the “hack” of bitcoin “hardware” wallets, not…
Let’s try to re-build the foundation of Pure Functional programming in a lazy language such as Miranda or Haskell from the first principles. Despite nearly 30 years of research and thousands of academic papers every real world Haskell project is a fucking mess of over-abstraction, using the latest meme abstraction or a fad of the day, whike the whole field is an endless contest of…
Unnecessary, redundant abstractions is the root or of all evil. Especially the wrong ones. There are many problems with serious FP programming, most of them are caused by millions of idiots who are constantly broadcasting virtue signaling pseudo-intellectual bullshit. Another set problems is that thinking symbolically, in terms of unfamiliar and unnatural notation is hard – unpacking chains…
Okay, what are the most fundamental, non-bullshit mathematical notions for Functional Programming? Lambdas, Functions, Currying and Partial Application The algebraic notion of a Products and their representation as tuples an Ordered Sequence as a Universal shape Recursive/Nested data structures, especially a List and a Tree Recursive processes (of nested function calls) which arise naturally over…
, | → ˆ () = Have you seen the language I have designed in which the sum-types and product types are the most primitive primitives? (You) haven’t seen nothing. Okay, let’s build some from the /First Principles , right from the ground up of Underlying Reality and Causality Itself. What Is the most fundamental non-quantum physical notion? An Atom, which is an Energy being trapped or in a…
Here I am going to pee on (You) as an Intellectually Superior Alpha Male [Wolf] would. The reaction I expect from (You) is to lower your tone, put your tail between your legs and to step aside. I am the last living Natural Philosopher (before the LLMs made the very notion of accumulating and refining knowledge obsolete, just like the petrol cars made obsolete the whole horse-based economy). trait…
data List a = [] | a : [a] – Defined in ‘GHC.Types’ Recursion looks magical until (You) realize that there is an underlying structure – a distinct, particular shape Universal shape,, captured and generalized as an abstract (algebraic) structure, and this structure has particular properties. Molecular Biology does not generalize or abstract out,but it heavily reuse as much of what is…
“Lead us from the unreal to the real,” the Brihadaranyaka Upanishad Now let’s get serious for a while. Here I claim that Mother Evolution in the macro-process of Biological Evolution, at the level of Molecular Biology have arrived at and “shown us” the most fundamental, Universal “structures” and process shapes (forms), and the mathematics only captured…
Sometimes I feel that everything can be collapsed back to What Is, discarding all the socially constructed abstract bullshit, and a less wrong, less distorted observation can be made for a few seconds – a glimpse of a the Truth. The task is quite simple – just to reconcile logic, math, programming and the Eastern philosophy of the mind, keeping the properly generalized patterns and…
When they began to feed the generated slop back to the models, they deepen the “fundamental problem” even further. The most recent models produce an excelent verbiage but the code is out of sync with it. This fact is very easy to undestand and explain – the verbiage and the code live in the very different “regions” of the model’s representation (weight matrix or…
Look, ma – no hands^W^W another one, who knows it all: https://www.0xkato.xyz/how-llms-actually-work/ I am so fucking tired of this shit, don’t you? Okay, even if arguing with retards is ultimately futile, and especially so in the society which does not value intelligence, but only appearances and virtue signalling, lets continue competing in our sport of choice while we still can. No…
After the “Sentient Models” has been booed by very few remaining intelligent people they resorted to a the next best meme – their AI is improving itself ( recursively , my ass). https://www.anthropic.com/institute/recursive-self-improvement Notice that this has almost nothing to do with the actual underlaying tech, except that the models are being feed with their own slop for the…
So, let’s see. Since my last summary nothing has been changed much, except the US stock market, Nasdaq100 and S&P500, in particular, are printing ATHs every single day and MU and DELL, and even INTC and AMD – you can see it yourself. On the other side Anthropic emerged as a true leader in the armrace [to the bottom] since their code slop generator is qualitatively better than Gemini…
The 'philosophy' as a form of an abstract bullshitting
The 'philosophy' as a form of an abstract bullshitting
This is how things work: you, being a “literally who?” nobody, wrote approximately 13 pages of titles of articles, about exactly how and why the current incarnation of AI is only an appearance of “intelligence” and a textbook cognitive illusion, and then some fuck wrote a single blog post and got all the fucking HN top page and what not. Life is harsh, competition for being…
There is a whole distinct genre of social media videos, like “The ordinary day of a Japanese salaryman” and what not, you know. So here is mine. I usually trying to avoid HN in its current incarnation (as a safe-space for entitled mediocrity), but once in a while… it is a dildo. https://arkaung.github.io/interactive-turboquant/ – I have seen this shit before, a lot of it.…
There is a morning conversation with the most powerful free-tier LLM. Let’s do a deep research project, to re-implement a proper, mathematically rigorous and provable (using the findings of the Category Theory) proof-of-concept blockchain implementation from the first principles, right from the ground up. First of all, every single modern blockchain implementation is an amateur crap, full of…
Finally, I have got it Right (sorry – Less Wrong). What modern LLMs (and the underlying algorithms) have captured is not “intelligence”, but “[environmental/social] conditioning” – the ability to build an abstract structure (a “map” of a territory) and then use as a representation of “reality”. What is remarkable and unprecedented, is…
So called “knowledge workers” (a Cal Newport’s meme, he has many such memes) are going to be paid at the level of third-world construction fast food workers, which is a good thing, especially so-called humanities “professors”. Here is how. A state-of-the art LLM model, even a miserable “30B” ones (Ike Qwen3.5-30B), which could even be ran locally,…
Giving the exponentially increasing amount of bullshit, like this one: https://news.ycombinator.com/item?id=47521150 we have to perform regular sanity checks to avoid our understanding being polluted by this stormy sea of screaming bullshit (if you will). First, nothing has been changed in principle. this is still an abstract token-level (not even syntax) probabilistic modelling (predicting the…
Everyone is a fucking expert nowadays, especially in the matters of vape-coding and LLM usage, you know. Here is an expert wrote a GPT-assisted piece about how cool he really is: https://msf.github.io/blogpost/local-llm-performance-framework13.html There is, however, a small catch. Running 4bit models when your memory can fit a full-size 64Gb gguf with proper 8bit or (even f16) tensor is just…
So, let me show you a 100x for a change. Biological time is running out, so I have to rush out less polished results, but still they are way above average. What is an intuitive understanding (which can be traced all the way back to the early Upanishads)? It is brain’s way to capture (and “understand”) an observed recurring commonality (a common pattern) without being able to know…
With advent of LLMs one may understand and validate which ideas of the classic theoretical Computer Science are, indeed, working, and what is mostly irrelevant. The aim is to understand how this cognitive illusion works and why . A text of modern Program (the source code) is highly structured and regular. This, of course, goes all the way back to Dijkstra and the discipline of Structured…
So, literally everyone is committed with other people’s borrowed money to the slop generators without even looking back or having a second thought. This bubble will definitely pop some day, just because the promises which has already been made to secure shittons of money will never be fulfilled (but something else, some appearance, will be given instead). What one has to do, then? Well, even…
This shit is simply amazing at so many levels. They literally feed their slop to each other, producing an convincing cognitive illusion of a meaningful real-time collaboration to a normie. Yes, the idea to extend the context (adding new tokens to a context ‘so far’ with a hope of better outcome – a “better” stream of generated tokens) is by any means not a new one.…
AUTHOR: lngnmn2@yahoo.com Here is your humanties in 30 minutes, before the morinig run. https://gemini.google.com/share/f2f48f836118 Try to read this slowly.
Just as I wrote before, GNU Emacs shall be considered as a Word Heritage Site , since it is an embodiment of a distinct, major culture. There are lots of guys who are self-proclaimed Emacs experts or even Emacs gurus (sorry, Greek philosophers), yet I find their writings either too narcissistic or too overly-verbose. There are some reasons about using modern GNU Emacs in a “just right”…
AUTHOR: lngnmn2@yahoo.com “How often have I said to you that when you have eliminated the impossible, whatever remains, however improbable, must be the truth?” Sherlock Holmes So the “compiler” is there, right on Github [[ https://github.com/anthropics/claudes-c-compiler ], and the only interesting question is “but how”? Well, maybe we are grossly exaggerating…
AUTHOR: lngnmn2@yahoo.com There are a few facts to understand: it has been written from scratch, using an academic literature of the compiler’s sub-field, with focus on IR, SSA, guided by some “compiler people” it does not rely on the legacy gcc internal code which no one really understands, it does not rely on llvm/clang (only the literature) it is not optimizing (all the…
Here we formulate (and analyze the implications of) The Fundamental Problem of LLM-assistant vapecoding . The problem is this: There is, at the moment, no machinery to systematically and correctly bridge the gap between the generated slop (code) and the accompanied verbiage, which appear to define the semantics of the code . What appears to be coherent and consistent is only a cognitive illusion ,…
https://x.com/karpathy/status/2015883857489522876 – 5.5M views. What could we possible do? Meanwhile, my 2 cents: The current Sonet 4.5 via the web-interface (free-tier) is what I have access to. It can generate very convincing verbiage, consistent with we could find in the best books. That only means it has been trained on the [pirated] books too. Last iteration it wrote a very nice few…
Modern coding LLMs are still a shitshow. I would not even comment on the humanties – the “sectarian consensus” abstract (ill-defined) verbiage (subtle bullshit) it could produce – not even an expert could “validate” the “correctness” of the slop (such notion is not defined in their domains). It would be interesting to heavily prompt it about rigorous…
Here is what is possible if you have some education about the last 50 years of research in Program Language semantics, and have a refined taste (influenced by proper mathematics): The last third of the chat, when we switched back to mathematical concepts, contains a significant achievement, which I leave in the form “as it is” for now (without refinement and proper publishing). The…
Here some important observations from the long hours of “experiments”. Once there is a simple bug in the slop, the chat does not fix just this very line. Most of the time it regenerates the whole file from scratch, sometimes with slightly different structure and names, suggesting (as one would expect) that it just repeats the whole task (without understanding your…
So, this is the why all the megacorps suddenly building AI data-centers and purchase nuclear power plants to feed them with electricity and book all the DRAM and VRAM production and in the whole world. The reason is this. Remember Google reCAPTCHA - that window when you are forced to select all the cars or traffic lights to view the website you wanted (for an expected revard through a dopamine…
We are fucked. This time for real. I just had some 3 hours Gemini3 session of some 50 interactions, which bootstrapped for me a prototype of the project I wished to build for years. In Just a Couple of Hours , motherfuckers. Yes, the code won’t compile, and will be full of subtle hallucinations, The markdown files would be more of “wishful thinking” and “confirmation…
There is some output (slop) I got from my recent sessions (yes, yes, I am guilty and ashamed): ### Validation Summary I have verified the implementation across the **Functional Core** (Domain) and the **Imperative Shell** (Infrastructure & Interface), confirming that the code doesn't just 'look' right but functionally enforces the rules. **1. Domain Layer (Functional Core)** **Strict…
Things begin to move way too fast, at least for me. There is some amazing fact, which shows that an intuitive understanding can also be valid. I remember reading the memest book of the time – “eXtreme Programming Explained” (by still sober and sane Kent Beck), and trying (probably just like everyone else at the time) to “distill” some grains of “wisdom”…
One of the major human psychological fallacy is to “naturally” assume that other people are more or less the same as you, just a bit mire weird. This is bullhit. Some of them are way off. There is something callled a built-in (or native) package manager for Neovim in development. Have you ever tried it? Notice that this is not just an editor, this is a whole “ancient”…
For a quite long time already I sort of “ran in the background” this question – “how they bridge the semantic gap between verbiage and the code?” In the context of a well-written textbook (extremely rare, just 50 or so in existence) the code examples immediately follow or even intersperse the explanations. Most of the internet content is nothing like that. The…
I still remember watching one of the very first online courses published on Coursera – that one about Modeling (something-something modeling to make one a better citizen of the world - they are just like that in the humanties departments). Back then I felt, without a clear understanding of why , that something is fishy here, and that that clown on the screen was way too smug , and…
Fucking degenerates. There is nothing wrong in bullying and humiliating incompetence and arrogant stupidity and impostorism. We all went through all this in our childhood and it did us good – made us think twice. When some fucking degenerate do shit without proper understanding, just low-effort quick “solution” (the proverbial “getting shit done”) and then almost…
https://karpathy.bearblog.dev/year-in-review-2025/ In this episode @karpathy blessed us all with another blogpost. While his wording is much more careful and even nuanced, there is still a lot of bullshit in it. It way less outrageous bullshit as in the Friedman poocast and around that time, but still. Here are some excerpts: With vibe coding, programming is not strictly reserved for highly…
Okay, lets look at the “better side” of things. The good thing about using LLMs is that you do not have to deal with Google Search and any fucking Social Media . Imagine a painfully typical scenario – you want to clarify or better understand something you already vaguely knew or at least aware of. You type a query into Google Search, and you get… a fucking CEO fucked-up…
Just like a spontaneous, “natural and organic” continuation to the previous post (which implicitly confirm that it has properly captured at least some aspect of reality [as it is]). I have had to delete some nice movies in order to download and try that over-hyped “5M downloads” Nvidia’s meme-model Nemotron-3-Nano-30B" I have a small set of highly sophisticated…
Everything is broken and idiots are everywhere. There is a clown which attention whoring, sorry, publicly arguing (and gaining a lot of unwarranted attention) that one shall vapecode in C . https://news.ycombinator.com/item?id=46207505 Basically, making such a claim is idiotic on so many levels that it is hard to know where to start. Almost the whole of classic non-bullshit programming language…
So, it seems like this is the time to somehow sum up the current AI hype (way through the roof) and the immediate and long term consequences of it. First of all, a proper education – studying the fundamental underlying principles instead of particulars – which used to be an unofficial mantra of MIT, pays off again. One just sets particular constraints to a coding LLM and use it as a…
What a shitshow – https://news.ycombinator.com/item?id=46154491 . – HN midwits are outdoing themselves in trying to signal their virtues and unique snowflakeness. Turns out I know enough math, programming, LLM theory (including the underlying math) and trading (in the Elder’s tradition) to understand that this is an utter crap – “Everyone is a genius in a bull…
I think I have seen this before. Once in Varanasi, wandering around book stalls (most titles already “tourist books”, – oversimplified and westernized “tantric” bullshit), I found a whole book by some local publisher which describes in a minute details one single Brahmanic ritual (an elaborate sacrifice) which last almost a whole day. Hundreds of ingredients are being…