Path: ...!3.eu.feeder.erje.net!feeder.erje.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 14:04:44 +0100
Message-ID: <vihmtc$lqgf$1@solani.org>
References: <vhgdq0$19evr$1@dont-email.me> <vihfd2$8qss$1@solani.org>
 <vihkif$2flre$1@dont-email.me> <vihlga$lpqu$1@solani.org>
 <vihli7$lpqu$2@solani.org> <vihlvk$lpvg$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 1 Dec 2024 13:04:44 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="715279"; 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:hXmrypZAGg04pzpv+pg2pM/moVI=
In-Reply-To: <vihlvk$lpvg$1@solani.org>
X-User-ID: eJwNysENACAIBMGWEOGEcjyU/kvQZD+TrE8M1DI4zNt7nby1JUDDNZxWXWicMWSqkoEN/fhvVURysiXjR3RSHkqwFQ0=
Bytes: 4126
Lines: 79

It could be that among the exceptions is
also certain academic work. So maybe
there are different rules for CSTHEORY,

that for SO. Which has different audience.
But especially SO is problematic, since
it adresses "developers", they start their site with:

"Every developer has a
tab open to Stack Overflow."
For over 15 years we’ve been the Q&A platform
of choice that millions of people visit every
month to ask questions, learn, and
share technical knowledge.
https://stackoverflow.com/

So what is really "muddled" is thery IP
theft. Although they offer stack overflow
for teams. But maybe there is another solution

to the dilemma, something inbetween and more
fluid. Like GitHub, where you easily switch back
and forth a repository from private to non-private.

It is probably part and parcel of their marketing
stategiy that they make it most difficult to get
control over your own IP. So as to move you into

stackoverflow for teams. Which is of course a
moronic idea that this would work. There are
quite a couple of alternatives around,

Scryer Prolog uses GitHub discussions. But GitHub
can be also extremly Nazi.

Mild Shock schrieb:
> 
> One problem I generally see is, that most people
> are not aware, that an employee has no rights
> on the stuff he writes for his employer.
> 
> Standard Rules:
> - Work for Hire Doctrine: In most jurisdictions, code
> written by an employee within the scope of their employment is 
> considered a "work for hire," meaning the employer owns
> the intellectual property (IP) unless otherwise agreed in writing.
> - Employment Contracts: Most employment agreements
> explicitly state that any code, inventions, or intellectual
> property created as part of your job belongs to the employer.
> - Use of Employer Resources: If an employee uses the
> employer’s time, tools, or resources to create code, the employer 
> generally owns the resulting work.
> 
> Exceptions:
> - Independent Work: If an employee writes code outside
> working hours, without using company resources, and it’s
> unrelated to their job, they may retain rights. Some
> jurisdictions, like California, have laws (e.g., California Labor Code 
> §2870) protecting employees in such cases.
> - Negotiated Agreements: If the employee has a specific
> agreement (e.g., consulting or freelance arrangements),
> ownership terms might differ.
> 
> So like 90% of the stackoverflow users cannot
> go into an agreement individually, since they are
> employed, with stackoverflow in that they would be
> able to give a license to what they write.
> 
> 
> Mild Shock schrieb:
>> Mild Shock schrieb:
>>> such mechanisms should be a playground
>>> for infantile developers with a mindset of a 5 year old.
>>
>> Corr.:
>>
>> such mechanisms should not be a playground
>> for infantile developers with a mindset of a 5 year old.
>