| 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) |
