What is so “natural” about Gentzen’s “Natural Deduction”? It is that our brains are conditioned by the Environment In Which We Happen To Evolve, and the environment is governed by what we call the Law of Causality, which has been captured in the East by the Buddha’s “Dependent Origination principle” and even more precisely by Modus Ponens in the West. When this exists, that comes to be; with the arising of this, that arises....
Degens, please
Dear f*cking degens, for Christ sake, try to understand what are you doing and why, once in a while. Every time I start neovim with a simple, almost default LazyVim config it starts to download a new copy of the haskell-language-server using ghcup. Please, try to understand that this version of haskell-language-server almost certainly won’t work with an installed GHC, it works only with the version it has been compiled with....
Just a Packaged Slop
DESCRIPTION: Removing the veil of Maya to see things as they really are What to do when you have discovered that something is wrong with the world? Nothing, this happens all the time. Everything is wrong with C++, but everyone uses it, everything is wrong with packaged food, especially the toxic crap Nestle produced, and everyone is buying it. Nothing can be done. Here is what is wrong with your “AI” and “LLMs”....
The Process
DATE: <2025-04-22 Tue> A lot in common with cooking, which is (arguably) the simplest and the most ancient form of engineering. (TODO: explain with examples). No one can learn to cook by watching a “food porn” on social networks. It is a “learn-by-doing (and making mistakes)” process. Small, complete (Always Be Compiled) iterations, which conceptually corresponds to “recursive calls” of a spiral-shaped recursive process, which ends up at (converges to) a local optimum....
The Day 4chan Got Hacked
There is something to realize – some zoomer (a teenager) brought down a unique world-wide service using some ready-made exploit, probably found on the web, against way outdated unpatched PHP crap. The most important thing is that the whole website seem to be never updated after being bought from @moot. This explains anything one needs to know about the how. It does not really matter which particular attack has been executed – it is against old PHP which is a fractal of bad design by definition....
Reasoning Models Don't Always Say What They Think
Another fresh piece of an utter bullshit. https://www.anthropic.com/research/reasoning-models-dont-say-think Please, for fucks sake, cut it down already. There are even that narcissistic @karpathy videos which show in great details (we have to admit, he is really good at explaining things) that there is no “thinking” or “saying” or “reasoning”, just probability distributions encoded as a huge graph. At least be fucking consistent among yourselves (“I really understand AI and you don’t” talking heads)....
Fuck This Shit
No, really. A fresh torrent of abstract “norime-friendly” bullshit is trending on tech social media. https://www.anthropic.com/research/tracing-thoughts-language-model Claude sometimes thinks in a conceptual space that is shared between language… No, it does not think. Period. There are paths, which emerge by from the training process, which consists of “thickness” of weights (if you will), or more precisely – the paths are the emergent structures which result from selecting the highest probabilities. This is not thinking....
The C Legacy
There is a small but turbulent shitstorm on Lobste.rs about Go: https://lobste.rs/s/cclrkn/were_multiple_return_values_go_s_biggest and the key quote, perhaps, is this: I’m always amazed how Ken Thompson, Rob Pike and Robert Griesemer, with a combined 100+ years experience with PLT and about a dozen languages, are treated as total idiots by people whose greatest hits are building a web app once. There is how I think about it. Back at the late 90s, when suddenly, out of fucking nowhere we have got Internet, FreeBSD and Linux and that Apache httpd, everything seemed to be just as an endless WOW!...
Large Ladyboy Models
Classy Andrej is making shilling videos from Thailand (he leaked his location in the video ) targeting normies (the previous set of videos has been partially filmed in Japan. Andrej is living a truly digital nomad’s life). https://www.youtube.com/watch?v=EWvNQjAaOHw Why would he shill? Well, he and guys like him made a lot of promises, not to us (who tf cares), but to the money guys, that this particular technology will completely transform the world, and that they are the very top guys in the field, so money shall be given to them (to the affiliated companies and entities)....
Python is already won
It is that simple. The momentum, which is partially due to the unprecedented AI bubble, is such that it actually became “too big to fail” and too important (for more than one industries) to not be “done right”. 3.14 is getting a proper tail-calls in the interpreter, 3.13 got an initial support for native compilation. It will only continue to get polished by literally millions. The last fundamentally right addition was the support for the proper sum-types (a tagged union) as dataclasses and the the related pattern-matching syntax....