Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Without life, Biology itself would be impossible.


devel / comp.lang.prolog / Re: How working with GitHub feels (Was: 50 Years of Prolog Nonsense)

SubjectAuthor
* How working with GitHub feels (Was: 50 Years of Prolog Nonsense)Mild Shock
`- Re: How working with GitHub feels (Was: 50 Years of Prolog Nonsense)Mild Shock

1
How working with GitHub feels (Was: 50 Years of Prolog Nonsense)

<ussamm$1a7ro$1@solani.org>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=10313&group=comp.lang.prolog#10313

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janbu...@fastmail.fm (Mild Shock)
Newsgroups: comp.lang.prolog
Subject: How working with GitHub feels (Was: 50 Years of Prolog Nonsense)
Date: Wed, 13 Mar 2024 14:45:59 +0100
Message-ID: <ussamm$1a7ro$1@solani.org>
References: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<29ef3ce4-cdd8-492d-8d92-26022543a187n@googlegroups.com>
<d3664324-bb27-4af8-b5e8-1f9c58e3b5a1n@googlegroups.com>
<a1f872c5-8914-4d93-a9c6-161484ef8294n@googlegroups.com>
<f532a556-5f96-4625-ba8d-57bfd553f6b3n@googlegroups.com>
<0fc0fc25-1e6b-4256-8cea-b1370eb83177n@googlegroups.com>
<b57250f2-55b5-4dba-8f85-e8dfcf1afd42n@googlegroups.com>
<4de7c23c-60d0-4ba8-ae58-697f8b2c3961n@googlegroups.com>
<cadc4340-ea84-4c98-8402-fd384f10f997n@googlegroups.com>
<a3e86eb1-a6d5-4598-b360-13f49cf7bd1cn@googlegroups.com>
<906b7a84-a696-45a8-b4ea-1af2b856c0ecn@googlegroups.com>
<1f07ca25-3c00-4108-837c-9ca39e5fb364n@googlegroups.com>
<4f25ac68-e83a-48f1-b60a-c7b6e5c04110n@googlegroups.com>
<f7361941-7a89-4f9a-bff6-0d4b1e7050b4n@googlegroups.com>
<c4075e67-6766-493a-a5e4-53d27db73765n@googlegroups.com>
<b51ddf49-82d0-4a83-a5df-ffea0660aa12n@googlegroups.com>
<5f0aadb4-891f-449f-b105-f7373359e964n@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 13 Mar 2024 13:45:58 -0000 (UTC)
Injection-Info: solani.org;
logging-data="1384312"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 SeaMonkey/2.53.18.1
Cancel-Lock: sha1:NECNIUjf84L7MtYagOYWfWHPLDc=
X-User-ID: eJwNxMEBwCAIA8CVIg0Bx0Eq+4/Q3uP80VIH5aKPj/ULdEqKk0v370bWnPLC3WHd5OpCCIMNUaqXlknZsf4ATcEU+w==
In-Reply-To: <5f0aadb4-891f-449f-b105-f7373359e964n@googlegroups.com>
 by: Mild Shock - Wed, 13 Mar 2024 13:45 UTC

Yeah today I created a ticket in GitHub issues.
Now I need to take a SPA nap:

Cute Kitten Really Enjoys SPA
https://www.youtube.com/watch?v=L7lVrWY9zQE

P.S.: No wonder Scryer Prolog has 242 tickets:
https://github.com/mthom/scryer-prolog/issues

Mostowski Collapse schrieb:
> Rounding still not fixed in Scryer Prolog. Look
> what a nice test case I am using:
>
> ?- atom_integer(X, 2, 166153499473114502559719956244594689).
> X = '1000000000000000000000000000000000000000
> 000000000000010000000000000000000000000000000
> 000000000000000000000000000000001'.
>
> And whats the result:
>
> $ target/release/scryer-prolog -v
> "v0.9.1-151-g17450520"
> $ target/release/scryer-prolog
> ?- X is float(166153499473114502559719956244594689).
> X = 1.661534994731145e35.
> ?- Y = 1.6615349947311452e+35.
> Y = 1.6615349947311452e35.
> ?- X is float(166153499473114502559719956244594689)-1.6615349947311452e+35.
> X = -3.6893488147419103e19.
> ?-
>
> Its not correctly rounded!
>

Re: How working with GitHub feels (Was: 50 Years of Prolog Nonsense)

<ussbrd$1aj2h$1@solani.org>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=10314&group=comp.lang.prolog#10314

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janbu...@fastmail.fm (Mild Shock)
Newsgroups: comp.lang.prolog
Subject: Re: How working with GitHub feels (Was: 50 Years of Prolog Nonsense)
Date: Wed, 13 Mar 2024 15:05:34 +0100
Message-ID: <ussbrd$1aj2h$1@solani.org>
References: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<d3664324-bb27-4af8-b5e8-1f9c58e3b5a1n@googlegroups.com>
<a1f872c5-8914-4d93-a9c6-161484ef8294n@googlegroups.com>
<f532a556-5f96-4625-ba8d-57bfd553f6b3n@googlegroups.com>
<0fc0fc25-1e6b-4256-8cea-b1370eb83177n@googlegroups.com>
<b57250f2-55b5-4dba-8f85-e8dfcf1afd42n@googlegroups.com>
<4de7c23c-60d0-4ba8-ae58-697f8b2c3961n@googlegroups.com>
<cadc4340-ea84-4c98-8402-fd384f10f997n@googlegroups.com>
<a3e86eb1-a6d5-4598-b360-13f49cf7bd1cn@googlegroups.com>
<906b7a84-a696-45a8-b4ea-1af2b856c0ecn@googlegroups.com>
<1f07ca25-3c00-4108-837c-9ca39e5fb364n@googlegroups.com>
<4f25ac68-e83a-48f1-b60a-c7b6e5c04110n@googlegroups.com>
<f7361941-7a89-4f9a-bff6-0d4b1e7050b4n@googlegroups.com>
<c4075e67-6766-493a-a5e4-53d27db73765n@googlegroups.com>
<b51ddf49-82d0-4a83-a5df-ffea0660aa12n@googlegroups.com>
<5f0aadb4-891f-449f-b105-f7373359e964n@googlegroups.com>
<ussamm$1a7ro$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 13 Mar 2024 14:05:33 -0000 (UTC)
Injection-Info: solani.org;
logging-data="1395793"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 SeaMonkey/2.53.18.1
Cancel-Lock: sha1:S9iB3TiVadKFPZLQwcFkk3MCMXA=
In-Reply-To: <ussamm$1a7ro$1@solani.org>
X-User-ID: eJwNxsEBwCAIA8CVgkjAcQBl/xHae50phe2bxm1jA8l5Eg2uQHNu9WLmxINW0yODPgfSojj3rw5qC1C5evwDXoQVrw==
 by: Mild Shock - Wed, 13 Mar 2024 14:05 UTC

Or maybe its a seasonal effect related to Springtime lethargy.
https://en.wikipedia.org/wiki/Springtime_lethargy.

Mild Shock schrieb:
> Yeah today I created a ticket in GitHub issues.
> Now I need to take a SPA nap:
>
> Cute Kitten Really Enjoys SPA
> https://www.youtube.com/watch?v=L7lVrWY9zQE
>
> P.S.: No wonder Scryer Prolog has 242 tickets:
> https://github.com/mthom/scryer-prolog/issues
>
> Mostowski Collapse schrieb:
>> Rounding still not fixed in Scryer Prolog. Look
>> what a nice test case I am using:
>>
>> ?- atom_integer(X, 2, 166153499473114502559719956244594689).
>> X = '1000000000000000000000000000000000000000
>> 000000000000010000000000000000000000000000000
>> 000000000000000000000000000000001'.
>>
>> And whats the result:
>>
>> $ target/release/scryer-prolog -v
>> "v0.9.1-151-g17450520"
>> $ target/release/scryer-prolog
>> ?- X is float(166153499473114502559719956244594689).
>>     X = 1.661534994731145e35.
>> ?- Y = 1.6615349947311452e+35.
>>     Y = 1.6615349947311452e35.
>> ?- X is
>> float(166153499473114502559719956244594689)-1.6615349947311452e+35.
>>     X = -3.6893488147419103e19.
>> ?-
>>
>> Its not correctly rounded!
>>
>

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor