Re: Waste of EU money / bread and butter of statistics (Was: failure of formal verification [software.imdea.org])

Sujet : Re: Waste of EU money / bread and butter of statistics (Was: failure of formal verification [software.imdea.org])
De : julio (at) *nospam* diegidio.name (Julio Di Egidio)
Groupes : comp.lang.prolog
Date : 06. Nov 2024, 10:43:26

Autres entêtes

Organisation : A noiseless patient Spider
Message-ID : <vgfdnu$223f3$1@dont-email.me>
References : 1 2 3
User-Agent : Mozilla Thunderbird

On 06/11/2024 09:51, Mild Shock wrote:

What the fuck does this mean:

The Nazi-retarded shithole is all but going to fix itself.

Why is change_arg/3 not common among Prolog systems.

Only poisoned meatballs for the public.
https://github.com/SWI-Prolog/swipl-devel/issues/1328
-Julio

Date	Sujet	#	Auteur
6 Nov 24	Waste of EU money / bread and butter of statistics (Was: failure of formal verification [software.imdea.org])	8	Mild Shock
6 Nov 24	Re: Waste of EU money / bread and butter of statistics (Was: failure of formal verification [software.imdea.org])	1	Mild Shock
6 Nov 24	Re: Waste of EU money / bread and butter of statistics (Was: failure of formal verification [software.imdea.org])	6	Julio Di Egidio
6 Nov 24	SICStus Prolog is overrated (Was: Waste of EU money / bread and butter of statistics)	5	Mild Shock
6 Nov 24	Crashing under its own bloath, Scryer Prolog (Was: SICStus Prolog is overrated)	4	Mild Shock
6 Nov 24	“Luce,” which is Italian for “light.” (Was: Crashing under its own bloath, Scryer Prolog)	3	Mild Shock
6 Nov 24	More Poisened Meat balls? [NIVIDIA & OpenAI] (Way: “Luce,” which is Italian for “light.”)	2	Mild Shock
6 Nov 24	Re: More Poisened Meat balls? [NIVIDIA & OpenAI] (Way: “Luce,” which is Italian for “light.”)	1	Julio Di Egidio

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal