Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.prolog > #14588
| 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> |
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 | Next — Previous in thread | Next in thread | Find similar | Unroll 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