Groups | Search | Server Info | Keyboard shortcuts | Login | Register

Groups > comp.lang.prolog > #15562

Layoff Tsunami and Defunding Rounds [Burger jobs] (Re: Wait till they figure out that China has also AI)

Show all headers | View raw

Hi,

Ha Ha, the AI Boom leaves its traces:

The theme will be “Reimagining Resilience:
Empowering Local Communities in a Time of
Uncertain Federal Support” A follow-on event
will be held at the Pentagon from April 15th-16th, 2026.
https://star-tides.net/

Don't be afraid, of the sustained Layoff
Tsunamis and Defunding Rounds. There
are a lot of Burger jobs still around,

Sandwich artist is a respected job.

Bye

Mild Shock schrieb:
 > Hi,
 >
 > It takes a lot of guts to related SLD failure of
 > an empty predicate to CWA:
 >
 > closed-world assumption
 > The assumption that what cannot be proved
 > true is false. Therefore, sending a message
 > corresponding to a declared but not defined
 > predicate, or calling a declared predicate
 > with no clauses, fails. But messages or
 > calls to undeclared predicates generate an error.
 > https://logtalk.org/handbook/glossary.html#term-closed-world-assumption
 >
 > I mean all he wants to say is that an empty
 > predicate doesn't have a throw catchall clause.
 >
 > Nothing to do with CWA. CWA is a mathematical
 > concept postulating that from G |/- A we want
 > to jump to G |-_CWA ~A. Its not that the
 >
 > predicate in questions would be called with
 > a negation in front, and that we would really
 > be interested in a "is false".
 >
 > Even if SWI has rebranded "fail" into "false"
 > in the top-level, its still most often
 > a SLD result, and not a CWA result.
 >
 > At least the key phrase still uses "fails",
 > when he writes "calling a declared predicate
 > with no clauses, fails". It could be worse
 >
 > if he would really apply the CWA and write
 > calling a declared predicate with no clauses,
 > is false". Such a conclusion can only be
 >
 > detected in logic by querying ~A, while he
 > still deals with a query A.
 >
 > Bye

Mild Shock schrieb:
> Hi,
> 
> How it started:
> https://www.instagram.com/p/Cump3losObg
> 
> How its going:
> https://9gag.com/gag/azx28eK
> 
> Bye

Back to comp.lang.prolog | Previous | Next | Find similar

Thread

Layoff Tsunami and Defunding Rounds [Burger jobs] (Re: Wait till they figure out that China has also AI) Mild Shock <janburse@fastmail.fm> - 2026-04-29 13:11 +0200

csiph-web