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

Groups > comp.lang.javascript > #40104 > unrolled thread

Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff

Started by"Michael Haufe (TNO)" <tno@thenewobjective.com>
First post2021-05-24 19:25 -0700
Last post2021-05-25 11:42 -0700
Articles 5 on this page of 45 — 6 participants

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

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: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-24 19:25 -0700
    Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 09:34 +0200
      Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-25 06:11 -0700
        Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 18:35 +0200
          Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-25 11:06 -0700
            Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 20:28 +0200
              Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 20:30 +0200
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-25 11:39 -0700
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-25 11:38 -0700
                  Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 20:47 +0200
                    Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 20:54 +0200
                      Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 20:59 +0200
                        Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 21:03 +0200
                        Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Jon Ribbens <jon+usenet@unequivocal.eu> - 2021-05-25 19:42 +0000
                          Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 22:05 +0200
                            Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 22:27 +0200
                          Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 22:01 +0200
                          Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Arno Welzel <usenet@arnowelzel.de> - 2021-06-13 17:53 +0200
                    Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-25 11:51 -0700
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 20:34 +0200
                  Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Mark-" <nospam@mapson.xyz> - 2021-05-26 01:11 +0000
                    Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-26 08:33 +0200
                      Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-26 08:37 +0200
                        Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Arno Welzel <usenet@arnowelzel.de> - 2021-06-13 18:06 +0200
                      Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-26 06:14 -0700
                        Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Jon Ribbens <jon+usenet@unequivocal.eu> - 2021-05-26 13:21 +0000
                          Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-26 06:38 -0700
                            Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Jon Ribbens <jon+usenet@unequivocal.eu> - 2021-05-26 13:56 +0000
                              Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-26 07:08 -0700
                                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Jon Ribbens <jon+usenet@unequivocal.eu> - 2021-05-26 14:15 +0000
                                  Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-26 07:34 -0700
                                    Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Jon Ribbens <jon+usenet@unequivocal.eu> - 2021-05-26 16:00 +0000
                                      Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-26 09:50 -0700
                                        Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Jon Ribbens <jon+usenet@unequivocal.eu> - 2021-05-26 19:12 +0000
                                    Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Arno Welzel <usenet@arnowelzel.de> - 2021-06-13 18:31 +0200
                                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Arno Welzel <usenet@arnowelzel.de> - 2021-06-13 18:25 +0200
                            Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Arno Welzel <usenet@arnowelzel.de> - 2021-06-13 18:18 +0200
                    Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-26 08:29 +0200
                      Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Arno Welzel <usenet@arnowelzel.de> - 2021-06-13 17:55 +0200
                        Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-06-13 10:03 -0700
                        Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <bursejan@gmail.com> - 2021-06-13 10:07 -0700
                          Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <bursejan@gmail.com> - 2021-06-13 10:12 -0700
                            Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <bursejan@gmail.com> - 2021-06-13 10:18 -0700
                              Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <bursejan@gmail.com> - 2021-06-30 11:18 -0700
              Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-25 11:42 -0700

Page 3 of 3 — ← Prev page 1 2 [3]

#40215

FromMostowski Collapse <bursejan@gmail.com>
Date2021-06-13 10:07 -0700
Message-ID<bd42a6d4-3e1c-4abd-af97-9349677b324bn@googlegroups.com>
In reply to#40209
Frankly I also dont like this website:
http://pointedears.de/scripts/faq/cljs/

It has a background color from Netscape default 25
years ago, neither dark mode nor light mode.

Just joking.

Here is the original charter of comp.lang.javascript

[...]
"The proposed comp.lang.javascript will be open to discussion on all
aspects of JavaScript, as it relates to HTML, Java, Perl, the World
Wide Web in general, and **other related languages**. The scope of
discussion will specifically exclude matters which are *solely*
related to Sun Microsystems, Inc.'s Java language, which should be
discussed in comp.lang.java."
[...]
http://pointedears.de/scripts/faq/cljs/faq_notes/cljs_charter.html

**other related languages** can mean a lot. Java saw the
evolution of JVM language, means the JVM became used
for languages such as Groovy, Kotlin, etc.. 

I am not sure whether JavaScript does also see such a 
trend. There is an interesting technology bundled with
JavaScript, namely WebAssembly.

There was an old prototype of SWI-Prolog ported to
WebAssembly but it didn't have bignum. I tried myself using
CheerpJ to run a Java based Prolog, but the results

werent very satisficing. This is a new try on directly
using the JavaScript platform. 

