2018-01-12T00:02:48Z smurfrobot joined #scheme 2018-01-12T00:03:37Z smurfrobot quit (Remote host closed the connection) 2018-01-12T00:14:25Z pie_ quit (Ping timeout: 248 seconds) 2018-01-12T00:15:30Z pie_ joined #scheme 2018-01-12T00:31:37Z excelsior quit (Ping timeout: 268 seconds) 2018-01-12T00:31:59Z X-Scale quit (Ping timeout: 256 seconds) 2018-01-12T00:41:47Z X-Scale joined #scheme 2018-01-12T00:48:19Z excelsior joined #scheme 2018-01-12T01:01:27Z groscoe quit (Ping timeout: 240 seconds) 2018-01-12T01:08:55Z wigust joined #scheme 2018-01-12T01:14:40Z jcowan quit (Remote host closed the connection) 2018-01-12T01:15:05Z jcowan joined #scheme 2018-01-12T01:20:55Z manumanumanu quit (Ping timeout: 260 seconds) 2018-01-12T01:21:18Z pierpa joined #scheme 2018-01-12T01:33:49Z manumanumanu joined #scheme 2018-01-12T01:39:35Z jcowan quit (Ping timeout: 260 seconds) 2018-01-12T01:44:10Z jcowan joined #scheme 2018-01-12T01:56:51Z badkins quit (Remote host closed the connection) 2018-01-12T02:03:27Z daviid quit (Ping timeout: 240 seconds) 2018-01-12T02:10:49Z sz0 quit (Quit: Connection closed for inactivity) 2018-01-12T02:16:18Z JuanDaugherty quit (Quit: Ex Chat) 2018-01-12T02:29:16Z daviid joined #scheme 2018-01-12T02:30:36Z jtl_ joined #scheme 2018-01-12T02:34:31Z cemerick_ joined #scheme 2018-01-12T02:38:27Z cemerick quit (Ping timeout: 240 seconds) 2018-01-12T02:39:08Z Steverman quit (Quit: WeeChat 2.0.1) 2018-01-12T02:46:29Z TCZ joined #scheme 2018-01-12T02:48:07Z TCZ quit (Client Quit) 2018-01-12T02:49:47Z longshi quit (Ping timeout: 255 seconds) 2018-01-12T02:58:09Z epony quit (Remote host closed the connection) 2018-01-12T03:11:10Z epony joined #scheme 2018-01-12T03:12:22Z epony quit (Max SendQ exceeded) 2018-01-12T03:13:17Z epony joined #scheme 2018-01-12T03:28:15Z epony quit (Read error: Connection reset by peer) 2018-01-12T03:32:38Z epony joined #scheme 2018-01-12T03:35:29Z daviid quit (Ping timeout: 248 seconds) 2018-01-12T03:52:43Z ArneBab joined #scheme 2018-01-12T03:57:11Z ArneBab_ quit (Ping timeout: 276 seconds) 2018-01-12T04:07:47Z smurfrobot joined #scheme 2018-01-12T04:09:26Z smurfrobot quit (Remote host closed the connection) 2018-01-12T04:09:43Z smurfrobot joined #scheme 2018-01-12T04:10:57Z smurfrobot quit (Remote host closed the connection) 2018-01-12T05:11:29Z smurfrobot joined #scheme 2018-01-12T05:16:17Z smurfrobot quit (Ping timeout: 248 seconds) 2018-01-12T05:23:29Z jtl_ quit (Quit: jtl_) 2018-01-12T05:28:14Z jao quit (Ping timeout: 268 seconds) 2018-01-12T05:28:16Z pierpa quit (Quit: Page closed) 2018-01-12T05:56:45Z snits quit (Ping timeout: 264 seconds) 2018-01-12T05:57:28Z snits joined #scheme 2018-01-12T05:58:57Z leppie joined #scheme 2018-01-12T05:59:09Z leppie quit (Client Quit) 2018-01-12T06:06:55Z epony quit (Quit: re-installing OS.) 2018-01-12T06:17:24Z epony joined #scheme 2018-01-12T06:18:37Z epony quit (Max SendQ exceeded) 2018-01-12T06:19:27Z epony joined #scheme 2018-01-12T06:20:04Z oleo quit (Quit: Leaving) 2018-01-12T06:26:46Z mbakke quit (Ping timeout: 264 seconds) 2018-01-12T06:28:55Z mbakke joined #scheme 2018-01-12T06:39:17Z JuanDaugherty joined #scheme 2018-01-12T06:40:45Z JuanDaugherty quit (Client Quit) 2018-01-12T06:41:12Z JuanDaugherty joined #scheme 2018-01-12T06:53:21Z niklasl quit (Read error: Connection reset by peer) 2018-01-12T06:53:57Z niklasl joined #scheme 2018-01-12T07:04:14Z r0kc4t quit (Remote host closed the connection) 2018-01-12T07:07:05Z pflanze quit (Ping timeout: 252 seconds) 2018-01-12T07:10:47Z lambda-11235 quit (Quit: WeeChat 2.0.1) 2018-01-12T07:12:13Z pflanze joined #scheme 2018-01-12T07:19:14Z excelsior quit (Ping timeout: 268 seconds) 2018-01-12T07:30:18Z murii joined #scheme 2018-01-12T08:06:30Z SirDayBat joined #scheme 2018-01-12T08:26:17Z civodul joined #scheme 2018-01-12T09:20:53Z smurfrobot joined #scheme 2018-01-12T09:22:11Z smurfrobot quit (Remote host closed the connection) 2018-01-12T09:22:43Z smurfrobot joined #scheme 2018-01-12T09:22:46Z smurfrobot quit (Remote host closed the connection) 2018-01-12T09:23:01Z smurfrobot joined #scheme 2018-01-12T09:24:19Z smurfrobot quit (Remote host closed the connection) 2018-01-12T09:25:17Z smurfrobot joined #scheme 2018-01-12T09:26:31Z smurfrobot quit (Remote host closed the connection) 2018-01-12T09:27:15Z smurfrobot joined #scheme 2018-01-12T09:27:15Z pjb quit (Read error: Connection reset by peer) 2018-01-12T09:27:44Z wingo quit (Ping timeout: 252 seconds) 2018-01-12T09:28:28Z smurfrobot quit (Remote host closed the connection) 2018-01-12T09:28:30Z pjb joined #scheme 2018-01-12T09:32:05Z ecraven: ah, why does utf8->string not take start and end arguments :-/ 2018-01-12T09:51:00Z BitPuffin joined #scheme 2018-01-12T09:51:54Z civodul: those start/end arguments are annoying 2018-01-12T09:52:15Z civodul: maybe we should have a separate "bytevector-reference" data type 2018-01-12T09:52:24Z civodul: that would work everywhere a bytevector is expected 2018-01-12T09:53:23Z ArneBab_ joined #scheme 2018-01-12T09:53:24Z ArneBab_ quit (Changing host) 2018-01-12T09:53:24Z ArneBab_ joined #scheme 2018-01-12T09:55:45Z ArneBab quit (Ping timeout: 248 seconds) 2018-01-12T09:57:09Z greatscottttt joined #scheme 2018-01-12T10:06:18Z pjb: ecraven: how can you be sure that your start and end don't fall in the middle of a utf-8 code sequence? 2018-01-12T10:06:56Z pjb: civodul: it's called displaced arrays. 2018-01-12T10:07:06Z smurfrobot joined #scheme 2018-01-12T10:07:10Z ecraven: pjb: that's my responsibility 2018-01-12T10:07:24Z ecraven: I need to be sure of that even if copying the bytevector, but I'd prefer to *not* have to copy it 2018-01-12T10:07:41Z pjb: again, that's what displaced arrays are for. 2018-01-12T10:07:50Z ecraven: indeed, but we don't have those :-/ 2018-01-12T10:07:52Z pjb: Oops, sorry this is #scheme. 2018-01-12T10:08:06Z ecraven: no problem, I wish we had displaced arrays ;) 2018-01-12T10:08:22Z pjb: Yes, without them, start and end are needed. 2018-01-12T10:08:41Z ecraven: I'd like displaced vectors, bytevectors and strings :-/ 2018-01-12T10:09:01Z ecraven: or "references" or "aliases" or whatever we want to call them 2018-01-12T10:09:05Z pjb: You can always patch the implementation ;-) 2018-01-12T10:09:21Z civodul: pjb: do you know of a Scheme that provides it? 2018-01-12T10:09:27Z lloda: they're easy to implement, but then all the other functions have to accept them :p 2018-01-12T10:09:29Z ecraven: jcowan: any plans for displaced bytevectors/vectors/strings for r7rs-large? 2018-01-12T10:09:34Z lloda: Guile has them :p 2018-01-12T10:09:42Z civodul: lloda: oh? :-) 2018-01-12T10:09:48Z civodul: you mean with the array API, right? 2018-01-12T10:09:52Z lloda: sure 2018-01-12T10:10:02Z ecraven: lloda: bytevectors and strings too? 2018-01-12T10:10:03Z civodul: ok 2018-01-12T10:10:16Z lloda: ecraven: yes 2018-01-12T10:10:23Z ecraven: nice, never knew that ;) 2018-01-12T10:10:26Z lloda: bytevectors are type 'u8 and strings are type 'a 2018-01-12T10:11:01Z wingo joined #scheme 2018-01-12T10:11:04Z smurfrobot quit (Remote host closed the connection) 2018-01-12T10:12:06Z smurfrobot joined #scheme 2018-01-12T10:13:23Z smurfrobot quit (Remote host closed the connection) 2018-01-12T10:13:23Z pjb: Yes, the problem is not to implement them, it's trivial to do with lambda. The problem is to integrate the "new data type" with existing code. This is why it's better to patch the implementation. I don't know any scheme having that yet. 2018-01-12T10:14:28Z pjb: Actually, it could be generalized to any data type API, so that the user may provide custom implementations for subtypes of any standard types. 2018-01-12T10:14:51Z ecraven: might be hard to generalize efficiently 2018-01-12T10:17:04Z dmiles quit (Ping timeout: 248 seconds) 2018-01-12T10:17:11Z smurfrobot joined #scheme 2018-01-12T10:18:22Z smurfrobot quit (Remote host closed the connection) 2018-01-12T10:22:09Z smurfrobot joined #scheme 2018-01-12T10:22:56Z smurfrobot quit (Remote host closed the connection) 2018-01-12T10:23:12Z lloda: in Guile, all you have to do to make your code work with arrays is replace your special-vector-type-refs by array-ref. Sure it's slower, but the compiler should be able to specialize that array-ref in many cases. Eventually. 2018-01-12T10:26:08Z sleffy quit (Ping timeout: 248 seconds) 2018-01-12T10:27:06Z smurfrobot joined #scheme 2018-01-12T10:28:22Z smurfrobot quit (Remote host closed the connection) 2018-01-12T10:32:07Z smurfrobot joined #scheme 2018-01-12T10:33:22Z smurfrobot quit (Remote host closed the connection) 2018-01-12T10:35:45Z pjb: ecraven: not necessarily: there are already type check tests in the entry points of all those functions, so you only have to derivate to a customizable table when a type error occurs. 2018-01-12T10:36:31Z ecraven: so you'd special-case the built-in types, and only if that fails go to the generalized table? that sounds good ;) 2018-01-12T10:37:09Z smurfrobot joined #scheme 2018-01-12T10:38:22Z smurfrobot quit (Remote host closed the connection) 2018-01-12T10:42:06Z smurfrobot joined #scheme 2018-01-12T10:43:22Z smurfrobot quit (Remote host closed the connection) 2018-01-12T10:47:10Z smurfrobot joined #scheme 2018-01-12T10:48:22Z smurfrobot quit (Remote host closed the connection) 2018-01-12T10:54:10Z jcowan_ joined #scheme 2018-01-12T10:56:57Z jcowan quit (Ping timeout: 240 seconds) 2018-01-12T11:03:07Z daviid joined #scheme 2018-01-12T11:22:48Z leppie joined #scheme 2018-01-12T11:32:09Z civodul quit (Quit: ERC (IRC client for Emacs 25.3.1)) 2018-01-12T11:47:11Z jonaslund quit (Ping timeout: 248 seconds) 2018-01-12T11:48:55Z jonaslund joined #scheme 2018-01-12T11:59:34Z dmiles joined #scheme 2018-01-12T12:39:57Z murii quit (Ping timeout: 240 seconds) 2018-01-12T12:52:49Z longshi joined #scheme 2018-01-12T12:57:43Z pie_ quit (Ping timeout: 256 seconds) 2018-01-12T13:06:17Z pilne quit (Quit: Quitting!) 2018-01-12T13:10:29Z kwmiebach quit (Ping timeout: 252 seconds) 2018-01-12T13:13:30Z kwmiebach joined #scheme 2018-01-12T13:25:50Z civodul joined #scheme 2018-01-12T13:37:35Z vyzo quit (Ping timeout: 240 seconds) 2018-01-12T13:38:57Z vyzo joined #scheme 2018-01-12T13:46:33Z Murii joined #scheme 2018-01-12T13:47:06Z smurfrobot joined #scheme 2018-01-12T13:51:37Z badkins joined #scheme 2018-01-12T13:56:22Z smurfrobot quit (Ping timeout: 268 seconds) 2018-01-12T14:00:24Z groscoe joined #scheme 2018-01-12T14:03:56Z jao joined #scheme 2018-01-12T14:09:07Z jonaslund quit (Ping timeout: 256 seconds) 2018-01-12T14:12:51Z jcowan_: ecraven: Arrays (which can be 1-dimensional) are inherently displaced in R7RS-Red. While there is no built-in support for character arrays, they are trivial for a user to add. 2018-01-12T14:13:38Z jcowan_ is now known as jcowan 2018-01-12T14:14:08Z jcowan: s/Red/Yellow/ (unless they are voted down) 2018-01-12T14:24:14Z gwatt: jcowan: do you mean arrays a la srfi 25? 2018-01-12T14:25:33Z wigust quit (Ping timeout: 264 seconds) 2018-01-12T14:27:42Z jcowan: gwatt: Yes, or better yet SRFI 122 2018-01-12T14:29:01Z ecraven: does this include bytevectors? 2018-01-12T14:37:26Z wigust joined #scheme 2018-01-12T14:38:00Z gwatt: jcowan: there are about 5 array srfis to choose from 2018-01-12T14:40:36Z jcowan: indeed, which means we may not have a resolution on the orange ballot 2018-01-12T14:40:53Z jcowan: if not, I will move the top vote-getters to yellow 2018-01-12T14:50:00Z Steverman joined #scheme 2018-01-12T14:50:31Z smurfrobot joined #scheme 2018-01-12T14:57:28Z smurfrobot quit (Remote host closed the connection) 2018-01-12T14:59:56Z smurfrobot joined #scheme 2018-01-12T15:03:24Z ecraven: has there been activity lately? I haven't gotten any mails :-/ 2018-01-12T15:05:43Z jcowan: nope. between new job (since Nov 1) and broken arm (since Dec 29) I've been pretty much inactive 2018-01-12T15:05:55Z jcowan: I need to catch up on some pending SRFIs 2018-01-12T15:06:08Z jcowan: as always, the bottleneck is implementation 2018-01-12T15:06:42Z jcowan: but it keeps us honest 2018-01-12T15:07:48Z ecraven: that's totally ok! I hope the arm is better now. I just feared I missed all the action ;) 2018-01-12T15:08:38Z jcowan: not better yet 2018-01-12T15:08:50Z ecraven: :-/ complicated fracture? 2018-01-12T15:09:04Z jcowan: I basically can raise it maybe five degrees outward from hanging straight down 2018-01-12T15:09:59Z jcowan: No, no, very simple crack in the neck of the upper arm, just below the shoulder joint. It remained perfectly aligned, so no surgery needed. It just takes eight @#$* weeks to heal, even a little thing like that 2018-01-12T15:10:26Z jcowan: and of course there is lots of pain and muscle wasting, and pain. 2018-01-12T15:10:34Z ecraven: ah, that sounds like it would make a lot of things very hard :-/ 2018-01-12T15:10:39Z ecraven: amazing you can even type as well! 2018-01-12T15:11:24Z jcowan: At first I was only one-handed (very slow) but now I can loosen then sling and support my hands on the corners of the keyboard 2018-01-12T15:12:02Z jcowan: no cast needed, fortunately, or I'd really be helpless. As it is, I can do everything I need myself (learned a lot of new techniques) 2018-01-12T15:12:17Z jcowan: except opening a new jar or bottle, that's still impossible 2018-01-12T15:13:37Z ecraven: :-/ all the best wishes for getting better fast! (not entirely unselfishly :P :) 2018-01-12T15:15:51Z jcowan chuckles 2018-01-12T15:17:10Z jcowan: That's me, the Slave of Duty 2018-01-12T15:17:21Z jcowan: (Pirates of Penzance reference) 2018-01-12T15:18:12Z smurfrobot quit (Remote host closed the connection) 2018-01-12T15:20:33Z drewc quit (Ping timeout: 248 seconds) 2018-01-12T15:29:09Z pie_ joined #scheme 2018-01-12T15:37:02Z smurfrobot joined #scheme 2018-01-12T15:40:57Z wigust quit (Ping timeout: 240 seconds) 2018-01-12T15:44:37Z smurfrobot quit (Remote host closed the connection) 2018-01-12T15:47:52Z oleo joined #scheme 2018-01-12T15:50:44Z Riastradh quit (Remote host closed the connection) 2018-01-12T15:54:02Z Riastradh joined #scheme 2018-01-12T15:57:38Z drewc joined #scheme 2018-01-12T16:03:41Z neuri8 quit (Quit: L) 2018-01-12T16:15:22Z smurfrobot joined #scheme 2018-01-12T16:19:12Z smurfrobot quit (Remote host closed the connection) 2018-01-12T16:19:27Z smurfrobot joined #scheme 2018-01-12T16:32:05Z smurfrobot quit (Remote host closed the connection) 2018-01-12T16:36:03Z smurfrobot joined #scheme 2018-01-12T16:37:26Z cmatei quit (*.net *.split) 2018-01-12T16:37:26Z eli quit (*.net *.split) 2018-01-12T16:37:26Z LeoNerd quit (*.net *.split) 2018-01-12T16:37:26Z ericmathison quit (*.net *.split) 2018-01-12T16:37:26Z mjl quit (*.net *.split) 2018-01-12T16:37:26Z cjh` quit (*.net *.split) 2018-01-12T16:37:26Z fowlduck quit (*.net *.split) 2018-01-12T16:37:26Z jyc quit (*.net *.split) 2018-01-12T16:37:27Z PyroLagus quit (*.net *.split) 2018-01-12T16:37:36Z LeoNerd joined #scheme 2018-01-12T16:37:43Z ericmathison joined #scheme 2018-01-12T16:37:43Z cmatei joined #scheme 2018-01-12T16:37:47Z fowlduck joined #scheme 2018-01-12T16:38:00Z mjl joined #scheme 2018-01-12T16:38:06Z jyc joined #scheme 2018-01-12T16:38:09Z cjh` joined #scheme 2018-01-12T16:38:51Z PyroLagus joined #scheme 2018-01-12T16:44:45Z smurfrobot quit (Ping timeout: 264 seconds) 2018-01-12T16:46:37Z badkins quit (Remote host closed the connection) 2018-01-12T16:48:56Z badkins joined #scheme 2018-01-12T16:57:59Z greatscottttt quit (Quit: WeeChat 1.9) 2018-01-12T17:13:24Z danly joined #scheme 2018-01-12T17:32:10Z jcowan_ joined #scheme 2018-01-12T17:34:40Z jcowan quit (Ping timeout: 268 seconds) 2018-01-12T17:34:49Z jonaslund joined #scheme 2018-01-12T18:11:11Z vyzo quit (Ping timeout: 248 seconds) 2018-01-12T18:25:04Z vyzo joined #scheme 2018-01-12T18:34:29Z tmc quit (*.net *.split) 2018-01-12T18:34:29Z askatasuna quit (*.net *.split) 2018-01-12T18:34:43Z tmc joined #scheme 2018-01-12T18:35:30Z askatasuna joined #scheme 2018-01-12T18:37:30Z wingo quit (Ping timeout: 260 seconds) 2018-01-12T18:39:34Z wingo joined #scheme 2018-01-12T18:40:33Z badkins quit (Remote host closed the connection) 2018-01-12T18:41:47Z badkins joined #scheme 2018-01-12T18:46:23Z badkins quit (Ping timeout: 248 seconds) 2018-01-12T19:00:05Z alezost joined #scheme 2018-01-12T19:07:04Z smurfrobot joined #scheme 2018-01-12T19:18:25Z longshi quit (Ping timeout: 252 seconds) 2018-01-12T19:24:39Z arrveyyi joined #scheme 2018-01-12T19:37:42Z badkins joined #scheme 2018-01-12T19:39:08Z sleffy joined #scheme 2018-01-12T19:49:42Z jcowan__ joined #scheme 2018-01-12T19:52:27Z jcowan_ quit (Ping timeout: 240 seconds) 2018-01-12T20:05:12Z smurfrobot quit (Remote host closed the connection) 2018-01-12T20:23:34Z pilne joined #scheme 2018-01-12T20:29:03Z jcowan__ is now known as jcowan 2018-01-12T20:30:12Z Murii quit (Quit: WeeChat 1.4) 2018-01-12T20:55:35Z jonaslund quit (Ping timeout: 240 seconds) 2018-01-12T21:03:33Z JuanDaugherty quit (Quit: Ex Chat) 2018-01-12T21:24:27Z sz0_ joined #scheme 2018-01-12T21:25:10Z sz0_ quit (Client Quit) 2018-01-12T21:26:03Z sz0 joined #scheme 2018-01-12T21:36:07Z Fare quit (Remote host closed the connection) 2018-01-12T21:56:28Z jcowan: anyone have an email address for Aubrey Jaffer, or other means of reaching him? is permadown 2018-01-12T21:56:45Z BitPuffin quit (Remote host closed the connection) 2018-01-12T21:57:34Z Riastradh: alumni.mit.edu? Do you mean alum.mit.edu? 2018-01-12T21:59:19Z jcowan: Ah, thanks. I autoexpanded the abbrev in my head 2018-01-12T22:18:27Z smurfrobot joined #scheme 2018-01-12T22:19:45Z lambda-11235 joined #scheme 2018-01-12T22:20:17Z pierpa joined #scheme 2018-01-12T22:27:44Z ecraven: what exactly is an alum? shouldn't it be alumnus? 2018-01-12T22:28:04Z smurfrobot quit (Remote host closed the connection) 2018-01-12T22:28:18Z ecraven: wikipedia says alum is patossium alum ;) 2018-01-12T22:28:20Z ecraven: potassium 2018-01-12T22:32:39Z Riastradh: Well, it's nongendered... 2018-01-12T22:35:47Z jonaslund joined #scheme 2018-01-12T22:39:25Z aeth: shouldn't it be alumn? 2018-01-12T22:55:06Z smurfrobot joined #scheme 2018-01-12T22:59:18Z alezost quit (Quit: I live in GuixSD and Emacs ) 2018-01-12T22:59:24Z smurfrobot quit (Ping timeout: 256 seconds) 2018-01-12T23:07:00Z arrveyyi quit (Remote host closed the connection) 2018-01-12T23:08:47Z jcowan quit (Read error: Connection reset by peer) 2018-01-12T23:09:15Z jcowan joined #scheme 2018-01-12T23:40:17Z lambda-11235 quit (Quit: WeeChat 2.0.1) 2018-01-12T23:55:55Z cemerick joined #scheme 2018-01-12T23:59:28Z cemerick_ quit (Ping timeout: 268 seconds)