This is just an unfinished draft. How could one finish something like this? The Curry-Howard isomorphism I asked GPT and it spewed out vague over-generalized crap (see below). The fundamental significance of the Curry-Howard isomorphism is that this is “all you need” (really) – just a few properly generalized and captured patterns (from What Is). The notions of \(\rightarrow\), \(\and\), \(\or\), \(\forall\) and \(\exists\) are even more “real” and fundamental that their corresponding captures in Mathematics (and mathematical logic, where they are way too abstract and too general, by throwing causality itself out of the window)....

slop noun Cambridge dictionary food that is more liquid than it should be and is therefore unpleasant liquid or wet food waste, especially when it is fed to animals Oxford Learner’s Dictionary ​waste food, sometimes fed to animals liquid or partly liquid waste, for example urine or dirty water from baths There is also a very related term “goyslop” from internet sewers (losers are always looking for someone to blame and hate [instead of themselves])....

Let’s do it again, because why tf not, especially given the magnitude of the current mass-hysteria about this AI meme (it is literally everywhere and even on Slashdot, which is the last bastion of sanity, there are 4 articles in a row with “AI” in the title). what are the roles of type-classes in Haskell and traits in other languages? This is supposedly a naive and uninformed question I asked Deepseek R1 14b....

AUTHOR: <lngnmn2@yahoo.com> When I was a kid they told me not to stare at the sun I had this vision, that the brain structures are sort of like trees, while the “branches” are just like patches thorough our yard after fresh snow. Some of them remain thin, just someone walked across it absentmindedly, some gets broadened by a heavy re-use. Who would plow through a fresh snow while one could take follow the path that is already here....

The shitstorm is of the highest category and pleasing to watch. The main issue is that there is models can be produced (trained) at a fraction of the costs by just good and hardworking graduate students who did their homework. It reminds me of legendary Andrew Ng, who was way above everyone else just by being smart, hardworking and systematic in building everything(deriving all the math) from scratch. The Deepseek success has the same vibes....

DESCRIPTION: Memes and mirrors. Nowadays things are moving way too fast. It is not just controlled trial-and-error, it is literally throwing everything at the wall (to see what sticks). It started with that meme “Attention Is All You Need”, when they just came up with an “architecture” that sticks. That “attention” and “multi head attention” turned out to be just a few additional layers of a particular kind. No one can explain the actual mechanisms of how exactly or even why the layers are as they are (abstract bullshit aside)....

This is the difference between a LLM and an expert. An LLM spews out a “propaganda” from the web. ### what are the unique properties of a Haskell program 1. **Statically Typed**: Haskell has a strong, static type system that ensures type safety at compile time. 2. **Purely Functional**: Haskell programs are expressions, and functions have no side effects. This leads to code that's easy to reason about, test, and debug....

There is another shitstorm around Rust – the just announced meme-effort to verify approximately 7500 unstafe functions in the Rust standard library. First of all, what a joke! I never thought there are that many of em. It is easily more than the whole SML, Ocaml and Haskell standard libraries combined. Or at least of the same order. If we want, however, to put memes aside for a while, the way to safety begins with the proper and sound principles, so the “unsoundness bugs” will never appear again....

DATE: <2024-11-20 Wed> Lets write a few paragraphs which will destroy the current LLM narrative (naive bullshit), while neither any single piece nor the whole article can be refuted. This is a high-level proper (classic Eastern) philosophy, which is many levels away from simple logical forms, but it still can be reduced to these, if one wants to. The Proper Philosophy isn’t dead, not even it is dying. It cannot, lmao....

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