From Newsgroup: comp.lang.prolog


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.

--- Synchronet 3.20a-Linux NewsLink 1.114

From Newsgroup: comp.lang.prolog


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.

--- Synchronet 3.20a-Linux NewsLink 1.114

From Newsgroup: comp.lang.prolog


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.

--- Synchronet 3.20a-Linux NewsLink 1.114

From Newsgroup: comp.lang.prolog


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.

--- Synchronet 3.20a-Linux NewsLink 1.114

From Newsgroup: comp.lang.prolog


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.

--- Synchronet 3.20a-Linux NewsLink 1.114

From Newsgroup: comp.lang.prolog


So what needs to be done? Foremost move Chat AI
out of the computing cloud claws. Make it runnable
on the Edge, make it runnable by simply copying a
LLM on a 1 TB NVMe. Make it runnable by simply
starting your 1'000 core Handy or Laptop. No API
subscription nonsense. So we are just at beginning,
we are still at square zero !!!
This Breakthrough AI Chip is BIG Trouble for Apple & Intel Stocks https://www.youtube.com/watch?v=nJQulJ_gBjo
Mild Shock schrieb am Montag, 20. November 2023 um 12:49:40 UTC+1:

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.

--- Synchronet 3.20a-Linux NewsLink 1.114