2025/05/16

2025-05-16 00:02:08 +0200 <monochrom> Yes. But macOS is not okay, hence the frequent cycle.
2025-05-16 00:02:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 00:03:41 +0200tromp(~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-16 00:07:54 +0200merijn(~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 +0200sprotte24(~sprotte24@p200300d16f0fe6004d89544af78e53f5.dip0.t-ipconnect.de) (Quit: Leaving)
2025-05-16 00:18:45 +0200merijn(~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 +0200merijn(~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 +0200dolio(~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in)
2025-05-16 00:25:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 00:26:03 +0200sabathan2(~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 +0200dolio(~dolio@130.44.140.168) dolio
2025-05-16 00:33:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 00:33:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 00:34:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 00:34:32 +0200dolio(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-16 00:41:39 +0200dolio(~dolio@130.44.140.168) dolio
2025-05-16 00:50:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 00:54:36 +0200nullobject(~josh@user/nullobject) (Ping timeout: 265 seconds)
2025-05-16 00:54:57 +0200merijn(~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 +0200jmorris(uid604645@id-604645.hampstead.irccloud.com) jmorris
2025-05-16 00:57:19 +0200machinedgod(~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 +0200merijn(~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 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 01:07:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 01:07:44 +0200xff0x(~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 +0200manwithluck(~manwithlu@2a09:bac5:5084:2387::38a:3b) (Ping timeout: 248 seconds)
2025-05-16 01:08:38 +0200manwithluck(~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 +0200Clintsquints.
2025-05-16 01:11:13 +0200merijn(~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 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-05-16 01:20:25 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2025-05-16 01:20:31 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-05-16 01:21:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 01:21:54 +0200Lord_of_Life_Lord_of_Life
2025-05-16 01:22:40 +0200peterbecich(~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 +0200merijn(~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 +0200weary-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 +0200int-eshrugs
2025-05-16 01:33:01 +0200 <haskellbridge> <sm> sure, but the root cause is merijn
2025-05-16 01:33:19 +0200acidjnk(~acidjnk@p200300d6e71c4f453148b790f5eba778.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-05-16 01:33:53 +0200flounders(~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 +0200peterbecich(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 01:38:12 +0200sajenim(~sajenim@user/sajenim) sajenim
2025-05-16 01:42:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-16 01:43:55 +0200jespada(~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
2025-05-16 01:48:18 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-05-16 01:49:13 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 265 seconds)
2025-05-16 01:50:12 +0200sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2025-05-16 01:50:14 +0200jespada(~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) jespada
2025-05-16 01:50:45 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-16 01:53:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 01:58:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-16 02:03:18 +0200jespada(~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds)
2025-05-16 02:06:45 +0200visilii(~visilii@81.177.126.61) (Ping timeout: 248 seconds)
2025-05-16 02:09:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 02:10:32 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-05-16 02:11:09 +0200visilii(~visilii@85.94.27.197)
2025-05-16 02:13:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-16 02:16:03 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-05-16 02:17:54 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
2025-05-16 02:17:54 +0200ljdarj1ljdarj
2025-05-16 02:24:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 02:31:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-16 02:32:14 +0200pavonia(~user@user/siracusa) siracusa
2025-05-16 02:32:15 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-05-16 02:34:47 +0200califax(~califax@user/califx) califx
2025-05-16 02:40:38 +0200tolgo(~Thunderbi@199.115.144.130)
2025-05-16 02:40:53 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-05-16 02:42:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 02:47:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-05-16 02:51:26 +0200tolgo(~Thunderbi@199.115.144.130) (Quit: tolgo)
2025-05-16 02:58:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 03:01:19 +0200Square2(~Square@user/square) Square
2025-05-16 03:03:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-16 03:04:21 +0200Square(~Square4@user/square) (Ping timeout: 248 seconds)
2025-05-16 03:05:32 +0200jmorris(uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-05-16 03:14:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 03:18:55 +0200joeyadams(~textual@syn-162-154-010-038.res.spectrum.com)
2025-05-16 03:19:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-16 03:29:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 03:30:51 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-16 03:33:34 +0200Square2(~Square@user/square) (Ping timeout: 276 seconds)
2025-05-16 03:34:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-16 03:43:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 03:43:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 03:45:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 03:51:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-16 03:54:22 +0200aditya_an1l(~aditya_an@user/aditya-an1l:63825) aditya_an1l
2025-05-16 03:55:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 04:00:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-16 04:02:31 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-16 04:04:37 +0200koolazer(~koo@user/koolazer) (Ping timeout: 248 seconds)
2025-05-16 04:11:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 04:15:36 +0200td_(~td@i53870932.versanet.de) (Ping timeout: 252 seconds)
2025-05-16 04:17:34 +0200td_(~td@i53870927.versanet.de) td_
2025-05-16 04:17:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-16 04:20:10 +0200zlqrvx(~zlqrvx@101.175.150.247) (Quit: ZNC 1.9.1 - https://znc.in)
2025-05-16 04:20:30 +0200zlqrvx(~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3)
2025-05-16 04:20:32 +0200zlqrvx(~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) (Remote host closed the connection)
2025-05-16 04:21:08 +0200zlqrvx(~zlqrvx@101.175.150.247)
2025-05-16 04:22:30 +0200zlqrvx(~zlqrvx@101.175.150.247) (Client Quit)
2025-05-16 04:22:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 04:23:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 04:27:17 +0200zmt01(~zmt00@user/zmt00) zmt00
2025-05-16 04:29:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 04:29:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 04:29:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 04:29:49 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 244 seconds)
2025-05-16 04:34:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-16 04:35:40 +0200JuanDaughertyColinRobinson
2025-05-16 04:44:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 04:49:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-16 04:52:17 +0200EvanR(~EvanR@user/evanr) (Ping timeout: 268 seconds)
2025-05-16 04:56:41 +0200EvanR(~EvanR@user/evanr) EvanR
2025-05-16 05:00:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 05:01:28 +0200kittiescatties
2025-05-16 05:05:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-16 05:13:18 +0200vgtw_vgtw
2025-05-16 05:13:28 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-05-16 05:16:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 05:21:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-16 05:27:11 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2025-05-16 05:27:28 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-16 05:32:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 05:35:29 +0200aforemny_(~aforemny@2001:9e8:6ce6:1d00:ecc9:c46:5d43:45e6) (Ping timeout: 272 seconds)
2025-05-16 05:36:08 +0200aforemny(~aforemny@2001:9e8:6cc4:6e00:7edf:27f1:f2a2:7f8e) aforemny
2025-05-16 05:36:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-16 05:38:16 +0200Digitteknohippie(~user@user/digit) Digit
2025-05-16 05:39:09 +0200Digit(~user@user/digit) (Ping timeout: 245 seconds)
2025-05-16 05:41:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2025-05-16 05:43:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 05:43:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 05:47:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 05:49:38 +0200ColinRobinsonJuanDaugherty
2025-05-16 05:52:49 +0200dutchie(~dutchie@user/dutchie) (Remote host closed the connection)
2025-05-16 05:54:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-16 05:55:17 +0200dutchie(~dutchie@user/dutchie) dutchie
2025-05-16 05:56:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 05:59:29 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-16 06:01:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-16 06:05:28 +0200nek0(~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
2025-05-16 06:12:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 06:14:59 +0200califax(~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in)
2025-05-16 06:15:17 +0200califax(~califax@user/califx) califx
2025-05-16 06:16:30 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 265 seconds)
2025-05-16 06:16:44 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-16 06:17:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-16 06:19:42 +0200joeyadams(~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com)
2025-05-16 06:19:55 +0200wickedjargon(~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) (Remote host closed the connection)
2025-05-16 06:21:45 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-05-16 06:22:44 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-16 06:23:06 +0200wickedjargon(~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505)
2025-05-16 06:25:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 06:25:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 06:27:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 06:32:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-16 06:43:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 06:45:30 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-16 06:48:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-16 06:50:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 06:51:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 06:51:23 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-16 06:52:47 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-16 06:57:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 06:57:25 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-16 06:57:48 +0200ft(~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving)
2025-05-16 07:01:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 07:02:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 07:02:14 +0200sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff
2025-05-16 07:02:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-16 07:06:49 +0200wickedja`(~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505)
2025-05-16 07:08:05 +0200wickedja`(~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) ()
2025-05-16 07:09:15 +0200wickedjargon(~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) (Remote host closed the connection)
2025-05-16 07:09:56 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-16 07:13:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 07:17:18 +0200wickedjargon(~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net)
2025-05-16 07:17:24 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-05-16 07:17:31 +0200wickedjargon(~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) (Remote host closed the connection)
2025-05-16 07:17:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-16 07:17:54 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-16 07:18:41 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-05-16 07:20:56 +0200nek0(~nek0@user/nek0) nek0
2025-05-16 07:27:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 07:27:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 07:28:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 07:30:54 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2025-05-16 07:31:10 +0200mange(~user@user/mange) mange
2025-05-16 07:32:01 +0200euleritian(~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de)
2025-05-16 07:33:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-16 07:34:49 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-16 07:35:15 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-05-16 07:41:30 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-05-16 07:44:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 07:46:59 +0200euleritian(~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-16 07:47:03 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection)
2025-05-16 07:48:58 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-16 07:49:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-16 07:56:48 +0200lambdabot(~lambdabot@silicon.int-e.eu)
2025-05-16 07:56:48 +0200lambdabot(~lambdabot@silicon.int-e.eu) (Changing host)
2025-05-16 07:56:48 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) lambdabot
2025-05-16 07:56:48 +0200ChanServ+v lambdabot
2025-05-16 07:58:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 08:00:38 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection)
2025-05-16 08:01:08 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 272 seconds)
2025-05-16 08:02:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-16 08:03:12 +0200troydm(~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 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) lambdabot
2025-05-16 08:10:51 +0200ChanServ+v lambdabot
2025-05-16 08:12:20 +0200DigitteknohippieDigit
2025-05-16 08:13:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 08:20:39 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-16 08:21:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-16 08:25:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 08:25:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 08:30:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-16 08:31:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 08:34:21 +0200j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-16 08:36:23 +0200nullobject(~josh@user/nullobject) nullobject
2025-05-16 08:37:46 +0200mistivia(~mistivia@user/mistivia) (Ping timeout: 252 seconds)
2025-05-16 08:38:34 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-16 08:38:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-16 08:39:02 +0200mistivia(~mistivia@user/mistivia) mistivia
2025-05-16 08:40:20 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-05-16 08:43:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 08:43:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 08:44:00 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-16 08:44:02 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-16 08:44:44 +0200tromp(~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66)
2025-05-16 08:46:04 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-16 08:49:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 08:52:09 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-05-16 08:55:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-16 08:59:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 08:59:46 +0200nacation(~m-3l4s76@user/nacation) (Remote host closed the connection)
2025-05-16 09:00:00 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-16 09:00:42 +0200caconym7(~caconym@user/caconym) caconym
2025-05-16 09:01:14 +0200nacation(~m-3l4s76@user/nacation) nacation
2025-05-16 09:04:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-16 09:13:43 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-05-16 09:14:06 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-16 09:15:03 +0200nacation(~m-3l4s76@user/nacation) (Remote host closed the connection)
2025-05-16 09:15:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 09:15:17 +0200nacation(~m-3l4s76@user/nacation) nacation
2025-05-16 09:15:42 +0200acidjnk(~acidjnk@p200300d6e71c4f4105c0adf8f289f227.dip0.t-ipconnect.de) acidjnk
2025-05-16 09:19:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-16 09:25:18 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-16 09:30:25 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-16 09:30:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 09:31:43 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-05-16 09:34:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 09:34:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 09:36:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-16 09:36:18 +0200chele(~chele@user/chele) chele
2025-05-16 09:40:14 +0200bwe53891bwe
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 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 09:44:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 09:46:38 +0200merijn(~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 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-16 09:51:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-16 09:52:04 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2025-05-16 09:54:48 +0200euleritian(~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de)
2025-05-16 09:56:30 +0200YuutaW(~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW
2025-05-16 09:57:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 10:06:01 +0200zmt01(~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 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-16 10:28:24 +0200 <[exa]> ah ok
2025-05-16 10:28:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 10:28:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 10:29:05 +0200OftenFaded(~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 +0200nullobject(~josh@user/nullobject) (Quit: WeeChat 4.1.1)
2025-05-16 10:35:40 +0200 <[exa]> ◔_◔
2025-05-16 10:37:27 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2025-05-16 10:38:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-16 10:38:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 10:39:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 10:43:57 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-16 10:45:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 10:45:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2025-05-16 10:45:53 +0200sabathan2(~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 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-05-16 11:05:23 +0200econo_(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 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-05-16 11:18:53 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-16 11:18:55 +0200Zowlyfon(sid346067@user/Zowlyfon) Zowlyfon
2025-05-16 11:19:13 +0200j1n37(~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 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 11:23:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 11:25:16 +0200epolanski(uid312403@id-312403.helmsley.irccloud.com) epolanski
2025-05-16 11:25:40 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-05-16 11:26:12 +0200rvalue(~rvalue@user/rvalue) rvalue
2025-05-16 11:27:17 +0200aditya_an1l(~aditya_an@user/aditya-an1l:63825) (Ping timeout: 265 seconds)
2025-05-16 11:27:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-16 11:28:01 +0200Digitteknohippie(~user@user/digit) Digit
2025-05-16 11:29:00 +0200Digit(~user@user/digit) (Ping timeout: 252 seconds)
2025-05-16 11:31:26 +0200ubert1(~Thunderbi@2a02:8109:ab8a:5a00:4cbe:a0fc:2922:d62) ubert
2025-05-16 11:38:29 +0200DigitteknohippieDigit
2025-05-16 11:39:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 11:41:57 +0200euleritian(~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-16 11:42:14 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-16 11:43:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 11:43:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 11:43:35 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds)
2025-05-16 11:44:17 +0200fp(~Thunderbi@2001:708:20:1406::1370) fp
2025-05-16 11:48:30 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-05-16 11:49:36 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-16 11:55:15 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-05-16 11:56:37 +0200mistivia_(~mistivia@user/mistivia) mistivia
2025-05-16 11:56:43 +0200mistivia(~mistivia@user/mistivia) (Read error: Connection reset by peer)
2025-05-16 11:57:19 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds)
2025-05-16 12:14:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 12:15:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 12:16:55 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-05-16 12:19:06 +0200pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2025-05-16 12:22:41 +0200pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-05-16 12:22:52 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 265 seconds)
2025-05-16 12:25:16 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2025-05-16 12:25:44 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-16 12:29:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 12:29:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 12:34:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 12:34:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 12:47:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 12:47:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 12:54:06 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-05-16 12:57:29 +0200mistivia_(~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 +0200jespada(~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) jespada
2025-05-16 13:03:43 +0200mistivia(~mistivia@user/mistivia) mistivia
2025-05-16 13:08:42 +0200Digitteknohippie(~user@user/digit) Digit
2025-05-16 13:10:12 +0200Digit(~user@user/digit) (Ping timeout: 276 seconds)
2025-05-16 13:12:05 +0200mistivia_(~mistivia@user/mistivia) mistivia
2025-05-16 13:12:49 +0200mistivia(~mistivia@user/mistivia) (Read error: Connection reset by peer)
2025-05-16 13:13:22 +0200fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 276 seconds)
2025-05-16 13:15:33 +0200fp(~Thunderbi@wireless-86-50-141-22.open.aalto.fi) fp
2025-05-16 13:18:20 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-05-16 13:21:30 +0200sand-witch(~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection)
2025-05-16 13:22:03 +0200sand-witch(~m-mzmz6l@38.242.236.220)
2025-05-16 13:28:42 +0200pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2025-05-16 13:32:06 +0200aditya_an1l(~aditya_an@user/aditya-an1l:63825) aditya_an1l
2025-05-16 13:32:36 +0200pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-05-16 13:32:54 +0200tromp(~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-16 13:38:13 +0200DigitteknohippieDigit
2025-05-16 13:48:11 +0200Square(~Square4@user/square) Square
2025-05-16 13:48:25 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-16 13:48:35 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-05-16 13:48:49 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-16 13:49:05 +0200rvalue(~rvalue@user/rvalue) rvalue
2025-05-16 13:52:23 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-05-16 13:53:21 +0200rvalue-(~rvalue@user/rvalue) rvalue
2025-05-16 13:53:53 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 248 seconds)
2025-05-16 13:54:14 +0200jespada(~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds)
2025-05-16 13:57:24 +0200jespada(~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) jespada
2025-05-16 14:01:58 +0200rvalue-rvalue
2025-05-16 14:05:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 14:05:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 14:07:03 +0200aditya_an1l(~aditya_an@user/aditya-an1l:63825) (Quit: WeeChat 4.6.2)
2025-05-16 14:17:39 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-05-16 14:18:35 +0200ft_(~ft@p3e9bc106.dip0.t-ipconnect.de) ft
2025-05-16 14:18:39 +0200xff0x(~xff0x@2405:6580:b080:900:1ff5:fe1f:3cee:797d)
2025-05-16 14:31:16 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds)
2025-05-16 14:35:05 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2025-05-16 14:35:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 14:36:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 14:38:01 +0200euleritian(~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de)
2025-05-16 14:42:10 +0200acidjnk(~acidjnk@p200300d6e71c4f4105c0adf8f289f227.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-05-16 14:43:32 +0200pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2025-05-16 14:49:04 +0200tromp(~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66)
2025-05-16 14:51:05 +0200weary-traveler(~user@user/user363627) user363627
2025-05-16 14:51:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 14:52:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 14:52:16 +0200pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-05-16 14:53:22 +0200euleritian(~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-16 14:53:22 +0200pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2025-05-16 14:53:41 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-16 14:56:19 +0200AlexZenon(~alzenon@178.34.150.214) (Quit: ;-)
2025-05-16 14:57:56 +0200AlexNoo(~AlexNoo@178.34.150.214) (Quit: Leaving)
2025-05-16 14:57:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 14:58:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 14:58:30 +0200mistivia_(~mistivia@user/mistivia) (Ping timeout: 265 seconds)
2025-05-16 14:58:59 +0200fp(~Thunderbi@wireless-86-50-141-22.open.aalto.fi) (Ping timeout: 265 seconds)
2025-05-16 14:59:41 +0200user363627(~user@user/user363627) user363627
2025-05-16 15:00:30 +0200fp(~Thunderbi@2001:708:20:1406::1370) fp
2025-05-16 15:00:54 +0200pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-05-16 15:01:54 +0200weary-traveler(~user@user/user363627) (Ping timeout: 260 seconds)
2025-05-16 15:04:23 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-05-16 15:05:07 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-05-16 15:08:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 15:08:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 15:15:55 +0200mistivia(~mistivia@user/mistivia) mistivia
2025-05-16 15:19:10 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-16 15:20:24 +0200AlexZenon(~alzenon@178.34.150.214)
2025-05-16 15:22:24 +0200mange(~user@user/mange) (Remote host closed the connection)
2025-05-16 15:25:10 +0200AlexZenon(~alzenon@178.34.150.214) (Client Quit)
2025-05-16 15:30:13 +0200AlexZenon(~alzenon@178.34.162.25)
2025-05-16 15:32:29 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-05-16 15:32:32 +0200AlexNoo(~AlexNoo@178.34.162.25)
2025-05-16 15:32:48 +0200califax(~califax@user/califx) califx
2025-05-16 15:34:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 15:34:15 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-05-16 15:34:16 +0200mistivia(~mistivia@user/mistivia) (Ping timeout: 265 seconds)
2025-05-16 15:34:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 15:37:27 +0200mistivia(~mistivia@user/mistivia) mistivia
2025-05-16 15:39:36 +0200jespada(~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-05-16 15:40:09 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-05-16 15:41:59 +0200mistivia(~mistivia@user/mistivia) (Ping timeout: 252 seconds)
2025-05-16 15:45:12 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-05-16 15:45:33 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-16 15:48:19 +0200tromp(~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-16 15:50:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 15:50:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 15:53:48 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-05-16 15:58:56 +0200Square2(~Square@user/square) Square
2025-05-16 15:59:31 +0200jespada(~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) jespada
2025-05-16 15:59:43 +0200acidjnk(~acidjnk@p200300d6e71c4f4171b486f1d120a7f7.dip0.t-ipconnect.de) acidjnk
2025-05-16 16:02:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 16:02:09 +0200mistivia(~mistivia@user/mistivia) mistivia
2025-05-16 16:02:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 16:03:06 +0200Square(~Square4@user/square) (Ping timeout: 276 seconds)
2025-05-16 16:07:27 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-16 16:16:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 16:16:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 16:20:03 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-16 16:30:58 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds)
2025-05-16 16:41:02 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-05-16 16:44:11 +0200ft_ft
2025-05-16 16:46:44 +0200tromp(~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66)
2025-05-16 16:49:37 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-05-16 16:51:17 +0200Square2(~Square@user/square) (Ping timeout: 252 seconds)
2025-05-16 16:52:08 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
2025-05-16 16:53:29 +0200mistivia(~mistivia@user/mistivia) (Quit: ZNC 1.9.1 - https://znc.in)
2025-05-16 16:54:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 16:54:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 16:54:51 +0200mistivia(~mistivia@user/mistivia) mistivia
2025-05-16 16:57:58 +0200Guest86(~Guest0@175.176.24.130)
2025-05-16 17:03:24 +0200chele(~chele@user/chele) (Remote host closed the connection)
2025-05-16 17:03:44 +0200philopsos(~caecilius@user/philopsos) philopsos
2025-05-16 17:05:56 +0200zmt00(~zmt00@user/zmt00) zmt00
2025-05-16 17:06:54 +0200Guest86(~Guest0@175.176.24.130) (Quit: Client closed)
2025-05-16 17:12:00 +0200pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2025-05-16 17:13:34 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-05-16 17:14:58 +0200pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-05-16 17:22:06 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-05-16 17:23:00 +0200tromp(~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-16 17:23:23 +0200fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 268 seconds)
2025-05-16 17:23:33 +0200gorignak(~gorignak@user/gorignak) (Read error: Connection reset by peer)
2025-05-16 17:24:20 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-05-16 17:24:54 +0200fp(~Thunderbi@2001:708:150:10::1d80) fp
2025-05-16 17:32:53 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-16 17:33:16 +0200pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2025-05-16 17:35:17 +0200acidjnk(~acidjnk@p200300d6e71c4f4171b486f1d120a7f7.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-05-16 17:37:00 +0200tromp(~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66)
2025-05-16 17:40:21 +0200pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-05-16 17:50:35 +0200JuanDaugherty(~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 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds)
2025-05-16 17:53:31 +0200merijn(~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 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 18:01:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 18:02:25 +0200mistivia(~mistivia@user/mistivia) (Ping timeout: 248 seconds)
2025-05-16 18:02:55 +0200sajenim(~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 +0200mistivia(~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 +0200jespada(~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 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-05-16 18:06:48 +0200euleritian(~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de)
2025-05-16 18:07:09 +0200euleritian(~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-16 18:07:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 18:07:27 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-16 18:12:24 +0200mistivia(~mistivia@user/mistivia) (Quit: ZNC 1.9.1 - https://znc.in)
2025-05-16 18:15:22 +0200mistivia(~mistivia@user/mistivia) mistivia
2025-05-16 18:15:50 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-16 18:16:17 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-05-16 18:20:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 18:20:47 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-16 18:21:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 18:22:12 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-05-16 18:24:14 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-05-16 18:30:58 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-16 18:31:29 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-05-16 18:34:18 +0200fp(~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 268 seconds)
2025-05-16 18:34:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 18:34:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 18:40:11 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds)
2025-05-16 18:40:57 +0200pointlessslippe1(~pointless@62.106.85.17) (Quit: ZNC - http://znc.in)
2025-05-16 18:45:37 +0200dontdieych2(~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 +0200pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-05-16 19:04:45 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-16 19:05:05 +0200tromp(~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-16 19:08:02 +0200dontdieych2(~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-05-16 19:08:50 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2025-05-16 19:08:55 +0200ubert1(~Thunderbi@2a02:8109:ab8a:5a00:4cbe:a0fc:2922:d62) (Quit: ubert1)
2025-05-16 19:12:54 +0200euleritian(~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de)
2025-05-16 19:12:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 19:13:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 19:14:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-16 19:16:02 +0200euleritian(~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-16 19:16:20 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-16 19:16:58 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-05-16 19:25:39 +0200merijn(~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 +0200monochromuses 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 +0200merijn(~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 +0200vanishingideal(~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 +0200tromp(~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66)
2025-05-16 19:34:04 +0200j1n37(~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 +0200j1n37-(~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 +0200jespada(~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) jespada
2025-05-16 19:41:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 19:42:45 +0200jespada(~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Client Quit)
2025-05-16 19:46:34 +0200merijn(~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 +0200dibblego(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 19:51:52 +0200dibblego(~dibblego@116.255.1.119)
2025-05-16 19:51:52 +0200dibblego(~dibblego@116.255.1.119) (Changing host)
2025-05-16 19:51:52 +0200dibblego(~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 +0200sabathan2(~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 +0200acarrico(~acarrico@pppoe-209-99-221-107.greenmountainaccess.net) (Quit: Leaving.)
2025-05-16 20:08:21 +0200sabathan2(~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 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds)
2025-05-16 20:12:05 +0200acidjnk(~acidjnk@p200300d6e71c4f410c8650aa1a5c1c11.dip0.t-ipconnect.de) acidjnk
2025-05-16 20:13:16 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 276 seconds)
2025-05-16 20:13:26 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-05-16 20:13:29 +0200tromp(~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 +0200machinedgod(~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 +0200sabathan2(~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 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 20:25:37 +0200sprotte24(~sprotte24@p200300d16f1bca002ca617d70fcb63bb.dip0.t-ipconnect.de)
2025-05-16 20:27:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 20:27:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 20:29:04 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-16 20:29:13 +0200monochromreaches for libraries that come with GHC for everything. :)
2025-05-16 20:30:06 +0200peterbecich(~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 +0200dibblego(~dibblego@116.255.1.119)
2025-05-16 20:32:19 +0200dibblego(~dibblego@116.255.1.119) (Changing host)
2025-05-16 20:32:19 +0200dibblego(~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 +0200econo_(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 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-16 20:43:35 +0200haskellbridge(~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 +0200j1n37(~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 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2025-05-16 20:46:39 +0200haskellbridge(~hackager@syn-096-028-227-029.res.spectrum.com) hackager
2025-05-16 20:46:39 +0200ChanServ+v haskellbridge
2025-05-16 20:47:02 +0200 <monochrom> https://ro-che.info/ccc/23
2025-05-16 20:47:04 +0200Lord_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 +0200monochromonce exceeded his data plan by a "simple" "docker pull currylang/kics2". That was 2GB.
2025-05-16 20:52:12 +0200user363627(~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 +0200rembo10_(~rembo10@main.remulis.com) (Ping timeout: 272 seconds)
2025-05-16 20:52:49 +0200rembo10(~rembo10@main.remulis.com) rembo10
2025-05-16 20:53:02 +0200mistivia(~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 +0200gorignak(~gorignak@user/gorignak) (Read error: Connection reset by peer)
2025-05-16 20:53:39 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2025-05-16 20:53:50 +0200gorignak(~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 +0200Lord_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 +0200philopsos(~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 +0200philopsos(~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 +0200Tuplanolla(~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 +0200yin(~z@user/zero) (Ping timeout: 272 seconds)
2025-05-16 20:55:12 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-05-16 20:55:15 +0200tromp(~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 +0200yin(~z@user/zero) zero
2025-05-16 20:56:20 +0200mistivia(~mistivia@user/mistivia) mistivia
2025-05-16 20:56:35 +0200leah2(~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 +0200leah2(~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 +0200j1n37-(~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 +0200caconym7(~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 +0200caconym7(~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 +0200j1n37(~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 +0200sabathan2(~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 +0200sabathan2(~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 +0200remexre(~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 +0200epolanski(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 +0200tromp(~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-16 21:08:32 +0200natto17(~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 +0200sprotte24_(~sprotte24@p200300d16f1bca002ca617d70fcb63bb.dip0.t-ipconnect.de)
2025-05-16 21:10:07 +0200natto17(~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 +0200tromp(~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66)
2025-05-16 21:23:51 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-05-16 21:24:02 +0200euleritian(~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de)
2025-05-16 21:24:20 +0200euleritian(~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-16 21:24:49 +0200euleritian(~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de)
2025-05-16 21:25:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 21:26:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 21:26:21 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-05-16 21:26:35 +0200euleritian(~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-16 21:28:11 +0200euleritian(~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de)
2025-05-16 21:28:43 +0200lol_(~lol@2603:3016:1e01:b960:307d:f5b5:c6a2:664f)
2025-05-16 21:30:28 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-16 21:31:55 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-05-16 21:32:44 +0200jcarpenter2(~lol@2603:3016:1e01:b960:d5f4:984e:ebc2:54f8) (Ping timeout: 260 seconds)
2025-05-16 21:35:36 +0200euleritian(~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-16 21:35:37 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-05-16 21:35:53 +0200euleritian(~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 +0200lortabac(~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 +0200mistivia(~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 +0200mistivia_(~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.
2025-05-16 21:38:48 +0200 <monochrom> (And then they used to be included prehistory. OK text didn't exist prehistory.)
2025-05-16 21:39:25 +0200 <__monty__> I know leftpad is often joked about but if I had to audit my dependencies I'd prefer auditing leftpad over auditing text.
2025-05-16 21:39:29 +0200tromp(~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-16 21:39:35 +0200 <monochrom> Oh, parsec too. Used to be not included. You can now cold-start a parser project on the moon.
2025-05-16 21:40:24 +0200 <__monty__> But I prefer megaparsec!
2025-05-16 21:41:33 +0200 <monochrom> I think there is a acme-??? package that acts as a joke meta package that depends on all of hackage. If you're going to Mars, be sure to preload it before you board the rocket. >:)
2025-05-16 21:42:46 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-05-16 21:42:49 +0200 <__monty__> Surely it doesn't? There have to be incompatible version constraints across all of Hackage.
2025-05-16 21:43:00 +0200 <__monty__> Or is that the joke?
2025-05-16 21:43:04 +0200 <monochrom> Haha OK I haven't tested it.
2025-05-16 21:43:22 +0200 <monochrom> The joke was just to depend on everything, not to expose conflicts.
2025-05-16 21:43:35 +0200 <Rembane> As long as you don't compile it + dependencies it should work, right?
2025-05-16 21:44:04 +0200 <monochrom> Well yeah, I mean if you don't turn on your computer, it works, and it is secure too.
2025-05-16 21:44:42 +0200 <Rembane> Yes! The best computer!
2025-05-16 21:45:09 +0200 <geekosaur> I thought that was the one encased in concrete and dropped into the Marianas Trench
2025-05-16 21:46:20 +0200 <Rembane> I was trying to make the case that the acme-??? package was useful, but when I started to write this it struck me that the dependencies might have their own dependencies that aren't ... hey ... will cabal download all transitive dependencies so you have them available? Because then the acme-??? package is actually useful as long as you don't compile it.
2025-05-16 21:47:24 +0200 <__monty__> I think Cabal doesn't download any sources unless it can figure out a plan?
2025-05-16 21:48:57 +0200 <Rembane> Then my case falls.
2025-05-16 21:50:36 +0200 <monochrom> Oops, you're right, `cabal fetch acme-???` just downloads everything, no conflict.
2025-05-16 21:50:52 +0200 <Rembane> Sweet! :D
2025-05-16 21:51:02 +0200 <monochrom> Ooops, the other of you may be right.
2025-05-16 21:51:09 +0200 <__monty__> *Everything*?
2025-05-16 21:51:17 +0200 <monochrom> OK, what is its exact name so I can test it?
2025-05-16 21:51:47 +0200 <monochrom> acme-everything
2025-05-16 21:51:48 +0200 <__monty__> `acme-everything`?
2025-05-16 21:52:54 +0200 <monochrom> OK, "Could not resolve dependencies" and it quits, no download. :(
2025-05-16 21:53:10 +0200 <monochrom> "There is no free download"
2025-05-16 21:53:51 +0200 <Rembane> :(
2025-05-16 21:54:47 +0200 <monochrom> But the motivation was funny. "The joke started when a colleague liked the leftToMaybe :: Either a b -> Maybe a function from either, which has a *huge* footprint compared to the utility it provides."
2025-05-16 21:55:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-16 21:55:43 +0200 <monochrom> But perhaps an acme-kmettverse would work better.
2025-05-16 21:55:56 +0200 <Rembane> I think both need to exist
2025-05-16 21:56:32 +0200 <__monty__> leftToMaybe the package when?
2025-05-16 21:57:52 +0200 <EvanR> includung Parsec is really nice even if I might prefer any of the 10 other alternatives
2025-05-16 21:58:00 +0200 <monochrom> Down that road is "one package per function".
2025-05-16 21:58:12 +0200 <monochrom> And down that road^2 is Smalltalk. >:)
2025-05-16 21:58:13 +0200 <__monty__> I like that destination : )
2025-05-16 21:58:18 +0200tromp(~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66)
2025-05-16 21:59:29 +0200 <EvanR> wbrawner, making a dummy project which includes all the "usual suspects" downloaded and ready, that is then cloned to another directory to really start, is a really handy trick in any language
2025-05-16 21:59:48 +0200 <EvanR> it really helps even if you have always on internet
2025-05-16 22:01:42 +0200 <EvanR> I would go a step further and write a script which creates this dummy project, because inevitably you will lose the seed somehow. (And making sure you don't lose the bootstrapping script is an exercise for the reader)
2025-05-16 22:04:39 +0200 <wbrawner> EvanR that's not a bad idea. another thing I just thought of was early in my programming career I got burned by Angular (a JS web framework) doing massive changes over the course of several years and I got tired of having to refactor my otherwise perfectly fine code to adapt to Google's whims
2025-05-16 22:05:15 +0200 <EvanR> that's why I avoid "make numbers go up" update policy
2025-05-16 22:06:17 +0200 <wbrawner> having minimal dependencies means I'm less subject to changes that I don't care about but can still stay on top of security updates and not have to hunt down an Ubuntu 10.04 iso to build it :P
2025-05-16 22:06:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 22:07:31 +0200 <EvanR> you know what's bad for security, language of the month comes out and all web code is rewritten in it xD
2025-05-16 22:07:53 +0200 <wbrawner> I think the web in general is bad for security :P
2025-05-16 22:07:55 +0200 <EvanR> apache is too old, rewrite the webserver
2025-05-16 22:08:49 +0200 <wbrawner> but yes change for change's sake is a headache to say the least
2025-05-16 22:09:22 +0200tromp(~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-16 22:12:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-16 22:12:00 +0200 <__monty__> Doesn't Nginx actually have a better security track record?
2025-05-16 22:14:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 22:15:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 22:19:16 +0200mistivia_(~mistivia@user/mistivia) (Read error: Connection reset by peer)
2025-05-16 22:22:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 22:23:59 +0200tromp(~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66)
2025-05-16 22:24:04 +0200takuan(~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection)