Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

The unfacts, did we have them, are too imprecisely few to warrant our certitude.


devel / comp.lang.prolog / Re: Post Corona 2023 Fibertalk Challenge

SubjectAuthor
* Post Corona 2023 Fibertalk ChallengeMild Shock
`* Post Corona 2023 Fibertalk ChallengeMild Shock
 `- Post Corona 2023 Fibertalk ChallengeMild Shock

1
Re: Post Corona 2023 Fibertalk Challenge

<842f3645-6d94-41e2-835a-de25aa3c0fc7n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ad4:4f84:0:b0:63d:557f:b4c9 with SMTP id em4-20020ad44f84000000b0063d557fb4c9mr19796qvb.3.1692463559378;
Sat, 19 Aug 2023 09:45:59 -0700 (PDT)
X-Received: by 2002:a17:902:d4d1:b0:1bf:669d:970e with SMTP id
o17-20020a170902d4d100b001bf669d970emr392766plg.0.1692463559011; Sat, 19 Aug
2023 09:45:59 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Sat, 19 Aug 2023 09:45:58 -0700 (PDT)
In-Reply-To: <848f089d-2629-4409-be7d-c8f5bd8d17fen@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.50.239; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.50.239
References: <848f089d-2629-4409-be7d-c8f5bd8d17fen@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <842f3645-6d94-41e2-835a-de25aa3c0fc7n@googlegroups.com>
Subject: Re: Post Corona 2023 Fibertalk Challenge
From: burse...@gmail.com (Mild Shock)
Injection-Date: Sat, 19 Aug 2023 16:45:59 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1579
 by: Mild Shock - Sat, 19 Aug 2023 16:45 UTC

Yeah, Corona is over, the 90's are back:

Example 1: Techno Musik is Back
(Remember Party Animals - Have You Ever Been Mellow)
Domiziana feat. Blümchen - SOS
https://www.youtube.com/watch?v=mlzA0R9kSTg

Example 2: No-GIL Virtual Machines are Back
(Remember Java Synced Vector and Hashtable 1995)
This PEP proposes using per-object locks
https://peps.python.org/pep-0703/#container-thread-safety

Re: Post Corona 2023 Fibertalk Challenge

<5285c404-426b-40a4-a906-9dcbe574c820n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:6214:18e6:b0:63d:38f1:fc82 with SMTP id ep6-20020a05621418e600b0063d38f1fc82mr14741qvb.8.1692464001280;
Sat, 19 Aug 2023 09:53:21 -0700 (PDT)
X-Received: by 2002:a17:903:234e:b0:1bc:6799:3f69 with SMTP id
c14-20020a170903234e00b001bc67993f69mr842380plh.12.1692464000764; Sat, 19 Aug
2023 09:53:20 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border-2.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Sat, 19 Aug 2023 09:53:20 -0700 (PDT)
In-Reply-To: <842f3645-6d94-41e2-835a-de25aa3c0fc7n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.50.239; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.50.239
References: <848f089d-2629-4409-be7d-c8f5bd8d17fen@googlegroups.com> <842f3645-6d94-41e2-835a-de25aa3c0fc7n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5285c404-426b-40a4-a906-9dcbe574c820n@googlegroups.com>
Subject: Re: Post Corona 2023 Fibertalk Challenge
From: burse...@gmail.com (Mild Shock)
Injection-Date: Sat, 19 Aug 2023 16:53:21 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 39
 by: Mild Shock - Sat, 19 Aug 2023 16:53 UTC

But what about the new SWI-Prolog Janus Python Interface?
Runs even with Python 3.12 it seems:

/* SWI-Prolog (threaded, 64 bits, version 9.1.14) */
?- assertz(file_search_path(path, '<your python runtime directory>')).
true.
?- py_version.
% Janus embeds Python 3.12.0b4
true.

But it doesn't provide a Prolog model on the Python side, this fails:

?- L = foo(bar), py_call(str(L), S).
ERROR: Domain error: `py_data' expected, found `foo(bar)'

So people from PySwip will not immediately flock to Janus?
Thats a large list of people using PySwip, it says 329 people!

https://github.com/yuce/pyswip

PySwip seems to provide a Prolog model on the Python side,
it has classes such as Functor, Variable, etc..
But its pretty dead, the last commit was Jan 18, 2023

Maybe there is a follow up project somewhere? Or
they are holding back, it says 0.2.11 (Not Released)?

