From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-3.3 required=5.0 tests=MAILING_LIST_MULTI, RCVD_IN_DNSWL_MED,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 31804 invoked from network); 29 Jun 2020 12:04:37 -0000 Received: from mother.openwall.net (195.42.179.200) by inbox.vuxu.org with ESMTPUTF8; 29 Jun 2020 12:04:37 -0000 Received: (qmail 18265 invoked by uid 550); 29 Jun 2020 12:04:32 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-ID: Reply-To: musl@lists.openwall.com Received: (qmail 18247 invoked from network); 29 Jun 2020 12:04:31 -0000 From: Pascal Cuoq To: "musl@lists.openwall.com" Thread-Topic: [musl] Posits support under Musl libc? Thread-Index: AQHWTgIEVVaig9l/hkmJCbsJVFZw1qjvfT15 Date: Mon, 29 Jun 2020 12:04:19 +0000 Message-ID: <1593432262642.64835@trust-in-soft.com> References: <3a5f-5ef9c580-33-213e2940@106506192> In-Reply-To: <3a5f-5ef9c580-33-213e2940@106506192> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-exchange-transport-fromentityheader: Hosted x-originating-ip: [91.172.139.202] Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Subject: Re: [musl] Posits support under Musl libc? Hello,=0A= =0A= > Can the "musl" libc project consider supporting the Posit number format i= n the math routines?=0A= =0A= > More details;=0A= > https://posithub.org/docs/Posits4.pdf=0A= > https://posithub.org/docs/BeatingFloatingPoint.pdf=0A= =0A= > And a sample implementation;=0A= > https://gitlab.com/cerlane/SoftPosit=0A= =0A= I am not a musl contributor and have no say in what it should contain or no= t, but why in hell a software implementation of a non-standard floating-poi= nt format that only its inventor seems to think has any concrete advantage = over IEEE 754 belong in a libc the goals of which are below?=0A= =0A= =93lightweight, fast, simple, free, and strives to be correct in the sense = of standards-conformance and safety.=94 (from https://musl.libc.org/ )=0A= =0A= Posits are 1 out of 5 (I think they are free).=0A= =0A= Pascal=0A=