Remaining work on SRFI 178 John Cowan (16 Aug 2020 02:36 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (16 Aug 2020 16:07 UTC)
Re: Remaining work on SRFI 178 Arthur A. Gleckler (16 Aug 2020 22:49 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (17 Aug 2020 00:22 UTC)
Re: Remaining work on SRFI 178 John Cowan (17 Aug 2020 00:24 UTC)
Re: Remaining work on SRFI 178 Arthur A. Gleckler (17 Aug 2020 00:50 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (17 Aug 2020 05:44 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (17 Aug 2020 06:00 UTC)
Re: Remaining work on SRFI 178 John Cowan (17 Aug 2020 14:48 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (17 Aug 2020 15:04 UTC)
Re: Remaining work on SRFI 178 John Cowan (17 Aug 2020 15:05 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (17 Aug 2020 15:17 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (18 Aug 2020 04:28 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (18 Aug 2020 05:59 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (18 Aug 2020 15:43 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (18 Aug 2020 15:59 UTC)
Re: Remaining work on SRFI 178 John Cowan (18 Aug 2020 16:01 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (18 Aug 2020 16:22 UTC)
Re: Remaining work on SRFI 178 Arthur A. Gleckler (18 Aug 2020 18:36 UTC)
Re: Remaining work on SRFI 178 John Cowan (18 Aug 2020 19:10 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (18 Aug 2020 19:49 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (18 Aug 2020 20:13 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (18 Aug 2020 20:28 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (18 Aug 2020 20:40 UTC)
Re: Remaining work on SRFI 178 John Cowan (18 Aug 2020 22:03 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (19 Aug 2020 08:58 UTC)
Re: Remaining work on SRFI 178 John Cowan (20 Aug 2020 12:45 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (20 Aug 2020 13:15 UTC)
Re: Remaining work on SRFI 178 John Cowan (20 Aug 2020 14:41 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (20 Aug 2020 14:54 UTC)
Re: Remaining work on SRFI 178 John Cowan (20 Aug 2020 15:25 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (20 Aug 2020 15:52 UTC)
Re: Remaining work on SRFI 178 John Cowan (20 Aug 2020 16:03 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (20 Aug 2020 16:55 UTC)
Re: Remaining work on SRFI 178 John Cowan (20 Aug 2020 17:05 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (20 Aug 2020 18:32 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (21 Aug 2020 04:56 UTC)
Re: Remaining work on SRFI 178 Shiro Kawai (21 Aug 2020 05:14 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (21 Aug 2020 08:00 UTC)
Re: Remaining work on SRFI 178 Shiro Kawai (21 Aug 2020 09:15 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (21 Aug 2020 09:19 UTC)
Re: Remaining work on SRFI 178 John Cowan (21 Aug 2020 15:55 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (21 Aug 2020 16:56 UTC)
Re: Remaining work on SRFI 178 John Cowan (21 Aug 2020 21:03 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (21 Aug 2020 22:38 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (22 Aug 2020 06:27 UTC)
Re: Remaining work on SRFI 178 John Cowan (22 Aug 2020 16:23 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (24 Aug 2020 15:45 UTC)
Re: Remaining work on SRFI 178 John Cowan (24 Aug 2020 18:01 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (24 Aug 2020 18:15 UTC)
Re: Remaining work on SRFI 178 John Cowan (18 Aug 2020 20:25 UTC)
Re: Remaining work on SRFI 178 Arthur A. Gleckler (17 Aug 2020 06:22 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (17 Aug 2020 06:30 UTC)
Re: Remaining work on SRFI 178 Arthur A. Gleckler (17 Aug 2020 06:45 UTC)
Re: Remaining work on SRFI 178 John Cowan (17 Aug 2020 14:04 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (17 Aug 2020 15:10 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (17 Aug 2020 15:42 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (17 Aug 2020 16:33 UTC)

Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen 20 Aug 2020 14:54 UTC

Am Do., 20. Aug. 2020 um 16:42 Uhr schrieb John Cowan <xxxxxx@ccil.org>:

> Three, I think: reverse-bitvector->vector/{bool,int} and reverse-vector->bitvector.  Added.  Wolfgang, please add these too.  That limits us to just conversion, but hopefully that's enough.

s/vector/bytevector/g   ???

> (Note, however, that GMP is designed to deal with numbers, and may optimize numeric operations over bitwise ones anyway.)

GMP has an interface that works directly on the level of limbs. These
could, in principle, be more or less directly become an internal
representation of Scheme bitvectors.

https://gmplib.org/manual/Low_002dlevel-Functions#Low_002dlevel-Functions

> But I am no expert on implementations on modern CPUs.

Hopefully, someone will volunteer to write a fast C version using GMP
or something like that. :)

>> PS: At the end of the SRFI, it says "Copyright John Cowan 2018". Don't
>> you want a 2020 there?

> Bah. It expires on my death+75 years no matter what the copyright date.  Updating copyright dates is neither necessary nor useful in general.  Even for corporations, what sane corporation cares today whether its copyrights expire in 2108 or 2110?
>
> (I know about the factitious use of copyright dates to indicate activity on a project, but I should think looking at whether issues are being closed would be more, like, useful.)

The FSF folks seem to be very strict about these things, so I thought
it might be important.

BTW, when the time has come. the +75 will surely have become a +175,
just to satisfy the media industry.