Mild Shock schrieb am Samstag, 19. August 2023 um 18:46:00 UTC+2:
> Yeah, Corona is over, the 90's are back:
>
> Example 1: Techno Musik is Back
> (Remember Party Animals - Have You Ever Been Mellow)
> Domiziana feat. Blümchen - SOS
> https://www.youtube.com/watch?v=mlzA0R9kSTg
>
> Example 2: No-GIL Virtual Machines are Back
> (Remember Java Synced Vector and Hashtable 1995)
> This PEP proposes using per-object locks
> https://peps.python.org/pep-0703/#container-thread-safety

Re: Post Corona 2023 Fibertalk Challenge

<015f5af0-bc41-4344-a478-92bb5e62be14n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:6214:b29:b0:649:d49b:6d35 with SMTP id w9-20020a0562140b2900b00649d49b6d35mr116896qvj.13.1692777358151;
Wed, 23 Aug 2023 00:55:58 -0700 (PDT)
X-Received: by 2002:a05:6a00:1491:b0:68b:dfef:de87 with SMTP id
v17-20020a056a00149100b0068bdfefde87mr183376pfu.4.1692777357570; Wed, 23 Aug
2023 00:55:57 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Wed, 23 Aug 2023 00:55:57 -0700 (PDT)
In-Reply-To: <5285c404-426b-40a4-a906-9dcbe574c820n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.50.239; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.50.239
References: <848f089d-2629-4409-be7d-c8f5bd8d17fen@googlegroups.com>
<842f3645-6d94-41e2-835a-de25aa3c0fc7n@googlegroups.com> <5285c404-426b-40a4-a906-9dcbe574c820n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <015f5af0-bc41-4344-a478-92bb5e62be14n@googlegroups.com>
Subject: Re: Post Corona 2023 Fibertalk Challenge
From: burse...@gmail.com (Mild Shock)
Injection-Date: Wed, 23 Aug 2023 07:55:58 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3562
 by: Mild Shock - Wed, 23 Aug 2023 07:55 UTC

Woa! Now we got:

🚨 This is not a drill! 🚨
@Microsoft is bringing Python to Excel
https://twitter.com/TechCrunch/status/1694037454020558904

Well I guess via Dogelog Player we now have also
Prolog in Excel. Will this violate this currious patent
by XSB Prolog that will expire 2029-03-09:

A user programmable deductive spreadsheet is implemented
as an add-in to an existing mathematical spreadsheet program
and allows the use of a logic programming language such as
Prolog via a familiar spreadsheet interface 2029-03-09:
https://patents.google.com/patent/US7761782B1/en

LoL

Mild Shock schrieb am Samstag, 19. August 2023 um 18:53:22 UTC+2:
> But what about the new SWI-Prolog Janus Python Interface?
> Runs even with Python 3.12 it seems:
>
> /* SWI-Prolog (threaded, 64 bits, version 9.1.14) */
> ?- assertz(file_search_path(path, '<your python runtime directory>')).
> true.
> ?- py_version.
> % Janus embeds Python 3.12.0b4
> true.
>
> But it doesn't provide a Prolog model on the Python side, this fails:
>
> ?- L = foo(bar), py_call(str(L), S).
> ERROR: Domain error: `py_data' expected, found `foo(bar)'
>
> So people from PySwip will not immediately flock to Janus?
> Thats a large list of people using PySwip, it says 329 people!
>
> https://github.com/yuce/pyswip
>
> PySwip seems to provide a Prolog model on the Python side,
> it has classes such as Functor, Variable, etc..
> But its pretty dead, the last commit was Jan 18, 2023
>
> Maybe there is a follow up project somewhere? Or
> they are holding back, it says 0.2.11 (Not Released)?
> Mild Shock schrieb am Samstag, 19. August 2023 um 18:46:00 UTC+2:
> > Yeah, Corona is over, the 90's are back:
> >
> > Example 1: Techno Musik is Back
> > (Remember Party Animals - Have You Ever Been Mellow)
> > Domiziana feat. Blümchen - SOS
> > https://www.youtube.com/watch?v=mlzA0R9kSTg
> >
> > Example 2: No-GIL Virtual Machines are Back
> > (Remember Java Synced Vector and Hashtable 1995)
> > This PEP proposes using per-object locks
> > https://peps.python.org/pep-0703/#container-thread-safety


devel / comp.lang.prolog / Re: Post Corona 2023 Fibertalk Challenge

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor