[00:00:22] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 260 seconds). [00:04:58] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [00:28:56] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 265 seconds). [00:32:22] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [00:44:34] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 240 seconds). [00:48:23] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [00:53:25] * ColonelJ [ColonelJ!~ColonelJ@unaffiliated/colonelj] has quit (Quit: leaving). [00:56:03] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 260 seconds). [00:59:27] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [01:04:14] * bitmapper [bitmapper!~bitmapper@142.162.167.202] has quit (Ping timeout: 240 seconds). [01:06:28] * zolk3ri [zolk3ri!~zolk3ri@gateway/tor-sasl/zolk3ri] has joined the channel. [01:22:14] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 240 seconds). [01:23:43] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [01:30:35] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 260 seconds). [01:36:02] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [01:39:34] Polynesian languages have an exclusive vs inclusive we, yay us :) [01:40:05] also, hi erg, long time no speak! [01:48:59] * MDude [MDude!~MDude@74.5.140.76] has quit (Quit: Going offline, see ya! (www.adiirc.com)). [02:06:59] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 260 seconds). [02:13:55] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [02:36:03] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 265 seconds). [02:46:47] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [02:57:14] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 240 seconds). [03:17:32] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [03:27:17] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 265 seconds). [03:32:46] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [03:37:34] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 240 seconds). [03:50:20] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [04:01:28] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 256 seconds). [04:04:38] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [04:35:09] * zolk3ri [zolk3ri!~zolk3ri@gateway/tor-sasl/zolk3ri] has quit (Quit: leaving). [04:35:24] * zolk3ri [zolk3ri!~zolk3ri@gateway/tor-sasl/zolk3ri] has joined the channel. [04:36:19] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 260 seconds). [04:37:19] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [04:52:24] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 256 seconds). [04:53:53] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [04:59:58] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 260 seconds). [05:07:02] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [05:12:46] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 246 seconds). [05:15:03] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [05:29:34] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 265 seconds). [05:30:09] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [05:36:54] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 240 seconds). [05:37:35] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [07:13:36] * ephe_meral [ephe_meral!~amnesia@ip54-97-176-143.adsl2.static.versatel.nl] has joined the channel. [07:17:45] * itmuckel [itmuckel!~itmuckel@mue-88-130-56-048.dsl.tropolys.de] has joined the channel. [07:37:43] * ephe_meral [ephe_meral!~amnesia@ip54-97-176-143.adsl2.static.versatel.nl] has quit (Ping timeout: 258 seconds). [08:13:02] * ephe_meral [ephe_meral!~amnesia@31.161.141.147] has joined the channel. [08:29:52] * zolk3ri [zolk3ri!~zolk3ri@gateway/tor-sasl/zolk3ri] has quit (Remote host closed the connection). [08:43:34] * Sgeo [Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net] has quit (Read error: Connection reset by peer). [09:20:22] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 260 seconds). [09:34:11] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [09:36:49] * ephe_meral [ephe_meral!~amnesia@31.161.141.147] has quit (Ping timeout: 264 seconds). [10:21:49] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 246 seconds). [10:28:23] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [11:14:30] * ColonelJ [ColonelJ!~ColonelJ@unaffiliated/colonelj] has joined the channel. [11:18:31] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 246 seconds). [11:55:39] * FreeFull [FreeFull!~freefull@defocus/sausage-lover] has quit (Quit: rebooting). [12:04:30] * FreeFull [FreeFull!~freefull@defocus/sausage-lover] has joined the channel. [12:28:16] * ephe_meral [ephe_meral!~amnesia@ip54-97-176-143.adsl2.static.versatel.nl] has joined the channel. [12:43:37] * ephe_meral [ephe_meral!~amnesia@ip54-97-176-143.adsl2.static.versatel.nl] has quit (Ping timeout: 258 seconds). [13:08:52] * ephe_meral [ephe_meral!~amnesia@ip54-97-176-143.adsl2.static.versatel.nl] has joined the channel. [13:15:26] * itmuckel [itmuckel!~itmuckel@mue-88-130-56-048.dsl.tropolys.de] has quit (Ping timeout: 258 seconds). [13:27:00] * ephe_meral [ephe_meral!~amnesia@ip54-97-176-143.adsl2.static.versatel.nl] has quit (Ping timeout: 256 seconds). [13:31:58] * bitmapper [bitmapper!~bitmapper@142.162.167.202] has joined the channel. [13:46:51] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [13:52:46] doublec: Even English used to have inclusive v. exclusive we, but that's been dead since Old English stopped being a going concern. [13:53:23] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 258 seconds). [13:55:28] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [13:55:31] Interestingly, I think contemporary ASL (which has almost no relationship grammatically to English) also makes the distinction, but it's been a very long time, and I may be misremembering. [14:03:34] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 240 seconds). [14:03:47] * itmuckel [itmuckel!~itmuckel@mue-88-130-56-048.dsl.tropolys.de] has joined the channel. [14:12:32] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [14:36:34] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 240 seconds). [14:39:22] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [14:44:00] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 256 seconds). [14:45:16] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [14:49:59] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 260 seconds). [14:53:17] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [14:59:38] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 260 seconds). [15:00:45] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [15:07:34] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 260 seconds). [15:09:03] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [15:09:31] I've found a way to get input in csharp from the VScode language server plugin (on Windows). The trick was to use `var reader = new BinaryReader(Console.OpenStandardInput());` Is there an equivalent for factor? [15:10:19] The BinaryReader reads from a byte stream interpreting it as UTF-8 [15:10:45] I've looked around in the browser, but didn't find a way to reinterpret stdin. [15:13:21] * MDude [MDude!~MDude@74.5.140.76] has joined the channel. [15:15:22] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 265 seconds). [15:15:44] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [15:22:25] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 264 seconds). [15:24:30] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [15:29:43] * itmuckel [itmuckel!~itmuckel@mue-88-130-56-048.dsl.tropolys.de] has quit. [15:33:13] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 264 seconds). [15:34:15] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [15:36:04] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Client Quit). [15:51:04] * itmuckel [itmuckel!~itmuckel@mue-88-130-56-048.dsl.tropolys.de] has joined the channel. [16:00:07] Unless I'm misunderstanding what you're saying, ``? [16:09:52] * ephe_meral [ephe_meral!~amnesia@ip54-97-176-143.adsl2.static.versatel.nl] has joined the channel. [16:12:19] Well, it's weird. Because I'd expect by default that it reads my input as utf8. [16:12:31] Now I changed the in/out encoding to binary [16:12:52] binary decode-input [16:12:52] binary encode-output [16:25:40] but won't work [16:26:27] by the way: Is there a way to speed up compilation time? I always deploy an executable and everytime I do, factor listener loads the same factor files. Why won't it keep those files loaded? [16:30:23] * itmuckel [itmuckel!~itmuckel@mue-88-130-56-048.dsl.tropolys.de] has quit. [17:09:22] * ephe_meral [ephe_meral!~amnesia@ip54-97-176-143.adsl2.static.versatel.nl] has quit (Ping timeout: 260 seconds). [17:26:41] <^alex> oh! [17:27:22] <^alex> we know how to do both of those, but were on our phone [17:27:35] <^alex> we'll come back after work [17:45:55] LOL [17:46:08] erg: I just got partially furloughed so yes this is now a thing I'll be doing one day a week, beginning next week. [18:04:48] * Sgeo [Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net] has joined the channel. [19:17:09] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [20:19:54] * itmuckel [itmuckel!~itmuckel@mue-88-130-56-048.dsl.tropolys.de] has joined the channel. [20:21:07] ^alex, enlighten me [20:21:10] :D [20:25:11] in particular I'd like to know why the C# code is picking up input from the IDE, but my factor code doesn't (but exactly the same code does on Linux!). Give me all the details about stdio, encodings, pipes etc. :) [20:31:54] * bmps calmly stares at "Windows Internals, 6th Ed., Part II" on his bookshelf [20:31:59] You might wanna narrow that down slightly itmuckel [20:34:26] bmps: whoa, Part II? Absolutely barbaric! [20:34:47] bmps: I just want the communication to work and as a bonus I'd like to know why it doesn't work. :) [20:35:14] Oh nice, the 7th Edition is now available. [20:35:49] itmuckel: I know. As soon as I finish going through furlough crap, if it's not already EOD, I will happily help you as well, but don't count on that. [20:36:01] Sunday or Monday otherwise. [20:36:12] I don't code on Saturday. Or, ideally, use computers, but in practice that's borderline impossible. [20:36:24] Yeah, no hurry [20:36:47] What? Why? [20:37:04] The furlough or taking a day off of tech? [20:37:18] taking a day off tech. Is this a regular thing? [20:37:23] Yup. [20:37:35] One day a week to focus on people seems pretty reasonable to me. [20:38:23] It's fallout from my Jewish background, although I would never in a million years claim to be super observant. But having a day off the tubes and focused on people and/or books has always been wonderful for resetting my brains. No ragerts. [20:39:27] :D [20:39:30] Nice [20:40:00] I'm way too addicted to anything techy that I can't do that mentally :) [20:40:30] It took effort in the beginning; it takes effort to stop, and to resume if I stop. [20:40:39] Now, I mean. [20:46:56] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 265 seconds). [20:49:27] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [20:55:48] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 256 seconds). [21:05:24] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [21:10:43] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 246 seconds). [21:13:56] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [21:19:02] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 256 seconds). [21:23:14] * itmuckel [itmuckel!~itmuckel@mue-88-130-56-048.dsl.tropolys.de] has quit. [21:24:15] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [21:40:05] <^alex> itmuckel, https://docs.factorcode.org/content/article-images.html - USE: the libraries you want to have loaded and then `save`. also, you can add a USE: statement to .factor-boot-rc [21:40:43] <^alex> and rebuild factor [21:42:34] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 240 seconds). [21:50:24] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [22:16:14] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 240 seconds). [22:18:40] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [22:21:17] <^alex> as for the first problem, you're about to run into an intricate subtlety of protocol implementation - byte-arrays of binary data vs strings in a given encoding [22:23:38] <^alex> we would recommend using `binary [ ... ] with-decoded-input` to read binary data off of the stream rather than `decode-input` [22:24:22] <^alex> windows distinguishes between text and binary files [22:25:25] <^alex> and having file handles open in text mode will maim the CRLFs in the protocol and get your content-length off by 1 for each CRLF conversion [22:32:48] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 258 seconds). [22:39:19] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [22:46:25] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 264 seconds). [22:49:18] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [22:57:07] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 246 seconds). [23:12:54] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [23:21:14] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 240 seconds). [23:24:59] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [23:33:51] * cantstanya [cantstanya!~chatting@gateway/tor-sasl/cantstanya] has quit (Remote host closed the connection). [23:36:57] * cantstanya [cantstanya!~chatting@gateway/tor-sasl/cantstanya] has joined the channel. [23:38:01] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 264 seconds). [23:49:19] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [23:55:56] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has quit (Ping timeout: 256 seconds).