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


Groups > sci.logic > #341800

Not for Boris the Loris and Julio the Nazi Retared (Re: More Dreams: LLM + Chess = LRM)

From Mild Shock <janburse@fastmail.fm>
Newsgroups sci.logic
Subject Not for Boris the Loris and Julio the Nazi Retared (Re: More Dreams: LLM + Chess = LRM)
Date 2025-10-25 13:09 +0200
Message-ID <10dib5h$ib29$2@solani.org> (permalink)
References <10c46ua$mf1d$2@solani.org> <10dd7gb$f6qh$2@solani.org> <10dda5b$f8jr$2@solani.org> <10dfhgp$gk7c$2@solani.org> <10dia2v$iabv$2@solani.org>

Show all headers | View raw


Hi,

Well the approach is nothing for Boris
the Loris and Julio the Nazi Retared.
They already had their brains blown out,

by simple chess set-up:

Proponent: Kuniaki Mukai, claiming a compare/3
   implementation for rational trees
Opponent: Jan Burse, Using Fuzzy Testing to exhibt
   couter models

So I guess the Prolog community, especially
SWI-Prolog disciples that are payed trolls
by Putin, are not fit at all for LRM?

Bye

Mild Shock schrieb:
> Hi,
> 
> How it started:
> 
> Sweet dreams are made of this
> Who am I to disagree?
> I travel the world and the seven seas
> Everybody's looking for something
> https://www.youtube.com/watch?v=qeMFqkcPYcg
> 
> How its going:
> 
> Towards Large Reasoning Models
> “If there is a severe deficit of language,
> there will be severe deficit of thought”
> — Noam Chomsky
> https://arxiv.org/abs/2501.09686
> 
> Bye
> 
> P.S.:
> LLM = Large Language Model
> LRM = Large Reasoning Model
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Its tricky. Now I am getting back to the core question,
>> who  has an advantage in the AI race, AMD, Intel or
>> NVIDIA. Why did OpenAI choose AMD?
>>
>> If one digs deeper and asks whether there exists
>> virtualization not only for GPUs, but also for
>> TPUs (Tensor CPUs) or NPUs (Neural CPUs).
>>
>> This is all still very much in the dark. Some companies
>> even don't publish their APIs yet. For GPUs AMD
>> has MxGPU, is a PCIe-based GPU virtualization
>>
>> technology using SR-IOV. But for NPUs AMD could
>> use FPGA fabric, which they acquired through Xilinx
>> in 2022. Quite amazing to watch what problems and
>>
>> solutions cloud computing is currently facing.
>>
>> Bye

Back to sci.logic | Previous | NextPrevious 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: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