| 2025-05-16 00:02:08 +0200 | <monochrom> | Yes. But macOS is not okay, hence the frequent cycle. |
| 2025-05-16 00:02:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 00:03:41 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-16 00:07:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-16 00:09:32 +0200 | <haskellbridge> | <sm> merijn's IRC client is making low traffic channels less usable for me |
| 2025-05-16 00:10:52 +0200 | sprotte24 | (~sprotte24@p200300d16f0fe6004d89544af78e53f5.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-16 00:18:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 00:21:42 +0200 | <tomsmeding> | go complain at your irc client vendor to implement a feature hiding join/leave events if those nicks aren't saying anything anyway |
| 2025-05-16 00:21:45 +0200 | <tomsmeding> | (weechat has this built in) |
| 2025-05-16 00:23:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-16 00:24:05 +0200 | <haskellbridge> | <sm> I can hide them of course, but then I lose useful information about drive by questions etc. I think it's bad form to be constantly joining/leaving 24/7 |
| 2025-05-16 00:24:34 +0200 | <haskellbridge> | <sm> together with being unresponsive |
| 2025-05-16 00:25:40 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-16 00:25:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 00:26:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 00:28:03 +0200 | <int-e> | . o O ( irssi could do /ignore merijn JOINS PARTS QUITS ) |
| 2025-05-16 00:28:34 +0200 | <hellwolf> | thank you, ityped that in rcirc, and now my toaster is on |
| 2025-05-16 00:29:11 +0200 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-05-16 00:33:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 00:33:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 00:34:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 00:34:32 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-16 00:35:29 +0200 | <haskellbridge> | <sm> (example:) |
| 2025-05-16 00:35:41 +0200 | <haskellbridge> | <sm> https://kf8nh.com/_heisenbridge/media/matrix.org/SjmkPwmlbSGWXycvLvhVfyJJ/_Ishca76mvI/image.png |
| 2025-05-16 00:39:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-16 00:41:39 +0200 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-05-16 00:50:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 00:54:36 +0200 | nullobject | (~josh@user/nullobject) (Ping timeout: 265 seconds) |
| 2025-05-16 00:54:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-16 00:56:13 +0200 | <TMA> | sm: it might not be the client but the ISP that is too aggressive to drop "inactive" TCP streams |
| 2025-05-16 00:56:41 +0200 | <haskellbridge> | <sm> 👍️ |
| 2025-05-16 00:56:44 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) jmorris |
| 2025-05-16 00:57:19 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-16 00:57:24 +0200 | <TMA> | the default of sending keepalive packets is about an hour |
| 2025-05-16 00:58:38 +0200 | <TMA> | but some routers/NATs are configured to drop the connection (without bothering to announce it properly via ICMP) in several minutes |
| 2025-05-16 01:00:32 +0200 | <haskellbridge> | <sm> merijn's connected durations aren't all exactly 5m, but close to it |
| 2025-05-16 01:00:51 +0200 | <Leary> | sm: This is why I like glirc: https://i.imgur.com/yWsxm95.png |
| 2025-05-16 01:01:31 +0200 | <TMA> | you can tell if it is the case by speaking in merijn-connected channel periodically and observing whether they disconnect approx 5 minutes after you stop |
| 2025-05-16 01:01:50 +0200 | <haskellbridge> | <sm> and they reconnect not always but usually after 11m |
| 2025-05-16 01:02:40 +0200 | <TMA> | that looks like autoreconnect with 10 minutes timeout and 1 minute for recognizing the disconnection |
| 2025-05-16 01:05:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 01:06:00 +0200 | <haskellbridge> | <sm> reconnecting in.. boom |
| 2025-05-16 01:06:56 +0200 | <haskellbridge> | <sm> it'll disconnect in 5m regardless of us talking I think |
| 2025-05-16 01:07:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 01:07:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 01:07:44 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7ed8:b8a6:621a:b979) (Ping timeout: 260 seconds) |
| 2025-05-16 01:07:45 +0200 | <sm> | merijn, pinging you again about your IRC connection, please respond if you can see this |
| 2025-05-16 01:08:05 +0200 | manwithluck | (~manwithlu@2a09:bac5:5084:2387::38a:3b) (Ping timeout: 248 seconds) |
| 2025-05-16 01:08:38 +0200 | manwithluck | (~manwithlu@2a09:bac5:5082:2387::38a:10) manwithluck |
| 2025-05-16 01:10:52 +0200 | <haskellbridge> | <sm> disconnecting in 5.. 4.. |
| 2025-05-16 01:11:06 +0200 | Clint | squints. |
| 2025-05-16 01:11:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-16 01:11:18 +0200 | <Clint> | close enough |
| 2025-05-16 01:13:21 +0200 | <haskellbridge> | <sm> merijn didn't respond last time I pinged, maybe an IRC op could reach them ? |
| 2025-05-16 01:15:46 +0200 | <TMA> | my theory is invalidated |
| 2025-05-16 01:16:50 +0200 | <EvanR> | sm: the C channel soft kickbans you if you leave and join twice too quickly |
| 2025-05-16 01:20:01 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-16 01:20:25 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2025-05-16 01:20:31 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-16 01:21:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 01:21:54 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-16 01:22:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-16 01:25:55 +0200 | <monochrom> | A long time ago merijn explained it. Something about macOS going to sleep then waking up on LAN. |
| 2025-05-16 01:26:11 +0200 | <haskellbridge> | <sm> 👀 |
| 2025-05-16 01:26:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-16 01:26:41 +0200 | <haskellbridge> | <sm> perhaps he should use a bouncer like me ? |
| 2025-05-16 01:27:27 +0200 | <monochrom> | I use a bouncer, but I don't want to be imposing and say "everyone must shell out extra money for an extra PC or shell account to run a bouncer". |
| 2025-05-16 01:27:41 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-16 01:27:50 +0200 | <haskellbridge> | <sm> or configure his mac differently ? or his irc client ? out of kind regard for the room ? |
| 2025-05-16 01:28:55 +0200 | <monochrom> | But you can count me biased because I am not affected by other people frequently cycling. |
| 2025-05-16 01:28:56 +0200 | <haskellbridge> | <sm> I mean, intermittent 5m slices of channel history isn't very useful to him either |
| 2025-05-16 01:29:45 +0200 | <haskellbridge> | <sm> I will drop this urgent matter for now :) |
| 2025-05-16 01:30:08 +0200 | <monochrom> | Oh, I have long accepted that people who learn from history are bound to helplessly watch other people repeat it! |
| 2025-05-16 01:30:19 +0200 | <int-e> | I for one am more bothered by this discussion than by merijns rejoins and no, I'm not ignoring those. Why? Because they don't show up as channel activity. |
| 2025-05-16 01:30:46 +0200 | <int-e> | And it's pretty far off topic. |
| 2025-05-16 01:31:24 +0200 | <haskellbridge> | <sm> They do for some of us int-e, as in my screenshot. Having to turn those off entirely and sacrifice all join/leave awareness because of one person's config is silly, don't you think ? |
| 2025-05-16 01:31:59 +0200 | <int-e> | they're in the (back-)log, but the channel doesn't show as active when somebody parts or joins |
| 2025-05-16 01:32:22 +0200 | <haskellbridge> | <sm> I don't know what that means, it sounds client specific |
| 2025-05-16 01:32:43 +0200 | <int-e> | this entire "problem" is client specific |
| 2025-05-16 01:32:49 +0200 | int-e | shrugs |
| 2025-05-16 01:33:01 +0200 | <haskellbridge> | <sm> sure, but the root cause is merijn |
| 2025-05-16 01:33:19 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f453148b790f5eba778.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-05-16 01:33:53 +0200 | flounders | (~flounders@2607:fb90:ee09:4f99:c6b8:4dd2:346a:a4b4) flounders |
| 2025-05-16 01:34:15 +0200 | <EvanR> | yeah a specific client could discard specifically merijn's join quits |
| 2025-05-16 01:34:45 +0200 | <EvanR> | and fixing merijn's connection will not save you from it happening to some random other person, but a specific client would |
| 2025-05-16 01:34:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-05-16 01:35:23 +0200 | <EvanR> | another improvement discord made on IRC, no one knows who joined or quit xD |
| 2025-05-16 01:37:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 01:38:12 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-16 01:42:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-16 01:43:55 +0200 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-05-16 01:48:18 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-05-16 01:49:13 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-16 01:50:12 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2025-05-16 01:50:14 +0200 | jespada | (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-16 01:50:45 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 01:53:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 01:58:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-16 02:03:18 +0200 | jespada | (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
| 2025-05-16 02:06:45 +0200 | visilii | (~visilii@81.177.126.61) (Ping timeout: 248 seconds) |
| 2025-05-16 02:09:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 02:10:32 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-16 02:11:09 +0200 | visilii | (~visilii@85.94.27.197) |
| 2025-05-16 02:13:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-16 02:16:03 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-16 02:17:54 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-05-16 02:17:54 +0200 | ljdarj1 | ljdarj |
| 2025-05-16 02:24:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 02:31:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-16 02:32:14 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-05-16 02:32:15 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-16 02:34:47 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-16 02:40:38 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-16 02:40:53 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-05-16 02:42:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 02:47:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-16 02:51:26 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Quit: tolgo) |
| 2025-05-16 02:58:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 03:01:19 +0200 | Square2 | (~Square@user/square) Square |
| 2025-05-16 03:03:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-16 03:04:21 +0200 | Square | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-05-16 03:05:32 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-16 03:14:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 03:18:55 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) |
| 2025-05-16 03:19:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-16 03:29:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 03:30:51 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-16 03:33:34 +0200 | Square2 | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2025-05-16 03:34:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-16 03:43:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 03:43:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 03:45:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 03:51:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-16 03:54:22 +0200 | aditya_an1l | (~aditya_an@user/aditya-an1l:63825) aditya_an1l |
| 2025-05-16 03:55:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 04:00:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-16 04:02:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-16 04:04:37 +0200 | koolazer | (~koo@user/koolazer) (Ping timeout: 248 seconds) |
| 2025-05-16 04:11:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 04:15:36 +0200 | td_ | (~td@i53870932.versanet.de) (Ping timeout: 252 seconds) |
| 2025-05-16 04:17:34 +0200 | td_ | (~td@i53870927.versanet.de) td_ |
| 2025-05-16 04:17:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-16 04:20:10 +0200 | zlqrvx | (~zlqrvx@101.175.150.247) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-16 04:20:30 +0200 | zlqrvx | (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) |
| 2025-05-16 04:20:32 +0200 | zlqrvx | (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) (Remote host closed the connection) |
| 2025-05-16 04:21:08 +0200 | zlqrvx | (~zlqrvx@101.175.150.247) |
| 2025-05-16 04:22:30 +0200 | zlqrvx | (~zlqrvx@101.175.150.247) (Client Quit) |
| 2025-05-16 04:22:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 04:23:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 04:27:17 +0200 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2025-05-16 04:29:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 04:29:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 04:29:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 04:29:49 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 244 seconds) |
| 2025-05-16 04:34:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-16 04:35:40 +0200 | JuanDaugherty | ColinRobinson |
| 2025-05-16 04:44:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 04:49:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-16 04:52:17 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 268 seconds) |
| 2025-05-16 04:56:41 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-05-16 05:00:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 05:01:28 +0200 | kitties | catties |
| 2025-05-16 05:05:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-16 05:13:18 +0200 | vgtw_ | vgtw |
| 2025-05-16 05:13:28 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-16 05:16:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 05:21:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-16 05:27:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-05-16 05:27:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-16 05:32:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 05:35:29 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce6:1d00:ecc9:c46:5d43:45e6) (Ping timeout: 272 seconds) |
| 2025-05-16 05:36:08 +0200 | aforemny | (~aforemny@2001:9e8:6cc4:6e00:7edf:27f1:f2a2:7f8e) aforemny |
| 2025-05-16 05:36:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-16 05:38:16 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-05-16 05:39:09 +0200 | Digit | (~user@user/digit) (Ping timeout: 245 seconds) |
| 2025-05-16 05:41:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-05-16 05:43:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 05:43:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 05:47:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 05:49:38 +0200 | ColinRobinson | JuanDaugherty |
| 2025-05-16 05:52:49 +0200 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2025-05-16 05:54:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-16 05:55:17 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-05-16 05:56:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 05:59:29 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-16 06:01:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-16 06:05:28 +0200 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2025-05-16 06:12:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 06:14:59 +0200 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-16 06:15:17 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-16 06:16:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-16 06:16:44 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 06:17:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-16 06:19:42 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-05-16 06:19:55 +0200 | wickedjargon | (~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) (Remote host closed the connection) |
| 2025-05-16 06:21:45 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-16 06:22:44 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 06:23:06 +0200 | wickedjargon | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) |
| 2025-05-16 06:25:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 06:25:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 06:27:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 06:32:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-16 06:43:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 06:45:30 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-16 06:48:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-16 06:50:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 06:51:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 06:51:23 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-16 06:52:47 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-16 06:57:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 06:57:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-16 06:57:48 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-05-16 07:01:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 07:02:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 07:02:14 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
| 2025-05-16 07:02:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-16 07:06:49 +0200 | wickedja` | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) |
| 2025-05-16 07:08:05 +0200 | wickedja` | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) () |
| 2025-05-16 07:09:15 +0200 | wickedjargon | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) (Remote host closed the connection) |
| 2025-05-16 07:09:56 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-16 07:13:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 07:17:18 +0200 | wickedjargon | (~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) |
| 2025-05-16 07:17:24 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-16 07:17:31 +0200 | wickedjargon | (~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) (Remote host closed the connection) |
| 2025-05-16 07:17:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-16 07:17:54 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-16 07:18:41 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-16 07:20:56 +0200 | nek0 | (~nek0@user/nek0) nek0 |
| 2025-05-16 07:27:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 07:27:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 07:28:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 07:30:54 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2025-05-16 07:31:10 +0200 | mange | (~user@user/mange) mange |
| 2025-05-16 07:32:01 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) |
| 2025-05-16 07:33:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-16 07:34:49 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 07:35:15 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-16 07:41:30 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-16 07:44:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 07:46:59 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-16 07:47:03 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2025-05-16 07:48:58 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-16 07:49:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-16 07:56:48 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) |
| 2025-05-16 07:56:48 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2025-05-16 07:56:48 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2025-05-16 07:56:48 +0200 | ChanServ | +v lambdabot |
| 2025-05-16 07:58:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 08:00:38 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2025-05-16 08:01:08 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
| 2025-05-16 08:02:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-16 08:03:12 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2025-05-16 08:10:51 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2025-05-16 08:10:51 +0200 | ChanServ | +v lambdabot |
| 2025-05-16 08:12:20 +0200 | Digitteknohippie | Digit |
| 2025-05-16 08:13:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 08:20:39 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-16 08:21:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-16 08:25:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 08:25:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 08:30:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-16 08:31:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 08:34:21 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-16 08:36:23 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-16 08:37:46 +0200 | mistivia | (~mistivia@user/mistivia) (Ping timeout: 252 seconds) |
| 2025-05-16 08:38:34 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 08:38:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-16 08:39:02 +0200 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2025-05-16 08:40:20 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-16 08:43:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 08:43:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 08:44:00 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-16 08:44:02 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 08:44:44 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-16 08:46:04 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-16 08:49:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 08:52:09 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-05-16 08:55:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-16 08:59:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 08:59:46 +0200 | nacation | (~m-3l4s76@user/nacation) (Remote host closed the connection) |
| 2025-05-16 09:00:00 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-16 09:00:42 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-16 09:01:14 +0200 | nacation | (~m-3l4s76@user/nacation) nacation |
| 2025-05-16 09:04:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-16 09:13:43 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-16 09:14:06 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-16 09:15:03 +0200 | nacation | (~m-3l4s76@user/nacation) (Remote host closed the connection) |
| 2025-05-16 09:15:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 09:15:17 +0200 | nacation | (~m-3l4s76@user/nacation) nacation |
| 2025-05-16 09:15:42 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f4105c0adf8f289f227.dip0.t-ipconnect.de) acidjnk |
| 2025-05-16 09:19:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-16 09:25:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-16 09:30:25 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 09:30:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 09:31:43 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-16 09:34:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 09:34:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 09:36:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-16 09:36:18 +0200 | chele | (~chele@user/chele) chele |
| 2025-05-16 09:40:14 +0200 | bwe53891 | bwe |
| 2025-05-16 09:41:22 +0200 | <bwe> | How is the lsp functionality called to evaluade doctests as I write them in the editor? |
| 2025-05-16 09:44:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 09:44:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 09:46:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 09:49:02 +0200 | <tomsmeding> | bwe: code lens |
| 2025-05-16 09:51:05 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-16 09:51:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-16 09:52:04 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-05-16 09:54:48 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) |
| 2025-05-16 09:56:30 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-05-16 09:57:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 10:06:01 +0200 | zmt01 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2025-05-16 10:11:10 +0200 | <[exa]> | why would hindent convert my `makeLenses ''Ty` into `$makeLenses ''Ty`, with an extra dollar? |
| 2025-05-16 10:11:15 +0200 | <[exa]> | (it doesn't even compile?) |
| 2025-05-16 10:12:08 +0200 | <merijn> | [exa]: The syntax for toplevel splices changed at some point |
| 2025-05-16 10:12:11 +0200 | <tomsmeding> | [exa]: $(makeLenses ''Ty) does |
| 2025-05-16 10:12:22 +0200 | <merijn> | Possibly/probably hindent can't cope because it wasn't updated |
| 2025-05-16 10:22:15 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-16 10:28:24 +0200 | <[exa]> | ah ok |
| 2025-05-16 10:28:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 10:28:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 10:29:05 +0200 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: OftenFaded) |
| 2025-05-16 10:29:39 +0200 | <[exa]> | ah so the form without the dollar is deprecated, right? |
| 2025-05-16 10:29:54 +0200 | <[exa]> | anyway thank you both, with $() it works and formats correctly |
| 2025-05-16 10:30:26 +0200 | <davean> | Huh, hindent *claims* to be updated to at least GHC 9.10. |
| 2025-05-16 10:30:37 +0200 | <davean> | Might be poor testing |
| 2025-05-16 10:31:53 +0200 | <[exa]> | looks like regression yeah |
| 2025-05-16 10:32:26 +0200 | <[exa]> | anyway the syntax without $ still seems to be supported in ghc 9.12 (at least docs say it's ok) |
| 2025-05-16 10:32:36 +0200 | <tomsmeding> | is it actually officially deprecated? |
| 2025-05-16 10:32:40 +0200 | <[exa]> | https://github.com/mihaimaruseac/hindent/issues/973 |
| 2025-05-16 10:32:41 +0200 | <tomsmeding> | people don't like it |
| 2025-05-16 10:33:15 +0200 | <[exa]> | I see no warning at https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/template_haskell.html#syntax (the note stars with "You may omit" in one of the bullets in the list) |
| 2025-05-16 10:33:45 +0200 | <[exa]> | *starts |
| 2025-05-16 10:33:59 +0200 | <tomsmeding> | if only the bullets were stars |
| 2025-05-16 10:34:46 +0200 | nullobject | (~josh@user/nullobject) (Quit: WeeChat 4.1.1) |
| 2025-05-16 10:35:40 +0200 | <[exa]> | ◔_◔ |
| 2025-05-16 10:37:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-05-16 10:38:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-16 10:38:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 10:39:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 10:43:57 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-16 10:45:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 10:45:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-05-16 10:45:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 10:56:06 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-16 10:56:46 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-16 11:05:23 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-16 11:08:59 +0200 | <bwe> | tomsmeding: That's it! Thanks. |
| 2025-05-16 11:17:55 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-05-16 11:18:53 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 11:18:55 +0200 | Zowlyfon | (sid346067@user/Zowlyfon) Zowlyfon |
| 2025-05-16 11:19:13 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-16 11:21:00 +0200 | <bwe> | helix editor appearingly doesn't support code lenses (yet, maybe through their plugin system?). – Which other way is there to evaluate a doctest within an open helix editor? I mean yanking a line and sending it to ghci and displaying the response shouldn't be too hard? |
| 2025-05-16 11:23:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 11:23:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 11:25:16 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) epolanski |
| 2025-05-16 11:25:40 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-16 11:26:12 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-16 11:27:17 +0200 | aditya_an1l | (~aditya_an@user/aditya-an1l:63825) (Ping timeout: 265 seconds) |
| 2025-05-16 11:27:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-16 11:28:01 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-05-16 11:29:00 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-05-16 11:31:26 +0200 | ubert1 | (~Thunderbi@2a02:8109:ab8a:5a00:4cbe:a0fc:2922:d62) ubert |
| 2025-05-16 11:38:29 +0200 | Digitteknohippie | Digit |
| 2025-05-16 11:39:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 11:41:57 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-16 11:42:14 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-16 11:43:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 11:43:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 11:43:35 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2025-05-16 11:44:17 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-05-16 11:48:30 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-16 11:49:36 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 11:55:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-05-16 11:56:37 +0200 | mistivia_ | (~mistivia@user/mistivia) mistivia |
| 2025-05-16 11:56:43 +0200 | mistivia | (~mistivia@user/mistivia) (Read error: Connection reset by peer) |
| 2025-05-16 11:57:19 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-05-16 12:14:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 12:15:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 12:16:55 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-16 12:19:06 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-05-16 12:22:41 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-05-16 12:22:52 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 265 seconds) |
| 2025-05-16 12:25:16 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2025-05-16 12:25:44 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-16 12:29:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 12:29:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 12:34:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 12:34:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 12:47:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 12:47:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 12:54:06 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-05-16 12:57:29 +0200 | mistivia_ | (~mistivia@user/mistivia) (Read error: Connection reset by peer) |
| 2025-05-16 12:57:42 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 244 seconds) |
| 2025-05-16 13:01:48 +0200 | jespada | (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-16 13:03:43 +0200 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2025-05-16 13:08:42 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-05-16 13:10:12 +0200 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2025-05-16 13:12:05 +0200 | mistivia_ | (~mistivia@user/mistivia) mistivia |
| 2025-05-16 13:12:49 +0200 | mistivia | (~mistivia@user/mistivia) (Read error: Connection reset by peer) |
| 2025-05-16 13:13:22 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 276 seconds) |
| 2025-05-16 13:15:33 +0200 | fp | (~Thunderbi@wireless-86-50-141-22.open.aalto.fi) fp |
| 2025-05-16 13:18:20 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-05-16 13:21:30 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection) |
| 2025-05-16 13:22:03 +0200 | sand-witch | (~m-mzmz6l@38.242.236.220) |
| 2025-05-16 13:28:42 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-05-16 13:32:06 +0200 | aditya_an1l | (~aditya_an@user/aditya-an1l:63825) aditya_an1l |
| 2025-05-16 13:32:36 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-05-16 13:32:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-16 13:38:13 +0200 | Digitteknohippie | Digit |
| 2025-05-16 13:48:11 +0200 | Square | (~Square4@user/square) Square |
| 2025-05-16 13:48:25 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 13:48:35 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-16 13:48:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-16 13:49:05 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-16 13:52:23 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-16 13:53:21 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-05-16 13:53:53 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 2025-05-16 13:54:14 +0200 | jespada | (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
| 2025-05-16 13:57:24 +0200 | jespada | (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-16 14:01:58 +0200 | rvalue- | rvalue |
| 2025-05-16 14:05:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 14:05:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 14:07:03 +0200 | aditya_an1l | (~aditya_an@user/aditya-an1l:63825) (Quit: WeeChat 4.6.2) |
| 2025-05-16 14:17:39 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-05-16 14:18:35 +0200 | ft_ | (~ft@p3e9bc106.dip0.t-ipconnect.de) ft |
| 2025-05-16 14:18:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1ff5:fe1f:3cee:797d) |
| 2025-05-16 14:31:16 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds) |
| 2025-05-16 14:35:05 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2025-05-16 14:35:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 14:36:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 14:38:01 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) |
| 2025-05-16 14:42:10 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f4105c0adf8f289f227.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-05-16 14:43:32 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-05-16 14:49:04 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-16 14:51:05 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-16 14:51:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 14:52:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 14:52:16 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-05-16 14:53:22 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-16 14:53:22 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-05-16 14:53:41 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-16 14:56:19 +0200 | AlexZenon | (~alzenon@178.34.150.214) (Quit: ;-) |
| 2025-05-16 14:57:56 +0200 | AlexNoo | (~AlexNoo@178.34.150.214) (Quit: Leaving) |
| 2025-05-16 14:57:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 14:58:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 14:58:30 +0200 | mistivia_ | (~mistivia@user/mistivia) (Ping timeout: 265 seconds) |
| 2025-05-16 14:58:59 +0200 | fp | (~Thunderbi@wireless-86-50-141-22.open.aalto.fi) (Ping timeout: 265 seconds) |
| 2025-05-16 14:59:41 +0200 | user363627 | (~user@user/user363627) user363627 |
| 2025-05-16 15:00:30 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-05-16 15:00:54 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-05-16 15:01:54 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 260 seconds) |
| 2025-05-16 15:04:23 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-05-16 15:05:07 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-05-16 15:08:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 15:08:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 15:15:55 +0200 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2025-05-16 15:19:10 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-16 15:20:24 +0200 | AlexZenon | (~alzenon@178.34.150.214) |
| 2025-05-16 15:22:24 +0200 | mange | (~user@user/mange) (Remote host closed the connection) |
| 2025-05-16 15:25:10 +0200 | AlexZenon | (~alzenon@178.34.150.214) (Client Quit) |
| 2025-05-16 15:30:13 +0200 | AlexZenon | (~alzenon@178.34.162.25) |
| 2025-05-16 15:32:29 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-16 15:32:32 +0200 | AlexNoo | (~AlexNoo@178.34.162.25) |
| 2025-05-16 15:32:48 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-16 15:34:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 15:34:15 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-16 15:34:16 +0200 | mistivia | (~mistivia@user/mistivia) (Ping timeout: 265 seconds) |
| 2025-05-16 15:34:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 15:37:27 +0200 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2025-05-16 15:39:36 +0200 | jespada | (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-16 15:40:09 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-05-16 15:41:59 +0200 | mistivia | (~mistivia@user/mistivia) (Ping timeout: 252 seconds) |
| 2025-05-16 15:45:12 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-05-16 15:45:33 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-16 15:48:19 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-16 15:50:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 15:50:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 15:53:48 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-05-16 15:58:56 +0200 | Square2 | (~Square@user/square) Square |
| 2025-05-16 15:59:31 +0200 | jespada | (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-16 15:59:43 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f4171b486f1d120a7f7.dip0.t-ipconnect.de) acidjnk |
| 2025-05-16 16:02:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 16:02:09 +0200 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2025-05-16 16:02:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 16:03:06 +0200 | Square | (~Square4@user/square) (Ping timeout: 276 seconds) |
| 2025-05-16 16:07:27 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-16 16:16:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 16:16:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 16:20:03 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-16 16:30:58 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 2025-05-16 16:41:02 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-16 16:44:11 +0200 | ft_ | ft |
| 2025-05-16 16:46:44 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-16 16:49:37 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-16 16:51:17 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-05-16 16:52:08 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2025-05-16 16:53:29 +0200 | mistivia | (~mistivia@user/mistivia) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-16 16:54:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 16:54:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 16:54:51 +0200 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2025-05-16 16:57:58 +0200 | Guest86 | (~Guest0@175.176.24.130) |
| 2025-05-16 17:03:24 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-05-16 17:03:44 +0200 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2025-05-16 17:05:56 +0200 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2025-05-16 17:06:54 +0200 | Guest86 | (~Guest0@175.176.24.130) (Quit: Client closed) |
| 2025-05-16 17:12:00 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-05-16 17:13:34 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-05-16 17:14:58 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-05-16 17:22:06 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-05-16 17:23:00 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-16 17:23:23 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 268 seconds) |
| 2025-05-16 17:23:33 +0200 | gorignak | (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
| 2025-05-16 17:24:20 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-05-16 17:24:54 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-05-16 17:32:53 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-16 17:33:16 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-05-16 17:35:17 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f4171b486f1d120a7f7.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-05-16 17:37:00 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-16 17:40:21 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-05-16 17:50:35 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-16 17:52:54 +0200 | <wbrawner> | Hi all, haskell noob here. I'm trying to write a function that will fetch the HTML for a given URL. Something along the lines of fetchHTML :: String -> String, but I know that won't work since I'll be making an HTTP request, which would make the function impure. How can I type this so that I'm able to just take in a string, perform an IO action, then return a string? My WIP code is here: https://paste.wbrawner.com/upload/falco |
| 2025-05-16 17:52:54 +0200 | <wbrawner> | n-zebra-goose |
| 2025-05-16 17:53:10 +0200 | <wbrawner> | I guess my message was too long, here's the URL again: https://paste.wbrawner.com/upload/falcon-zebra-goose |
| 2025-05-16 17:53:25 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds) |
| 2025-05-16 17:53:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-16 17:55:27 +0200 | <wbrawner> | (I also know I should probably be returning a Maybe String to handle errors, haven't gotten that far yet) |
| 2025-05-16 17:56:15 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-16 18:01:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 18:01:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 18:02:25 +0200 | mistivia | (~mistivia@user/mistivia) (Ping timeout: 248 seconds) |
| 2025-05-16 18:02:55 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 252 seconds) |
| 2025-05-16 18:03:32 +0200 | <ski> | wbrawner : you will need `fetchHTML :: String -> IO String' (can't "escape I/O") |
| 2025-05-16 18:03:33 +0200 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2025-05-16 18:05:19 +0200 | <ski> | (also, s/which would make the function impure/which would make the function (return an) effectful (action)" (all Haskell functions are "pure", including ones doing I/O .. that's the whole point of having `IO' in the types, it's explicit in the interface (and also in the implementation code), rather than implicit, happening on the side (so, "effectful", rather than "side-effectful"))) |
| 2025-05-16 18:05:27 +0200 | jespada | (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-16 18:06:13 +0200 | <ski> | for `Maybe', you'd want `String -> IO (Maybe String)' (or `String -> MaybeT IO String', which amounts to the same thing, but might be slightly more convenient) |
| 2025-05-16 18:06:33 +0200 | <ski> | @quote /bin/ls |
| 2025-05-16 18:06:34 +0200 | <lambdabot> | shachaf says: getLine :: IO String contains a String in the same way that /bin/ls contains a list of files |
| 2025-05-16 18:06:40 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-16 18:06:48 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) |
| 2025-05-16 18:07:09 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-16 18:07:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 18:07:27 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-16 18:12:24 +0200 | mistivia | (~mistivia@user/mistivia) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-16 18:15:22 +0200 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2025-05-16 18:15:50 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 18:16:17 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-16 18:20:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 18:20:47 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 18:21:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 18:22:12 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-16 18:24:14 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-05-16 18:30:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-16 18:31:29 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-05-16 18:34:18 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 268 seconds) |
| 2025-05-16 18:34:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 18:34:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 18:40:11 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-05-16 18:40:57 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 2025-05-16 18:45:37 +0200 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-05-16 18:56:10 +0200 | <probie> | wbrawner: Obligatory "you don't want to return a `Maybe String`". You probably want something like `Either URLFetchError String`, (where `URLFetchError` is a type you define yourself) so that you can convey what has gone wrong (an unreachable server is different from not found or an auth error) |
| 2025-05-16 18:57:31 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-05-16 19:04:45 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-16 19:05:05 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-16 19:08:02 +0200 | dontdieych2 | (~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-05-16 19:08:50 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2025-05-16 19:08:55 +0200 | ubert1 | (~Thunderbi@2a02:8109:ab8a:5a00:4cbe:a0fc:2922:d62) (Quit: ubert1) |
| 2025-05-16 19:12:54 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) |
| 2025-05-16 19:12:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 19:13:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 19:14:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-16 19:16:02 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-16 19:16:20 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-16 19:16:58 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-16 19:25:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 19:25:48 +0200 | <wbrawner> | ski: that makes sense, thanks. I tried to change it but now I'm running into other issues. If I can't work through these I'll share another paste |
| 2025-05-16 19:25:58 +0200 | <wbrawner> | probie: also makes sense. I'll do that instead, thanks! |
| 2025-05-16 19:28:03 +0200 | <EvanR> | how are you making the HTTP call |
| 2025-05-16 19:28:19 +0200 | <EvanR> | printing raw bytes to a socket? |
| 2025-05-16 19:28:44 +0200 | monochrom | uses telnet or nc. >:) |
| 2025-05-16 19:29:01 +0200 | <EvanR> | ewww telnet |
| 2025-05-16 19:29:39 +0200 | <monochrom> | When I used telnet, it was only because I hadn't heard of nc. |
| 2025-05-16 19:30:04 +0200 | <EvanR> | I recently found out about "rlwrap" |
| 2025-05-16 19:30:18 +0200 | <EvanR> | rlwrap telnet coolmud.net 8888 |
| 2025-05-16 19:30:35 +0200 | <EvanR> | magically separates your command prompt from async server messages |
| 2025-05-16 19:30:42 +0200 | <monochrom> | Hrm! I should try rlwrap sh too. (I teach sh in the Unix course.) |
| 2025-05-16 19:31:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-16 19:31:21 +0200 | <monochrom> | Neato! I should tell my students next time. |
| 2025-05-16 19:32:12 +0200 | <monochrom> | But no tab-complete filenames. Maybe I will see if I can configure it to. |
| 2025-05-16 19:32:17 +0200 | <EvanR> | it has a bunch of other features, for instance, provide your own autocomplete list, or tell it to add every word ever seen on input or output to the autocomplete list |
| 2025-05-16 19:32:20 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-05-16 19:33:27 +0200 | <monochrom> | The Curry people didn't bother to use libreadline in their REPL. They say "just use rlwrap yourself". :) |
| 2025-05-16 19:33:48 +0200 | <monochrom> | (and that's how I heard of it) |
| 2025-05-16 19:33:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-16 19:34:04 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 19:34:06 +0200 | <EvanR> | do one thing and do it well, then combine with something else which did that |
| 2025-05-16 19:34:25 +0200 | <wbrawner> | EvanR if that question was for me, I'm using http-client |
| 2025-05-16 19:34:28 +0200 | <EvanR> | violating that rule instantly |
| 2025-05-16 19:34:38 +0200 | <ski> | there's some variant/clone, `ledit', written in OCaml |
| 2025-05-16 19:34:43 +0200 | <wbrawner> | I updated the type signature, now getting a different error: https://paste.wbrawner.com/upload/monkey-falcon-dove |
| 2025-05-16 19:35:04 +0200 | <wbrawner> | Couldn't match type ‘Char’ with ‘[Char]’. Expected IO String, Actual [Char] |
| 2025-05-16 19:35:14 +0200 | <ski> | (not being LGPL, iirc ?) |
| 2025-05-16 19:35:23 +0200 | <EvanR> | "parseRequest" sounds like it would expect a request and not a URL |
| 2025-05-16 19:35:27 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-16 19:35:52 +0200 | <EvanR> | i.e. DELETE /facebook |
| 2025-05-16 19:36:07 +0200 | <wbrawner> | EvanR yeah, naming is hard :P I have GET prefixed to the URL |
| 2025-05-16 19:36:27 +0200 | <wbrawner> | I'll change that to requestStr or something along those lines |
| 2025-05-16 19:36:39 +0200 | <EvanR> | try changing $ to <$> on the last line |
| 2025-05-16 19:37:06 +0200 | <ski> | L8.unpack <$> getResponseBody response |
| 2025-05-16 19:37:08 +0200 | <ski> | yep |
| 2025-05-16 19:38:29 +0200 | <wbrawner> | Haven't seen that before, I'll have to read up on what it is |
| 2025-05-16 19:38:47 +0200 | <wbrawner> | That gives me Couldn't match type ‘L8.ByteString’ with ‘IO L8.ByteString’ |
| 2025-05-16 19:39:12 +0200 | <ski> | `(<$>)' is another name for `fmap' |
| 2025-05-16 19:40:58 +0200 | jespada | (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-16 19:41:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 19:42:45 +0200 | jespada | (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Client Quit) |
| 2025-05-16 19:46:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-16 19:47:26 +0200 | <ski> | hm, try replacing `getResponseBody' with `responseBody' ? |
| 2025-05-16 19:47:40 +0200 | <ski> | oh, and that would make it |
| 2025-05-16 19:47:56 +0200 | <ski> | return (L8.unpack (responseBody response)) |
| 2025-05-16 19:48:04 +0200 | <ski> | wbrawner ^ |
| 2025-05-16 19:48:29 +0200 | <EvanR> | oh getResponseBody is not IO |
| 2025-05-16 19:48:43 +0200 | <EvanR> | or not supposed to be |
| 2025-05-16 19:49:37 +0200 | <monochrom> | When meaningful names go wrong. :) |
| 2025-05-16 19:50:00 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2025-05-16 19:51:02 +0200 | <EvanR> | httpLbs (pronounced http pounds of course), "reads in the entire response and closes the connection. uses lazy bytestring for memory efficiency" o_O |
| 2025-05-16 19:51:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 19:51:52 +0200 | dibblego | (~dibblego@116.255.1.119) |
| 2025-05-16 19:51:52 +0200 | dibblego | (~dibblego@116.255.1.119) (Changing host) |
| 2025-05-16 19:51:52 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2025-05-16 19:53:51 +0200 | <monochrom> | A Data.ByteString.Lazy of Flesh |
| 2025-05-16 19:54:55 +0200 | <EvanR> | I'm wondering how lazy that strategy can be |
| 2025-05-16 19:58:13 +0200 | <c_wraith> | It's either not lazy for efficiency or doesn't promptly close the connection |
| 2025-05-16 19:58:29 +0200 | <c_wraith> | I'm not sure which part of the docs to disbelieve |
| 2025-05-16 19:59:41 +0200 | <monochrom> | You can believe all of it, keeping in mind it never said "right now right away" for the "close" part. |
| 2025-05-16 20:00:13 +0200 | <monochrom> | Hell, also for the "read" part. |
| 2025-05-16 20:02:23 +0200 | <EvanR> | I paraphrased it |
| 2025-05-16 20:02:28 +0200 | <EvanR> | it says immediately closes the connection |
| 2025-05-16 20:03:14 +0200 | <EvanR> | I'm boggling at reading in an entire lazy bytestring and closing the connection immediately xD |
| 2025-05-16 20:03:26 +0200 | <EvanR> | how do you even do that |
| 2025-05-16 20:03:38 +0200 | <EvanR> | deepseq |
| 2025-05-16 20:05:45 +0200 | <c_wraith> | length is sufficient |
| 2025-05-16 20:07:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 20:08:03 +0200 | <EvanR> | hax |
| 2025-05-16 20:08:12 +0200 | <ski> | EvanR : it is `IO', but it takes `Result (Response a)', not `Response a' |
| 2025-05-16 20:08:18 +0200 | acarrico | (~acarrico@pppoe-209-99-221-107.greenmountainaccess.net) (Quit: Leaving.) |
| 2025-05-16 20:08:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 20:08:25 +0200 | <ski> | where `Result = Either Whatever' |
| 2025-05-16 20:08:46 +0200 | <ski> | (throwing exception in case of `Left', apparently) |
| 2025-05-16 20:09:04 +0200 | <EvanR> | classy |
| 2025-05-16 20:09:39 +0200 | <ski> | but since wbrawner already had a `Response a' here, no need to wrap in `Right' and pass to `getResponseBody', better to just extract the `responseBody' field |
| 2025-05-16 20:11:52 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2025-05-16 20:12:05 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f410c8650aa1a5c1c11.dip0.t-ipconnect.de) acidjnk |
| 2025-05-16 20:13:16 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2025-05-16 20:13:26 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-05-16 20:13:29 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-16 20:16:23 +0200 | <EvanR> | I see. By using lazy I/O you can allocate chunks in order and they're already chained together |
| 2025-05-16 20:16:50 +0200 | <EvanR> | if you tried reading in an unknown amount using strict bytestring you'd have to "reallocate" when your guess at total size keeps being wrong |
| 2025-05-16 20:20:04 +0200 | <monochrom> | Hrm, I made the wrong bet. :) |
| 2025-05-16 20:20:42 +0200 | <wbrawner> | ski: that did the trick, thanks for the help! |
| 2025-05-16 20:21:00 +0200 | <wbrawner> | as an aside: is http-client commonly used? |
| 2025-05-16 20:21:04 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-16 20:21:41 +0200 | <wbrawner> | I'm coming from Android dev where we reach for libraries for pretty much anything, and in my free time I often write Go where I can just use things from the stdlib and almost never reach for third-party dependencies |
| 2025-05-16 20:21:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 20:22:20 +0200 | <wbrawner> | Personally I prefer the Go approach of only using third-party stuff when I really need it but old habits die hard in unfamiliar settings |
| 2025-05-16 20:22:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 20:25:37 +0200 | sprotte24 | (~sprotte24@p200300d16f1bca002ca617d70fcb63bb.dip0.t-ipconnect.de) |
| 2025-05-16 20:27:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 20:27:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 20:29:04 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-16 20:29:13 +0200 | monochrom | reaches for libraries that come with GHC for everything. :) |
| 2025-05-16 20:30:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-16 20:31:18 +0200 | <monochrom> | Oh, historical GHC has gone through the mood swing of "OMG GHC must come with everything and batteries and the kitchen sink" and "OMG GHC must come with as little as possible". Twice. |
| 2025-05-16 20:32:19 +0200 | dibblego | (~dibblego@116.255.1.119) |
| 2025-05-16 20:32:19 +0200 | dibblego | (~dibblego@116.255.1.119) (Changing host) |
| 2025-05-16 20:32:19 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2025-05-16 20:33:17 +0200 | <monochrom> | Plus outside GHC there was also "OMG Haskell Platform is the best idea ever" and "OMG Haskell Platform is the worst idea ever". (Haskell Platform was an effort to be a secondary "standard" library to include everything and batteries and the kitchen sink.) |
| 2025-05-16 20:36:15 +0200 | <monochrom> | My theory is that there was a time our opinion leaders envied Python popularity and decided we should parrot them, for example "batteries included", for example making snake-oil claims like "increased productivity" with no data. |
| 2025-05-16 20:36:49 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-05-16 20:38:17 +0200 | <monochrom> | (Fortunately, we later found out that while those worked for Python---good for them---they didn't work for Haskell.) |
| 2025-05-16 20:38:56 +0200 | <__monty__> | I actually like JavaScript radically tiny libraries model (at least in theory). Makes it realistic for things to achieve perfection and not require unnecessary version constraint churn. |
| 2025-05-16 20:41:13 +0200 | <monochrom> | For example, with a compiler with insane cross-module even cross-package inlining, batteries included backfires badly (cf "cabal hell" back then). |
| 2025-05-16 20:42:40 +0200 | <sclv> | the best part of platform was it was the first time we had a standard installer story across multiple platforms. ghcup, which replaced that, is leagues better now, but it was still |
| 2025-05-16 20:42:49 +0200 | <sclv> | a big step |
| 2025-05-16 20:43:26 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 20:43:35 +0200 | haskellbridge | (~hackager@syn-096-028-227-029.res.spectrum.com) (Remote host closed the connection) |
| 2025-05-16 20:44:16 +0200 | <wbrawner> | I think trying to ship everything in stdlib is untenable but I really dislike working with npm/cargo that pull in hundreds of transitive dependencies when I ask for one |
| 2025-05-16 20:44:29 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-16 20:44:33 +0200 | <sclv> | two other things are “batteries included” made more sense when some batteries were otherwise hard to install (since fixed), when there were fewer and more stable libs, and when the notion of “batteries” covered far less surface area |
| 2025-05-16 20:45:35 +0200 | <sclv> | wbrawner: some of that is imho “javascript disease” where people chop up libraries too small. i know what induces this in js (versioning problems) but idk in cargo |
| 2025-05-16 20:45:49 +0200 | <__monty__> | wbrawner: Do you actually care about transitive dependencies or do you care about how long/much space it takes to install them? |
| 2025-05-16 20:46:28 +0200 | <monochrom> | Oh then you will hate our lens library. >:) |
| 2025-05-16 20:46:38 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-05-16 20:46:39 +0200 | haskellbridge | (~hackager@syn-096-028-227-029.res.spectrum.com) hackager |
| 2025-05-16 20:46:39 +0200 | ChanServ | +v haskellbridge |
| 2025-05-16 20:47:02 +0200 | <monochrom> | https://ro-che.info/ccc/23 |
| 2025-05-16 20:47:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-16 20:47:04 +0200 | <wbrawner> | transitive dependencies. I travel a lot and write code offline. If I have go installed I can pretty much write whatever I want without internet but if I try to write something in Node I have to hope that I remember to cache all of the dependencies I _may_ need before I get internet again |
| 2025-05-16 20:47:10 +0200 | <wbrawner> | __monty__ ^ |
| 2025-05-16 20:47:53 +0200 | <__monty__> | What does that have to do with *transitive* dependencies? That sounds like behemoth stdlib v. minimal stdlib. |
| 2025-05-16 20:47:57 +0200 | <EvanR> | wbrawner, is it the number of transitive dependencies that annoys you. Like how in C people will rewrite a library just to avoid *any* dependencies, because that's a number greater than zero |
| 2025-05-16 20:48:06 +0200 | <c_wraith> | Yeah, that's not about transitive dependencies. Just dependencies at all |
| 2025-05-16 20:48:14 +0200 | <EvanR> | if they combined all the functionality being pulled in into 1 dependency would that be better for you |
| 2025-05-16 20:48:47 +0200 | <EvanR> | yes is it the number greater than zero problem or number greater than 10 problem |
| 2025-05-16 20:49:34 +0200 | <monochrom> | I think it's the "greater than my data plan" problem. :) |
| 2025-05-16 20:49:57 +0200 | <EvanR> | that would make the size of dependencies the problem not discrete number |
| 2025-05-16 20:50:37 +0200 | <EvanR> | dang __monty__ asked this already |
| 2025-05-16 20:50:53 +0200 | monochrom | once exceeded his data plan by a "simple" "docker pull currylang/kics2". That was 2GB. |
| 2025-05-16 20:52:12 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-16 20:52:13 +0200 | <wbrawner> | yeah it mostly comes down to total number of dependencies, because I can install a few locally and be ready to go, but when there are dozens needed to do anything useful it's more of a chore to install and make sure they're up-to-date |
| 2025-05-16 20:52:31 +0200 | <wbrawner> | Also I rely on renovate to keep dependencies up to date and the node projects I have are the noisiest in that regard |
| 2025-05-16 20:52:32 +0200 | rembo10_ | (~rembo10@main.remulis.com) (Ping timeout: 272 seconds) |
| 2025-05-16 20:52:49 +0200 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-05-16 20:53:02 +0200 | mistivia | (~mistivia@user/mistivia) (Ping timeout: 244 seconds) |
| 2025-05-16 20:53:10 +0200 | <EvanR> | the idea that you just need "the dependency" and any project that needs it will work is alien to me |
| 2025-05-16 20:53:19 +0200 | <EvanR> | because versions |
| 2025-05-16 20:53:27 +0200 | <EvanR> | now I cabal sandbox everything |
| 2025-05-16 20:53:27 +0200 | gorignak | (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
| 2025-05-16 20:53:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-05-16 20:53:50 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-05-16 20:53:56 +0200 | <__monty__> | Does the *total* number actually matter? You don't have to manually track down and install/update every transitive dependency with any of the tooling I'm familiar with. |
| 2025-05-16 20:53:56 +0200 | <wbrawner> | I use renovate to keep all of my projects on the latest versions so really I just need the latest version of said dependency and I'm good to go |
| 2025-05-16 20:54:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-16 20:54:21 +0200 | <EvanR> | that sounds like a would be nice situation |
| 2025-05-16 20:54:26 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 272 seconds) |
| 2025-05-16 20:54:38 +0200 | <EvanR> | some projects are on old version of libraries though |
| 2025-05-16 20:54:42 +0200 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2025-05-16 20:54:43 +0200 | <EvanR> | to update it all would take work |
| 2025-05-16 20:54:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 252 seconds) |
| 2025-05-16 20:54:52 +0200 | <EvanR> | (without any obvious benefit) |
| 2025-05-16 20:55:05 +0200 | yin | (~z@user/zero) (Ping timeout: 272 seconds) |
| 2025-05-16 20:55:12 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-05-16 20:55:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-16 20:55:28 +0200 | <wbrawner> | well like with go for example, I can just clone the git repos to ~/go/src and then I can pull whatever version I need from there since I have the whole repo locally |
| 2025-05-16 20:55:30 +0200 | <EvanR> | but I get the impression haskell ecosystem changes faster than normal |
| 2025-05-16 20:55:36 +0200 | <wbrawner> | But having to do that for a ton of transitive dependencies becomes a chore |
| 2025-05-16 20:55:57 +0200 | yin | (~z@user/zero) zero |
| 2025-05-16 20:56:20 +0200 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2025-05-16 20:56:35 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 252 seconds) |
| 2025-05-16 20:56:42 +0200 | <__monty__> | Are we actually using the term "transitive" in the same way? Because I never deal with transitive dependencies directly. That's why they're transitive. |
| 2025-05-16 20:56:54 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-05-16 20:57:02 +0200 | <EvanR> | in go you download transitive dependencies manually? |
| 2025-05-16 20:57:12 +0200 | <wbrawner> | transitive dependencies meaning dependencies of my dependencies, right? |
| 2025-05-16 20:57:15 +0200 | <EvanR> | that can't be right |
| 2025-05-16 20:57:26 +0200 | j1n37- | (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 2025-05-16 20:57:30 +0200 | <wbrawner> | go builds from source afaict, just like cargo and I thought haskell too |
| 2025-05-16 20:57:43 +0200 | <wbrawner> | haskell doesn't pull binaries for dependencies does it? |
| 2025-05-16 20:58:39 +0200 | <wbrawner> | e.g. when i run `go build` it will build all of my dependencies (so the transitive dependencies too) and then build my code last |
| 2025-05-16 20:58:45 +0200 | <wbrawner> | I was under the impression haskell did the same |
| 2025-05-16 20:58:52 +0200 | <EvanR> | it builds them all from source for me, but only the first time. And it's automated |
| 2025-05-16 20:59:05 +0200 | <__monty__> | From source or not doesn't actually make a difference. Transitive does mean non-direct dependencies to me, yeah. |
| 2025-05-16 20:59:10 +0200 | <EvanR> | so I'm not pulling a git repo for each library I'm suring |
| 2025-05-16 20:59:12 +0200 | <monochrom> | Oh we're the worst of both worlds. We pull source code and build. |
| 2025-05-16 20:59:20 +0200 | <EvanR> | using |
| 2025-05-16 20:59:51 +0200 | <monochrom> | If you're travelling, you drain both your data plan and your laptop battery. >:) |
| 2025-05-16 21:00:03 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-16 21:00:17 +0200 | <monochrom> | (Try depending on aeson when you're on an airplane. >:) ) |
| 2025-05-16 21:00:31 +0200 | <__monty__> | monochrom: Monolithic dependencies that you only use a fraction of sound worse when bandwidth is limited. |
| 2025-05-16 21:00:32 +0200 | <wbrawner> | does stack cache dependencies outside of the project dir then? e.g. node stores them all in node_modules within the project dir, so if I build one node project and then try to build another project offline that shares the exact same dependencies, it'll fail because it can't pull them |
| 2025-05-16 21:00:41 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-16 21:00:44 +0200 | <EvanR> | stack! |
| 2025-05-16 21:00:55 +0200 | <__monty__> | wbrawner: Pnpm solves that though. |
| 2025-05-16 21:01:09 +0200 | <__monty__> | Like, those are tooling problems not transitive dependency problems. |
| 2025-05-16 21:01:14 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 21:01:19 +0200 | <monochrom> | __monty__: It could be worse. Consider a million dependencies and for each you only use one line of code. |
| 2025-05-16 21:02:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 21:02:13 +0200 | <monochrom> | Oh, stack and cabal cache what they can. Especially downloads. |
| 2025-05-16 21:02:15 +0200 | <__monty__> | Versus a couple dependencies that are hundreds of thousands of lines each? |
| 2025-05-16 21:02:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 21:02:31 +0200 | <EvanR> | not having the data limit or throughput or battery is an issue, but the fix for that is not to stop and rewrite aeson on the plane |
| 2025-05-16 21:03:20 +0200 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2025-05-16 21:03:32 +0200 | <EvanR> | but I was hoping it didn't boil down to "would rather not reuse reusable code" which is often the case in C |
| 2025-05-16 21:03:41 +0200 | <monochrom> | It could be worse. Consider an in-person job interview in which "write aeson now. on the whiteboard." |
| 2025-05-16 21:03:59 +0200 | <EvanR> | that sounds to real |
| 2025-05-16 21:04:15 +0200 | <__monty__> | "In whatever pseudo code you want, but I *will* complain about missing ;'s." |
| 2025-05-16 21:04:31 +0200 | <monochrom> | I mean we heard enough rumours about "write an editor now. on the whiteboard." so why not a CSV library too. :) |
| 2025-05-16 21:04:49 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-16 21:04:50 +0200 | <Rembane> | __monty__: Imagine whitespace, but with punctuation instead. |
| 2025-05-16 21:05:01 +0200 | <EvanR> | ok so that one wasn't because they needed an editor to be written as part of the job |
| 2025-05-16 21:05:05 +0200 | <EvanR> | and wasn't just me |
| 2025-05-16 21:06:06 +0200 | <EvanR> | space = punctuation = roguelike nethacks |
| 2025-05-16 21:06:32 +0200 | <monochrom> | If you're interviewing augustuss (yeah fat chance, I know), be sure to up the game with "write a haskell compiler now. on the whiteboard." >:) |
| 2025-05-16 21:07:40 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-16 21:08:32 +0200 | natto17 | (~natto@129.154.243.159) (Ping timeout: 244 seconds) |
| 2025-05-16 21:09:11 +0200 | <wbrawner> | yeah I agree that it's a tooling problem, it's just nice that go solves this out of the box so I don't need to go hunting for solutions |
| 2025-05-16 21:09:24 +0200 | <EvanR> | wait how goes go solve it? |
| 2025-05-16 21:09:37 +0200 | <EvanR> | a lot of libraries are embedded in its git repo? |
| 2025-05-16 21:09:50 +0200 | sprotte24_ | (~sprotte24@p200300d16f1bca002ca617d70fcb63bb.dip0.t-ipconnect.de) |
| 2025-05-16 21:10:07 +0200 | natto17 | (~natto@129.154.243.159) natto |
| 2025-05-16 21:10:08 +0200 | <__monty__> | Just with a big batteries included stdlib I assume. |
| 2025-05-16 21:10:30 +0200 | <Rembane> | Vendoring? Few dependencies? |
| 2025-05-16 21:12:22 +0200 | <monochrom> | I get "too many dependencies". I am surprised that you speak like what you need doesn't plateau after, say, a year. |
| 2025-05-16 21:13:01 +0200 | <EvanR> | if I understood the problem, that you need a library for something, then I'm not sure including a lot of libraries in the base language solves that exactly. Just reduces the pressure |
| 2025-05-16 21:13:03 +0200 | <monochrom> | I know that versions change, but it is not like when you're on an airplane your computer magically says "new versions detected, need new download" either. |
| 2025-05-16 21:13:28 +0200 | <EvanR> | ^ which is why you need old versions |
| 2025-05-16 21:13:51 +0200 | <haskellbridge> | <geekosaur> quick test |
| 2025-05-16 21:14:05 +0200 | <EvanR> | check |
| 2025-05-16 21:14:26 +0200 | <Rembane> | Hi geekosaur! |
| 2025-05-16 21:14:50 +0200 | <mauke> | preflex: seen geekosaur |
| 2025-05-16 21:14:50 +0200 | <preflex> | geekosaur was last seen on #haskell 59 seconds ago, saying: quick test |
| 2025-05-16 21:15:14 +0200 | <geekosaur> | still moving in but at least I have a desk now |
| 2025-05-16 21:23:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-16 21:23:51 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-16 21:24:02 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) |
| 2025-05-16 21:24:20 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-16 21:24:49 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) |
| 2025-05-16 21:25:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 21:26:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 21:26:21 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-05-16 21:26:35 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-16 21:28:11 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) |
| 2025-05-16 21:28:43 +0200 | lol_ | (~lol@2603:3016:1e01:b960:307d:f5b5:c6a2:664f) |
| 2025-05-16 21:30:28 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 21:31:55 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-16 21:32:44 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b960:d5f4:984e:ebc2:54f8) (Ping timeout: 260 seconds) |
| 2025-05-16 21:35:36 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-16 21:35:37 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-05-16 21:35:53 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-16 21:35:58 +0200 | <wbrawner> | yeah the issue I run into is more like I want to start a new project while away and without internet but I didn't cache all the dependencies I needed so now I can't until I'm online again. Working on a project I've already cloned/built isn't an issue |
| 2025-05-16 21:36:29 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-05-16 21:36:52 +0200 | <wbrawner> | anyway, I was just curious to see where haskell landed on the spectrum of batteries included vs dependencies for things like left-padding strings |
| 2025-05-16 21:37:09 +0200 | <monochrom> | We landed in the middle. |
| 2025-05-16 21:37:28 +0200 | <wbrawner> | I think that's sensible |
| 2025-05-16 21:37:42 +0200 | mistivia | (~mistivia@user/mistivia) (Read error: Connection reset by peer) |
| 2025-05-16 21:37:43 +0200 | <monochrom> | OK, I misspoke. We landed near the minimal side but not extremely. |
| 2025-05-16 21:37:48 +0200 | mistivia_ | (~mistivia@user/mistivia) mistivia |
| 2025-05-16 21:38:22 +0200 | <monochrom> | For example text, containers, mtl now comes with GHC. They used to be not included. |
