2025-06-02 00:05:32 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
2025-06-02 00:05:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-02 00:06:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 00:06:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 00:10:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-02 00:13:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 00:13:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 00:20:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 00:21:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 00:21:29 +0200 | AlexZenon | (~alzenon@178.34.162.18) (Ping timeout: 244 seconds) |
2025-06-02 00:21:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-02 00:25:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 00:25:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 00:26:25 +0200 | AlexZenon | (~alzenon@178.34.162.18) |
2025-06-02 00:26:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-06-02 00:32:39 +0200 | <haskellbridge> | <Liamzee> Also, I got desperate and tried to go try Codecanvas.ai for MVP |
2025-06-02 00:32:57 +0200 | <haskellbridge> | <Liamzee> it's not there yet; capability is quite limited right now |
2025-06-02 00:33:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 00:33:13 +0200 | <haskellbridge> | <Liamzee> (wiki website target, or at least the support staff told me that) |
2025-06-02 00:33:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 00:37:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-02 00:39:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-06-02 00:40:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 00:40:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 00:41:29 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
2025-06-02 00:42:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-02 00:45:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 00:46:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 00:50:09 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-06-02 00:51:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 00:52:06 +0200 | dolio | (~dolio@130.44.140.168) dolio |
2025-06-02 00:52:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 00:53:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-02 00:59:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 00:59:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 00:59:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-06-02 01:06:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 01:06:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 01:11:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-02 01:12:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-02 01:12:23 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 252 seconds) |
2025-06-02 01:12:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 01:16:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-06-02 01:19:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 01:20:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 01:24:15 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
2025-06-02 01:24:42 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-06-02 01:26:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 01:26:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 01:27:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-02 01:31:01 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
2025-06-02 01:32:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-02 01:32:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 01:33:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 01:34:26 +0200 | sp1ff` | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Remote host closed the connection) |
2025-06-02 01:36:05 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f2310e63e9cf0655c32.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-06-02 01:41:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 01:41:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 01:43:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-02 01:43:41 +0200 | sprotte24 | (~sprotte24@p200300d16f132500cd886ae3b8d5bfb8.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-06-02 01:47:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 01:48:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 01:48:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-06-02 01:52:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-02 01:54:00 +0200 | developer_ | (~developer@90.167.50.215) |
2025-06-02 01:55:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 01:55:51 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-06-02 01:56:05 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-06-02 01:56:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 01:56:14 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 245 seconds) |
2025-06-02 01:58:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-02 02:01:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 02:01:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 02:04:15 +0200 | jespada | (~jespada@r167-61-127-149.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
2025-06-02 02:07:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 02:07:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-06-02 02:08:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 02:08:24 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-02 02:10:04 +0200 | phma | (~phma@host-67-44-208-56.hnremote.net) (Read error: Connection reset by peer) |
2025-06-02 02:10:50 +0200 | phma | (~phma@2001:5b0:210d:9c38:6091:34d1:6f16:4051) |
2025-06-02 02:12:17 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-06-02 02:12:17 +0200 | ljdarj1 | ljdarj |
2025-06-02 02:15:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 02:15:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 02:19:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-02 02:21:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 02:22:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 02:23:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-02 02:29:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 02:29:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 02:34:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-02 02:36:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 02:36:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 02:39:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-06-02 02:42:54 +0200 | <EvanR> | any clue why this is happening or if I'm just tripping. readFile on a named pipe acts normally the first time you open the fifo, "blocking" until a writer appears and starts sending data, then the lazy list terminates when the writer closes the fifo |
2025-06-02 02:43:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 02:43:03 +0200 | Digit | (~user@user/digit) (Ping timeout: 244 seconds) |
2025-06-02 02:43:13 +0200 | <EvanR> | after consuming the entire list, another call to readFile on the fifo immediately returns [] |
2025-06-02 02:43:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 02:44:20 +0200 | <geekosaur> | that's standard fifo behavior, yes |
2025-06-02 02:44:33 +0200 | <EvanR> | so you can never reopen a fifo? |
2025-06-02 02:44:38 +0200 | <geekosaur> | right |
2025-06-02 02:45:13 +0200 | <geekosaur> | you need to hold it open `O_RDWR` and have some protocol for "end of current connection". or use an `AF_LOCAL` socket, which behaves the way you want FIFOs to work |
2025-06-02 02:46:10 +0200 | <geekosaur> | actually this isn't 100% POSIXX behavior, `readFile` and the somewhat weird Haskell Report-specified semantics of lazy I/O are contributing |
2025-06-02 02:46:41 +0200 | <geekosaur> | the two together make FIFOs kinda unusable in Haskell |
2025-06-02 02:46:43 +0200 | Digit | (~user@user/digit) Digit |
2025-06-02 02:47:05 +0200 | <geekosaur> | but that's only slightly worse than the normal POSIX behavior |
2025-06-02 02:47:21 +0200 | <geekosaur> | really, just don't use FIFOs |
2025-06-02 02:49:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-02 02:50:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 02:50:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-02 02:50:44 +0200 | <EvanR> | I don't understand the condition which causes a 2nd opening of the fifo to instantly return EOF |
2025-06-02 02:50:58 +0200 | <EvanR> | e.g. I can run the program again or a second program to open it and it blocks |
2025-06-02 02:51:07 +0200 | <EvanR> | for reading |
2025-06-02 02:51:20 +0200 | <EvanR> | is it like "one process, one opening" |
2025-06-02 02:51:56 +0200 | <EvanR> | come back with another process if you want more fifo |
2025-06-02 02:52:11 +0200 | <geekosaur> | yes |
2025-06-02 02:52:15 +0200 | <EvanR> | interesting |
2025-06-02 02:52:54 +0200 | <geekosaur> | POSIX FIFO semantics come from UNIX System III/V and are rather strange |
2025-06-02 02:54:02 +0200 | <geekosaur> | I only know of one program which made useful use of them: on System V R3, `cron` opened a private FIFO for read/write and listened for lines written by `crontab`, which told it to reread the specified crontab file |
2025-06-02 02:55:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-02 02:56:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 02:56:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 02:57:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-06-02 02:58:38 +0200 | <geekosaur> | btw I think what causes that instant-EOF behavior is that the RTS opens it non-blocking, then `readFile` sets up an `unsafeInterleaveIO` which fails on the first read, which is passed back to you as EOF |
2025-06-02 02:59:39 +0200 | <geekosaur> | lazy I/O doesn't hande exceptional conditions at all well |
2025-06-02 03:02:39 +0200 | <EvanR> | I tried using openFile and hGetLine |
2025-06-02 03:02:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 03:02:52 +0200 | <geekosaur> | so anyway FIFOs are broken, lazy I/O is broken, if you use them together you get to keep all the shattered pieces |
2025-06-02 03:03:05 +0200 | <EvanR> | same result, first it blocks waiting for a writer, second time it suceeds immediately but hGetLine throws because EOF |
2025-06-02 03:03:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 03:03:33 +0200 | <EvanR> | is it open blocking the first time and non-blocking the second time |
2025-06-02 03:04:25 +0200 | <geekosaur> | it should always be non-blocking, I think? the RTS doesn't use blocking fds because that would block the whole process instead of just the running thread |
2025-06-02 03:04:29 +0200 | <EvanR> | if this can't be adjusted I'm not sure how that crontab trick even worked |
2025-06-02 03:04:41 +0200 | <EvanR> | opening the first time blocks if there's no writer yet |
2025-06-02 03:05:02 +0200 | <geekosaur> | because only writers close it. cron kept it open O_RDWR|O_NONBLOCK continuously |
2025-06-02 03:05:16 +0200 | <EvanR> | oh |
2025-06-02 03:05:35 +0200 | <EvanR> | i'll try opening it RDWR |
2025-06-02 03:05:40 +0200 | <geekosaur> | so it never saw EOF, it just relied on every "record" being a single line |
2025-06-02 03:06:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-02 03:06:24 +0200 | <EvanR> | that made it behave |
2025-06-02 03:07:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 03:08:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 03:08:30 +0200 | <EvanR> | it causes reader to not see EOF from writers closing |
2025-06-02 03:08:43 +0200 | <EvanR> | which is good enough for government work |
2025-06-02 03:09:10 +0200 | <EvanR> | but also closing and reopening a second time gives blocking behavior again |
2025-06-02 03:09:17 +0200 | <EvanR> | weird |
2025-06-02 03:11:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-02 03:14:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 03:15:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-02 03:16:23 +0200 | <EvanR> | if the RTS puts all file I/O through the select mechanism they wouldn't need to be non-blocking right |
2025-06-02 03:16:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-02 03:16:49 +0200 | <EvanR> | since then it knows if a read or write would block |
2025-06-02 03:17:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |