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

Groups > comp.lang.prolog > #14979

From Vibe-Coding to Vibe-Sniffing (Re: Backdoor Monkeys from Eternal September)

From Mild Shock <janburse@fastmail.fm>
Newsgroups comp.lang.prolog
Subject From Vibe-Coding to Vibe-Sniffing (Re: Backdoor Monkeys from Eternal September)
Date 2025-11-07 11:06 +0100
Message-ID <10ekgbh$2s3l$2@solani.org> (permalink)
References <10c46ti$mf1d$1@solani.org> <10ejf1f$16k87$1@solani.org> <10ekdaj$2pqc$1@solani.org>

Show all headers | View raw

Hi,

Ok the idea is trivial. Vibecoding is pair
programming, with an AI counterpart. But what
is Vibesniffing? Ok, now we finally hit the

critique expert system domain. First study this:

Mondrian Code Review On The Web
Google Tech Talks - Guido van Rossum
November 30, 2006
https://www.youtube.com/watch?v=sMql3Di4Kgc

Vibesniffing would be with an AI counterpart. Like
AI Gerrit etc.. Doesn’t look like LiquidHaskell
has made it an imprint here? ChatGPT thinks since

LiquidHaskell is not made for "how code feels".
I strongly oppose to this view. Code review
could be inherently fuzzy, since most

software evolves through:

- Imperfect requirements
- Imperfect code
- Iterative refinement
- Etc.. etc..

Bye

Mild Shock schrieb:
> Hi,
> 
> Thats why open source slowly becomes a failure.
> Because it is full of nickname shape shifters,
> that hide behind anonymity. SWI-Prolog is no
> 
> exception. A bunch of anonymous crack heads.
> Its not some Script Kiddies. They are basically
> mafia hackers. And if you have some high CPU
> 
> process that doesn't automatically go away,
> you possibly got a backdoor via an opensource project.
> Sovereign Tech Fund (STF) will not help, since
> 
> they will shy away from loosing their anonymity.
> And after all the mafia hackers are also well
> endowed, have their own funding.
> 
> Bye
> 
> ------------------ cut here ----------------
> 
> Hi,
> 
> Also fuck off nickname shape shifters.
> Especially this asshole, which I
> will soon *Plonk*:
> 
> Organization: A noiseless patient Spider
> Injection-Info: dont-email.me; 
> posting-host="89eb5213555265f5de5e65431b3817e6";
>      logging-data="1360340"; 
> mail-complaints-to="abuse@eternal-september.org"; 
> posting-account="U2FsdGVkX1+74X4OBoKm5CsTcGnfiMiu"
> From: Franz Sneijders <ee@ard.nl>
> 
> Organization: A noiseless patient Spider
> Injection-Info: dont-email.me; 
> posting-host="d11c789dab5cab76649f04ffd47020b6";
>      logging-data="1532278"; 
> mail-complaints-to="abuse@eternal-september.org"; 
> posting-account="U2FsdGVkX18qJKVbq/ApuA5gOdGYcYvx"
> From: Mariano Amelsvoort <aa@viollr.nl>
> 
> Bye
> 
> ------------------ cut here ----------------
> 
> 
> Mild Shock schrieb:
>>
>> In halls of Cambriddge, where catnip sways,
>> Sat pioneers lost in existential haze.
>> “Here lies a term!” they cried, “both bound and free,
>> A bag of possibilities, as far as we see.”
>>
>> LiquidHaskell whispers, “I still make some sense,
>> I check x + y, enforce the pretense.
>> But only 1% — the rest, pure ado,
>> Existentials and predicates, I haven’t a clue.”
>>
>> Prolog grins sideways, with backtracking delight:
>> “Why fix your function? Let each path take flight!
>> X and Y and Z — all three may roam,
>> I’ll find a solution, or many, for home.”
>>
>> Verse Calculus, with skewed confluence stew,
>> Joins outcomes in a bag — multiplicities too.
>> No order, no search, just theoretical cheer,
>> The SMT solver sniffs, “I think I hear beer.”
>>
>> Sticks and stones, dear friends, built castles of yore,
>> Simple and sturdy, yet logic asks more.
>> Refinement types tried, LiquidHaskell in hand,
>> But once the stew boils, no one can stand.
>>
>> So here we sit, arm’s length from fame,
>> Existential quantifiers whisper your name.
>> A mockery? Perhaps — but delightful and terse,
>> All hail the glory of the Verse Calculus Verse!
>>
>> 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 | Unroll thread

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
      Forget your Sputnik Commodore C64 with 8088 [Logic Tiling] (Re: Hyperspectral Measurements for Inter-Calibration) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:29 +0200
        Train yourself to become a nosomatic AI chirurgeon (Re: Forget your Sputnik Commodore C64 with 8088 [Logic Tiling]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:40 +0200
        Re: Forget your Sputnik Commodore C64 with 8088 [Logic Tiling] (Re: Hyperspectral Measurements for Inter-Calibration) Lane W <cactus_DAC@yahoo.com> - 2026-07-27 08:07 -0600
      Brova you enjoy made up nonsense? [Einstein tech cult] (Re: Hyperspectral Measurements for Inter-Calibration (Re: Logtalk big time salami slicing) Mild Shock <janburse@fastmail.fm> - 2026-07-27 17:08 +0200
        NVIDIA Einstein and Q8.24 RGB Values [Earth and Star Gazers] (Re: Brova you enjoy made up nonsense?) Mild Shock <janburse@fastmail.fm> - 2026-07-27 17:33 +0200
          Just lookup orbital AI and SpaceX (Re: NVIDIA Einstein and Q8.24 RGB Values) Mild Shock <janburse@fastmail.fm> - 2026-07-27 17:38 +0200
        Re: Brova you enjoy made up nonsense? [Einstein tech cult] (Re: Hyperspectral Measurements for Inter-Calibration (Re: Logtalk big time salami slicing) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 18:55 -0700
  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