So much for the temporary delay or ban on AI. Musk named his AI Grok. I'm surprised by the lack of X:es in the name. Perhaps it would have looked odd considering the name of the Musk AI Company is xAI.
Somewhat unclear if the Grok is referring to Hitchhikers guide to the Galaxy Grok or to Heinleins Stranger in a Strange Land. If you take inspiration from Hitchhikers then it shouldn't be that hard to program. If all else fails, the answer to a query is always 42. So I guess we'll know what it will default to when it starts looping hallucinations.
Also Grok should apparently be really into sarcasm, so that will end well and not lead to any kind of misunderstandings or interpretations. None.
https://en.wikipedia.org/wiki/Grok
(Score: 3, Interesting) by Mojibake Tengu on Friday November 10 2023, @05:48PM
Just two things:
1. Binary disassemblers and reassemblers. Topology of binary code.
2. Artificial Intellect Personoid (AIP).
Theoretical Herbrand Universes of programming languages are quite underrated.
Since Prolog can construct syntax of any programming language by core language, its Herbrand Universe contains not only all Prolog programs as atoms, but also all programs in all other programming languages.
Including all programs in machine code for all possible machines.
In compare to that, Herbrand Universes of many other programming languages are just tiny subset. Many languages (like C, C++ or Rust) are not self-referent, so they cannot perform analysis of themseves.
A nightmare of government agencies, it also contains all strings. Theoretically, that means all secrets, including all possible encryption keys and all secret messages are also contained in Prolog's Herbrand Universe...
In compare to that, any LLM is just a crippled, mutilated bastard. You get back only mutilation of what you stuffed into it. That 's why you get 3 toe and 7 hand fingers on generated girls imagery by LLMs.
Rust programming language offends both my Intelligence and my Spirit.