Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Vax Vobiscum


devel / comp.lang.prolog / Autumn Challenge 2023: Lion and Unicorn

SubjectAuthor
* Autumn Challenge 2023: Lion and UnicornMild Shock
+- Autumn Challenge 2023: Lion and UnicornJulio Di Egidio
+- Autumn Challenge 2023: Lion and UnicornMild Shock
`* Autumn Challenge 2023: Lion and UnicornMild Shock
 `* Autumn Challenge 2023: Lion and UnicornMild Shock
  `* Autumn Challenge 2023: Lion and UnicornMild Shock
   `- Autumn Challenge 2023: Lion and UnicornMild Shock

1
Autumn Challenge 2023: Lion and Unicorn

<c6cf4120-a16e-4548-a3e4-2f2e5b2967cbn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:1350:b0:77a:4aa:5502 with SMTP id c16-20020a05620a135000b0077a04aa5502mr440070qkl.2.1699231379032;
Sun, 05 Nov 2023 16:42:59 -0800 (PST)
X-Received: by 2002:a05:6808:1998:b0:3b2:e7b3:5fc5 with SMTP id
bj24-20020a056808199800b003b2e7b35fc5mr4198804oib.3.1699231378820; Sun, 05
Nov 2023 16:42:58 -0800 (PST)
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: Sun, 5 Nov 2023 16:42:58 -0800 (PST)
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.50.239; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.50.239
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c6cf4120-a16e-4548-a3e4-2f2e5b2967cbn@googlegroups.com>
Subject: Autumn Challenge 2023: Lion and Unicorn
From: burse...@gmail.com (Mild Shock)
Injection-Date: Mon, 06 Nov 2023 00:42:59 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1978
 by: Mild Shock - Mon, 6 Nov 2023 00:42 UTC

Please solve this with logic:

When Alice entered the forest of forgetfulness, she did not
forget everything, only certain things. She often forgot her
name, and the most likely thing for her to forget was the day
of the week. Now, the lion and the unicorn were frequent
visitors to this forest. These two are strange creatures. The
lion lies on Mondays, Tuesdays, and Wednesdays and tells
the truth on the other days of the week. The unicorn, on the
other hand, lies on Thursdays, Fridays, and Saturdays, but tells
the truth on the other days of the week.

One day Alice met the lion and the unicorn resting under a tree.
They made the following statements:

Lion: Yesterday was one of my lying days.
Unicorn: Yesterday was one of my lying days.

From these statements, Alice, who was a bright girl, was able to
deduce the day of the week. What was it?

P.S.: Please no DC Proof solutions where animals outside
of the forest appear because of Russell Paradox.

Re: Autumn Challenge 2023: Lion and Unicorn

<2ec7e00c-0f5b-4906-9dba-0200273e36b2n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:622a:4786:b0:417:b53c:5d4c with SMTP id do6-20020a05622a478600b00417b53c5d4cmr246932qtb.1.1699256876861;
Sun, 05 Nov 2023 23:47:56 -0800 (PST)
X-Received: by 2002:a05:6870:5a9:b0:1e9:9202:20cc with SMTP id
m41-20020a05687005a900b001e9920220ccmr13675931oap.0.1699256876694; Sun, 05
Nov 2023 23:47:56 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!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: Sun, 5 Nov 2023 23:47:56 -0800 (PST)
In-Reply-To: <c6cf4120-a16e-4548-a3e4-2f2e5b2967cbn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=93.44.209.203; posting-account=F3H0JAgAAADcYVukktnHx7hFG5stjWse
NNTP-Posting-Host: 93.44.209.203
References: <c6cf4120-a16e-4548-a3e4-2f2e5b2967cbn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2ec7e00c-0f5b-4906-9dba-0200273e36b2n@googlegroups.com>
Subject: Re: Autumn Challenge 2023: Lion and Unicorn
From: jul...@diegidio.name (Julio Di Egidio)
Injection-Date: Mon, 06 Nov 2023 07:47:56 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 29
 by: Julio Di Egidio - Mon, 6 Nov 2023 07:47 UTC

