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


Groups > comp.lang.prolog > #14588

Teachers have better quality than Nerds (Was: constant caching test case / Prolog orthodoxification)

From Mild Shock <janburse@fastmail.fm>
Newsgroups comp.lang.prolog
Subject Teachers have better quality than Nerds (Was: constant caching test case / Prolog orthodoxification)
Date 2025-06-24 01:12 +0200
Message-ID <103cn1e$16inj$1@solani.org> (permalink)
References <1034bs9$1364p$1@solani.org> <103cmll$16ih4$1@solani.org>

Show all headers | View raw


Hi,

Of course Teachers have better quality
than Nerds when they formulate questions.
Better reseacherd. But the goal of a teacher

is always orthodoxification. So ensentially
SWI-Prolog discourse is abused as a wiki,
with dozen of questions and answer harnessing

hundred of links. The food that teachers need.

Bye

P.S.: Its obvious what is killed in the process:
- Get rid of silly WAM and ZIP!
- Going towards web 2.0 with Prolog
- The AU Boom and Prolog
- What else...?

Mild Shock schrieb:
> Hi,
> 
> Now SWI-Prolog has amassed 1/4 Million of
> student notebooks, the SWI-Prolog discourse
> has become a cest pool of stupid teachers
> 
> asking stupid questions. Development and
> innovation in Prolog has totally stalled.
> All Prolog systems are based on completely
> 
> silly WAM or ZIP, and cannot run this trivial
> constant caching test case in linear time:
> 
> data(1,[0,1,2,3,4,5,6,7,8,9]).
> data(2,[0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9]).
> data(3,[0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9]).
> 
> test(N) :- between(1,1000000,_), data(N, _), fail; true.
> 
> Here some results:
> 
> /* Trealla Prolog 2.74.10 */
> 
> ?- between(1,3,N), time(test(N)), fail; true.
> % Time elapsed 0.236s, 3000004 Inferences, 12.692 MLips
> % Time elapsed 0.318s, 3000004 Inferences, 9.429 MLips
> % Time elapsed 0.371s, 3000004 Inferences, 8.095 MLips
> 
> /* Scryer Prolog 0.9.4-411 */
> 
> ?- between(1,3,N), time(test(N)), fail; true.
>     % CPU time: 0.793s, 7_000_100 inferences
>     % CPU time: 1.150s, 7_000_100 inferences
>     % CPU time: 1.481s, 7_000_100 inferences
> 
> Guess what formerly Jekejeke Prolog and Dogelog
> Player show? They are not based on WAM or ZIP.
> Its rather DAM, Dogelog Abtract Machine.
> 
> Bye
> 
> Mild Shock schrieb:
>> Web 2.0 is all about incremental content!
>>
>>  > don’t think it could really do
>>  > the “ghost text” effect.
>>
>> It wouldn’t do the ghost text, only assist
>> it. There was a misunderstanding how “ghost
>> texts” work. Maybe you were thinking, that
>> the “ghost text” is part of the first response.
>>
>> But usually the “ghost text” is a second response:
>>
>>  > waiting for completion candidates to be suggested
>>
>> Well you don’t use it for your primary
>> typing completion which is preferably fast.
>> The first response might give context information,
>> for the second request which provides a
>> different type of completion.
>>
>> But the first response is not responsible
>> for any timing towards the second request.
>> That anyway happens in the client. And it
>> doesn’t hurt if the first response is
>> from a stupid channel.
>>
>> Web 2.0 is all about incremental content!
> 

Back to comp.lang.prolog | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

Prolog missed the Web 2.0 Bandwagon Mild Shock <janburse@fastmail.fm> - 2025-06-20 21:13 +0200
  IntelliJ just created Mellum, its open source (Was: Prolog missed the Web 2.0 Bandwagon) Mild Shock <janburse@fastmail.fm> - 2025-06-20 21:18 +0200
    Re: IntelliJ just created Mellum, its open source (Was: Prolog missed the Web 2.0 Bandwagon) Mild Shock <janburse@fastmail.fm> - 2025-06-20 21:41 +0200
      timers and tasks testing framework Node.js v20.0.0] (Was: IntelliJ just created Mellum, its open source) Mild Shock <janburse@fastmail.fm> - 2025-06-23 13:05 +0200
        The magical "async" keyword again [Node.js v20.0.0] (Was: timers and tasks testing framework [Node.js v20.0.0]) Mild Shock <janburse@fastmail.fm> - 2025-06-23 13:10 +0200
          OpenAPI Specification (OAS) goes full Monty [AsyncAPI] (Was: The magical "async" keyword again [Node.js v20.0.0]) Mild Shock <janburse@fastmail.fm> - 2025-06-24 08:16 +0200
          OpenAPI Specification (OAS) goes full Monty [AsyncAPI] (Was: The magical "async" keyword again [Node.js v20.0.0]) Mild Shock <janburse@fastmail.fm> - 2025-06-24 08:17 +0200
  constant caching test case / Prolog orthodoxification (Was: Prolog missed the Web 2.0 Bandwagon) Mild Shock <janburse@fastmail.fm> - 2025-06-24 01:06 +0200
    Teachers have better quality than Nerds (Was: constant caching test case / Prolog orthodoxification) Mild Shock <janburse@fastmail.fm> - 2025-06-24 01:12 +0200
      ISO is loosing it because it gives in to Teachers (Was: Teachers have better quality than Nerds) Mild Shock <janburse@fastmail.fm> - 2025-06-24 01:26 +0200
        Where APIs Meet AI: Building Tomorrow's Intelligent Ecosystems (Was: ISO is loosing it because it gives in to Teachers) Mild Shock <janburse@fastmail.fm> - 2025-06-24 08:24 +0200
  A library(pio) for the Web 2.0 (Was: Prolog missed the Web 2.0 Bandwagon) Mild Shock <janburse@fastmail.fm> - 2025-06-25 15:17 +0200
    Corr. (Was: A library(pio) for the Web 2.0) Mild Shock <janburse@fastmail.fm> - 2025-06-25 15:19 +0200

csiph-web