Path: ...!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:48:53 +0100
Message-ID: <vihlvk$lpvg$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 1 Dec 2024 12:48:52 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="714736"; 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:CIgSjopnVg99Mkj021wNQe+g//Y=
X-User-ID: eJwNycEBwCAIA8CVQEiEcVRg/xHa+x6MyredoGMw0bs080Eqr6yYsrlHnGrPIId9opPlPZW1XUL/R/NC3e/6AFyqFcg=
In-Reply-To: <vihli7$lpqu$2@solani.org>
Bytes: 2800
Lines: 42


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.