On Monday, 6 November 2023 at 01:42:59 UTC+1, Mild Shock wrote:
> Please solve this with logic:
>
> When Alice entered the forest of forgetfulness, she did not
> forget everything, only certain things. She often forgot her
> name, and the most likely thing for her to forget was the day
> of the week. Now, the lion and the unicorn were frequent
> visitors to this forest. These two are strange creatures. The
> lion lies on Mondays, Tuesdays, and Wednesdays and tells
> the truth on the other days of the week. The unicorn, on the
> other hand, lies on Thursdays, Fridays, and Saturdays, but tells
> the truth on the other days of the week.
>
> One day Alice met the lion and the unicorn resting under a tree.
> They made the following statements:
>
> Lion: Yesterday was one of my lying days.
> Unicorn: Yesterday was one of my lying days.
>
> From these statements, Alice, who was a bright girl, was able to
> deduce the day of the week. What was it?
>
> P.S.: Please no DC Proof solutions where animals outside
> of the forest appear because of Russell Paradox.

Go fuck yourself, spammer.

*Spammer Alert*

Julio

Re: Autumn Challenge 2023: Lion and Unicorn

<4d855f12-ba0c-4318-84cc-998ed5295928n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:622a:6a49:b0:41b:1957:55b with SMTP id ig9-20020a05622a6a4900b0041b1957055bmr124227qtb.4.1700071316502;
Wed, 15 Nov 2023 10:01:56 -0800 (PST)
X-Received: by 2002:a17:903:2583:b0:1cc:478b:ef1 with SMTP id
jb3-20020a170903258300b001cc478b0ef1mr1598809plb.13.1700071315967; Wed, 15
Nov 2023 10:01:55 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Wed, 15 Nov 2023 10:01:55 -0800 (PST)
In-Reply-To: <c6cf4120-a16e-4548-a3e4-2f2e5b2967cbn@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: <c6cf4120-a16e-4548-a3e4-2f2e5b2967cbn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4d855f12-ba0c-4318-84cc-998ed5295928n@googlegroups.com>
Subject: Re: Autumn Challenge 2023: Lion and Unicorn
From: burse...@gmail.com (Mild Shock)
Injection-Date: Wed, 15 Nov 2023 18:01:56 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Mild Shock - Wed, 15 Nov 2023 18:01 UTC

For those that thought the Lion and Unicorn riddle has something to do
with natural language understanding and ChatGPT, I have a new problem.

SAT+CAS for Problems in Quantum Foundations
A SAT Solver + Computer Algebra Attack on
the Minimum Kochen–Specker Problem
Brian Li, Curtis Bright, Vijay Ganesh - Oct 1, 2023
https://nikolajbjorner.github.io/ShonanArtOfSAT/program.html

Who can show the Kochen-Specker Paradox via SWI-Prolog?

Mild Shock schrieb am Montag, 6. November 2023 um 01:42:59 UTC+1:
> Please solve this with logic:
>
> When Alice entered the forest of forgetfulness, she did not
> forget everything, only certain things. She often forgot her
> name, and the most likely thing for her to forget was the day
> of the week. Now, the lion and the unicorn were frequent
> visitors to this forest. These two are strange creatures. The
> lion lies on Mondays, Tuesdays, and Wednesdays and tells
> the truth on the other days of the week. The unicorn, on the
> other hand, lies on Thursdays, Fridays, and Saturdays, but tells
> the truth on the other days of the week.
>
> One day Alice met the lion and the unicorn resting under a tree.
> They made the following statements:
>
> Lion: Yesterday was one of my lying days.
> Unicorn: Yesterday was one of my lying days.
>
> From these statements, Alice, who was a bright girl, was able to
> deduce the day of the week. What was it?
>
> P.S.: Please no DC Proof solutions where animals outside
> of the forest appear because of Russell Paradox.

Re: Autumn Challenge 2023: Lion and Unicorn

<d6e33466-36ba-44f1-8351-37f5bdba8d0en@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:6214:aa9:b0:66d:12cd:31b3 with SMTP id ew9-20020a0562140aa900b0066d12cd31b3mr90375qvb.6.1700362659073;
Sat, 18 Nov 2023 18:57:39 -0800 (PST)
X-Received: by 2002:a17:90a:6504:b0:280:fcba:bee2 with SMTP id
i4-20020a17090a650400b00280fcbabee2mr973839pjj.6.1700362658829; Sat, 18 Nov
2023 18:57:38 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer02.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, 18 Nov 2023 18:57:38 -0800 (PST)
In-Reply-To: <c6cf4120-a16e-4548-a3e4-2f2e5b2967cbn@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: <c6cf4120-a16e-4548-a3e4-2f2e5b2967cbn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d6e33466-36ba-44f1-8351-37f5bdba8d0en@googlegroups.com>
Subject: Re: Autumn Challenge 2023: Lion and Unicorn
From: burse...@gmail.com (Mild Shock)
Injection-Date: Sun, 19 Nov 2023 02:57:39 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2325
 by: Mild Shock - Sun, 19 Nov 2023 02:57 UTC

