2025/04/12

2025-04-12 00:03:01 +0000acidjnk_new(~acidjnk@p200300d6e71c4f3781d551119ad8c4a9.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-04-12 00:04:21 +0000jespada(~jespada@r179-25-2-204.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
2025-04-12 00:08:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 00:13:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 00:22:03 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-04-12 00:23:51 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 00:25:52 +0000prolic_(~sasa@181.122.135.9) (Remote host closed the connection)
2025-04-12 00:28:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-12 00:32:34 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-04-12 00:34:05 +0000califax(~califax@user/califx) califx
2025-04-12 00:39:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 00:44:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-12 00:52:12 +0000euleritian(~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) (Remote host closed the connection)
2025-04-12 00:53:04 +0000euleritian(~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de)
2025-04-12 00:55:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 00:57:13 +0000otto_s(~user@p5de2fd33.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-04-12 00:58:25 +0000otto_s(~user@p4ff27f53.dip0.t-ipconnect.de)
2025-04-12 01:01:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 01:11:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 01:16:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 01:27:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 01:27:12 +0000segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-04-12 01:32:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 01:42:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 01:47:39 +0000ZLima12(~zlima12@user/meow/ZLima12) (Remote host closed the connection)
2025-04-12 01:48:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 01:48:48 +0000ZLima12(~zlima12@user/meow/ZLima12) ZLima12
2025-04-12 01:52:34 +0000hgolden(~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) hgolden
2025-04-12 01:57:04 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-12 01:58:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 02:00:24 +0000hgolden(~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) (Remote host closed the connection)
2025-04-12 02:03:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-12 02:14:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 02:15:22 +0000nek0(~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
2025-04-12 02:15:56 +0000myxokephale(~myxos@172.93.132.85) myxokephale
2025-04-12 02:17:34 +0000myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 260 seconds)
2025-04-12 02:18:38 +0000j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-04-12 02:18:46 +0000j1n37-(~j1n37@user/j1n37) j1n37
2025-04-12 02:19:47 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-12 02:32:19 +0000myxos(~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale
2025-04-12 02:34:04 +0000myxokephale(~myxos@172.93.132.85) (Ping timeout: 276 seconds)
2025-04-12 02:40:29 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-04-12 02:45:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 02:46:29 +0000euleritian(~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-12 02:47:22 +0000euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-04-12 02:50:38 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 02:54:37 +0000nek0(~nek0@user/nek0) nek0
2025-04-12 02:59:06 +0000notdabs(~Owner@2600:1700:69cf:9000:a8ba:1089:2e3e:b3d1) (Read error: Connection reset by peer)
2025-04-12 03:00:24 +0000hgolden(~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) hgolden
2025-04-12 03:00:52 +0000 <haskellbridge> <Liamzee> why doesn't this get passed around much these days? https://www.cs.rice.edu/~javaplt/411/24-spring/Readings/WhyFunctionalProrammingMattered.pdf
2025-04-12 03:01:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 03:03:22 +0000 <geekosaur> nobody wants to hear it
2025-04-12 03:06:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 03:10:40 +0000dottily(~user@user/dottily) dottily
2025-04-12 03:15:46 +0000 <EvanR> and the filename was misspelled
2025-04-12 03:16:46 +0000 <haskellbridge> <Liamzee> the link's mistitled
2025-04-12 03:16:47 +0000 <haskellbridge> <Liamzee> https://academic.oup.com/nsr/article/2/3/349/1427872
2025-04-12 03:17:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 03:17:39 +0000 <haskellbridge> <Liamzee> Since it's more John Hughes' student alongside John Hughes seemingly running an update to Why Functional Programming Matters
2025-04-12 03:18:44 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2025-04-12 03:18:49 +0000 <haskellbridge> <Liamzee> Well, not really. I guess the title just sucks, otherwise it'd probably be passed around more.
2025-04-12 03:19:51 +0000 <EvanR> promoting stuff, even good stuff, gets tiring
2025-04-12 03:20:00 +0000 <EvanR> especially if you're not paid to do it
2025-04-12 03:22:20 +0000 <haskellbridge> <Liamzee> I mean in reference to the fact that I see the original Why Functional Programming Matters paper around more. But w/e, not here to annoy.
2025-04-12 03:22:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-04-12 03:23:07 +0000hiecaq(~hiecaq@user/hiecaq) hiecaq
2025-04-12 03:25:18 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-12 03:33:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 03:35:28 +0000ludihan(~ludihan@189.36.207.182)
2025-04-12 03:38:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 03:44:55 +0000dutchie(~dutchie@user/dutchie) (Remote host closed the connection)
2025-04-12 03:45:57 +0000dutchie(~dutchie@user/dutchie) dutchie
2025-04-12 03:46:44 +0000aforemny_(~aforemny@2001:9e8:6cd3:8d00:395c:e354:5e4c:23ac) aforemny
2025-04-12 03:46:59 +0000aforemny(~aforemny@2001:9e8:6cf4:300:5306:52f:8502:4ee0) (Ping timeout: 260 seconds)
2025-04-12 03:49:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 03:53:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-12 03:58:16 +0000ludihan(~ludihan@189.36.207.182) (Quit: ludihan)
2025-04-12 04:03:07 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-04-12 04:04:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 04:10:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 04:12:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 04:16:07 +0000amadaluzia(~amadaluzi@user/amadaluzia) (Ping timeout: 276 seconds)
2025-04-12 04:17:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 04:28:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 04:33:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 04:35:19 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-12 04:39:08 +0000euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2025-04-12 04:39:46 +0000euleritian(~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de)
2025-04-12 04:42:45 +0000j1n37-(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-04-12 04:43:55 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-04-12 04:44:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 04:49:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-12 04:59:07 +0000Garbanzo(~Garbanzo@2602:304:6eac:dc10::2e)
2025-04-12 04:59:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 05:04:17 +0000inca(~inca@71.30.233.213)
2025-04-12 05:04:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 05:09:32 +0000inca(~inca@71.30.233.213) (Ping timeout: 268 seconds)
2025-04-12 05:15:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 05:20:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-12 05:22:41 +0000harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c)
2025-04-12 05:23:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 05:28:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-12 05:29:28 +0000arahael(~arahael@user/arahael) (Ping timeout: 244 seconds)
2025-04-12 05:37:55 +0000euleritian(~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-12 05:38:13 +0000euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-04-12 05:39:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 05:44:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 05:51:01 +0000euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2025-04-12 05:51:20 +0000euleritian(~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de)
2025-04-12 05:52:46 +0000euleritian(~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-12 05:52:50 +0000hgolden(~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) (Remote host closed the connection)
2025-04-12 05:53:04 +0000euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-04-12 05:55:19 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-04-12 05:55:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 05:59:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-12 06:10:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 06:18:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 06:29:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 06:33:54 +0000hgolden(~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) hgolden
2025-04-12 06:34:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 06:35:15 +0000jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1)
2025-04-12 06:45:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 06:47:34 +0000rvalue-(~rvalue@user/rvalue) rvalue
2025-04-12 06:48:24 +0000rvalue(~rvalue@user/rvalue) (Ping timeout: 260 seconds)
2025-04-12 06:50:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 06:52:23 +0000rvalue-rvalue
2025-04-12 06:59:08 +0000acidjnk_new(~acidjnk@p200300d6e71c4f37896c69e30b3a7fdf.dip0.t-ipconnect.de) acidjnk
2025-04-12 06:59:21 +0000j1n37-(~j1n37@user/j1n37) j1n37
2025-04-12 06:59:55 +0000j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-04-12 07:00:01 +0000caconym(~caconym@user/caconym) (Quit: bye)
2025-04-12 07:00:16 +0000JamesMowery17(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye)
2025-04-12 07:00:33 +0000JamesMowery17(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery
2025-04-12 07:00:48 +0000chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds)
2025-04-12 07:00:53 +0000caconym(~caconym@user/caconym) caconym
2025-04-12 07:01:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 07:03:02 +0000chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-04-12 07:04:53 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-04-12 07:06:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 07:06:48 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-04-12 07:09:39 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-04-12 07:13:42 +0000inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-12 07:14:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 07:18:10 +0000inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds)
2025-04-12 07:18:19 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-04-12 07:19:00 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2025-04-12 07:19:04 +0000jrm(~jrm@user/jrm) (Quit: ciao)
2025-04-12 07:19:27 +0000jrm(~jrm@user/jrm) jrm
2025-04-12 07:19:42 +0000Lord_of_Life_Lord_of_Life
2025-04-12 07:19:50 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-04-12 07:30:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 07:34:23 +0000sayurc(~sayurc@169.150.203.34) (Quit: Konversation terminated!)
2025-04-12 07:35:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 07:38:55 +0000acidjnk_new(~acidjnk@p200300d6e71c4f37896c69e30b3a7fdf.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-04-12 07:46:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 07:50:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-12 07:52:15 +0000harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving)
2025-04-12 08:01:00 +0000fp1(~Thunderbi@hof1.kyla.fi) fp
2025-04-12 08:01:51 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 08:06:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 08:11:30 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-04-12 08:11:31 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-04-12 08:15:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 08:21:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 08:21:56 +0000emojelly(~eselber_p@user/endojelly) (Ping timeout: 268 seconds)
2025-04-12 08:31:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 08:31:57 +0000lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-04-12 08:34:28 +0000tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 252 seconds)
2025-04-12 08:36:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-12 08:44:04 +0000hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92))
2025-04-12 08:44:53 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-04-12 08:47:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 08:49:12 +0000fp1(~Thunderbi@hof1.kyla.fi) (Ping timeout: 244 seconds)
2025-04-12 08:49:26 +0000tomboy64(~tomboy64@user/tomboy64) tomboy64
2025-04-12 08:53:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 08:56:20 +0000acidjnk_new(~acidjnk@p200300d6e71c4f12896c69e30b3a7fdf.dip0.t-ipconnect.de) acidjnk
2025-04-12 09:03:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 09:10:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-12 09:15:06 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-04-12 09:16:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 09:19:14 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-04-12 09:21:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 09:32:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 09:35:24 +0000raym(~ray@user/raym) (Quit: kernel update, rebooting...)
2025-04-12 09:37:52 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 09:39:34 +0000inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-12 09:45:45 +0000inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 276 seconds)
2025-04-12 09:46:10 +0000jco(~jco@78-70-217-44-no600.tbcn.telia.com) jco
2025-04-12 09:48:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 09:53:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 09:56:42 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-04-12 10:00:16 +0000__monty__(~toonn@user/toonn) toonn
2025-04-12 10:01:44 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2025-04-12 10:04:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 10:08:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-12 10:13:07 +0000 <haskellbridge> <hellwolf> FP matters to whom it might concern.
2025-04-12 10:13:24 +0000 <haskellbridge> <hellwolf> Though, it seems no longer a concern to the vibe coding generation.
2025-04-12 10:14:05 +0000 <haskellbridge> <thirdofmay18081814goya> is there a package out there that has all the stuff in the datatypes a la carte paper already written out for us?
2025-04-12 10:14:31 +0000 <haskellbridge> <thirdofmay18081814goya> the subsignature class and instances mostly
2025-04-12 10:15:49 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-04-12 10:17:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 10:19:08 +0000euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2025-04-12 10:19:48 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-04-12 10:21:00 +0000[dpk](~dpk@jains.nonceword.org)
2025-04-12 10:21:49 +0000euleritian(~euleritia@dynamic-176-006-141-248.176.6.pool.telefonica.de)
2025-04-12 10:21:50 +0000dpk(~dpk@jains.nonceword.org) (Ping timeout: 252 seconds)
2025-04-12 10:21:54 +0000astroanax(~astroanax@cosmic.voyage) (Ping timeout: 252 seconds)
2025-04-12 10:22:13 +0000euleritian(~euleritia@dynamic-176-006-141-248.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-12 10:22:16 +0000rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2025-04-12 10:22:19 +0000astroanax(~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7)
2025-04-12 10:22:31 +0000euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-04-12 10:22:38 +0000ski(~ski@remote11.chalmers.se) (Ping timeout: 252 seconds)
2025-04-12 10:22:40 +0000rvalue(~rvalue@user/rvalue) rvalue
2025-04-12 10:22:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 10:22:52 +0000ski(~ski@remote11.chalmers.se)
2025-04-12 10:24:42 +0000carburetant(~dottily@user/dottily) dottily
2025-04-12 10:25:02 +0000emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-04-12 10:28:26 +0000[dpk]dpk
2025-04-12 10:29:29 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-04-12 10:33:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 10:38:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 10:42:53 +0000sprotte24(~sprotte24@p200300d16f06d10029108a248c300455.dip0.t-ipconnect.de)
2025-04-12 10:49:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 10:51:58 +0000euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2025-04-12 10:52:12 +0000euleritian(~euleritia@dynamic-176-006-141-248.176.6.pool.telefonica.de)
2025-04-12 10:54:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 11:00:04 +0000caconym(~caconym@user/caconym) (Quit: bye)
2025-04-12 11:00:37 +0000tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 248 seconds)
2025-04-12 11:02:11 +0000caconym(~caconym@user/caconym) caconym
2025-04-12 11:02:11 +0000jespada(~jespada@r179-25-2-204.dialup.adsl.anteldata.net.uy) jespada
2025-04-12 11:04:41 +0000tomboy64(~tomboy64@user/tomboy64) tomboy64
2025-04-12 11:05:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 11:10:06 +0000inca(~inca@71.30.233.213)
2025-04-12 11:10:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-12 11:13:08 +0000weary-traveler(~user@user/user363627) user363627
2025-04-12 11:14:48 +0000inca(~inca@71.30.233.213) (Ping timeout: 252 seconds)
2025-04-12 11:18:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 11:23:32 +0000 <hellwolf> I crashed GHC again, having done that too often lately.
2025-04-12 11:23:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 11:25:13 +0000 <tomsmeding> worth reporting the crash?
2025-04-12 11:25:27 +0000sprotte24(~sprotte24@p200300d16f06d10029108a248c300455.dip0.t-ipconnect.de) (Quit: Leaving)
2025-04-12 11:25:41 +0000 <hellwolf> need to check if it was due to my fault. But I don't think I used unsafe feature here.
2025-04-12 11:25:57 +0000 <tomsmeding> using things like unsafePerformIO should not crash _GHC_, typically
2025-04-12 11:26:14 +0000 <tomsmeding> though I have made GHC emit invalid assembly at some point with unsafeCoerce#
2025-04-12 11:26:26 +0000 <hellwolf> yea, but I haven't even used that. I did use Overlappable
2025-04-12 11:26:41 +0000 <tomsmeding> that should _definitely_ not crash GHC
2025-04-12 11:26:59 +0000 <tomsmeding> what's the crash report?
2025-04-12 11:27:35 +0000 <hellwolf> segfault :D
2025-04-12 11:27:47 +0000 <hellwolf> oh, not GHC crashing, the runtime rather. I am sorry.
2025-04-12 11:27:51 +0000 <tomsmeding> oh.
2025-04-12 11:28:17 +0000rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-04-12 11:28:22 +0000 <tomsmeding> still, a haskell program segfaulting should only happen if you used some C code via FFI
2025-04-12 11:28:30 +0000 <tomsmeding> or unsafeCoerce
2025-04-12 11:28:48 +0000 <tomsmeding> overlappable type class instances should not be bad enough for that
2025-04-12 11:28:51 +0000rvalue(~rvalue@user/rvalue) rvalue
2025-04-12 11:31:27 +0000hiecaq(~hiecaq@user/hiecaq) hiecaq
2025-04-12 11:34:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 11:39:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 11:40:53 +0000 <hellwolf> it was my fault. I do have one place with unsafeCoerce.
2025-04-12 11:41:00 +0000 <hellwolf> very subtle.
2025-04-12 11:44:09 +0000 <tomsmeding> nice :)
2025-04-12 11:48:04 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-04-12 11:57:12 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-04-12 12:03:34 +0000lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds)
2025-04-12 12:05:27 +0000 <hellwolf> no, I don't have such a unsafeCoerce. I am confused.
2025-04-12 12:05:36 +0000 <hellwolf> something is fishy... I will investigate more.
2025-04-12 12:05:45 +0000 <hellwolf> could be interesting.
2025-04-12 12:06:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 12:07:47 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-04-12 12:08:14 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-12 12:09:24 +0000inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-12 12:13:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 12:14:50 +0000inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds)
2025-04-12 12:18:48 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-04-12 12:19:09 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-12 12:19:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 12:24:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 12:34:38 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds)
2025-04-12 12:34:40 +0000acidjnk_new(~acidjnk@p200300d6e71c4f12896c69e30b3a7fdf.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-04-12 12:35:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 12:40:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-12 12:51:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 12:56:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 13:07:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 13:07:27 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-04-12 13:09:07 +0000j1n37-(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-04-12 13:09:13 +0000acidjnk_new(~acidjnk@p200300d6e71c4f12896c69e30b3a7fdf.dip0.t-ipconnect.de) acidjnk
2025-04-12 13:10:42 +0000inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-12 13:11:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 13:11:56 +0000cattiesCatty
2025-04-12 13:15:42 +0000inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 276 seconds)
2025-04-12 13:20:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 13:23:05 +0000tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-04-12 13:23:28 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-04-12 13:24:24 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-04-12 13:25:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 13:29:57 +0000srazkvt(~sarah@user/srazkvt) srazkvt
2025-04-12 13:32:44 +0000jco(~jco@78-70-217-44-no600.tbcn.telia.com) (Remote host closed the connection)
2025-04-12 13:36:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 13:44:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 13:47:42 +0000tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 252 seconds)
2025-04-12 13:51:41 +0000notdabs(~Owner@2600:1700:69cf:9000:9c0e:3384:b3dd:3798)
2025-04-12 13:53:06 +0000jespada(~jespada@r179-25-2-204.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
2025-04-12 13:54:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 13:55:57 +0000biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2025-04-12 13:56:23 +0000divya(divya@140.238.251.170) (Ping timeout: 252 seconds)
2025-04-12 13:58:11 +0000jespada(~jespada@r179-25-2-204.dialup.adsl.anteldata.net.uy) jespada
2025-04-12 13:59:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-12 14:02:14 +0000divya(divya@140.238.251.170) divya
2025-04-12 14:04:37 +0000acidjnk_new(~acidjnk@p200300d6e71c4f12896c69e30b3a7fdf.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-04-12 14:09:45 +0000michals(~michals@dynamic-2a00-1028-838a-582e-1fea-709e-7606-44f4.ipv6.o2.cz) laxmik
2025-04-12 14:10:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 14:10:30 +0000michals(~michals@dynamic-2a00-1028-838a-582e-1fea-709e-7606-44f4.ipv6.o2.cz) (Client Quit)
2025-04-12 14:15:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-12 14:18:36 +0000j1n37-(~j1n37@user/j1n37) j1n37
2025-04-12 14:18:50 +0000j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-04-12 14:21:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 14:27:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 14:37:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 14:42:36 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2025-04-12 14:42:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 14:51:31 +0000 <feetwind> you can get segfaults with lots of functions that are tantalisingly close at hand, like unsafeIndex from array/vector
2025-04-12 14:51:49 +0000todi(~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in)
2025-04-12 14:53:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 14:54:57 +0000acidjnk_new(~acidjnk@p200300d6e71c4f1254b4b0d3bf20cc26.dip0.t-ipconnect.de) acidjnk
2025-04-12 14:58:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 15:05:28 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 276 seconds)
2025-04-12 15:09:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 15:12:11 +0000xdej(~xdej@quatramaran.salle-s.org) (Remote host closed the connection)
2025-04-12 15:14:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 15:22:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 15:29:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 15:31:38 +0000tabemann_tabemann
2025-04-12 15:32:05 +0000mulk(~mulk@pd95149c0.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-04-12 15:41:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 15:46:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 15:47:11 +0000tired(~tired@user/tired) (Remote host closed the connection)
2025-04-12 15:48:26 +0000tired(~tired@user/tired) tired
2025-04-12 15:55:31 +0000amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-04-12 15:56:51 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 15:57:01 +0000tired(~tired@user/tired) (Remote host closed the connection)
2025-04-12 15:58:14 +0000tired(~tired@user/tired) tired
2025-04-12 16:01:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-12 16:03:22 +0000sprotte24(~sprotte24@p200300d16f06d10029108a248c300455.dip0.t-ipconnect.de)
2025-04-12 16:12:22 +0000tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-04-12 16:12:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 16:17:32 +0000robobub(uid248673@id-248673.uxbridge.irccloud.com) robobub
2025-04-12 16:17:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 16:23:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 16:23:59 +0000econo_(uid147250@id-147250.tinside.irccloud.com)
2025-04-12 16:25:36 +0000tired(~tired@user/tired) (Quit: /)
2025-04-12 16:28:29 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2025-04-12 16:28:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 16:30:52 +0000ouilemur(~jgmerritt@user/ouilemur) (Quit: WeeChat 4.6.0)
2025-04-12 16:31:10 +0000machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-04-12 16:36:32 +0000acidjnk_new(~acidjnk@p200300d6e71c4f1254b4b0d3bf20cc26.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-04-12 16:37:55 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-04-12 16:38:38 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-04-12 16:39:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 16:42:17 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-04-12 16:43:09 +0000machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-04-12 16:43:24 +0000j1n37-(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-04-12 16:44:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 16:55:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 17:00:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 17:08:13 +0000jacopovalanzano(~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net)
2025-04-12 17:10:16 +0000jespada(~jespada@r179-25-2-204.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds)
2025-04-12 17:10:32 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-04-12 17:10:40 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-04-12 17:11:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 17:15:37 +0000Pozyomka(~pyon@user/pyon) (Quit: WeeChat 4.6.0)
2025-04-12 17:18:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-04-12 17:24:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 17:25:14 +0000mulk(~mulk@pd95149c0.dip0.t-ipconnect.de) mulk
2025-04-12 17:25:52 +0000euleritian(~euleritia@dynamic-176-006-141-248.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-12 17:26:21 +0000euleritian(~euleritia@dynamic-176-006-141-248.176.6.pool.telefonica.de)
2025-04-12 17:27:10 +0000jespada(~jespada@r190-133-42-141.dialup.adsl.anteldata.net.uy) jespada
2025-04-12 17:29:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 17:37:00 +0000ludihan(~ludihan@189.36.207.182)
2025-04-12 17:37:17 +0000 <hellwolf> "ErrorWithoutFlag Can't find interface-file declaration for type constructor or class"
2025-04-12 17:37:30 +0000 <hellwolf> I isolated to a very small changeset: this is the run-time error I got.
2025-04-12 17:38:08 +0000 <hellwolf> but nevermind, I rebuilt everything, it is now okay.
2025-04-12 17:39:44 +0000 <hellwolf> I have some customized built process to speed up things, using packagedb built by cabal; I do notice sometimes I create issues with it, but usually as linker errors. This time is worse, it linked, but runtime failed.
2025-04-12 17:40:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 17:40:43 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-04-12 17:42:22 +0000hgolden(~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) (Remote host closed the connection)
2025-04-12 17:45:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-12 17:46:08 +0000pera(~pera@user/pera) pera
2025-04-12 17:46:16 +0000pera(~pera@user/pera) (Client Quit)
2025-04-12 17:55:20 +0000Pozyomka(~pyon@user/pyon) pyon
2025-04-12 17:56:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 17:58:41 +0000tired(~tired@user/tired) tired
2025-04-12 17:58:56 +0000Square2Square
2025-04-12 18:01:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 18:02:01 +0000ludihan(~ludihan@189.36.207.182) (Quit: ludihan)
2025-04-12 18:12:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 18:17:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-12 18:18:15 +0000machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-04-12 18:25:16 +0000enjoythem(~userx@180.242.71.235)
2025-04-12 18:25:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 18:25:54 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2025-04-12 18:28:59 +0000jespada(~jespada@r190-133-42-141.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds)
2025-04-12 18:29:28 +0000enjoythem(~userx@180.242.71.235) (Quit: WeeChat 3.5)
2025-04-12 18:30:03 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-12 18:30:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 18:34:15 +0000kanijo27(~kanijo27@208.115.237.186)
2025-04-12 18:34:49 +0000srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2025-04-12 18:35:44 +0000kanijo27(~kanijo27@208.115.237.186) (Client Quit)
2025-04-12 18:41:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 18:48:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 18:51:06 +0000lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-04-12 18:54:00 +0000sayurc(~sayurc@169.150.203.34) sayurc
2025-04-12 18:59:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 19:00:05 +0000caconym(~caconym@user/caconym) (Quit: bye)
2025-04-12 19:00:37 +0000aforemny(~aforemny@2001:9e8:6cd9:c500:3214:96fc:c5d9:25f4) aforemny
2025-04-12 19:00:46 +0000aforemny_(~aforemny@2001:9e8:6cd3:8d00:395c:e354:5e4c:23ac) (Ping timeout: 276 seconds)
2025-04-12 19:00:48 +0000caconym(~caconym@user/caconym) caconym
2025-04-12 19:01:07 +0000acidjnk_new(~acidjnk@p200300d6e71c4f1280c5cc93734c0928.dip0.t-ipconnect.de)
2025-04-12 19:02:07 +0000inca(~inca@71.30.233.213)
2025-04-12 19:04:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 19:11:49 +0000inca(~inca@71.30.233.213) (Ping timeout: 248 seconds)
2025-04-12 19:14:14 +0000inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-12 19:15:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 19:19:48 +0000inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds)
2025-04-12 19:20:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 19:26:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 19:26:47 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2025-04-12 19:31:35 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-04-12 19:31:38 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-12 19:34:13 +0000aforemny(~aforemny@2001:9e8:6cd9:c500:3214:96fc:c5d9:25f4) (Ping timeout: 248 seconds)
2025-04-12 19:35:26 +0000aforemny(~aforemny@2001:9e8:6cd9:f900:ab6f:ff57:4715:5eec) aforemny
2025-04-12 19:36:40 +0000tromp(~textual@2001:1c00:3487:1b00:487e:9276:386d:4033)
2025-04-12 19:39:13 +0000inca(~inca@71.30.233.213)
2025-04-12 19:42:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 19:45:16 +0000euleritian(~euleritia@dynamic-176-006-141-248.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-12 19:45:35 +0000euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-04-12 19:47:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 19:50:45 +0000weary-traveler(~user@user/user363627) user363627
2025-04-12 19:59:01 +0000inca(~inca@71.30.233.213) (Ping timeout: 244 seconds)
2025-04-12 20:10:18 +0000tromp(~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-12 20:11:50 +0000AlexZenon(~alzenon@178.34.160.239) (Ping timeout: 265 seconds)
2025-04-12 20:12:03 +0000AlexNoo(~AlexNoo@178.34.160.239) (Ping timeout: 245 seconds)
2025-04-12 20:12:19 +0000AlexNoo(~AlexNoo@94.233.240.249)
2025-04-12 20:13:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 20:16:05 +0000AlexZenon(~alzenon@94.233.240.249)
2025-04-12 20:18:51 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 20:20:47 +0000jacopovalanzano(~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed)
2025-04-12 20:28:02 +0000inca(~inca@71.30.233.213)
2025-04-12 20:29:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 20:29:38 +0000todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2025-04-12 20:30:30 +0000pavonia(~user@user/siracusa) siracusa
2025-04-12 20:30:48 +0000sayurc_(~sayurc@177.136.41.195) sayurc
2025-04-12 20:31:31 +0000raym(~ray@user/raym) raym
2025-04-12 20:32:08 +0000sayurc(~sayurc@169.150.203.34) (Ping timeout: 272 seconds)
2025-04-12 20:32:48 +0000raym(~ray@user/raym) (Read error: Connection reset by peer)
2025-04-12 20:32:49 +0000tromp(~textual@2001:1c00:3487:1b00:487e:9276:386d:4033)
2025-04-12 20:33:44 +0000Square2(~Square4@user/square) Square
2025-04-12 20:34:36 +0000tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 252 seconds)
2025-04-12 20:36:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 20:36:46 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-04-12 20:36:58 +0000Square(~Square@user/square) (Ping timeout: 265 seconds)
2025-04-12 20:38:09 +0000raym(~ray@user/raym) raym
2025-04-12 20:38:55 +0000Square2Square
2025-04-12 20:47:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 20:51:22 +0000tromp(~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-12 20:52:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-12 20:54:04 +0000tromp(~textual@2001:1c00:3487:1b00:487e:9276:386d:4033)
2025-04-12 20:56:06 +0000hgolden(~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) hgolden
2025-04-12 20:59:32 +0000lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
2025-04-12 21:02:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 21:05:27 +0000inca(~inca@71.30.233.213) (Ping timeout: 244 seconds)
2025-04-12 21:05:53 +0000tromp(~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-12 21:06:36 +0000jinsun(~jinsun@user/jinsun) jinsun
2025-04-12 21:07:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 21:14:21 +0000tromp(~textual@2001:1c00:3487:1b00:487e:9276:386d:4033)
2025-04-12 21:18:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 21:18:44 +0000OftenFaded(~OftenFade@user/tisktisk) (Quit: OftenFaded)
2025-04-12 21:19:21 +0000inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-12 21:21:00 +0000 <[exa]> Is there any good way to have multiple independent "groups" of options parsed by optparse-applicative? I'd love to have something that allows people to specify a group of hostnames with some optional extras (non-default ports etc).
2025-04-12 21:22:56 +0000 <[exa]> E.g. for a commandline like `./myprogram hostname1 -p 12345 hostname2 hostname3 hostname4 --do-this` I'd get something like this in pseudohaskell: [(hostname1, port=12345), (hostname2), (hostname3), (hostname4, this=True)]
2025-04-12 21:23:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 21:24:50 +0000inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds)
2025-04-12 21:26:33 +0000 <[exa]> (whew, kinda wondering if `many . subparser` would just work)
2025-04-12 21:27:38 +0000ludihan(~ludihan@189.36.207.182)
2025-04-12 21:32:01 +0000inca(~inca@71.30.233.213)
2025-04-12 21:32:30 +0000 <[exa]> ok wow it works literally by type tetris, thanks for rubberducking everyone
2025-04-12 21:34:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 21:35:14 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2025-04-12 21:36:59 +0000werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-04-12 21:38:28 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-04-12 21:39:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 21:40:47 +0000 <monochrom> That's an interesting trick.
2025-04-12 21:47:44 +0000doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 260 seconds)
2025-04-12 21:49:55 +0000doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com)
2025-04-12 21:49:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 21:55:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 21:57:21 +0000emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-04-12 22:00:04 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-04-12 22:00:46 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-04-12 22:01:57 +0000 <[exa]> monochrom: I should probably ask if it works by accident, I can't find any docs that would say it should work
2025-04-12 22:05:28 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-04-12 22:05:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 22:05:59 +0000tromp(~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) (Ping timeout: 260 seconds)
2025-04-12 22:06:01 +0000inca(~inca@71.30.233.213) (Ping timeout: 276 seconds)
2025-04-12 22:06:08 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-04-12 22:07:38 +0000inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-12 22:10:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-12 22:17:53 +0000ludihan(~ludihan@189.36.207.182) (Quit: ludihan)
2025-04-12 22:21:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 22:24:44 +0000 <haskellbridge> <Liamzee> do you know if anyone ever uses stuff like this?
2025-04-12 22:24:44 +0000 <haskellbridge> <Liamzee> https://miracuves.com/upwork-clone/
2025-04-12 22:24:44 +0000 <haskellbridge> <Liamzee> if someone made a foss version and put it up on github / hackage, would anyone ever use it?
2025-04-12 22:25:31 +0000aforemny(~aforemny@2001:9e8:6cd9:f900:ab6f:ff57:4715:5eec) (Ping timeout: 276 seconds)
2025-04-12 22:26:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 22:29:28 +0000ludihan(~ludihan@189.36.207.182)
2025-04-12 22:29:53 +0000 <geekosaur> depends on how widely you advertise it, I'd guess
2025-04-12 22:31:59 +0000 <geekosaur> actually, now that I've actually looked at it, it could probably be done FOSS but it smells of consultantware so you'd best be ready to provide lots of support
2025-04-12 22:32:54 +0000 <geekosaur> and, uh, anyone that is willing to put that much effort into it generally doesn't want to release their source code
2025-04-12 22:34:22 +0000 <haskellbridge> <Liamzee> thanks geekosaur, hope you're doing alright
2025-04-12 22:34:49 +0000 <haskellbridge> <Liamzee> geekosaur: because I care about a related project but would likely have an anxiety attack if i focused on the related project
2025-04-12 22:34:54 +0000 <geekosaur> hand's still playing up, will probably have to contact orthopedics Monday
2025-04-12 22:35:00 +0000 <haskellbridge> <Liamzee> so make a dumber, simpler project as foss
2025-04-12 22:35:03 +0000 <haskellbridge> <Liamzee> sorry to hear, geekosaur
2025-04-12 22:35:18 +0000 <geekosaur> flip side, at least I can type now
2025-04-12 22:36:05 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-04-12 22:36:15 +0000 <geekosaur> but not being able to hold stuff between fingers and thumb is kinda a big thing 😞
2025-04-12 22:37:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 22:37:25 +0000rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-04-12 22:37:56 +0000rvalue(~rvalue@user/rvalue) rvalue
2025-04-12 22:40:19 +0000 <haskellbridge> <Liamzee> oh, i'm so sorry to hear
2025-04-12 22:40:28 +0000 <haskellbridge> <Liamzee> and thanks for the implicit warning
2025-04-12 22:40:53 +0000 <haskellbridge> <Liamzee> my pinky got hurt by a bike accident, then my cat bit the wrong part, so i'm wondering if it'll go
2025-04-12 22:41:17 +0000 <haskellbridge> <Liamzee> will see a doc for it
2025-04-12 22:42:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 22:42:56 +0000 <geekosaur> yeh. hope you're up on your dtap
2025-04-12 22:43:41 +0000 <geekosaur> oh right, swapped for adults, tdap
2025-04-12 22:49:30 +0000tired(~tired@user/tired) (Remote host closed the connection)
2025-04-12 22:53:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 22:55:30 +0000tired(~tired@user/tired) tired
2025-04-12 22:55:38 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-04-12 22:58:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-12 22:59:26 +0000inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds)
2025-04-12 23:01:42 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-04-12 23:04:09 +0000inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-12 23:04:31 +0000euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2025-04-12 23:08:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 23:13:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 23:19:33 +0000inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 276 seconds)
2025-04-12 23:24:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 23:27:16 +0000inca(~inca@71.30.233.213)
2025-04-12 23:29:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 23:33:46 +0000inca(~inca@71.30.233.213) (Ping timeout: 276 seconds)
2025-04-12 23:35:05 +0000j1n37-(~j1n37@user/j1n37) j1n37
2025-04-12 23:35:17 +0000j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-04-12 23:35:59 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-04-12 23:38:00 +0000ludihan(~ludihan@189.36.207.182) (Quit: ludihan)
2025-04-12 23:40:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 23:41:39 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-04-12 23:45:36 +0000inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-12 23:46:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 23:50:46 +0000inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds)
2025-04-12 23:52:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 23:57:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 23:58:29 +0000inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)