Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > sci.logic > #341590

πŸ˜‚ "Plog-like" - that should be the official term!

From Mild Shock <janburse@fastmail.fm>
Newsgroups sci.logic
Subject πŸ˜‚ "Plog-like" - that should be the official term!
Date 2025-10-08 01:15 +0200
Message-ID <10c46ua$mf1d$2@solani.org> (permalink)

Show all headers | View raw


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 sci.logic | Previous | NextNext in thread | Find similar | Unroll thread


Thread

πŸ˜‚ "Plog-like" - that should be the official term! Mild Shock <janburse@fastmail.fm> - 2025-10-08 01:15 +0200
  How deep seek went bonkers (Re: πŸ˜‚ "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-10-08 01:22 +0200
  Declarative farts versus MSI Claw AI+, who would win? (Re: πŸ˜‚ "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-10-23 14:36 +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:21 +0200
      The intelligent Cloud, Fog and Edge is evolving (Re: Gameified AI Engineers brains blown out [Kurzweil's 2045 Prediction]) Mild Shock <janburse@fastmail.fm> - 2025-10-24 11:39 +0200
        More Dreams: LLM + Chess = LRM (Re: The intelligent Cloud, Fog and Edge is evolving) Mild Shock <janburse@fastmail.fm> - 2025-10-25 12:51 +0200
          Not for Boris the Loris and Julio the Nazi Retared (Re: More Dreams: LLM + Chess = LRM) Mild Shock <janburse@fastmail.fm> - 2025-10-25 13:09 +0200
    Logtalks Corleone "olive oil business" [Missed the DOP Bandwagon] (Re: Declarative farts versus MSI Claw AI+) Mild Shock <janburse@fastmail.fm> - 2026-04-29 11:33 +0200
      Logtalk is over engineered in a bad sense [Where are the test results] (Re: Logtalks Corleone "olive oil business") Mild Shock <janburse@fastmail.fm> - 2026-04-29 11:53 +0200
        Logtalk just creates its own island of PlUnit (Was: Logtalk is over engineered in a bad sense) Mild Shock <janburse@fastmail.fm> - 2026-04-29 12:08 +0200
          The mechanic with the Vacuum Hypothesis (Re: Logtalk just creates its own island of PlUnit) Mild Shock <janburse@fastmail.fm> - 2026-04-29 12:52 +0200
            Layoff Tsunami and Defunding Rounds [Burger jobs] (Re: The mechanic with the Vacuum Hypothesis) Mild Shock <janburse@fastmail.fm> - 2026-04-29 13:18 +0200
  Arrow Functions can do Existential Quantifier (Re: πŸ˜‚ "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-11-06 14:27 +0100
    Resolving Ambiguity in Negation as Failure (Re: Arrow Functions can do Existential Quantifier) Mild Shock <janburse@fastmail.fm> - 2025-11-06 14:28 +0100
      Future Outlook of Logic Programming (Re: Resolving Ambiguity in Negation as Failure) Mild Shock <janburse@fastmail.fm> - 2025-11-06 14:30 +0100
  2025 Obituary: Skew Confluence (aka β€œStews” πŸ˜†) (Re: πŸ˜‚ "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-11-07 01:40 +0100
    Backdoor Monkeys from Eternal September (Re: 2025 Obituary: Skew Confluence (aka β€œStews” πŸ˜†)) Mild Shock <janburse@fastmail.fm> - 2025-11-07 10:17 +0100
      From Vibe-Coding to Vibe-Sniffing (Was: Backdoor Monkeys from Eternal September) Mild Shock <janburse@fastmail.fm> - 2025-11-07 11:05 +0100
    From Feferman to Peyton Jones, no luck with βˆƒ (Re: 2025 Obituary: Skew Confluence (aka β€œStews” πŸ˜†)) Mild Shock <janburse@fastmail.fm> - 2025-11-08 20:34 +0100
      The quantifer βˆƒ is just the Combinator K (SchΓΆnfinkels C)? (Was: From Feferman to Peyton Jones, no luck with βˆƒ) Mild Shock <janburse@fastmail.fm> - 2025-11-08 21:05 +0100

csiph-web