Arno Welzel schrieb am Sonntag, 13. Juni 2021 um 17:55:34 UTC+2:
> Mostowski Collapse:
> > Nothing wrong with the name Dogelog, 
> > Jon Ribbens doesn't like it, so what.
> Well - design is matter of taste (except when violating accessibility 
> guidelines). But there are also technical errors: 
> 
> <https://validator.w3.org/nu/?doc=https%3A%2F%2Fthenewobjective.com%2F>
> -- 
> Arno Welzel 
> https://arnowelzel.de

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

#40216

FromMostowski Collapse <bursejan@gmail.com>
Date2021-06-13 10:12 -0700
Message-ID<67162b2a-397b-42d8-9240-d5f6b871a3ccn@googlegroups.com>
In reply to#40215
The proof of concept already has Prolog bignum support
via primitive JavaScript bignums. You can try and paste the 
following into the Dogelog textarea at http://www.dogelog.ch/

and then press the Dogelog "Try it" button: 

fact(0, 1) :- !.
fact(N, X) :-
    M is N-1, fact(M, Y),
    X is N*Y.

:- fact(100, X), write(X), nl.

It will happily show:

93326215443944152681699238856266700490
71596826438162146859296389521759999322
99156089414639761565182862536979208272
23758251185210916864000000000000000000
000000

Enjoy!

Mostowski Collapse schrieb am Sonntag, 13. Juni 2021 um 19:07:57 UTC+2:
> Frankly I also dont like this website: 
> http://pointedears.de/scripts/faq/cljs/ 
> 
> It has a background color from Netscape default 25 
> years ago, neither dark mode nor light mode. 
> 
> Just joking. 
> 
> Here is the original charter of comp.lang.javascript 
> 
> [...] 
> "The proposed comp.lang.javascript will be open to discussion on all 
> aspects of JavaScript, as it relates to HTML, Java, Perl, the World 
> Wide Web in general, and **other related languages**. The scope of 
> discussion will specifically exclude matters which are *solely* 
> related to Sun Microsystems, Inc.'s Java language, which should be 
> discussed in comp.lang.java." 
> [...] 
> http://pointedears.de/scripts/faq/cljs/faq_notes/cljs_charter.html 
> 
> **other related languages** can mean a lot. Java saw the 
> evolution of JVM language, means the JVM became used 
> for languages such as Groovy, Kotlin, etc.. 
> 
> I am not sure whether JavaScript does also see such a 
> trend. There is an interesting technology bundled with 
> JavaScript, namely WebAssembly. 
> 
> There was an old prototype of SWI-Prolog ported to 
> WebAssembly but it didn't have bignum. I tried myself using 
> CheerpJ to run a Java based Prolog, but the results 
> 
> werent very satisficing. This is a new try on directly 
> using the JavaScript platform.
> Arno Welzel schrieb am Sonntag, 13. Juni 2021 um 17:55:34 UTC+2: 
> > Mostowski Collapse: 
> > > Nothing wrong with the name Dogelog, 
> > > Jon Ribbens doesn't like it, so what. 
> > Well - design is matter of taste (except when violating accessibility 
> > guidelines). But there are also technical errors: 
> > 
> > <https://validator.w3.org/nu/?doc=https%3A%2F%2Fthenewobjective.com%2F> 
> > -- 
> > Arno Welzel 
> > https://arnowelzel.de

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

#40217

FromMostowski Collapse <bursejan@gmail.com>
Date2021-06-13 10:18 -0700
Message-ID<d16236be-5200-49ac-b720-3aab99aae9d9n@googlegroups.com>
In reply to#40216
I am using a blend of smallint primitive and bignum primitive
to realize the ALU (Arithmetic Logic Unit). Not yet sure 

how I will deal with floats, to make the ALU later 
ISO core standard Prolog conforming.

