Path: ...!news.mixmin.net!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: sci.logic
Subject: Re: Andrej Bauer is a red flag (Was: How to prove this theorem with
 intuitionistic natural deduction?)
Date: Sun, 1 Dec 2024 13:40:43 +0100
Message-ID: <vihlga$lpqu$1@solani.org>
References: <vhgdq0$19evr$1@dont-email.me> <vihfd2$8qss$1@solani.org>
 <vihkif$2flre$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 1 Dec 2024 12:40:42 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="714590"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.19
Cancel-Lock: sha1:2PEYtt0Cq5/52aFsLJ1xpVYl2S8=
In-Reply-To: <vihkif$2flre$1@dont-email.me>
X-User-ID: eJwFwYEBACAEBMCViP8Yp9D+I3QHo7K2E3Q8PPMA1mLklRHhSu3maYclR6XOHW+jB7WInGPS3qW6b+ycDyS2FKY=
Bytes: 2597
Lines: 45


Its extremly personal, because SO and other
systems establish para-governemental prisons,
and mostly the reason is a form

of agile processes, agil forms of website
development, including the many "business rules"
that are involved in SO,

thats a very dangerous form of creating such
things, since it might violate existing law
which also applies to the digital.

P.S.: In a normal IT setting you have
subject matter experts that define "business
rules", such mechanisms should be a playground

for infantile developers with a mindset of a 5 year old.

Julio Di Egidio schrieb:
> On 01/12/2024 11:56, Mild Shock wrote:
>> Hi,
>>
>>  > Meanwhile, you might have seen it, I have also asked on SE:
>>  > 
>> <https://proofassistants.stackexchange.com/questions/4455/negative-translation-for-linear-propositional-logic> 
>>
>>
>> Sorry, but I must quite. Anything where Andrej Bauer is
>> a red flag. I remember he was censoring some post of mine,
>> don't remember exactly where it was.
> 
> Don't make it personal, a third of the world population is nazi-retarded 
> by now: the incivilization and involution is just  like the Huns, not 
> even grass grows anymore.
> 
> It's a fucking shame for humanity: but there just seems to be no bottom 
> to it, it's like those rats on the boat, killing and shitting on all 
> intelligence and decency to begin with.
> 
> "Progress" is watch these nazi-retards play WW3, get some popcorn...
> 
> 
> -Julio
>