Programmer and sysadmin (DevOps?), wannabe polymath in tech, science and the mind. Neurodivergent, disabled, burned out, and close to throwing in the towel, but still liking ponies 🦄 and sometimes willing to discuss stuff.

  • 15 Posts
  • 3K Comments
Joined 2 years ago
cake
Cake day: June 26th, 2023

help-circle

  • Well, technically… we have an example in modern Spain of an (almost) peaceful and willing transition without abdication:

    • Franco was a dictator
    • He appointed the King to follow in his steps
    • Right after Franco died, the King did a 180 and facilitated a democratic constitutional referendum
    • The majority, approved a democratic constitution, leaving the Executive power split in two: the King remains the leader of the military (in time of war, and mostly in name otherwise), while an elected President is the leader of the rest.

    Other than a failed coup attempt by a faction of the military who wanted to go back to the previous system, it was a reasonably peaceful transition from full dictatorship, to a “parliamentary monarchy”.

    It can be done, if people are willing.

    (PS: an abdication came much later, because of some not fully transparent money deals and tax evasion schemes, leaving his son as the new King)



  • I doubt it’s been fed text about “bergro”, “parava”, and “rortx”, this looks like basic reasoning to me:

    For the sake of completeness, this is qwen3:1.7b running on ollama on a smartphone. Its reasoning is more convoluted (and slow), yet the conclusion is the same:

    If all bergro are rortx, and all parava are rortx, are all rortx parava?

    think

    Okay, let’s see. The user is asking if all rortx are parava, given that all bergro are rortx and all parava are rortx. Hmm, so first, I need to parse the statements correctly.

    The first part says “If all bergro are rortx, and all parava are rortx, are all rortx parava?” So, the premises are that all bergro are rortx, and all parava are rortx. The conclusion is that all rortx are parava.

    Wait, but the question is a bit confusing. Let me break it down. The premises are:

    1. All bergro are rortx.
    2. All parava are rortx.

    Conclusion: All rortx are parava.

    So, the conclusion is that every rortx is a parava. But the premises only say that some things (bergro and parava) are rortx. But there’s no information about the relationship between bergro and parava. Are bergro and parava different sets? Or is there an overlap?

    If bergro and parava are distinct groups, then the premises only state that bergro are rortx and parava are rortx. But that doesn’t necessarily mean that rortx are parava. Because rortx could be a subset of bergro or a separate set. For example, if bergro is a subset of rortx, and parava is another subset of rortx, then rortx would have two subsets, but the conclusion would be that all rortx are parava, which would require that rortx is entirely parava. But unless there’s a statement that rortx is a subset of parava, that conclusion wouldn’t hold.

    But wait, the premises don’t say that bergro and parava are related. They just state that all bergro are rortx and all parava are rortx. So, if bergro and parava are separate, then rortx could have elements from both. So, the conclusion that all rortx are parava would require that there’s no bergro in rortx. But the premises don’t say that. So, unless there’s an implicit assumption that bergro and parava are disjoint, which isn’t stated here, the conclusion can’t be drawn.

    Alternatively, if bergro and parava are the same set, but that’s not stated. The problem is that the premises don’t establish any relationship between bergro and parava. So, the conclusion that all rortx are parava can’t be logically derived from the given premises. Therefore, the answer would be no, not all rortx are parava, unless there’s additional information linking bergro and parava.

    The premises state that all bergro are rortx and all parava are rortx. However, there is no information linking bergro and parava. If bergro and parava are distinct groups, rortx could consist of elements from both, making it impossible to conclude that all rortx are parava. Without additional constraints, the conclusion cannot be logically derived.

    Answer: No, not all rortx are parava. The premises do not establish a relationship between bergro and parava, so rortx could include elements from both groups.


  • “AI” has been a buzzword basically forever, it’s a moving target of “simulates some human behavior”. Every time it does that, we call it an “algorithm” and move the goalpost for “true AI”.

    I don’t know if we’ll ever get AGI, or even want to, or be able to tell if we get a post-AGI. Right now, “AI” stands for something between LLMs, and Agents with an LLM core. Agents benefit from MCP, so that’s good for AI Agents.

    We can offload some basic reasoning tasks to an LLM Agent, MCP connectors allow them to interact with other services, even other agents. A lot of knowledge is locked in the deep web, and in corporate knowledge bases. The way to access those safely, will be through agents deciding which knowledge to reveal. MCP is aiming to become the new web protocol for "AI"s, no less no more.

    Some careless people will get burned, the rest will be fine.






  • The connectors are still optional.

    Haphazard code is not a new thing. Some statistics claim that almost 50% of “vibe coded” websites have security flaws. It’s not much different from the old “12345” password, or the “qwerty” one (not naming names, but have known people using it on government infrastructure), or the “who’d want to hack us?” attitude.

    MCP is the right step forward, nothing wrong with it on itself.

    People disregarding basic security practices… will suffer, as always… and I don’t really see anything wrong with that either. Too bad for those forced to rely on them, but that’s a legislative and regulatory issue, vote accordingly.

    I would still be extremely hesitant of enabling any MCP connector on non-local model instances. People need to push harder for local and on-prem AI, it’s the only sane way forward.







  • That’s why AI companies have been giving out generic chatbots for free, but charge for training domain-specific ones. People paying for using the generic ones, is just the tip of the iceberg.

    The future is going to be local or on-prem LLMs, fine tuned on domain knowledge, most likely multiple ones per business/user. It is estimated that businesses are holding orders of magnitude more knowledge, than what has been available for AI training. Will also be interesting to see what kind of exfiltration becomes possible, when one of those internal LLMs gets leaked.





  • A lot of people have been working tedious and repetitive “filler” jobs.

    • Computers replaced a lot of typists, drafters, copyists, calculators, filers, clerks, etc.
    • LLMs are replacing receptionists, secretaries, call center workers, translators, slop “artists”, etc.
    • AI Agents are in the process of replacing aides, intermediate administrative personnel, interns, assistants, analysts, spammers salespeople, basic customer support, HR personnel, etc.

    In the near future, AI-controlled robots are going to start replacing low skilled labor, then intermediate skilled ones.

    “AI” has the meaning of machines replacing what used to require humans to perform. It’s a moving goalpost: once one is achieved, we call it an “algorithm” and move to the next one, and again, and again.

    Right now, LLMs are at the core of most AI, but AI has already moved past that, to “AI Agents”, which is a fancy way of saying “a loop of an LLM and some other tools”. There are already talks of moving past that too, the next goalpost.