Ha Ha, board fired Sam Altman of OpenAI.
What now? What will become of ChatGPT?

Mild Shock schrieb am Montag, 6. November 2023 um 01:42:59 UTC+1:
> Please solve this with logic:
>
> When Alice entered the forest of forgetfulness, she did not
> forget everything, only certain things. She often forgot her
> name, and the most likely thing for her to forget was the day
> of the week. Now, the lion and the unicorn were frequent
> visitors to this forest. These two are strange creatures. The
> lion lies on Mondays, Tuesdays, and Wednesdays and tells
> the truth on the other days of the week. The unicorn, on the
> other hand, lies on Thursdays, Fridays, and Saturdays, but tells
> the truth on the other days of the week.
>
> One day Alice met the lion and the unicorn resting under a tree.
> They made the following statements:
>
> Lion: Yesterday was one of my lying days.
> Unicorn: Yesterday was one of my lying days.
>
> From these statements, Alice, who was a bright girl, was able to
> deduce the day of the week. What was it?
>
> P.S.: Please no DC Proof solutions where animals outside
> of the forest appear because of Russell Paradox.

Re: Autumn Challenge 2023: Lion and Unicorn

<96cf3c07-b3dd-43f8-9124-565f48ff7bf0n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:288a:b0:770:58ab:afb4 with SMTP id j10-20020a05620a288a00b0077058abafb4mr97669qkp.8.1700363281360;
Sat, 18 Nov 2023 19:08:01 -0800 (PST)
X-Received: by 2002:a05:6a00:3090:b0:690:d251:28aa with SMTP id
bh16-20020a056a00309000b00690d25128aamr873838pfb.5.1700363280984; Sat, 18 Nov
2023 19:08:00 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Sat, 18 Nov 2023 19:08:00 -0800 (PST)
In-Reply-To: <d6e33466-36ba-44f1-8351-37f5bdba8d0en@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: <c6cf4120-a16e-4548-a3e4-2f2e5b2967cbn@googlegroups.com> <d6e33466-36ba-44f1-8351-37f5bdba8d0en@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <96cf3c07-b3dd-43f8-9124-565f48ff7bf0n@googlegroups.com>
Subject: Re: Autumn Challenge 2023: Lion and Unicorn
From: burse...@gmail.com (Mild Shock)
Injection-Date: Sun, 19 Nov 2023 03:08:01 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Mild Shock - Sun, 19 Nov 2023 03:08 UTC

Comedy on the horizon and lots of tech penny stocks to buy!
Before you criticize the board at OpenAI, walk a mile in their shoes:

VCs Congratulating Themselves 👏👏👏
https://twitter.com/VCBrags/status/1725976543585784022

LoL

Mild Shock schrieb am Sonntag, 19. November 2023 um 03:57:40 UTC+1:
> Ha Ha, board fired Sam Altman of OpenAI.
> What now? What will become of ChatGPT?
> Mild Shock schrieb am Montag, 6. November 2023 um 01:42:59 UTC+1:
> > Please solve this with logic:
> >
> > When Alice entered the forest of forgetfulness, she did not
> > forget everything, only certain things. She often forgot her
> > name, and the most likely thing for her to forget was the day
> > of the week. Now, the lion and the unicorn were frequent
> > visitors to this forest. These two are strange creatures. The
> > lion lies on Mondays, Tuesdays, and Wednesdays and tells
> > the truth on the other days of the week. The unicorn, on the
> > other hand, lies on Thursdays, Fridays, and Saturdays, but tells
> > the truth on the other days of the week.
> >
> > One day Alice met the lion and the unicorn resting under a tree.
> > They made the following statements:
> >
> > Lion: Yesterday was one of my lying days.
> > Unicorn: Yesterday was one of my lying days.
> >
> > From these statements, Alice, who was a bright girl, was able to
> > deduce the day of the week. What was it?
> >
> > P.S.: Please no DC Proof solutions where animals outside
> > of the forest appear because of Russell Paradox.

