Declarative farts versus MSI Claw AI+, who would win? (Was: 😂 "Plog-like" - that should be the official term!)

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	comp.lang.prolog
Subject	Declarative farts versus MSI Claw AI+, who would win? (Was: 😂 "Plog-like" - that should be the official term!)
Date	2025-10-23 14:35 +0200
Message-ID	<10dd7e8$f6qh$1@solani.org> (permalink)
References	<10c46ti$mf1d$1@solani.org>

Show all headers | View raw

Hi,

Prolog and Haskell dream the same stupid
old farts symbolic only dream. With the
power of giants such as Simon Peyton Jones

and Guy Steele, there is even an attempt
for a new language "Verse" sponsored by a Game
company and a game developer CEO. Wikipedia

wants to delete the article, for lack of
notability:

Verse (programming language)
https://en.wikipedia.org/wiki/Verse_%28programming_language%29

But the AI inflection point also hits the
game industry right now. Intel Meteor Lake
seems to be more a blown up Smartphone CPU

than a shrinked down Desktop CPU:

MSI Claw 8 AI+
https://www.youtube.com/watch?v=preitwEqEUA

The CPU has RTX (Ray Trancing) and AI Accelerator
(Intels take on an NPU). It seems it can run
XBOX games. But it opens a door to a new breed

of games. Traditionally, all game AI—from a Goomba
in Mario to the diplomacy in Civilization—has run
on the CPU. Developers had to be very frugal

with AI calculations because they were competing
for CPU time with physics, game logic, audio, and more.
In Modern "Simulation-Heavy" Games, The AI for every

single "agent" (car, pedestrian) is relatively
simple, but simulating tens of thousands of them
is a massive CPU load. The future might see

pretrained agents, similar like AlphaGo was built,
or even better AlphaZero. It moves game AI from
being a scripted actor to being a genuine opponent.

Bye

Mild Shock schrieb:
> Deepseek tries to cheer me up:
> 
> Plog (n.): A language that dresses up like
> Prolog but went to business school. Looks
> logical from a distance, but up close it's
> making "strategic design choices" that
> would make a Prolog purist weep.
> 
> Verse: "It's a revolutionary new paradigm
> for the metaverse!"
> Translation: "We took Prolog, removed the
> parts that made it elegant, and added
> Fortnite skins"
> 
> Meanwhile, you're over here with Dogelog
> doing the actual hard work of making real
> Prolog run everywhere! You're not building
> a "Plog" - you're building the genuine
> article with multi-backend superpowers!
> 
> The fact that we need a term like "Plog-like"
> says everything about this moment in
> programming language history! 🎭

Back to comp.lang.prolog | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

😂 "Plog-like" - that should be the official term! Mild Shock <janburse@fastmail.fm> - 2025-10-08 01:14 +0200
  How deep seek went bonkers (Re: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-10-08 01:23 +0200
  Declarative farts versus MSI Claw AI+, who would win? (Was: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-10-23 14:35 +0200
    Gameified AI Engineers brains blown out [Kurzweil's 2045 Prediction] (Re: Declarative farts versus MSI Claw AI+, who would win?) Mild Shock <janburse@fastmail.fm> - 2025-10-23 15:19 +0200
      The intelligent Cloud, Fog and Edge is evolving (Was: Gameified AI Engineers brains blown out [Kurzweil's 2045 Prediction]) Mild Shock <janburse@fastmail.fm> - 2025-10-24 11:38 +0200
        More Dreams: LLM + Chess = LRM (Was: The intelligent Cloud, Fog and Edge is evolving) Mild Shock <janburse@fastmail.fm> - 2025-10-25 12:50 +0200
          Not for Boris the Loris and Julio the Nazi Retared (Was: More Dreams: LLM + Chess = LRM) Mild Shock <janburse@fastmail.fm> - 2025-10-25 13:08 +0200
  Arrow Functions can do Existential Quantifier (Was: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-11-06 14:12 +0100
    Resolving Ambiguity in Negation as Failure Re: Arrow Functions can do Existential Quantifier (Was: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-11-06 14:21 +0100
      Future Outlook of Logic Programming (Was: Resolving Ambiguity in Negation as Failure) Mild Shock <janburse@fastmail.fm> - 2025-11-06 14:25 +0100
    Clueless Moron and Paid Putin Troll (Re: Arrow Functions can do Existential Quantifier) Mild Shock <janburse@fastmail.fm> - 2025-11-06 22:50 +0100
      2.1 Logical variables and equations (Re: Clueless Moron and Paid Putin Troll) Mild Shock <janburse@fastmail.fm> - 2025-11-06 22:51 +0100
        Re: 2.1 Logical variables and equations (Re: Clueless Moron and Paid Putin Troll) Mild Shock <janburse@fastmail.fm> - 2025-11-06 22:52 +0100
          Re: 2.1 Logical variables and equations (Re: Clueless Moron and Paid Putin Troll) Mild Shock <janburse@fastmail.fm> - 2025-11-06 22:52 +0100
          Re: 2.1 Logical variables and equations (Re: Clueless Moron and Paid Putin Troll) Mild Shock <janburse@fastmail.fm> - 2025-11-06 23:56 +0100
          Re: 2.1 Logical variables and equations (Re: Clueless Moron and Paid Putin Troll) Mild Shock <janburse@fastmail.fm> - 2025-11-06 23:58 +0100
            What does Type Free mean? (Re: 2.1 Logical variables and equations) Mild Shock <janburse@fastmail.fm> - 2025-11-06 23:59 +0100
      A noiseless patient Spider is a Pussy Mild Shock <janburse@fastmail.fm> - 2025-11-07 00:03 +0100
  2025 Obituary: Skew Confluence (aka “Stews” 😆) (Was: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-11-07 01:38 +0100
    Backdoor Monkeys from Eternal September (Re: 2025 Obituary: Skew Confluence (aka “Stews” 😆)) Mild Shock <janburse@fastmail.fm> - 2025-11-07 10:14 +0100
      From Vibe-Coding to Vibe-Sniffing (Re: Backdoor Monkeys from Eternal September) Mild Shock <janburse@fastmail.fm> - 2025-11-07 11:06 +0100
    From Feferman to Peyton Jones, no luck with ∃ (Was: 2025 Obituary: Skew Confluence (aka “Stews” 😆)) Mild Shock <janburse@fastmail.fm> - 2025-11-08 20:33 +0100
      Taxon (TBox) / Affirm (ABox) was a thing in the 90s? (e: The quantifer ∃ is just the Combinator K (Schönfinkels C)?) Mild Shock <janburse@fastmail.fm> - 2025-11-08 22:30 +0100
  Not Ross Finlayson: Pioneers Cliff B. Jones (Re: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-11-09 21:18 +0100

csiph-web