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

Groups > comp.lang.prolog > #13660 > unrolled thread

Re: The road to Artificial Intelligence

Back to article view | Back to comp.lang.prolog

This discussion starts older than the indexed window; earlier articles aren't shown. The article labeled Started by below is the oldest one visible, not the original post.

Contents

  Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-06-04 07:49 -0700
    Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-06-20 08:20 -0700
      Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-06-21 03:24 -0700
      Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-06-23 02:14 -0700
        Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-06-24 15:25 -0700
          Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-07-29 17:58 -0700
            Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-08-01 06:48 -0700
              Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-08-01 06:54 -0700
                Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-08-01 07:31 -0700
                  Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-08-02 02:02 -0700
                    Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-08-02 02:14 -0700
                      Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-08-02 02:20 -0700
                        Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-08-15 07:34 -0700
        Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-11-20 05:23 -0800
          Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-11-20 09:01 -0800
            Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-11-25 07:23 -0800
              Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-11-25 13:10 -0800
                Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-11-27 09:31 -0800
                  Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-11-28 21:47 -0800
                    Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-11-28 21:58 -0800
                      Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-11-28 23:33 -0800
                        Re: The road to Artificial Intelligence Mild Shock <bursejan@gmail.com> - 2023-11-30 15:43 -0800
        Zero Tokens comming out of me (Re: The road to Artificial Intelligence) Mild Shock <janburse@fastmail.fm> - 2024-10-30 16:47 +0100
      FYI: New Journal NAI (Was: The road to Artificial Intelligence) Mild Shock <janburse@fastmail.fm> - 2024-11-06 17:18 +0100
        The Bee Clock Model (Re: FYI: New Journal NAI) Mild Shock <janburse@fastmail.fm> - 2024-11-06 17:41 +0100
      ChatGPT for the Flintstones: Bloomberg (Re: The road to Artificial Intelligence) Mild Shock <janburse@fastmail.fm> - 2024-11-11 22:34 +0100
        Silicon Valley is the new Detroit (Re: ChatGPT for the Flintstones: Bloomberg) Mild Shock <janburse@fastmail.fm> - 2025-02-18 18:13 +0100
          Re: Silicon Valley is the new Detroit (Re: ChatGPT for the Flintstones: Bloomberg) Mild Shock <janburse@fastmail.fm> - 2025-02-18 18:14 +0100
    Minimal Logics in the 2020's: A Meteoric Rise (Was: The road to Artificial Intelligence) Mild Shock <janburse@fastmail.fm> - 2024-07-04 23:09 +0200
      The curse of Negri & Plato (Was: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-07-05 03:52 +0200
        Re: The curse of Negri & Plato (Was: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-07-05 03:54 +0200
          Euklid: Am I a joke to you? (Re: The curse of Negri & Plato) Mild Shock <janburse@fastmail.fm> - 2024-07-13 08:21 +0200
      Re: Minimal Logics in the 2020's: A Meteoric Rise (Was: The road to Artificial Intelligence) Mild Shock <janburse@fastmail.fm> - 2024-07-05 06:38 +0200
        Re: Minimal Logics in the 2020's: A Meteoric Rise (Was: The road to Artificial Intelligence) Mild Shock <janburse@fastmail.fm> - 2024-07-07 23:13 +0200
          Re: Minimal Logics in the 2020's: A Meteoric Rise (Was: The road to Artificial Intelligence) Mild Shock <janburse@fastmail.fm> - 2024-07-07 23:17 +0200
      French Philosophy in 2024 (Was: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-07-12 11:27 +0200
        Re: French Philosophy in 2024 (Was: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-07-12 11:37 +0200
          Corona isn't over 2024 (Was: French Philosophy in 2024) Mild Shock <janburse@fastmail.fm> - 2024-07-12 12:20 +0200
          Re: Corona isn't over 2024 (Was: French Philosophy in 2024) Mild Shock <janburse@fastmail.fm> - 2024-07-12 12:36 +0200
      The error in Jan von Platos presentation (Re: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-07-13 10:33 +0200
        Re: The error in Jan von Platos presentation (Re: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-07-13 10:58 +0200
          Re: The error in Jan von Platos presentation (Re: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-07-14 00:05 +0200
            Re: The error in Jan von Platos presentation (Re: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-07-14 00:14 +0200
      Distinction between Computation & Derivation (Was: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-07-22 12:55 +0200
      Prolegomena by Rappaport (Re: Minimal Logics in the 2020's: A Meteoric Rise (Was: The road to Artificial Intelligence)) Mild Shock <janburse@fastmail.fm> - 2024-07-31 22:15 +0200
        2nd Cognitive Turn ~~> no Bayesian Brain (Re: Prolegomena by Rappaport) Mild Shock <janburse@fastmail.fm> - 2024-08-03 22:50 +0200
          Ok I made a joke, sorry (e: 2nd Cognitive Turn ~~> no Bayesian Brain) Mild Shock <janburse@fastmail.fm> - 2024-08-03 23:29 +0200
            Re: Ok I made a joke, sorry (e: 2nd Cognitive Turn ~~> no Bayesian Brain) Mild Shock <janburse@fastmail.fm> - 2024-08-03 23:55 +0200
              bullshit bullshit bullshit (Re: Ok I made a joke, sorry) Mild Shock <janburse@fastmail.fm> - 2024-08-04 00:14 +0200
      The two rules (Was: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-08-04 00:57 +0200
      "Emotional AI" and "Spiritual AI" (Re: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-10-03 12:28 +0200
        Oh shit, too late! (Re: "Emotional AI" and "Spiritual AI" (Re: Minimal Logics in the 2020's: A Meteoric Rise)) Mild Shock <janburse@fastmail.fm> - 2024-10-03 12:40 +0200
    LLM and Prolog, a Marriage in Heaven? (Was: The road to Artificial Intelligence) Mild Shock <janburse@fastmail.fm> - 2024-08-04 22:10 +0200
      The anchoring problem in a real world philosopher (Was: LLM and Prolog, a Marriage in Heaven?) Mild Shock <janburse@fastmail.fm> - 2024-08-08 16:56 +0200
        Long life learning also for real world philosophers? (Re: The anchoring problem in a real world philosopher) Mild Shock <janburse@fastmail.fm> - 2024-08-08 17:18 +0200
    Prolog for the pre frontal context (PFC) (Was: The road to Artificial Intelligence) Mild Shock <janburse@fastmail.fm> - 2024-08-28 17:28 +0200
    Re: Prolog for the pre frontal cortex (PFC) (Was: The road to Artificial Intelligence) Mild Shock <janburse@fastmail.fm> - 2024-08-28 17:31 +0200
    No time for the hairdresser betweeen 09.06.2023 and 11.07.2024 (Re: The road to Artificial Intelligence) Mild Shock <janburse@fastmail.fm> - 2024-09-01 16:43 +0200
    Holy Shit: AI is cheaper than Humans (Was: The road to Artificial Intelligence) Mild Shock <janburse@fastmail.fm> - 2024-09-01 22:38 +0200
      AI robots from Disney (Was: Holy Shit: AI is cheaper than Humans) Mild Shock <janburse@fastmail.fm> - 2024-09-01 23:17 +0200
        I can't stand Mira Murati's Eyewash (Was: AI robots from Disney (Was: Holy Shit: AI is cheaper than Humans)) Mild Shock <janburse@fastmail.fm> - 2024-09-03 12:01 +0200
          After blue, green why not start yellow (Re: I can't stand Mira Murati's Eyewash) Mild Shock <janburse@fastmail.fm> - 2024-09-03 17:56 +0200
            miramurati bye bye (Re: After blue, green why not start yellow) Mild Shock <janburse@fastmail.fm> - 2024-09-25 22:09 +0200
              Im memoriam Doug Lenant (1950 - 2023) (Re: miramurati bye bye) Mild Shock <janburse@fastmail.fm> - 2024-12-01 00:56 +0100
                2026 the Year Prolog **plonked** Itself [Strawberry Prolog is back] (Was: Im memoriam Doug Lenant (1950 - 2023)) Mild Shock <janburse@fastmail.fm> - 2026-02-04 02:20 +0100
                  Spies and Playboys: Don't use insecure E-mail [https://www.jmail.world/ Example] Mild Shock <janburse@fastmail.fm> - 2026-02-04 11:19 +0100
                  Some ANTHEM Cringe Nonsense [More Dead Horses] (Was: 2026 the Year Prolog **plonked** Itself [Strawberry Prolog is back]) Mild Shock <janburse@fastmail.fm> - 2026-02-05 09:53 +0100
                    Gecode: Guns N' Roses - Dead Horse (Was: Some ANTHEM Cringe Nonsense [More Dead Horses]) Mild Shock <janburse@fastmail.fm> - 2026-02-05 10:21 +0100
                  2026 the Year golang lost its Marbles (Was: 2026 the Year Prolog **plonked** Itself [Strawberry Prolog is back]) Mild Shock <janburse@fastmail.fm> - 2026-02-14 09:53 +0100
                    Mark V. Shaney caused Julio Di Egidio Suicide (Re: 2026 the Year golang lost its Marble) Mild Shock <janburse@fastmail.fm> - 2026-02-14 12:51 +0100
                      Is Causal AI simply ReLU (Geoffrey E. Hinton 2010) (Re: Mark V. Shaney caused Julio Di Egidio Suicide) Mild Shock <janburse@fastmail.fm> - 2026-02-17 11:37 +0100
                        Gen Alpha will grow up with Causal AI (Was: Is Causal AI simply ReLU (Geoffrey E. Hinton 2010)) Mild Shock <janburse@fastmail.fm> - 2026-02-19 20:00 +0100
                        LRM moving from FOM to TCS [Lean Prover] (Was: Is Causal AI simply ReLU (Geoffrey E. Hinton 2010))) Mild Shock <janburse@fastmail.fm> - 2026-02-27 10:20 +0100
                          Original Subject established by Chinese Scientists [Extenics] (Re: LRM moving from FOM to TCS [Lean Prover]) Mild Shock <janburse@fastmail.fm> - 2026-02-28 16:36 +0100
                          DeepSeekMath: From psychophysischer Parallelismus to GPRO (Re: Odysseus PTSD: Does Function need Consistency?) Mild Shock <janburse@fastmail.fm> - 2026-03-06 02:29 +0100
              "superhumaness" excels "stackoverflow reputation" (Was: Im memoriam Doug Lenant (1950 - 2023) Mild Shock <janburse@fastmail.fm> - 2024-12-01 01:08 +0100
                para-governemental institution of violence (Re: "superhumaness" excels "stackoverflow reputation") Mild Shock <janburse@fastmail.fm> - 2024-12-01 11:42 +0100
                Not only $TSLA is on fire sale! [The Decline of Prolog] (Was: "superhumaness" excels "stackoverflow reputation") Mild Shock <janburse@fastmail.fm> - 2025-03-14 13:37 +0100
                  Re: Not only $TSLA is on fire sale! [The Decline of Prolog] (Was: "superhumaness" excels "stackoverflow reputation") Mild Shock <janburse@fastmail.fm> - 2025-03-14 14:06 +0100
                  Splitting up the Prologue to Prolog Mild Shock <janburse@fastmail.fm> - 2025-05-19 10:54 +0200
      Safe Superintelligence (SSI): Now they are dancing Mild Shock <janburse@fastmail.fm> - 2024-09-05 19:51 +0200
        Re: Safe Superintelligence (SSI): Now they are dancing Mild Shock <janburse@fastmail.fm> - 2024-09-05 23:51 +0200
          Salem Aleikum: Maxwella's Equations Mild Shock <janburse@fastmail.fm> - 2024-09-09 13:15 +0200
            non judicium, sed latrocinium (Re: Salem Aleikum: Maxwella's Equations) Mild Shock <janburse@fastmail.fm> - 2024-09-10 08:58 +0200
          Internet was made for cats (Re: Safe Superintelligence (SSI): Now they are dancing) Mild Shock <janburse@fastmail.fm> - 2024-09-13 12:58 +0200
            I was there, 3000 years ago (Re: Internet was made for cats) Mild Shock <janburse@fastmail.fm> - 2024-09-13 13:01 +0200
              Even Haitians are now voting for Trump (Re: I was there, 3000 years ago (Re: Internet was made for cats)) Mild Shock <janburse@fastmail.fm> - 2024-09-13 13:04 +0200
            supply chain attack (Was: Internet was made for cats( Mild Shock <janburse@fastmail.fm> - 2024-09-17 22:18 +0200
              Polyfill Supply Chain Attack (Was: supply chain attack) Mild Shock <janburse@fastmail.fm> - 2024-10-11 09:12 +0200
      USA is shitting its pants (Was: Holy Shit: AI is cheaper than Humans) Mild Shock <janburse@fastmail.fm> - 2024-09-16 00:20 +0200
        scryer prolog is dead, BILAI instead? (Was: USA is shitting its pants) Mild Shock <janburse@fastmail.fm> - 2024-09-18 15:45 +0200
          Microsoft is plagiarizing my Invention [LLMs under the hood] Mild Shock <janburse@fastmail.fm> - 2024-10-08 16:00 +0200
            Geoffrey Hinton / Nobelpreis für Physik [Re: Microsoft is plagiarizing my Invention [LLMs under the hood]] Mild Shock <janburse@fastmail.fm> - 2024-10-08 16:03 +0200
          thank you for the FLOPs (Was: scryer prolog is dead, BILAI instead?) Mild Shock <janburse@fastmail.fm> - 2024-12-01 14:34 +0100
            Is old school mode directed compilation dead? (Was: thank you for the FLOPs) Mild Shock <janburse@fastmail.fm> - 2025-01-24 17:57 +0100
              Re: Is old school mode directed compilation dead? (Was: thank you for the FLOPs) Mild Shock <janburse@fastmail.fm> - 2025-01-24 17:58 +0100
                format/2 doesn't agree with Trealla or SWI (Was: Is old school mode directed compilation dead?) Mild Shock <janburse@fastmail.fm> - 2025-01-25 14:13 +0100
                DCG Translation with Unification Spillling (Was: Is old school mode directed compilation dead?) Mild Shock <janburse@fastmail.fm> - 2025-01-25 20:44 +0100
                  Re: DCG Translation with Unification Spillling (Was: Is old school mode directed compilation dead?) Mild Shock <janburse@fastmail.fm> - 2025-01-25 20:44 +0100
            Will WASM be fast some time? (Was: thank you for the FLOPs) Mild Shock <janburse@fastmail.fm> - 2025-03-04 10:09 +0100
              Re: Will WASM be fast some time? (Was: thank you for the FLOPs) Mild Shock <janburse@fastmail.fm> - 2025-03-04 10:13 +0100
        Book Project: WomanLogic (Re: USA is shitting its pants) Mild Shock <janburse@fastmail.fm> - 2024-11-14 22:25 +0100
          Re: Book Project: WomanLogic (Re: USA is shitting its pants) Mild Shock <janburse@fastmail.fm> - 2024-11-14 22:26 +0100
    Happy Birthday 75 Years of Artificial Intelligence Mild Shock <janburse@fastmail.fm> - 2024-10-23 01:18 +0200
      Does ChatGPT know the difference between "k" and "kkkkkkkkkk"? Mild Shock <janburse@fastmail.fm> - 2024-10-23 01:18 +0200
      What is it like to be a Bat? Mild Shock <janburse@fastmail.fm> - 2024-10-23 22:35 +0200
        How Monkeys see the World (Re: What is it like to be a Bat?) Mild Shock <janburse@fastmail.fm> - 2024-10-23 22:45 +0200
      Low-Code Penetration Prediction (Re: Happy Birthday 75 Years of Artificial Intelligence) Mild Shock <janburse@fastmail.fm> - 2024-10-30 23:09 +0100

Page 5 of 6 — ← Prev page 1 2 3 4 [5] 6  Next page →

#14182 — Safe Superintelligence (SSI): Now they are dancing

Hi,

SAN FRANCISCO/NEW YORK, Sept 4 - Safe
Superintelligence (SSI), newly co-founded by OpenAI's
former chief scientist Ilya Sutskever, has raised $1
billion in cash to help develop safe artificial
intelligence systems that far surpass human
capabilities, company executives told Reuters.
https://www.reuters.com/technology/artificial-intelligence/openai-co-founder-sutskevers-new-safety-focused-ai-startup-ssi-raises-1-billion-2024-09-04/

Now they are dancing
https://twitter.com/AIForHumansShow/status/1831465601782706352

Bye

Mild Shock schrieb:
> 
> The carbon emissions of writing and illustrating
> are lower for AI than for humans
> https://www.nature.com/articles/s41598-024-54271-x
> 
> Perplexity CEO Aravind Srinivas says that the cost per
> query in AI models has decreased by 100x in the past
> 2 years and quality will improve as hallucinations
> decrease 10x per year
> https://twitter.com/tsarnick/status/1830045611036721254
> 
> Disclaimer: Can't verify the later claim... need to find a paper.
> 
> 
> Mild Shock schrieb:
>>
>> Your new Scrum Master is here! - ChatGPT, 2023
>> https://www.bbntimes.com/companies/ai-will-make-agile-coaches-and-scrum-masters-redundant-in-less-than-2-years 
>>
>>
>> LoL
>>
>> Thomas Alva Edison schrieb am Dienstag, 10. Juli 2018 um 15:28:05 UTC+2:
>>> Prolog Class Signpost - American Style 2018
>>> https://www.youtube.com/watch?v=CxQKltWI0NA
> 

[toc] | [prev] | [next] | [standalone]

#14183 — Re: Safe Superintelligence (SSI): Now they are dancing

Its amazing how we are in the mists of new buzzwords
such as superintelligence, superhuman, etc… I used
the term “long inferencing” in one post somewhere

for a combination of LLM with a more capable inferencing,
compared to current LLMs that rather show “short inferencing”.
Then just yesterday its was Strawberry and Orion, as the

next leap by OpenAI. Is the leap getting out of control?
OpenAI wanted to do “Superalignment” but lost a figure head.
Now there is new company which wants to do safety-focused

non-narrow AI. But they chose another name. If I translate
superhuman to German I might end with “Übermensch”,
first used by Nietzsche and later by Hitler and the

Nazi regime. How ironic!

Nick Bostrom - Superintelligence
https://www.orellfuessli.ch/shop/home/artikeldetails/A1037878459

Mild Shock schrieb:
> Hi,
> 
> SAN FRANCISCO/NEW YORK, Sept 4 - Safe
> Superintelligence (SSI), newly co-founded by OpenAI's
> former chief scientist Ilya Sutskever, has raised $1
> billion in cash to help develop safe artificial
> intelligence systems that far surpass human
> capabilities, company executives told Reuters.
> https://www.reuters.com/technology/artificial-intelligence/openai-co-founder-sutskevers-new-safety-focused-ai-startup-ssi-raises-1-billion-2024-09-04/ 
> 
> 
> Now they are dancing
> https://twitter.com/AIForHumansShow/status/1831465601782706352
> 
> Bye

[toc] | [prev] | [next] | [standalone]

#14184 — Salem Aleikum: Maxwella's Equations

Hi,

Not sure whether this cinematic master piece
contains a rendition when I was hunted recently
by a virus and had some hypomanic episodes.

But the chapter "Electromagnetic Waves" is fun:

Three Thousand Years of Longing
https://youtu.be/id8-z5vANvc?si=h3mvNLs11UuY8HnD&t=3881

Bye

Mild Shock schrieb:
> 
> Its amazing how we are in the mists of new buzzwords
> such as superintelligence, superhuman, etc… I used
> the term “long inferencing” in one post somewhere
> 
> for a combination of LLM with a more capable inferencing,
> compared to current LLMs that rather show “short inferencing”.
> Then just yesterday its was Strawberry and Orion, as the
> 
> next leap by OpenAI. Is the leap getting out of control?
> OpenAI wanted to do “Superalignment” but lost a figure head.
> Now there is new company which wants to do safety-focused
> 
> non-narrow AI. But they chose another name. If I translate
> superhuman to German I might end with “Übermensch”,
> first used by Nietzsche and later by Hitler and the
> 
> Nazi regime. How ironic!
> 
> Nick Bostrom - Superintelligence
> https://www.orellfuessli.ch/shop/home/artikeldetails/A1037878459
> 
> Mild Shock schrieb:
>> Hi,
>>
>> SAN FRANCISCO/NEW YORK, Sept 4 - Safe
>> Superintelligence (SSI), newly co-founded by OpenAI's
>> former chief scientist Ilya Sutskever, has raised $1
>> billion in cash to help develop safe artificial
>> intelligence systems that far surpass human
>> capabilities, company executives told Reuters.
>> https://www.reuters.com/technology/artificial-intelligence/openai-co-founder-sutskevers-new-safety-focused-ai-startup-ssi-raises-1-billion-2024-09-04/ 
>>
>>
>> Now they are dancing
>> https://twitter.com/AIForHumansShow/status/1831465601782706352
>>
>> Bye

[toc] | [prev] | [next] | [standalone]

#14185 — non judicium, sed latrocinium (Re: Salem Aleikum: Maxwella's Equations)

Hi,

That a Djin can procreate with a Human,
looks like variation of this theme:

Die „Räubersynode" von Ephesos
https://www.youtube.com/watch?v=giIGyg07UO0

But how is Artificial Intelligence born?

Bye

Mild Shock schrieb:
> Hi,
> 
> Not sure whether this cinematic master piece
> contains a rendition when I was hunted recently
> by a virus and had some hypomanic episodes.
> 
> But the chapter "Electromagnetic Waves" is fun:
> 
> Three Thousand Years of Longing
> https://youtu.be/id8-z5vANvc?si=h3mvNLs11UuY8HnD&t=3881
> 
> Bye
> 
> Mild Shock schrieb:
>>
>> Its amazing how we are in the mists of new buzzwords
>> such as superintelligence, superhuman, etc… I used
>> the term “long inferencing” in one post somewhere
>>
>> for a combination of LLM with a more capable inferencing,
>> compared to current LLMs that rather show “short inferencing”.
>> Then just yesterday its was Strawberry and Orion, as the
>>
>> next leap by OpenAI. Is the leap getting out of control?
>> OpenAI wanted to do “Superalignment” but lost a figure head.
>> Now there is new company which wants to do safety-focused
>>
>> non-narrow AI. But they chose another name. If I translate
>> superhuman to German I might end with “Übermensch”,
>> first used by Nietzsche and later by Hitler and the
>>
>> Nazi regime. How ironic!
>>
>> Nick Bostrom - Superintelligence
>> https://www.orellfuessli.ch/shop/home/artikeldetails/A1037878459
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> SAN FRANCISCO/NEW YORK, Sept 4 - Safe
>>> Superintelligence (SSI), newly co-founded by OpenAI's
>>> former chief scientist Ilya Sutskever, has raised $1
>>> billion in cash to help develop safe artificial
>>> intelligence systems that far surpass human
>>> capabilities, company executives told Reuters.
>>> https://www.reuters.com/technology/artificial-intelligence/openai-co-founder-sutskevers-new-safety-focused-ai-startup-ssi-raises-1-billion-2024-09-04/ 
>>>
>>>
>>> Now they are dancing
>>> https://twitter.com/AIForHumansShow/status/1831465601782706352
>>>
>>> Bye
> 

[toc] | [prev] | [next] | [standalone]

#14186 — Internet was made for cats (Re: Safe Superintelligence (SSI): Now they are dancing)

Trump: They're eating the dogs, the cats
https://www.youtube.com/watch?v=5llMaZ80ErY

https://twitter.com/search?q=trump+cat

[toc] | [prev] | [next] | [standalone]

#14187 — I was there, 3000 years ago (Re: Internet was made for cats)

Hi,

MIS is acronym for management information systems.
In the past, people from MIS, offered consulting by means
balanced scorecard, which could be benefitial for companies:

Balanced Scorecard
https://en.wikipedia.org/wiki/Balanced_scorecard

Now after big data, artificial intelligence, etc.. we can
do text scraping and venture into Luhmanns Autopoiesis,
d.h. Selbsterhaltung durch Nabelschau:

Are we on the right track? an update to Lyytinen
et al.’s commentary on why the old world cannot publish
https://www.tandfonline.com/doi/pdf/10.1080/0960085X.2021.1940324

LoL

Gruss, Jan

P.S.: Autopoiesis
Autopoietische Systeme erzeugen und ermöglichen sich
selbst. "Als autopoietisch wollen wir Systeme bezeichnen, die
die Elemente, aus denen sie bestehen, durch die Elementen,
aus denen sie bestehen, selbst produzieren und reproduzieren. (...)
Ein autopoietisches System ist ein selbstreferenziell-zirkulär
geschlossener Zusammenhang von Operationen."
https://luhmann.fandom.com/de/wiki/Autopoiesis

Mild Shock schrieb:
> 
> Trump: They're eating the dogs, the cats
> https://www.youtube.com/watch?v=5llMaZ80ErY
> 
> https://twitter.com/search?q=trump+cat

[toc] | [prev] | [next] | [standalone]

#14188 — Even Haitians are now voting for Trump (Re: I was there, 3000 years ago (Re: Internet was made for cats))

Hi,

Given this theory from cognitive science, Trump
did a "home run" during his encounter with Kamala.
The internet was made for cats:

"The anchoring effect is a psychological phenomenon in
which an individual's judgments or decisions are influenced
by a reference point or "anchor" which can be completely irrelevant."
https://en.wikipedia.org/wiki/Anchoring_effect

But not only Trump wants to get a foothold in my
brain. Apple is spamming me with Artificial Intelligence
everywhere suggestions:

"Den nächsten Schritt in deiner schulischen Laufbahn
zu absolvieren, ist aufregend und herausfordernd zugleich.
KI-gestützte Tools haben das Potenzial, dir die meisten deiner
Studien zu erleichtern und eine steile Lernkurve zu ermöglichen."
https://apps.apple.com/ch/story/id1749178332

Suggesting its the new normal to use AI in schools and
university. Not stigmatized, rather a unique selling proposition.

Bye

Mild Shock schrieb:
> Hi,
> 
> MIS is acronym for management information systems.
> In the past, people from MIS, offered consulting by means
> balanced scorecard, which could be benefitial for companies:
> 
> Balanced Scorecard
> https://en.wikipedia.org/wiki/Balanced_scorecard
> 
> Now after big data, artificial intelligence, etc.. we can
> do text scraping and venture into Luhmanns Autopoiesis,
> d.h. Selbsterhaltung durch Nabelschau:
> 
> Are we on the right track? an update to Lyytinen
> et al.’s commentary on why the old world cannot publish
> https://www.tandfonline.com/doi/pdf/10.1080/0960085X.2021.1940324
> 
> LoL
> 
> Gruss, Jan
> 
> P.S.: Autopoiesis
> Autopoietische Systeme erzeugen und ermöglichen sich
> selbst. "Als autopoietisch wollen wir Systeme bezeichnen, die
> die Elemente, aus denen sie bestehen, durch die Elementen,
> aus denen sie bestehen, selbst produzieren und reproduzieren. (...)
> Ein autopoietisches System ist ein selbstreferenziell-zirkulär
> geschlossener Zusammenhang von Operationen."
> https://luhmann.fandom.com/de/wiki/Autopoiesis
> 
> Mild Shock schrieb:
>>
>> Trump: They're eating the dogs, the cats
>> https://www.youtube.com/watch?v=5llMaZ80ErY
>>
>> https://twitter.com/search?q=trump+cat
> 

[toc] | [prev] | [next] | [standalone]

#14191 — supply chain attack (Was: Internet was made for cats(

How it started:

How Hezbollah used pagers and couriers to counter
July 9, 2024
https://www.reuters.com/world/middle-east/pagers-drones-how-hezbollah-aims-counter-israels-high-tech-surveillance-2024-07-09/

How its going:

What we know about the Hezbollah pager explosions
Sept 17, 2024
https://www.bbc.com/news/articles/cz04m913m49o

Mild Shock schrieb:
> 
> Trump: They're eating the dogs, the cats
> https://www.youtube.com/watch?v=5llMaZ80ErY
> 
> https://twitter.com/search?q=trump+cat

[toc] | [prev] | [next] | [standalone]

#14226 — Polyfill Supply Chain Attack (Was: supply chain attack)

Shitty JavaScript "Ecosystem":

The Internet Archive Has Been Hacked - October 10, 2024
https://hackaday.com/2024/10/10/the-internet-archive-has-been-hacked/

Polyfill Supply Chain Attack: Details and Fixes - July 9, 2024
https://fossa.com/blog/polyfill-supply-chain-attack-details-fixes/

Mild Shock schrieb:
> 
> How it started:
> 
> How Hezbollah used pagers and couriers to counter
> July 9, 2024
> https://www.reuters.com/world/middle-east/pagers-drones-how-hezbollah-aims-counter-israels-high-tech-surveillance-2024-07-09/ 
> 
> 
> How its going:
> 
> What we know about the Hezbollah pager explosions
> Sept 17, 2024
> https://www.bbc.com/news/articles/cz04m913m49o
> 
> Mild Shock schrieb:
>>
>> Trump: They're eating the dogs, the cats
>> https://www.youtube.com/watch?v=5llMaZ80ErY
>>
>> https://twitter.com/search?q=trump+cat
> 

[toc] | [prev] | [next] | [standalone]

#14189 — USA is shitting its pants (Was: Holy Shit: AI is cheaper than Humans)

You know USA has a problem,
when Oracle enters the race:

To source the 131,072 GPU Al "supercluster,"
Larry Ellison, appealed directly to Jensen Huang,
during a dinner joined by Elon Musk at Nobu.
"I would describe the dinner as me and Elon
begging Jensen for GPUs. Please take our money.
We need you to take more of our money. Please!”
https://twitter.com/benitoz/status/1834741314740756621

Meanwhile a contender in Video GenAI
FLUX.1 from Germany, Hurray! With Open Source:

OK. Now I'm Scared... AI Better Than Reality
https://www.youtube.com/watch?v=cvMAVWDD-DU

Mild Shock schrieb:
> 
> The carbon emissions of writing and illustrating
> are lower for AI than for humans
> https://www.nature.com/articles/s41598-024-54271-x
> 
> Perplexity CEO Aravind Srinivas says that the cost per
> query in AI models has decreased by 100x in the past
> 2 years and quality will improve as hallucinations
> decrease 10x per year
> https://twitter.com/tsarnick/status/1830045611036721254
> 
> Disclaimer: Can't verify the later claim... need to find a paper.
> 
> 
> Mild Shock schrieb:
>>
>> Your new Scrum Master is here! - ChatGPT, 2023
>> https://www.bbntimes.com/companies/ai-will-make-agile-coaches-and-scrum-masters-redundant-in-less-than-2-years 
>>
>>
>> LoL
>>
>> Thomas Alva Edison schrieb am Dienstag, 10. Juli 2018 um 15:28:05 UTC+2:
>>> Prolog Class Signpost - American Style 2018
>>> https://www.youtube.com/watch?v=CxQKltWI0NA
> 

[toc] | [prev] | [next] | [standalone]

#14192 — scryer prolog is dead, BILAI instead? (Was: USA is shitting its pants)

The biggest flop in logic programming
history, scryer prolog is dead. The poor
thing is a prolog system without garbage

collection, not very useful. So how will
Austria get out of all this?
With 50 PhDs and 10 Postdocs?

"To develop its foundations, BILAI employs a
Bilateral AI approach, effectively combining
sub-symbolic AI (neural networks and machine learning)
with symbolic AI (logic, knowledge representation,
and reasoning) in various ways."

https://www.bilateral-ai.net/jobs/.

LoL

Mild Shock schrieb:
> 
> You know USA has a problem,
> when Oracle enters the race:
> 
> To source the 131,072 GPU Al "supercluster,"
> Larry Ellison, appealed directly to Jensen Huang,
> during a dinner joined by Elon Musk at Nobu.
> "I would describe the dinner as me and Elon
> begging Jensen for GPUs. Please take our money.
> We need you to take more of our money. Please!”
> https://twitter.com/benitoz/status/1834741314740756621
> 
> Meanwhile a contender in Video GenAI
> FLUX.1 from Germany, Hurray! With Open Source:
> 
> OK. Now I'm Scared... AI Better Than Reality
> https://www.youtube.com/watch?v=cvMAVWDD-DU
> 
> Mild Shock schrieb:
>>
>> The carbon emissions of writing and illustrating
>> are lower for AI than for humans
>> https://www.nature.com/articles/s41598-024-54271-x
>>
>> Perplexity CEO Aravind Srinivas says that the cost per
>> query in AI models has decreased by 100x in the past
>> 2 years and quality will improve as hallucinations
>> decrease 10x per year
>> https://twitter.com/tsarnick/status/1830045611036721254
>>
>> Disclaimer: Can't verify the later claim... need to find a paper.
>>
>>
>> Mild Shock schrieb:
>>>
>>> Your new Scrum Master is here! - ChatGPT, 2023
>>> https://www.bbntimes.com/companies/ai-will-make-agile-coaches-and-scrum-masters-redundant-in-less-than-2-years 
>>>
>>>
>>> LoL
>>>
>>> Thomas Alva Edison schrieb am Dienstag, 10. Juli 2018 um 15:28:05 UTC+2:
>>>> Prolog Class Signpost - American Style 2018
>>>> https://www.youtube.com/watch?v=CxQKltWI0NA
>>
> 

[toc] | [prev] | [next] | [standalone]

#14213 — Microsoft is plagiarizing my Invention [LLMs under the hood]

will probably never get a Turing Award or something
for what I did 23 years ago. Why is its reading
count on research gate suddently going up?

Knowledge, Planning and Language,
November 2001

I guess because of this, the same topic takled by
Microsofts recent model GRIN. Shit. I really should
find some investor and pump up a start up!

"Mixture-of-Experts (MoE) models scale more
effectively than dense models due to sparse
computation through expert routing, selectively
activating only a small subset of expert modules."
https://arxiv.org/pdf/2409.12136

But somehow I am happy with my dolce vita as
it is now... Or maybe I am decepting myself?

P.S.: From the GRIN paper, here you see how
expert domains modules relate with each other:

Figure 6 (b): MoE Routing distribution similarity
across MMLU 57 tasks for the control recipe.

[toc] | [prev] | [next] | [standalone]

#14214 — Geoffrey Hinton / Nobelpreis für Physik [Re: Microsoft is plagiarizing my Invention [LLMs under the hood]]

Maybe these guys were earlier:

Jacobs, R. A., Jordan, M. I., Nowlan, S. J., and Hinton,
G. E. Adaptive mixtures of local experts.
Neural Computation, 1991.

And more connectionist than my symbolic approach.

Disclaimer: Never read the paper yet.

Mild Shock schrieb:
> will probably never get a Turing Award or something
> for what I did 23 years ago. Why is its reading
> count on research gate suddently going up?
> 
> Knowledge, Planning and Language,
> November 2001
> 
> I guess because of this, the same topic takled by
> Microsofts recent model GRIN. Shit. I really should
> find some investor and pump up a start up!
> 
> "Mixture-of-Experts (MoE) models scale more
> effectively than dense models due to sparse
> computation through expert routing, selectively
> activating only a small subset of expert modules."
> https://arxiv.org/pdf/2409.12136
> 
> But somehow I am happy with my dolce vita as
> it is now... Or maybe I am decepting myself?
> 
> P.S.: From the GRIN paper, here you see how
> expert domains modules relate with each other:
> 
> Figure 6 (b): MoE Routing distribution similarity
> across MMLU 57 tasks for the control recipe.

[toc] | [prev] | [next] | [standalone]

#14342 — thank you for the FLOPs (Was: scryer prolog is dead, BILAI instead?)

Hi,

Given that Scryer Prolog is dead.
This made me smile, traces of Scryer Prolog

are found in FLOPs 2024 proceedings:

7th International Symposium, FLOPS 2024,
Kumamoto, Japan, May 15–17, 2024, Proceedings
https://www.cs.ox.ac.uk/jeremy.gibbons/flops2024.pdf

So why did it flop? Missing garbage collection
in the Prolog System? Or did or is it to estimate
that ChatGPT will also kill Scryer Prolog?

Or simply a problem of using Rust as the
underlying host language?

Bye

Mild Shock schrieb:
> 
> The biggest flop in logic programming
> history, scryer prolog is dead. The poor
> thing is a prolog system without garbage
> 
> collection, not very useful. So how will
> Austria get out of all this?
> With 50 PhDs and 10 Postdocs?
> 
> "To develop its foundations, BILAI employs a
> Bilateral AI approach, effectively combining
> sub-symbolic AI (neural networks and machine learning)
> with symbolic AI (logic, knowledge representation,
> and reasoning) in various ways."
> 
> https://www.bilateral-ai.net/jobs/.
> 
> LoL
> 
> Mild Shock schrieb:
>>
>> You know USA has a problem,
>> when Oracle enters the race:
>>
>> To source the 131,072 GPU Al "supercluster,"
>> Larry Ellison, appealed directly to Jensen Huang,
>> during a dinner joined by Elon Musk at Nobu.
>> "I would describe the dinner as me and Elon
>> begging Jensen for GPUs. Please take our money.
>> We need you to take more of our money. Please!”
>> https://twitter.com/benitoz/status/1834741314740756621
>>
>> Meanwhile a contender in Video GenAI
>> FLUX.1 from Germany, Hurray! With Open Source:
>>
>> OK. Now I'm Scared... AI Better Than Reality
>> https://www.youtube.com/watch?v=cvMAVWDD-DU
>>
>> Mild Shock schrieb:
>>>
>>> The carbon emissions of writing and illustrating
>>> are lower for AI than for humans
>>> https://www.nature.com/articles/s41598-024-54271-x
>>>
>>> Perplexity CEO Aravind Srinivas says that the cost per
>>> query in AI models has decreased by 100x in the past
>>> 2 years and quality will improve as hallucinations
>>> decrease 10x per year
>>> https://twitter.com/tsarnick/status/1830045611036721254
>>>
>>> Disclaimer: Can't verify the later claim... need to find a paper.
>>>
>>>
>>> Mild Shock schrieb:
>>>>
>>>> Your new Scrum Master is here! - ChatGPT, 2023
>>>> https://www.bbntimes.com/companies/ai-will-make-agile-coaches-and-scrum-masters-redundant-in-less-than-2-years 
>>>>
>>>>
>>>> LoL
>>>>
>>>> Thomas Alva Edison schrieb am Dienstag, 10. Juli 2018 um 15:28:05 
>>>> UTC+2:
>>>>> Prolog Class Signpost - American Style 2018
>>>>> https://www.youtube.com/watch?v=CxQKltWI0NA
>>>
>>
> 

[toc] | [prev] | [next] | [standalone]

#14421 — Is old school mode directed compilation dead? (Was: thank you for the FLOPs)

Hi,

Just noticed that SICStus Prolog says that
their mode declaration is a dummy declaration,
does nothing. Now I tried whether I can force

SWI Prolog to accept different manually compiled clauses:

test1(X,Y) :- Y = j(C,D), g(C) = A, h(D) = B, f(A,B) = X.

test2(X,Y) :- X = f(A,B), A = g(C), B = h(D), j(C,D) = Y.

Difficult to archive in SWI-Prolog, since it
orders unification on its own, test1/2 and test2/2
will behave the same, since they are essentially the same:

/* SWI-Prolog 9.3.19 */
?- listing(test1/2), listing(test2/2).
test1(f(A, B), j(C, D)) :-
     A=g(C),
     B=h(D).

test2(f(A, B), j(C, D)) :-
     A=g(C),
     B=h(D).

But maybe not necessary since SWI-Prolog has an
advanced instruction set and advanced Prolog
logical variable representation?

Bye

Mild Shock schrieb:
> Hi,
> 
> Given that Scryer Prolog is dead.
> This made me smile, traces of Scryer Prolog
> 
> are found in FLOPs 2024 proceedings:
> 
> 7th International Symposium, FLOPS 2024,
> Kumamoto, Japan, May 15–17, 2024, Proceedings
> https://www.cs.ox.ac.uk/jeremy.gibbons/flops2024.pdf
> 
> So why did it flop? Missing garbage collection
> in the Prolog System? Or did or is it to estimate
> that ChatGPT will also kill Scryer Prolog?
> 
> Or simply a problem of using Rust as the
> underlying host language?
> 
> Bye

[toc] | [prev] | [next] | [standalone]

#14422 — Re: Is old school mode directed compilation dead? (Was: thank you for the FLOPs)

Hi,

Would need more testing but the
present example is immune:

/* SWI-Prolog 9.3.19 */
?- X = f(g(1),h(2)), time((between(1,1000000,_), test1(X, Y), fail; true)).
% 1,999,998 inferences, 0.094 CPU in 0.100 seconds (93% CPU, 21333312 Lips)

?- X = f(g(1),h(2)), time((between(1,1000000,_), test2(X, Y), fail; true)).
% 1,999,998 inferences, 0.094 CPU in 0.100 seconds (93% CPU, 21333312 Lips)

?- Y = j(1,2), time((between(1,1000000,_), test1(X, Y), fail; true)).
% 1,999,998 inferences, 0.109 CPU in 0.100 seconds (109% CPU, 18285696 Lips)

?- Y = j(1,2), time((between(1,1000000,_), test2(X, Y), fail; true)).
% 1,999,998 inferences, 0.094 CPU in 0.102 seconds (92% CPU, 21333312 Lips)

Not all Prolog systems are that lucky:

/* Scryer Prolog 0.9.4-286 */
?- X = f(g(1),h(2)), time((between(1,1000000,_), test1(X, Y), fail; true)).
    % CPU time: 1.163s, 11_000_108 inferences

?- X = f(g(1),h(2)), time((between(1,1000000,_), test2(X, Y), fail; true)).
    % CPU time: 1.248s, 11_000_131 inferences

?- Y = j(1,2), time((between(1,1000000,_), test1(X, Y), fail; true)).
    % CPU time: 0.979s, 11_000_131 inferences

?- Y = j(1,2), time((between(1,1000000,_), test2(X, Y), fail; true)).
    % CPU time: 1.338s, 11_000_131 inferences

Bye

Mild Shock schrieb:
> Hi,
> 
> Just noticed that SICStus Prolog says that
> their mode declaration is a dummy declaration,
> does nothing. Now I tried whether I can force
> 
> SWI Prolog to accept different manually compiled clauses:
> 
> test1(X,Y) :- Y = j(C,D), g(C) = A, h(D) = B, f(A,B) = X.
> 
> test2(X,Y) :- X = f(A,B), A = g(C), B = h(D), j(C,D) = Y.
> 
> Difficult to archive in SWI-Prolog, since it
> orders unification on its own, test1/2 and test2/2
> will behave the same, since they are essentially the same:
> 
> /* SWI-Prolog 9.3.19 */
> ?- listing(test1/2), listing(test2/2).
> test1(f(A, B), j(C, D)) :-
>      A=g(C),
>      B=h(D).
> 
> test2(f(A, B), j(C, D)) :-
>      A=g(C),
>      B=h(D).
> 
> But maybe not necessary since SWI-Prolog has an
> advanced instruction set and advanced Prolog
> logical variable representation?
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Given that Scryer Prolog is dead.
>> This made me smile, traces of Scryer Prolog
>>
>> are found in FLOPs 2024 proceedings:
>>
>> 7th International Symposium, FLOPS 2024,
>> Kumamoto, Japan, May 15–17, 2024, Proceedings
>> https://www.cs.ox.ac.uk/jeremy.gibbons/flops2024.pdf
>>
>> So why did it flop? Missing garbage collection
>> in the Prolog System? Or did or is it to estimate
>> that ChatGPT will also kill Scryer Prolog?
>>
>> Or simply a problem of using Rust as the
>> underlying host language?
>>
>> Bye
> 
> 

[toc] | [prev] | [next] | [standalone]

#14423 — format/2 doesn't agree with Trealla or SWI (Was: Is old school mode directed compilation dead?)

Possibly it does round away from zero and not half-even:

/* Trealla Prolog 2.63.33 & SWI-Prolog 9.0.4 */
?- format('~0f ~0f', [1.5, 2.5]), nl.
2 2

/* Scryer Prolog 0.9.4-286 */
?- format("~0f ~0f", [1.5, 2.5]), nl.
1 2

Pitty there is no Prolog Improvement Proposals (PIP) for format/2.

https://prolog-lang.org/ImplementersForum/PIPs

[toc] | [prev] | [next] | [standalone]

#14424 — DCG Translation with Unification Spillling (Was: Is old school mode directed compilation dead?)

Hi,

Lets say there are at least two unification
spilling rewriting techniques in a Prolog system
that would eliminate a (=)/2 call:

/* Left Spilling into the Head */
p(V, Q) :- V = T, ...         ~~>            p(T, Q) :- ...

/* Right Spilling into a Goal */
..., V = T, p(V, Q), ...      ~~>            ..., p(T, Q), ...

Maybe the head movement and the indexing benefit
in SWI-Prolog was discovered because of DCG translation
and not to eliminate mode directed compilation.

Take this DCG rule:

p --> [a], !, [b].

I find that SWI-Prolog does left spilling:

/* SWI-Prolog 9.3.19 */
?- listing(p/2).
p([a|A], B) :-
     !,
     C=A,
     C=[b|B].

Bye

Mild Shock schrieb:
> Hi,
> 
> Would need more testing but the
> present example is immune:
> 
> /* SWI-Prolog 9.3.19 */
> ?- X = f(g(1),h(2)), time((between(1,1000000,_), test1(X, Y), fail; true)).
> % 1,999,998 inferences, 0.094 CPU in 0.100 seconds (93% CPU, 21333312 Lips)
> 
> ?- X = f(g(1),h(2)), time((between(1,1000000,_), test2(X, Y), fail; true)).
> % 1,999,998 inferences, 0.094 CPU in 0.100 seconds (93% CPU, 21333312 Lips)
> 
> ?- Y = j(1,2), time((between(1,1000000,_), test1(X, Y), fail; true)).
> % 1,999,998 inferences, 0.109 CPU in 0.100 seconds (109% CPU, 18285696 
> Lips)
> 
> ?- Y = j(1,2), time((between(1,1000000,_), test2(X, Y), fail; true)).
> % 1,999,998 inferences, 0.094 CPU in 0.102 seconds (92% CPU, 21333312 Lips)
> 
> Not all Prolog systems are that lucky:
> 
> /* Scryer Prolog 0.9.4-286 */
> ?- X = f(g(1),h(2)), time((between(1,1000000,_), test1(X, Y), fail; true)).
>     % CPU time: 1.163s, 11_000_108 inferences
> 
> ?- X = f(g(1),h(2)), time((between(1,1000000,_), test2(X, Y), fail; true)).
>     % CPU time: 1.248s, 11_000_131 inferences
> 
> ?- Y = j(1,2), time((between(1,1000000,_), test1(X, Y), fail; true)).
>     % CPU time: 0.979s, 11_000_131 inferences
> 
> ?- Y = j(1,2), time((between(1,1000000,_), test2(X, Y), fail; true)).
>     % CPU time: 1.338s, 11_000_131 inferences
> 
> Bye

[toc] | [prev] | [next] | [standalone]

#14425 — Re: DCG Translation with Unification Spillling (Was: Is old school mode directed compilation dead?)

I made a little experiment introducing both
left spilling and right spilling into a DCG
translator, which previously had neither:

/* Dogelog Player 1.3.0 */
?- listing(p/2).
p([a|A], B) :-
    !,
    A = [b|B].

Now my benchmark suite DCG calculator runs 25% faster!

Mild Shock schrieb:
> Hi,
> 
> Lets say there are at least two unification
> spilling rewriting techniques in a Prolog system
> that would eliminate a (=)/2 call:
> 
> /* Left Spilling into the Head */
> p(V, Q) :- V = T, ...         ~~>            p(T, Q) :- ...
> 
> /* Right Spilling into a Goal */
> ..., V = T, p(V, Q), ...      ~~>            ..., p(T, Q), ...
> 
> Maybe the head movement and the indexing benefit
> in SWI-Prolog was discovered because of DCG translation
> and not to eliminate mode directed compilation.
> 
> Take this DCG rule:
> 
> p --> [a], !, [b].
> 
> I find that SWI-Prolog does left spilling:
> 
> /* SWI-Prolog 9.3.19 */
> ?- listing(p/2).
> p([a|A], B) :-
>      !,
>      C=A,
>      C=[b|B].
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Would need more testing but the
>> present example is immune:
>>
>> /* SWI-Prolog 9.3.19 */
>> ?- X = f(g(1),h(2)), time((between(1,1000000,_), test1(X, Y), fail; 
>> true)).
>> % 1,999,998 inferences, 0.094 CPU in 0.100 seconds (93% CPU, 21333312 
>> Lips)
>>
>> ?- X = f(g(1),h(2)), time((between(1,1000000,_), test2(X, Y), fail; 
>> true)).
>> % 1,999,998 inferences, 0.094 CPU in 0.100 seconds (93% CPU, 21333312 
>> Lips)
>>
>> ?- Y = j(1,2), time((between(1,1000000,_), test1(X, Y), fail; true)).
>> % 1,999,998 inferences, 0.109 CPU in 0.100 seconds (109% CPU, 18285696 
>> Lips)
>>
>> ?- Y = j(1,2), time((between(1,1000000,_), test2(X, Y), fail; true)).
>> % 1,999,998 inferences, 0.094 CPU in 0.102 seconds (92% CPU, 21333312 
>> Lips)
>>
>> Not all Prolog systems are that lucky:
>>
>> /* Scryer Prolog 0.9.4-286 */
>> ?- X = f(g(1),h(2)), time((between(1,1000000,_), test1(X, Y), fail; 
>> true)).
>>     % CPU time: 1.163s, 11_000_108 inferences
>>
>> ?- X = f(g(1),h(2)), time((between(1,1000000,_), test2(X, Y), fail; 
>> true)).
>>     % CPU time: 1.248s, 11_000_131 inferences
>>
>> ?- Y = j(1,2), time((between(1,1000000,_), test1(X, Y), fail; true)).
>>     % CPU time: 0.979s, 11_000_131 inferences
>>
>> ?- Y = j(1,2), time((between(1,1000000,_), test2(X, Y), fail; true)).
>>     % CPU time: 1.338s, 11_000_131 inferences
>>
>> Bye
> 

[toc] | [prev] | [next] | [standalone]

#14464 — Will WASM be fast some time? (Was: thank you for the FLOPs)

Hi,

I wonder wether WASM will be fast some time.
I found this paper which draws a rather dim picture,
but the paper is already a little bit old:

Understanding the Performance of WebAssembly Application
Weihang Wang et al. - 2021
https://weihang-wang.github.io/papers/imc21.pdf

The take away is more or less that jitted JavaScript has
same speed as WASM. With sometimes WASM more favorable
outcome for Firefox than for Chrome and Edge:

Java Script 	Chrome	Firefox	Edge
D.1 Exec. Time (ms)	45.57	48.26	63.62
M.2 Exec. Time (ms)	249.60	167.03	201.68

WASM	Chrome	Firefox	Edge
D.1 Exec. Time (ms)	65.23	39.65	83.53
M.2 Exec. Time (ms)	233.08	345.98	192.87

Bye

Mild Shock schrieb:
> Hi,
> 
> Given that Scryer Prolog is dead.
> This made me smile, traces of Scryer Prolog
> 
> are found in FLOPs 2024 proceedings:
> 
> 7th International Symposium, FLOPS 2024,
> Kumamoto, Japan, May 15–17, 2024, Proceedings
> https://www.cs.ox.ac.uk/jeremy.gibbons/flops2024.pdf
> 
> So why did it flop? Missing garbage collection
> in the Prolog System? Or did or is it to estimate
> that ChatGPT will also kill Scryer Prolog?
> 
> Or simply a problem of using Rust as the
> underlying host language?
> 
> Bye
> 
> Mild Shock schrieb:
>>
>> The biggest flop in logic programming
>> history, scryer prolog is dead. The poor
>> thing is a prolog system without garbage
>>
>> collection, not very useful. So how will
>> Austria get out of all this?
>> With 50 PhDs and 10 Postdocs?
>>
>> "To develop its foundations, BILAI employs a
>> Bilateral AI approach, effectively combining
>> sub-symbolic AI (neural networks and machine learning)
>> with symbolic AI (logic, knowledge representation,
>> and reasoning) in various ways."
>>
>> https://www.bilateral-ai.net/jobs/.
>>
>> LoL
>>
>> Mild Shock schrieb:
>>>
>>> You know USA has a problem,
>>> when Oracle enters the race:
>>>
>>> To source the 131,072 GPU Al "supercluster,"
>>> Larry Ellison, appealed directly to Jensen Huang,
>>> during a dinner joined by Elon Musk at Nobu.
>>> "I would describe the dinner as me and Elon
>>> begging Jensen for GPUs. Please take our money.
>>> We need you to take more of our money. Please!”
>>> https://twitter.com/benitoz/status/1834741314740756621
>>>
>>> Meanwhile a contender in Video GenAI
>>> FLUX.1 from Germany, Hurray! With Open Source:
>>>
>>> OK. Now I'm Scared... AI Better Than Reality
>>> https://www.youtube.com/watch?v=cvMAVWDD-DU
>>>
>>> Mild Shock schrieb:
>>>>
>>>> The carbon emissions of writing and illustrating
>>>> are lower for AI than for humans
>>>> https://www.nature.com/articles/s41598-024-54271-x
>>>>
>>>> Perplexity CEO Aravind Srinivas says that the cost per
>>>> query in AI models has decreased by 100x in the past
>>>> 2 years and quality will improve as hallucinations
>>>> decrease 10x per year
>>>> https://twitter.com/tsarnick/status/1830045611036721254
>>>>
>>>> Disclaimer: Can't verify the later claim... need to find a paper.
>>>>
>>>>
>>>> Mild Shock schrieb:
>>>>>
>>>>> Your new Scrum Master is here! - ChatGPT, 2023
>>>>> https://www.bbntimes.com/companies/ai-will-make-agile-coaches-and-scrum-masters-redundant-in-less-than-2-years 
>>>>>
>>>>>
>>>>> LoL
>>>>>
>>>>> Thomas Alva Edison schrieb am Dienstag, 10. Juli 2018 um 15:28:05 
>>>>> UTC+2:
>>>>>> Prolog Class Signpost - American Style 2018
>>>>>> https://www.youtube.com/watch?v=CxQKltWI0NA
>>>>
>>>
>>
> 

[toc] | [prev] | [next] | [standalone]

Page 5 of 6 — ← Prev page 1 2 3 4 [5] 6  Next page →

Back to top | Article view | comp.lang.prolog

csiph-web