Re: Autumn Challenge 2023: Lion and Unicorn

<bb076d1d-3ca8-4e50-b95b-b45738f34c0cn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ad4:5486:0:b0:670:f16d:193b with SMTP id pv6-20020ad45486000000b00670f16d193bmr118099qvb.6.1700443468355;
Sun, 19 Nov 2023 17:24:28 -0800 (PST)
X-Received: by 2002:a05:6a00:e0e:b0:6be:3dca:7d9d with SMTP id
bq14-20020a056a000e0e00b006be3dca7d9dmr1711401pfb.5.1700443468087; Sun, 19
Nov 2023 17:24:28 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.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: Sun, 19 Nov 2023 17:24:27 -0800 (PST)
In-Reply-To: <96cf3c07-b3dd-43f8-9124-565f48ff7bf0n@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: <c6cf4120-a16e-4548-a3e4-2f2e5b2967cbn@googlegroups.com>
<d6e33466-36ba-44f1-8351-37f5bdba8d0en@googlegroups.com> <96cf3c07-b3dd-43f8-9124-565f48ff7bf0n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <bb076d1d-3ca8-4e50-b95b-b45738f34c0cn@googlegroups.com>
Subject: Re: Autumn Challenge 2023: Lion and Unicorn
From: burse...@gmail.com (Mild Shock)
Injection-Date: Mon, 20 Nov 2023 01:24:28 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3722
 by: Mild Shock - Mon, 20 Nov 2023 01:24 UTC

Fuck around find out. Guess who is a board reporting
to? Well the stock holders, and they are reinstantiating
the board every year. So if stock holders want Sam

Altman, stock holders will have Sam Altman, they simply
send the board into /dev/null and create a new one.
BTW: Interesting information about the board,

didn't think they have relation to Sam Bankman-Fired,
and hence its rewarding to listen to TiffanyFong:

s Sam Altman BACK as CEO of OpenAI?
Board Resigning & “Effective Altruism” Ties [UPDATE]
https://www.youtube.com/watch?v=LXDWy5-bc-c

Yeah, get your finger off EA, see FTX fiasko.

Mild Shock schrieb am Sonntag, 19. November 2023 um 04:08:02 UTC+1:
> Comedy on the horizon and lots of tech penny stocks to buy!
> Before you criticize the board at OpenAI, walk a mile in their shoes:
>
> VCs Congratulating Themselves 👏👏👏
> https://twitter.com/VCBrags/status/1725976543585784022
>
> LoL
> Mild Shock schrieb am Sonntag, 19. November 2023 um 03:57:40 UTC+1:
> > Ha Ha, board fired Sam Altman of OpenAI.
> > What now? What will become of ChatGPT?
> > Mild Shock schrieb am Montag, 6. November 2023 um 01:42:59 UTC+1:
> > > Please solve this with logic:
> > >
> > > When Alice entered the forest of forgetfulness, she did not
> > > forget everything, only certain things. She often forgot her
> > > name, and the most likely thing for her to forget was the day
> > > of the week. Now, the lion and the unicorn were frequent
> > > visitors to this forest. These two are strange creatures. The
> > > lion lies on Mondays, Tuesdays, and Wednesdays and tells
> > > the truth on the other days of the week. The unicorn, on the
> > > other hand, lies on Thursdays, Fridays, and Saturdays, but tells
> > > the truth on the other days of the week.
> > >
> > > One day Alice met the lion and the unicorn resting under a tree.
> > > They made the following statements:
> > >
> > > Lion: Yesterday was one of my lying days.
> > > Unicorn: Yesterday was one of my lying days.
> > >
> > > From these statements, Alice, who was a bright girl, was able to
> > > deduce the day of the week. What was it?
> > >
> > > P.S.: Please no DC Proof solutions where animals outside
> > > of the forest appear because of Russell Paradox.

Re: Autumn Challenge 2023: Lion and Unicorn

