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

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

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. Not even close. ...

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!!! Something new and amazing almost every day. ...

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

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

DESCRIPTION: Idiots, idiots everywhere. Now I can accurately summarize what coding using LLMs actually /is in just a few sentences. Recall how people usually describe a code maintenance job: we have this code to run, while the original developers are gone and leave us no design documentation. This hypothetical situation is exactly what you get when an LLM finished spewing out the slop: you now have some code, very cheap, even for free, but it is not yours, the underlying understanding (of the whys) is not in your head, and the original developer is already gone. Disappeared. ...

Here is the Dan Grossman’s Caml tutorial (refresher) for Ocaml. The cool thing about it is that it shows how little we all need. https://homes.cs.washington.edu/~djg/teachingMaterials/gpl/lectures/camlTutorial.pdf He is actually a very cool guy, who teaches the principles (and precise semantics) of programming using the classic languages – SML and Ocaml, which were carefully designed by talented math majors to build theorem provers and proof assistants. These languages (and Erlang) ought to be “all you need”, but the world is what it is (Pootin, Trump and what not) so we have Java or C++ or, if unlucky – PHP or Javascript. ...

Well, I’ve watched it. There are a few things to realize. The code it generated ran without an issue with the simulation task. It, however, is incomprehensible without understanding of all the details (like any other code). This is, probably, so because they have feed in a lot of very similar internal code in the training phase. The gibberish from the “thinking” phase might be helpful or it may be equally cryptic. ...

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