Mostowski Collapse schrieb am Sonntag, 13. Juni 2021 um 19:12:25 UTC+2:
> The proof of concept already has Prolog bignum support 
> via primitive JavaScript bignums. You can try and paste the 
> following into the Dogelog textarea at http://www.dogelog.ch/ 
> 
> and then press the Dogelog "Try it" button: 
> 
> fact(0, 1) :- !. 
> fact(N, X) :- 
> M is N-1, fact(M, Y), 
> X is N*Y. 
> 
> :- fact(100, X), write(X), nl. 
> 
> It will happily show: 
> 
> 93326215443944152681699238856266700490 
> 71596826438162146859296389521759999322 
> 99156089414639761565182862536979208272 
> 23758251185210916864000000000000000000 
> 000000 
> 
> Enjoy!
> Mostowski Collapse schrieb am Sonntag, 13. Juni 2021 um 19:07:57 UTC+2: 
> > Frankly I also dont like this website: 
> > http://pointedears.de/scripts/faq/cljs/ 
> > 
> > It has a background color from Netscape default 25 
> > years ago, neither dark mode nor light mode. 
> > 
> > Just joking. 
> > 
> > Here is the original charter of comp.lang.javascript 
> > 
> > [...] 
> > "The proposed comp.lang.javascript will be open to discussion on all 
> > aspects of JavaScript, as it relates to HTML, Java, Perl, the World 
> > Wide Web in general, and **other related languages**. The scope of 
> > discussion will specifically exclude matters which are *solely* 
> > related to Sun Microsystems, Inc.'s Java language, which should be 
> > discussed in comp.lang.java." 
> > [...] 
> > http://pointedears.de/scripts/faq/cljs/faq_notes/cljs_charter.html 
> > 
> > **other related languages** can mean a lot. Java saw the 
> > evolution of JVM language, means the JVM became used 
> > for languages such as Groovy, Kotlin, etc.. 
> > 
> > I am not sure whether JavaScript does also see such a 
> > trend. There is an interesting technology bundled with 
> > JavaScript, namely WebAssembly. 
> > 
> > There was an old prototype of SWI-Prolog ported to 
> > WebAssembly but it didn't have bignum. I tried myself using 
> > CheerpJ to run a Java based Prolog, but the results 
> > 
> > werent very satisficing. This is a new try on directly 
> > using the JavaScript platform. 
> > Arno Welzel schrieb am Sonntag, 13. Juni 2021 um 17:55:34 UTC+2: 
> > > Mostowski Collapse: 
> > > > Nothing wrong with the name Dogelog, 
> > > > Jon Ribbens doesn't like it, so what. 
> > > Well - design is matter of taste (except when violating accessibility 
> > > guidelines). But there are also technical errors: 
> > > 
> > > <https://validator.w3.org/nu/?doc=https%3A%2F%2Fthenewobjective.com%2F> 
> > > -- 
> > > Arno Welzel 
> > > https://arnowelzel.de

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

#40271

FromMostowski Collapse <bursejan@gmail.com>
Date2021-06-30 11:18 -0700
Message-ID<00fbe00a-48d3-4df5-994f-a4d1048ea778n@googlegroups.com>
In reply to#40217
Some more progress. Dogelog got a Prolog dynamic
database. We can now run this example and more:

:- dynamic(memo/2).
fib(N, X) :- memo(N, X), !.
fib(0, 0) :- !.
fib(1, 1) :- !.
fib(N, X) :- M is N-1, fib(M, Y), K is M-1,
fib(K, Z), X is Y+Z, assertz(memo(N, X)).
:- fib(10,X), write(X), nl.
:- fib(100,X), write(X), nl.

Dogelog will show me:

55
354224848179261915075

See also:

Preview: Dogelog got a Prolog dynamic database. (Jekejeke)
https://gist.github.com/jburse/ce2cc49168b637fb0472b3d958999c40#gistcomment-3798277

Pitty it doesn't work in TauProlog, not because of
lack of dynamic database, TauProlog has dynamic database,
but bigint is missing. This is what TauProlog shows me:

?- fib(100,X).
uncaught exception: error(evaluation_error(int_overflow),is/2)

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

#40128

From"Michael Haufe (TNO)" <tno@thenewobjective.com>
Date2021-05-25 11:42 -0700
Message-ID<2219979a-7391-4daa-8cdb-66bf528b66d3n@googlegroups.com>
In reply to#40123
On Tuesday, May 25, 2021 at 1:29:08 PM UTC-5, Mostowski Collapse wrote:
> Well if you were knowledgable in JavaScript, 
> you wouldn't write nonsense like:
> > What you have is a drive-by link with little more.
> You can use view source to see the initial 
> javascript and then follow the javascript files 
> loaded there, to inspect all of the javascript 

I could but why bother? If you're going to announce you can present it better and get more productive discussion, unlike this spiraling thread of noise.

> that is stored on the server side, and loaded 
> into the client agent, the browser. Also I 
> posted these links:
> > The approach of the cross compiler is documented here: 
> > 
> https://gist.github.com/jburse/afeaeffc4ffb68d7bc785a86182cd09f#gistcomment-3753102 
> 
> > Source code and tickets about Dogelog will be collected here: 
> > https://github.com/jburse/jekejeke-samples/issues

Yes, but break it down for us if you actually want anyone to engage.

> Also the thread starts with "ANN", which means 
> announcements. Its usually considered bad netiquet 
> spamming announcements with nonsense like you did. 

Says the person who engages in ad-hominem attacks.

[toc] | [prev] | [standalone]

Page 3 of 3 — ← Prev page 1 2 [3]

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

csiph-web