| Deutsch English Français Italiano |
|
<vgfdnu$223f3$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Julio Di Egidio <julio@diegidio.name> Newsgroups: comp.lang.prolog Subject: Re: Waste of EU money / bread and butter of statistics (Was: failure of formal verification [software.imdea.org]) Date: Wed, 6 Nov 2024 10:43:26 +0100 Organization: A noiseless patient Spider Lines: 14 Message-ID: <vgfdnu$223f3$1@dont-email.me> References: <db8a6771-3e54-485b-b391-310658dd6f52n@googlegroups.com> <d9588b9c-edcc-4f8b-85d2-7487b5556798n@googlegroups.com> <vgfan1$i1nc$1@solani.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Wed, 06 Nov 2024 10:43:27 +0100 (CET) Injection-Info: dont-email.me; posting-host="43a30352d6965cf427a2546b53acec2a"; logging-data="2166243"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18gZsL7Mci+rgNMu+580FaINAp2KSlPdUI=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:6ZF4IhfRTPg4pV8KQ+5GLsF0xEk= In-Reply-To: <vgfan1$i1nc$1@solani.org> Content-Language: en-GB Bytes: 1487 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