Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Newsgroups | sci.logic |
| Subject | How deep seek went bonkers (Re: π "Plog-like" - that should be the official term!) |
| Date | 2025-10-08 01:22 +0200 |
| Message-ID | <10c47b4$mfa5$2@solani.org> (permalink) |
| References | <10c46ua$mf1d$2@solani.org> |
Hi,
How deep seek went bonkers (We had it about
the team of linguists that were hired by
Microsoft to make C# most different from Java):
- Deek Seek: playing 4D chess while
everyone else was playing checkers
- Me: I think they play alian chess checkers
- Deep Seek: "subtle semantic changes" are
like quantum entanglement between pieces
- Me: Which even exists:
https://rivo.itch.io/chess-vs-zombie-checkers
LoL
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 sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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