<9ae426c8-d2e3-498d-b951-0dae96199518n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:28cf:b0:777:506b:39ee with SMTP id l15-20020a05620a28cf00b00777506b39eemr195474qkp.6.1700480979401;
Mon, 20 Nov 2023 03:49:39 -0800 (PST)
X-Received: by 2002:aa7:9082:0:b0:690:2ecd:a5a1 with SMTP id
i2-20020aa79082000000b006902ecda5a1mr1684739pfa.5.1700480979012; Mon, 20 Nov
2023 03:49:39 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer02.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: Mon, 20 Nov 2023 03:49:38 -0800 (PST)
In-Reply-To: <bb076d1d-3ca8-4e50-b95b-b45738f34c0cn@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: <c6cf4120-a16e-4548-a3e4-2f2e5b2967cbn@googlegroups.com>
<d6e33466-36ba-44f1-8351-37f5bdba8d0en@googlegroups.com> <96cf3c07-b3dd-43f8-9124-565f48ff7bf0n@googlegroups.com>
<bb076d1d-3ca8-4e50-b95b-b45738f34c0cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9ae426c8-d2e3-498d-b951-0dae96199518n@googlegroups.com>
Subject: Re: Autumn Challenge 2023: Lion and Unicorn
From: burse...@gmail.com (Mild Shock)
Injection-Date: Mon, 20 Nov 2023 11:49:39 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 4433
 by: Mild Shock - Mon, 20 Nov 2023 11:49 UTC

Some actors are messing real hard with OpenAI.
My prediction, the only goal is to dissolve OpenAI.
Take the nomination of Emmett Shear. It shows

how unprepared and desperate the board is.
Mostlikely he will not accept the nomination, since
we wont hear anything of OpenAI anymore in the

future. Well he might lead its liquidation. But It
was just a start-up, a short episode, not the
beginning of a new behemoth.

Mild Shock schrieb am Montag, 20. November 2023 um 02:24:29 UTC+1:
> Fuck around find out. Guess who is a board reporting
> to? Well the stock holders, and they are reinstantiating
> the board every year. So if stock holders want Sam
>
> Altman, stock holders will have Sam Altman, they simply
> send the board into /dev/null and create a new one.
> BTW: Interesting information about the board,
>
> didn't think they have relation to Sam Bankman-Fired,
> and hence its rewarding to listen to TiffanyFong:
>
> s Sam Altman BACK as CEO of OpenAI?
> Board Resigning & “Effective Altruism” Ties [UPDATE]
> https://www.youtube.com/watch?v=LXDWy5-bc-c
>
> Yeah, get your finger off EA, see FTX fiasko.
> Mild Shock schrieb am Sonntag, 19. November 2023 um 04:08:02 UTC+1:
> > Comedy on the horizon and lots of tech penny stocks to buy!
> > Before you criticize the board at OpenAI, walk a mile in their shoes:
> >
> > VCs Congratulating Themselves 👏👏👏
> > https://twitter.com/VCBrags/status/1725976543585784022
> >
> > LoL
> > Mild Shock schrieb am Sonntag, 19. November 2023 um 03:57:40 UTC+1:
> > > Ha Ha, board fired Sam Altman of OpenAI.
> > > What now? What will become of ChatGPT?
> > > Mild Shock schrieb am Montag, 6. November 2023 um 01:42:59 UTC+1:
> > > > Please solve this with logic:
> > > >
> > > > When Alice entered the forest of forgetfulness, she did not
> > > > forget everything, only certain things. She often forgot her
> > > > name, and the most likely thing for her to forget was the day
> > > > of the week. Now, the lion and the unicorn were frequent
> > > > visitors to this forest. These two are strange creatures. The
> > > > lion lies on Mondays, Tuesdays, and Wednesdays and tells
> > > > the truth on the other days of the week. The unicorn, on the
> > > > other hand, lies on Thursdays, Fridays, and Saturdays, but tells
> > > > the truth on the other days of the week.
> > > >
> > > > One day Alice met the lion and the unicorn resting under a tree.
> > > > They made the following statements:
> > > >
> > > > Lion: Yesterday was one of my lying days.
> > > > Unicorn: Yesterday was one of my lying days.
> > > >
> > > > From these statements, Alice, who was a bright girl, was able to
> > > > deduce the day of the week. What was it?
> > > >
> > > > P.S.: Please no DC Proof solutions where animals outside
> > > > of the forest appear because of Russell Paradox.


devel / comp.lang.prolog / Autumn Challenge 2023: Lion and Unicorn

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor