Re: Andrej Bauer is a red flag (Was: How to prove this theorem with intuitionistic natural deduction?)

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