2025/04/17

2025-04-17 00:01:30 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-17 00:02:25 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-04-17 00:02:30 +0200takuan(~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection)
2025-04-17 00:03:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 00:07:01 +0200jespada(~jespada@r190-133-10-247.dialup.adsl.anteldata.net.uy) jespada
2025-04-17 00:07:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 00:10:26 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-17 00:13:08 +0200tromp(~textual@2001:1c00:3487:1b00:c0e6:9a43:de22:8c0a) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-17 00:15:29 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-17 00:18:20 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:322:62f9:6518:a6a8) hgolden
2025-04-17 00:18:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 00:22:09 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:322:62f9:6518:a6a8) (Remote host closed the connection)
2025-04-17 00:23:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-17 00:27:51 +0200notdabs(~Owner@2600:1700:69cf:9000:e035:2729:333c:ea) (Quit: Leaving)
2025-04-17 00:36:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 00:41:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-17 00:52:10 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection)
2025-04-17 00:53:10 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-04-17 00:53:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 00:58:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 01:06:36 +0200sprotte24(~sprotte24@p200300d16f081b009801dcc9b07045e3.dip0.t-ipconnect.de) (Quit: Leaving)
2025-04-17 01:08:06 +0200forell(~forell@user/forell) (Ping timeout: 272 seconds)
2025-04-17 01:09:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 01:09:35 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-04-17 01:10:46 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-04-17 01:14:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-17 01:15:40 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-17 01:16:09 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-04-17 01:17:49 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-04-17 01:21:42 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-04-17 01:25:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 01:25:38 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 268 seconds)
2025-04-17 01:32:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 01:41:13 +0200notdabs(~Owner@2600:1700:69cf:9000:e035:2729:333c:ea)
2025-04-17 01:43:50 +0200notdabs(~Owner@2600:1700:69cf:9000:e035:2729:333c:ea) (Client Quit)
2025-04-17 01:45:24 +0200ethantwardy(user@user/ethantwardy) (Ping timeout: 260 seconds)
2025-04-17 01:45:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 01:45:44 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:322:62f9:6518:a6a8) hgolden
2025-04-17 01:49:08 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-04-17 01:49:43 +0200jespada(~jespada@r190-133-10-247.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-04-17 01:50:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 01:50:19 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2025-04-17 01:51:14 +0200aaronv(~aaronv@user/aaronv) aaronv
2025-04-17 01:51:52 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-17 01:52:44 +0200jacopovalanzano(~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net)
2025-04-17 01:52:44 +0200aaronv_(~aaronv@user/aaronv) aaronv
2025-04-17 01:53:05 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 265 seconds)
2025-04-17 01:53:30 +0200jacopovalanzanofrogz
2025-04-17 01:53:35 +0200frogzfrogzy
2025-04-17 01:56:15 +0200aaronv(~aaronv@user/aaronv) (Ping timeout: 272 seconds)
2025-04-17 01:58:36 +0200frogzyjacopovalanzano
2025-04-17 01:59:24 +0200inca(~inca@71.30.233.213) (Ping timeout: 272 seconds)
2025-04-17 02:01:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 02:04:23 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-04-17 02:06:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-17 02:07:26 +0200jacopovalanzano(~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed)
2025-04-17 02:07:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 02:08:54 +0200acidjnk(~acidjnk@p200300d6e71c4f41a8499be0fe4c63d3.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-04-17 02:10:49 +0200inca(~inca@71.30.233.213)
2025-04-17 02:12:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-17 02:13:19 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-04-17 02:16:19 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-04-17 02:21:09 +0200inca(~inca@71.30.233.213) (Ping timeout: 248 seconds)
2025-04-17 02:21:35 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby.)
2025-04-17 02:23:28 +0200aaronv_(~aaronv@user/aaronv) (Ping timeout: 272 seconds)
2025-04-17 02:25:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 02:28:49 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-17 02:31:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-17 02:42:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 02:44:28 +0200oraculo(~mirc-rc@179.152.250.79) Oraculo
2025-04-17 02:47:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 02:52:32 +0200otto_s(~user@p5b044a7e.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2025-04-17 02:53:18 +0200euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-04-17 02:55:26 +0200oraculo(~mirc-rc@179.152.250.79) (Quit: ))
2025-04-17 02:56:28 +0200euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-04-17 02:56:39 +0200xff0x(~xff0x@2405:6580:b080:900:1f70:b482:b471:6289) (Ping timeout: 252 seconds)
2025-04-17 02:57:39 +0200polykernel(~polykerne@user/polykernel) (Remote host closed the connection)
2025-04-17 02:58:29 +0200polykernel(~polykerne@user/polykernel) polykernel
2025-04-17 02:58:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 03:02:01 +0200otto_s(~user@p4ff27966.dip0.t-ipconnect.de)
2025-04-17 03:03:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-17 03:12:25 +0200wlhn(~wlhn@2001-14ba-4e20-21f0-b172-6fd9-faec-6e08.rev.dnainternet.fi) (Quit: Leaving)
2025-04-17 03:16:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 03:23:28 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds)
2025-04-17 03:24:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-17 03:31:34 +0200euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-04-17 03:32:49 +0200euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-04-17 03:36:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 03:37:17 +0200califax_(~califax@user/califx) califx
2025-04-17 03:38:52 +0200xdej(~xdej@quatramaran.salle-s.org) (Ping timeout: 276 seconds)
2025-04-17 03:39:12 +0200califax(~califax@user/califx) (Ping timeout: 264 seconds)
2025-04-17 03:39:12 +0200califax_califax
2025-04-17 03:39:25 +0200lyxia(~lyxia@poisson.chat) (Ping timeout: 265 seconds)
2025-04-17 03:40:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-17 03:41:06 +0200ystael(~ystael@user/ystael) (Ping timeout: 252 seconds)
2025-04-17 03:44:57 +0200haritz(~hrtz@152.37.68.178)
2025-04-17 03:44:57 +0200haritz(~hrtz@152.37.68.178) (Changing host)
2025-04-17 03:44:57 +0200haritz(~hrtz@user/haritz) haritz
2025-04-17 03:45:26 +0200xdej(~xdej@quatramaran.salle-s.org)
2025-04-17 03:46:02 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-04-17 03:53:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 03:58:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-17 04:01:53 +0200Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2025-04-17 04:01:57 +0200inca(~inca@71.30.233.213)
2025-04-17 04:02:45 +0200Buliarous(~gypsydang@46.232.210.139) (Remote host closed the connection)
2025-04-17 04:03:14 +0200Buliarous(~gypsydang@46.232.210.139) Buliarous
2025-04-17 04:06:13 +0200inca(~inca@71.30.233.213) (Ping timeout: 248 seconds)
2025-04-17 04:06:16 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-17 04:07:07 +0200 <haskellbridge> <sm> I have just been listening to Tom's podcast appearance at https://haskell.foundation/podcast/60/ - extremely good!
2025-04-17 04:07:53 +0200Fijxu(~Fijxu@user/fijxu) fijxu
2025-04-17 04:08:06 +0200xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-04-17 04:08:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 04:10:26 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2025-04-17 04:12:22 +0200lyxia(~lyxia@poisson.chat)
2025-04-17 04:13:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-17 04:15:11 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-04-17 04:15:13 +0200Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2025-04-17 04:15:30 +0200kimiamania99(~65804703@user/kimiamania) kimiamania
2025-04-17 04:15:50 +0200xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds)
2025-04-17 04:16:38 +0200aaronv_(~aaronv@user/aaronv) aaronv
2025-04-17 04:17:25 +0200haetsal(~quassel@221.138.168.192) (Ping timeout: 248 seconds)
2025-04-17 04:17:53 +0200kimiamania9(~65804703@user/kimiamania) (Ping timeout: 276 seconds)
2025-04-17 04:17:53 +0200kimiamania99kimiamania9
2025-04-17 04:17:54 +0200haetsal(~quassel@221.138.168.192)
2025-04-17 04:18:37 +0200Fijxu(~Fijxu@user/fijxu) fijxu
2025-04-17 04:19:24 +0200xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-04-17 04:21:57 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds)
2025-04-17 04:25:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 04:27:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-04-17 04:29:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-17 04:30:14 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds)
2025-04-17 04:30:45 +0200td_(~td@i53870938.versanet.de) (Ping timeout: 248 seconds)
2025-04-17 04:32:22 +0200td_(~td@i53870930.versanet.de) td_
2025-04-17 04:41:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 04:43:22 +0200Square(~Square@user/square) Square
2025-04-17 04:44:44 +0200Square2(~Square4@user/square) Square
2025-04-17 04:47:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-17 04:59:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 05:07:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-17 05:12:34 +0200 <haskellbridge> <sm> I learned about his strict-wrapper library. At https://hackage.haskell.org/package/strict-wrapper-0.0.1.0/docs/Data-Strict-Wrapper.html#g:4 , I wonder why both ! and Strict are needed ? typo or not ?
2025-04-17 05:14:42 +0200 <geekosaur> I don't think so? you need the bang to strictify up to the `Strict`, and then that does what amounts to `rnf`
2025-04-17 05:15:00 +0200 <geekosaur> but without the bang you have a thunk containing an `rnf`, which is kinda useless
2025-04-17 05:15:08 +0200 <haskellbridge> <sm> 👀
2025-04-17 05:15:54 +0200 <haskellbridge> <sm> thanks
2025-04-17 05:18:37 +0200inca(~inca@71.30.233.213)
2025-04-17 05:19:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 05:23:21 +0200inca(~inca@71.30.233.213) (Ping timeout: 272 seconds)
2025-04-17 05:24:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 05:35:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 05:36:10 +0200aaronv_(~aaronv@user/aaronv) (Ping timeout: 252 seconds)
2025-04-17 05:40:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 05:51:40 +0200arahael(~arahael@user/arahael) arahael
2025-04-17 05:51:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 05:56:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-17 06:01:16 +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-04-17 06:03:04 +0200troydm(~troydm@user/troydm) troydm
2025-04-17 06:04:58 +0200prdak(~Thunderbi@user/prdak) prdak
2025-04-17 06:08:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 06:09:44 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 265 seconds)
2025-04-17 06:10:02 +0200aaronv_(~aaronv@user/aaronv) aaronv
2025-04-17 06:11:55 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-17 06:13:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-17 06:16:49 +0200Square2(~Square4@user/square) (Ping timeout: 248 seconds)
2025-04-17 06:19:25 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-17 06:20:04 +0200Square(~Square@user/square) (Ping timeout: 276 seconds)
2025-04-17 06:23:50 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds)
2025-04-17 06:24:15 +0200michalz(~michalz@185.246.207.217)
2025-04-17 06:24:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 06:29:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 06:40:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 06:44:32 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2025-04-17 06:44:46 +0200euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2025-04-17 06:45:08 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-04-17 06:45:17 +0200euleritian(~euleritia@176.2.189.1)
2025-04-17 06:48:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-17 06:52:09 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-17 06:58:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 07:03:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 07:05:08 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby.)
2025-04-17 07:16:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 07:19:25 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-04-17 07:20:25 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-17 07:20:30 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-17 07:20:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-17 07:21:47 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-04-17 07:25:05 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 248 seconds)
2025-04-17 07:30:43 +0200prdak(~Thunderbi@user/prdak) prdak
2025-04-17 07:31:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 07:36:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-17 07:39:22 +0200inca(~inca@71.30.233.213)
2025-04-17 07:43:41 +0200inca(~inca@71.30.233.213) (Ping timeout: 244 seconds)
2025-04-17 07:44:50 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-04-17 07:48:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 07:52:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-17 07:58:09 +0200remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 260 seconds)
2025-04-17 07:59:35 +0200tavare(~tavare@150.129.88.189)
2025-04-17 07:59:35 +0200tavare(~tavare@150.129.88.189) (Changing host)
2025-04-17 07:59:35 +0200tavare(~tavare@user/tavare) tavare
2025-04-17 08:03:28 +0200tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-04-17 08:04:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 08:08:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-17 08:19:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 08:21:25 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-17 08:25:38 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds)
2025-04-17 08:26:11 +0200picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.5.1)
2025-04-17 08:27:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-17 08:27:32 +0200picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur
2025-04-17 08:27:53 +0200acidjnk(~acidjnk@p200300d6e71c4f412106b940489d8171.dip0.t-ipconnect.de) acidjnk
2025-04-17 08:32:32 +0200 <haskellbridge> <Liamzee> not sure what feedback i'd get on this, but do RTSes for other languages come with channels for memory sharing?
2025-04-17 08:32:41 +0200 <haskellbridge> <Liamzee> is this overall a bad idea?
2025-04-17 08:39:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 08:41:46 +0200aaronv_(~aaronv@user/aaronv) (Ping timeout: 276 seconds)
2025-04-17 08:42:14 +0200xal(~xal@mx1.xal.systems) (Quit: bye)
2025-04-17 08:42:51 +0200xal(~xal@mx1.xal.systems) xal
2025-04-17 08:43:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-17 08:44:51 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-04-17 08:45:34 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-04-17 08:49:23 +0200euleritian(~euleritia@176.2.189.1) (Read error: Connection reset by peer)
2025-04-17 08:49:41 +0200euleritian(~euleritia@37.4.249.220)
2025-04-17 08:51:15 +0200crabtastic(uid695166@id-695166.lymington.irccloud.com)
2025-04-17 08:55:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 08:56:59 +0200tromp(~textual@2001:1c00:3487:1b00:c0e6:9a43:de22:8c0a)
2025-04-17 08:59:11 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-04-17 08:59:23 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-04-17 09:00:02 +0200caconym(~caconym@user/caconym) (Quit: bye)
2025-04-17 09:00:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-17 09:01:00 +0200caconym(~caconym@user/caconym) caconym
2025-04-17 09:01:07 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-04-17 09:05:25 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 260 seconds)
2025-04-17 09:05:25 +0200jmcantrell_jmcantrell
2025-04-17 09:06:28 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-04-17 09:13:24 +0200fp(~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp
2025-04-17 09:13:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 09:18:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-17 09:19:03 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-04-17 09:19:29 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-04-17 09:20:21 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2025-04-17 09:20:52 +0200Lord_of_Life_Lord_of_Life
2025-04-17 09:30:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 09:33:18 +0200fp(~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Quit: fp)
2025-04-17 09:35:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 09:38:23 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-04-17 09:43:08 +0200ft(~ft@p4fc2a6e6.dip0.t-ipconnect.de) (Quit: leaving)
2025-04-17 09:43:11 +0200remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan
2025-04-17 09:45:01 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-04-17 09:48:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 09:48:33 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 248 seconds)
2025-04-17 09:51:18 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-04-17 09:53:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-17 09:53:33 +0200__monty__(~toonn@user/toonn) toonn
2025-04-17 09:54:20 +0200prdak(~Thunderbi@user/prdak) (Quit: prdak)
2025-04-17 09:55:38 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-04-17 10:01:38 +0200 <tomsmeding> Liamzee: what is a "channel for memory sharing"?
2025-04-17 10:02:03 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds)
2025-04-17 10:04:56 +0200 <tomsmeding> sm: tangential, but the haddocks for that package are slightly broken: the source link for `pattern Strict` goes to `data Strict` in the class
2025-04-17 10:05:03 +0200 <tomsmeding> too much namespace confusion for haddock?
2025-04-17 10:05:14 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-04-17 10:05:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 10:06:11 +0200 <haskellbridge> <sm> heh, too much for me anyway. I just squint and nod, yes, yes, all fine...
2025-04-17 10:12:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-17 10:13:39 +0200 <haskellbridge> <sm> type families seem pretty complicated
2025-04-17 10:13:56 +0200 <tomsmeding> which ones?
2025-04-17 10:14:33 +0200 <haskellbridge> <sm> The general topic.. judging by
2025-04-17 10:14:34 +0200 <haskellbridge> ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/joUkRcuOzMUxtIIyKOZKEFIO/v9EHd00ulCY (4 lines)
2025-04-17 10:15:12 +0200 <haskellbridge> <sm> but I see how it's used in strict-wrapper, that seems simple enough to use
2025-04-17 10:15:15 +0200 <tomsmeding> all the nitty-gritty details are complicated, sure
2025-04-17 10:15:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 10:15:23 +0200 <tomsmeding> basic type families are not so complex
2025-04-17 10:15:49 +0200 <tomsmeding> the Strict family in strict-wrapper is a data family though, which is related but not quite the same
2025-04-17 10:15:53 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-04-17 10:15:58 +0200 <haskellbridge> <sm> aiee
2025-04-17 10:16:08 +0200 <haskellbridge> <sm> good to know, I maybe misread
2025-04-17 10:16:47 +0200 <haskellbridge> <sm> right you are. Some of the error messages are type families, only
2025-04-17 10:16:55 +0200forell(~forell@user/forell) forell
2025-04-17 10:17:45 +0200 <haskellbridge> <sm> I would really like an up to date accurate atlas of all of Haskell (or even just the language)
2025-04-17 10:18:06 +0200 <tomsmeding> including all the GHC extensions?
2025-04-17 10:18:27 +0200 <haskellbridge> <sm> seems like the continent of Advanced Type Features has grown pretty vast
2025-04-17 10:18:43 +0200 <tomsmeding> how about https://www.haskell.org/onlinereport/haskell2010/ + https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/table.html ?
2025-04-17 10:18:58 +0200 <tomsmeding> it's sorted alphabetically, not by concept
2025-04-17 10:19:11 +0200 <tomsmeding> but I peruse this table fairly often
2025-04-17 10:20:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 10:20:37 +0200 <haskellbridge> <sm> actually I remember seeing such a map, I wonder where
2025-04-17 10:22:29 +0200 <haskellbridge> <sm> cool:
2025-04-17 10:22:29 +0200 <haskellbridge> ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/QzItmSQZhhgYvudmKiGWwlCk/Jj0hkMx6nzA (4 lines)
2025-04-17 10:23:26 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-17 10:27:44 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds)
2025-04-17 10:32:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 10:37:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 10:39:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 10:43:35 +0200bitterx(~bitterx@APN-122-12-44-gprs.simobil.net)
2025-04-17 10:43:52 +0200bitterx(~bitterx@APN-122-12-44-gprs.simobil.net) (Changing host)
2025-04-17 10:43:52 +0200bitterx(~bitterx@user/bitterx) bitterx
2025-04-17 10:44:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-17 10:45:31 +0200XZDX(~XZDX@user/XZDX) XZDX
2025-04-17 10:47:43 +0200 <Leary> tomsmeding: It looks like haddock just doesn't do `(t|v):` namespacing in hyperlinked source, probably because regular constructors don't have source links and the code is older than `PatternSynonyms`. Throw them a bug report? :)
2025-04-17 10:50:25 +0200 <tomsmeding> well spotted
2025-04-17 10:54:56 +0200 <Leary> Presumably it can also bug on `TypeOperators`.
2025-04-17 10:55:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 10:57:17 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-04-17 10:59:11 +0200 <tomsmeding> Leary: yep, it indeed has the same anchor link for those too
2025-04-17 10:59:25 +0200 <tomsmeding> (defined a little module with `type family (*) a b` and `(*) :: ...`
2025-04-17 10:59:27 +0200 <tomsmeding> )
2025-04-17 11:00:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-17 11:00:24 +0200 <bwe> ski [exa]: switched to applicative notation in relabel', added tick, integrated it into relabel', switched tick call from bind to applicative notation. Is tick equivalent to modify'?
2025-04-17 11:00:37 +0200 <bwe> And how can I simplify tick?
2025-04-17 11:01:20 +0200 <[exa]> bwe: people are making a helper such as this: `modify :: (s -> s) -> State s ()`
2025-04-17 11:01:57 +0200 <[exa]> with that one, tick would be something like `modify (+1) >> get`
2025-04-17 11:02:17 +0200 <[exa]> (or simpler if you instead choose `modify :: (s->s) -> State s s`
2025-04-17 11:05:01 +0200 <ski> bwe : `tick' is `get <* modify (1 +)'
2025-04-17 11:05:51 +0200 <ski> `modify (1 +) >> get' would do pre-increment, but i basically implied post-increment
2025-04-17 11:06:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 11:07:05 +0200 <tomsmeding> Leary: https://gitlab.haskell.org/ghc/ghc/-/issues/25971
2025-04-17 11:07:48 +0200 <ski> it would be possible to rewrite `(\n -> Leaf (n, x))' as `Leaf . (,x)', if you add `,TupleSections' to the `LANGUAGE' pragma
2025-04-17 11:09:01 +0200 <ski> (also, relabel' still doesn't have the same type as relabel .. you can make a wrapper that calls `runState' or `evalState')
2025-04-17 11:10:45 +0200 <[exa]> ski: ah good point
2025-04-17 11:12:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-17 11:12:07 +0200 <ski> oh, and `_ <- set ...' could just be `set ...', as you had it before
2025-04-17 11:12:38 +0200 <ski> (but you might prefer the `(<*)' combinator)
2025-04-17 11:14:05 +0200 <haskellbridge> <Liamzee> tomsmeding: ability for different Haskell processes (and FFI processes) to communicate via memory shared by the OS and RTS
2025-04-17 11:14:13 +0200mceresa(~mceresa@user/mceresa) mceresa
2025-04-17 11:14:21 +0200 <haskellbridge> <Liamzee> also, apparently Xiaohongshu just talked me into learning Classical Chinese
2025-04-17 11:14:38 +0200 <tomsmeding> is that a thing in haskell?
2025-04-17 11:15:29 +0200 <tomsmeding> I only know of this existing on a very low level with shm_open(3) in the POSIX API of the kernel, accessible from C
2025-04-17 11:15:31 +0200 <haskellbridge> <Liamzee> 兄弟(Brother),老师说(teacher says),除非特别喜欢中国历史文化(unless you really like Chinese history and culture),否则没必要学(then there's no need)。文言文信息密度太大了(The information density of classical Chinese is too high),现在没人用了(no one uses it nowadays)
2025-04-17 11:15:49 +0200 <haskellbridge> <Liamzee> He also talked me into taking another look at classy monad applications
2025-04-17 11:16:11 +0200 <haskellbridge> <Liamzee> even though there's people who've reported it as being useless except for mocking
2025-04-17 11:16:34 +0200 <haskellbridge> <Liamzee> i.e, the implicit meaning of code depends on the context (monadic type)
2025-04-17 11:16:49 +0200 <haskellbridge> <Liamzee> tomsmeding: It's not a thing in Haskell, tomsmeding
2025-04-17 11:16:55 +0200 <haskellbridge> <Liamzee> I'm just wondering if it should be
2025-04-17 11:17:10 +0200 <haskellbridge> <Liamzee> the advantage would be that the types would be retained
2025-04-17 11:17:22 +0200 <haskellbridge> <Liamzee> SHMRef mytype or SHMChannel mytype
2025-04-17 11:18:01 +0200 <[exa]> Liamzee: did you hear about L4 microkernel btw? sounds very much like the general idea of control pages there
2025-04-17 11:18:27 +0200 <haskellbridge> <Liamzee> nope!
2025-04-17 11:18:41 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 248 seconds)
2025-04-17 11:19:48 +0200 <haskellbridge> <Liamzee> it's great when you don't have a first-class concept of mutable variable and have to rely on tons of user-defined pointers to mutables with custom interfaces
2025-04-17 11:20:22 +0200 <haskellbridge> <Liamzee> but exa, do we know whether or not shared memory provisions in the RTS are a bad idea?
2025-04-17 11:22:06 +0200 <[exa]> we don't until someone produces a spectacular success or spectacular failure
2025-04-17 11:22:33 +0200Googulator82(~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) (Quit: Client closed)
2025-04-17 11:22:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 11:23:04 +0200 <[exa]> mutable stuff ain't bad, just needs better tools to tame the complexity back down
2025-04-17 11:23:04 +0200Googulator82(~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu)
2025-04-17 11:27:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-17 11:28:38 +0200 <haskellbridge> <Liamzee> ehhh, i'd go mess around with https://hackage.haskell.org/package/shared-memory-0.2.0.1/docs/SharedMemory.html
2025-04-17 11:29:01 +0200 <haskellbridge> <Liamzee> except that i'm still trying to figure out how to send an e-mail without relying on a mailserver
2025-04-17 11:29:32 +0200 <[exa]> spoiler: you can't
2025-04-17 11:31:55 +0200 <haskellbridge> <Liamzee> so how do mailservers send mail?
2025-04-17 11:32:19 +0200 <haskellbridge> <magic_rb> To send email you need to be a mailserver :P
2025-04-17 11:33:42 +0200 <haskellbridge> <Liamzee> it sounds like mailservers send mail by calling on a mailserver, which calls on more mailservers, resulting in a bottom
2025-04-17 11:33:58 +0200 <haskellbridge> <Liamzee> which is the 100% correct way to do anything, as it is an inhabitant of any type :3
2025-04-17 11:34:55 +0200 <[exa]> to become a mailserver you essentially have to as a mailserver. In Haskell that's got an easy fix :: (mailserver -> mailserver) -> mailserver.
2025-04-17 11:34:56 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-04-17 11:35:00 +0200 <[exa]> *ask
2025-04-17 11:36:02 +0200 <haskellbridge> <magic_rb> But how did the first mailserver become a mailserver?
2025-04-17 11:36:10 +0200 <haskellbridge> <magic_rb> There was no mailserver
2025-04-17 11:36:50 +0200 <[exa]> it asked itself
2025-04-17 11:37:07 +0200 <[exa]> (this probably belongs to #-blah now :D )
2025-04-17 11:37:14 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-17 11:37:45 +0200 <haskellbridge> <Liamzee> sorry, but I'm trying to mailbomb myself. Actually, seriously, I'm trying to send a registration e-mail without relying on an existing SMTP server.
2025-04-17 11:37:52 +0200 <haskellbridge> <magic_rb> Offtopic discussion in the haskell irc channel???? We would never
2025-04-17 11:38:05 +0200 <haskellbridge> <Liamzee> accidentally mailbombing myself is an acceptable bug
2025-04-17 11:38:39 +0200 <haskellbridge> <magic_rb> You can send email, but i doubt anyone will accept it
2025-04-17 11:38:42 +0200 <haskellbridge> <magic_rb> You need to talk smtp
2025-04-17 11:39:03 +0200 <haskellbridge> <Liamzee> https://hackage.haskell.org/package/smtp-mail-0.5.0.0/docs/Network-Mail-SMTP.html
2025-04-17 11:39:18 +0200 <haskellbridge> <Liamzee> user error (Unexpected reply to: MAIL "registration@recardo.community", Expected reply code: 250, Got this instead: 530 "5.7.0 Authentication Required. For more information, go to\r\n5.7.0 https://support.google.com/mail/?p=WantAuthError 41be03b00d2f7-b0b220ad44dsm2648980a12.7 - gsmtp\r\n")
2025-04-17 11:40:21 +0200 <[exa]> Liamzee: SMTP servers won't allow you to just send a mail to them, either you're credible and target a local deliverable destination, or you supply user credentials (which they can ban if you start spamming)
2025-04-17 11:40:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 11:41:17 +0200 <haskellbridge> <Liamzee> i mean, i could always just set up my own SMTP server
2025-04-17 11:41:23 +0200 <haskellbridge> <Liamzee> then send there, but that seems wasteful
2025-04-17 11:41:24 +0200 <haskellbridge> <magic_rb> There is a book, https://www.kickstarter.com/projects/mwlucas/run-your-own-mail-server
2025-04-17 11:41:33 +0200 <haskellbridge> <magic_rb> I have it, its pretty good
2025-04-17 11:45:43 +0200 <haskellbridge> <Liamzee> gah, so this error message is just indicating that i don't have the configuration set up on my DNS to convince Google that I'm running a legit mailserver on my address
2025-04-17 11:47:20 +0200 <haskellbridge> <Liamzee> https://blog.codinghorror.com/so-youd-like-to-send-some-email-through-code/
2025-04-17 11:47:24 +0200 <haskellbridge> <Liamzee> hum, okay
2025-04-17 11:47:34 +0200chele(~chele@user/chele) chele
2025-04-17 11:48:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-17 11:48:10 +0200 <[exa]> Liamzee: as I said, you need to auth there (after that the gsmtp is generally quite liberal in what it sends)
2025-04-17 12:00:20 +0200inca(~inca@71.30.233.213)
2025-04-17 12:00:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 12:01:29 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-17 12:02:42 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-04-17 12:02:50 +0200bitterx(~bitterx@user/bitterx) (Read error: Connection reset by peer)
2025-04-17 12:04:23 +0200inca(~inca@71.30.233.213) (Ping timeout: 244 seconds)
2025-04-17 12:04:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-17 12:06:39 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-04-17 12:06:46 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Quit: Client closed)
2025-04-17 12:07:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 12:07:54 +0200tuxillo(~Thunderbi@131.pool85-57-245.dynamic.orange.es) (Ping timeout: 276 seconds)
2025-04-17 12:08:05 +0200tuxillo(~Thunderbi@131.pool85-57-245.dynamic.orange.es) tuxillo
2025-04-17 12:08:24 +0200hidjgr(~hidjgr@user/hidjgr) (Quit: WeeChat 4.4.2)
2025-04-17 12:08:45 +0200hidjgr(~hidjgr@68.52.120.78.rev.sfr.net)
2025-04-17 12:08:46 +0200hidjgr(~hidjgr@68.52.120.78.rev.sfr.net) (Changing host)
2025-04-17 12:08:46 +0200hidjgr(~hidjgr@user/hidjgr) hidjgr
2025-04-17 12:12:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-17 12:12:53 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-04-17 12:19:22 +0200euleritian(~euleritia@37.4.249.220) (Ping timeout: 244 seconds)
2025-04-17 12:19:31 +0200euleritian(~euleritia@dynamic-176-004-010-029.176.4.pool.telefonica.de)
2025-04-17 12:19:53 +0200xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds)
2025-04-17 12:20:19 +0200tuxillo(~Thunderbi@131.pool85-57-245.dynamic.orange.es) (Quit: tuxillo)
2025-04-17 12:24:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 12:28:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-17 12:40:21 +0200euleritian(~euleritia@dynamic-176-004-010-029.176.4.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-17 12:40:40 +0200euleritian(~euleritia@ip2504f9dc.dynamic.kabel-deutschland.de)
2025-04-17 12:41:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 12:45:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-17 12:50:41 +0200crabtastic(uid695166@id-695166.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-04-17 12:52:30 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-17 12:55:46 +0200tromp(~textual@2001:1c00:3487:1b00:c0e6:9a43:de22:8c0a) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-17 12:56:58 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds)
2025-04-17 12:58:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 13:00:04 +0200caconym(~caconym@user/caconym) (Quit: bye)
2025-04-17 13:01:01 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-04-17 13:02:13 +0200caconym(~caconym@user/caconym) caconym
2025-04-17 13:02:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-17 13:04:38 +0200 <haskellbridge> <Liamzee> bleh, i'd rather spend 1-2 days trying to figure out how to configure a mailserver on my server
2025-04-17 13:04:41 +0200 <haskellbridge> <Liamzee> then cut it out
2025-04-17 13:07:56 +0200inca(~inca@71.30.233.213)
2025-04-17 13:08:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 13:13:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-17 13:14:39 +0200xff0x(~xff0x@2405:6580:b080:900:30cd:80b0:c68:51f3)
2025-04-17 13:21:36 +0200tromp(~textual@2001:1c00:3487:1b00:c0e6:9a43:de22:8c0a)
2025-04-17 13:24:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 13:25:08 +0200 <[exa]> Liamzee: like, installing exim and getting the domain running isn't such an issue
2025-04-17 13:25:23 +0200 <[exa]> it just takes a bit of administration time that people don't expect
2025-04-17 13:25:33 +0200 <[exa]> e.g. when you get the first actual heap of spam going
2025-04-17 13:31:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-17 13:32:25 +0200tromp(~textual@2001:1c00:3487:1b00:c0e6:9a43:de22:8c0a) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-17 13:38:56 +0200inca(~inca@71.30.233.213) (Ping timeout: 244 seconds)
2025-04-17 13:39:48 +0200krei-se(~krei-se@p50829a06.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in)
2025-04-17 13:41:36 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-04-17 13:41:54 +0200krei-se(~krei-se@p50829a06.dip0.t-ipconnect.de) krei-se
2025-04-17 13:42:01 +0200mceresa(~mceresa@user/mceresa) mceresa
2025-04-17 13:42:21 +0200 <haskellbridge> <Liamzee> doesn't really matter, i just want to mailbomb myself
2025-04-17 13:42:51 +0200 <haskellbridge> <Liamzee> and also, is that where all the spam comes from? People setting up random mailservers on VPS and other cloud services, spamming people, then taking the connection offline
2025-04-17 13:43:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 13:47:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-17 13:52:35 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-17 13:52:53 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-04-17 14:00:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 14:03:28 +0200jespada(~jespada@r190-133-46-99.dialup.adsl.anteldata.net.uy) jespada
2025-04-17 14:04:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-17 14:06:15 +0200 <haskellbridge> <eldritchcookie> is there anyway to prevent haddock from expanding a module's content and always hyperlinking?
2025-04-17 14:08:34 +0200fp(~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp
2025-04-17 14:09:20 +0200 <tomsmeding> eldritchcookie: what do you mean exactly? Does one of these happen to do what you want? https://haskell-haddock.readthedocs.io/latest/markup.html#module-attributes
2025-04-17 14:09:24 +0200 <haskellbridge> <sm> managing a mail server is not a 1-2 days task I think :/
2025-04-17 14:09:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 14:10:17 +0200mari34609(~mari-este@user/mari-estel) mari-estel
2025-04-17 14:11:52 +0200 <[exa]> Liamzee: spam comes from EVERYWHERE
2025-04-17 14:12:16 +0200 <[exa]> back in 2010s when I was with ISPs a surprising amount was from people's infected computers
2025-04-17 14:12:34 +0200 <[exa]> botnets ain't small
2025-04-17 14:12:35 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-04-17 14:12:35 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-04-17 14:12:35 +0200haritz(~hrtz@user/haritz) haritz
2025-04-17 14:13:16 +0200mari-estel(~mari-este@user/mari-estel) (Ping timeout: 276 seconds)
2025-04-17 14:14:41 +0200 <haskellbridge> <eldritchcookie> tomsmeding: none do, i am making my own prelude and i want it to be compatible with -xNoListTuplePuns so i export all 200 tuples data families,i want to hide those 200 entities even though they are exported because logically it is only "all tuples GHC permits" we don't need to know that CTuple45, Tuple37# and Tuple55 are exported.
2025-04-17 14:14:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-17 14:16:48 +0200 <tomsmeding> eldritchcookie: put them in a separate module and re-export that module in its entirety? That will produce a `module Tuples.Stuff` entry in the haddocks, I think
2025-04-17 14:17:00 +0200 <tomsmeding> potentially that Tuples.Stuff module also needs to be public for it not to be expanded in-place
2025-04-17 14:17:31 +0200 <haskellbridge> <eldritchcookie> yes but for some reason it doesn't work even though i made the module public
2025-04-17 14:19:23 +0200 <tomsmeding> you're talking about "data family instances"; the instances themselves don't get separate haddock entries
2025-04-17 14:19:41 +0200 <tomsmeding> you'd need to move the entire data family into the module
2025-04-17 14:19:52 +0200 <tomsmeding> instances are always shown under data types
2025-04-17 14:22:32 +0200 <haskellbridge> <eldritchcookie> i am exporting the (C)Tuple1-64# type/data families also i am unsure if they actually are data/type familes CTuples are documented as classes
2025-04-17 14:23:07 +0200 <tomsmeding> which CTuple are you talking about?
2025-04-17 14:23:45 +0200 <haskellbridge> <eldritchcookie> the one exported from ghc-experimental
2025-04-17 14:23:56 +0200chele(~chele@user/chele) (Remote host closed the connection)
2025-04-17 14:24:11 +0200 <tomsmeding> ah I see, they're separate classes
2025-04-17 14:24:16 +0200chele(~chele@user/chele) chele
2025-04-17 14:24:40 +0200 <tomsmeding> the reason this is happening is then probably that you're not defining these things, so haddock has no "home module" to direct users to
2025-04-17 14:25:26 +0200 <tomsmeding> potentially if you re-export the entire Data.Tuple.Experimental module as-is, without listing the members individually, haddock will generate a module link?
2025-04-17 14:25:28 +0200 <tomsmeding> not sure
2025-04-17 14:27:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 14:30:52 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-04-17 14:31:38 +0200nefercheprure(tma@twin.jikos.cz) TMA
2025-04-17 14:32:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 14:36:42 +0200nefercheprureTMA
2025-04-17 14:38:21 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-04-17 14:39:32 +0200__monty__(~toonn@user/toonn) toonn
2025-04-17 14:43:43 +0200 <haskellbridge> <eldritchcookie> huh aparently even if i import Data.Tuple.Experimental and export the whole module with both the import and export only mentioning the module name it still expands all the tuples
2025-04-17 14:43:57 +0200 <tomsmeding> I see
2025-04-17 14:45:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 14:46:27 +0200tromp(~textual@2001:1c00:3487:1b00:c0e6:9a43:de22:8c0a)
2025-04-17 14:48:53 +0200acidjnk(~acidjnk@p200300d6e71c4f412106b940489d8171.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-04-17 14:50:12 +0200weary-traveler(~user@user/user363627) user363627
2025-04-17 14:50:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-17 14:52:44 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-04-17 14:54:04 +0200ystael(~ystael@user/ystael) ystael
2025-04-17 14:57:04 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 245 seconds)
2025-04-17 15:03:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 15:04:21 +0200gadot(Angelz@user/angelz) (Ping timeout: 248 seconds)
2025-04-17 15:10:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 15:10:19 +0200mceresa(~mceresa@user/mceresa) mceresa
2025-04-17 15:10:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 15:11:54 +0200Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15)
2025-04-17 15:14:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-17 15:25:37 +0200fp(~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 248 seconds)
2025-04-17 15:26:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 15:28:40 +0200JuanDaughertyColinRobinson
2025-04-17 15:28:47 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer)
2025-04-17 15:29:45 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-04-17 15:31:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 15:31:30 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-04-17 15:33:20 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 244 seconds)
2025-04-17 15:35:03 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-04-17 15:35:19 +0200acidjnk(~acidjnk@p200300d6e71c4f999d6f7f2102c5b203.dip0.t-ipconnect.de) acidjnk
2025-04-17 15:35:24 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2025-04-17 15:38:11 +0200mceresa(~mceresa@user/mceresa) mceresa
2025-04-17 15:41:26 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-04-17 15:43:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 15:43:50 +0200 <haskellbridge> <Liamzee> huh
2025-04-17 15:43:55 +0200 <haskellbridge> <Liamzee> also, friend explained this to me
2025-04-17 15:43:56 +0200 <haskellbridge> <Liamzee> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/static_pointers.html
2025-04-17 15:44:59 +0200 <haskellbridge> <Liamzee> [exa]
2025-04-17 15:45:00 +0200michalz(~michalz@185.246.207.217) (Remote host closed the connection)
2025-04-17 15:45:12 +0200poscat(~poscat@user/poscat) (Quit: Bye)
2025-04-17 15:45:32 +0200poscat(~poscat@user/poscat) poscat
2025-04-17 15:47:02 +0200 <EvanR> cloud haskell
2025-04-17 15:48:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-17 15:52:03 +0200 <haskellbridge> <Liamzee> regarding the idea of having provisions built in runtime for shared memory
2025-04-17 15:52:27 +0200 <haskellbridge> <Liamzee> i'm trying to figure out how you could pass this through child processes in a microservices architecture
2025-04-17 15:52:29 +0200 <haskellbridge> <Liamzee> https://blog.ocharles.org.uk/guest-posts/2014-12-23-static-pointers.html
2025-04-17 15:54:07 +0200adamCS_(~adamCS@98.113.183.73) adamCS
2025-04-17 15:55:33 +0200adamCS(~adamCS@98.113.183.73) (Ping timeout: 244 seconds)
2025-04-17 15:55:33 +0200adamCS_adamCS
2025-04-17 15:58:19 +0200 <ski> mm, the `StaticPtr' is a kind of "necessary"-type modality, i suppose. now i'm wondering whether one can do `preserve :: (StaticPtr a -> b) -> StaticPtre a -> StaticPtr b'
2025-04-17 16:01:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 16:02:34 +0200ystael(~ystael@user/ystael) (Ping timeout: 244 seconds)
2025-04-17 16:04:14 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-04-17 16:06:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-17 16:14:15 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Ping timeout: 276 seconds)
2025-04-17 16:16:34 +0200Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Remote host closed the connection)
2025-04-17 16:20:16 +0200ColinRobinson(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-04-17 16:21:51 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-04-17 16:27:48 +0200Angelz(Angelz@Angelz.oddprotocol.org)
2025-04-17 16:28:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 16:31:59 +0200 <hellwolf> I saw "fromSource :: Source #-> Thingy" in the wild, is it a real syntax?
2025-04-17 16:32:57 +0200ystael(~ystael@user/ystael) ystael
2025-04-17 16:33:00 +0200 <dminuoso> hellwolf: I dont see why not.
2025-04-17 16:33:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-17 16:35:49 +0200 <dminuoso> % newtype (#->) a b = A a
2025-04-17 16:35:49 +0200 <yahb2> <no output>
2025-04-17 16:36:25 +0200 <hellwolf> aha, right, i thought that was special arrows related to unboxed, or somethign to do with magichash
2025-04-17 16:36:59 +0200 <dminuoso> hellwolf: The hash is just not allowed in postfix position without an extension, and only then tends to indicate unboxed things.
2025-04-17 16:37:09 +0200 <dminuoso> In other positions it is fair game.
2025-04-17 16:37:43 +0200 <hellwolf> i see, postfix that is.
2025-04-17 16:38:25 +0200 <dminuoso> I dont think I have seen it used in postfix position on an operator type, however.
2025-04-17 16:38:31 +0200 <dminuoso> i.e. something like ->#
2025-04-17 16:38:32 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-17 16:39:02 +0200 <dminuoso> % newtype a #-> b = A (a -> b)
2025-04-17 16:39:02 +0200 <yahb2> <no output>
2025-04-17 16:39:05 +0200 <dminuoso> % newtype a -># b = A (a -> b)
2025-04-17 16:39:05 +0200 <yahb2> <no output>
2025-04-17 16:39:11 +0200 <dminuoso> % :set -XNoMagicHash
2025-04-17 16:39:11 +0200 <yahb2> <no output>
2025-04-17 16:39:17 +0200 <dminuoso> % newtype a -># b = A (a -> b)
2025-04-17 16:39:17 +0200 <yahb2> <no output>
2025-04-17 16:39:20 +0200 <dminuoso> Interesting.
2025-04-17 16:39:31 +0200acidjnk(~acidjnk@p200300d6e71c4f999d6f7f2102c5b203.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-04-17 16:40:20 +0200 <hellwolf> can you rebind all syntax so that it will look like python
2025-04-17 16:41:01 +0200 <dminuoso> That sounds like a moderately interesting excercise.
2025-04-17 16:41:12 +0200 <dminuoso> We cannot rebind most syntax, however.
2025-04-17 16:41:48 +0200 <dminuoso> And we cannot conjure syntax as freely as agda can with mixfix for example.
2025-04-17 16:41:51 +0200 <EvanR> idris lets you gonzo define new syntax
2025-04-17 16:42:08 +0200 <EvanR> make idris python again
2025-04-17 16:42:11 +0200lxsameer(~lxsameer@Serene/lxsameer) (Quit: WeeChat 4.5.1)
2025-04-17 16:42:17 +0200 <dminuoso> MIPA.
2025-04-17 16:43:00 +0200 <hellwolf> mixfix is cool, but the extra mandatory whitespaces is the tradeoff.
2025-04-17 16:43:11 +0200 <EvanR> probably for the best
2025-04-17 16:43:25 +0200 <dminuoso> However...
2025-04-17 16:43:26 +0200 <hellwolf> your.record or my.lens
2025-04-17 16:43:38 +0200 <dminuoso> In a custom monad you can probably imitate python very closely.
2025-04-17 16:43:59 +0200 <hellwolf> "def" can be top-level splice
2025-04-17 16:44:32 +0200 <EvanR> period to approximate function composition is kind of mistake
2025-04-17 16:44:36 +0200 <dminuoso> Well... if you unpack that can of worms, you can of course just write a python-to-haskell compiler, and just put it all in a big ...
2025-04-17 16:44:40 +0200 <dminuoso> qq.
2025-04-17 16:44:59 +0200 <dminuoso> Lets you write python in haskell.
2025-04-17 16:45:02 +0200 <EvanR> since it is incompatible with "dot syntax"
2025-04-17 16:45:26 +0200 <EvanR> inline python
2025-04-17 16:45:32 +0200 <dminuoso> Then all you need is just bidirectional binding (.NET seems reasonable, we just need IronHaskell)
2025-04-17 16:45:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 16:45:59 +0200 <dminuoso> hellwolf: What were your plans again for the next 5 years? Fancy a PhD?
2025-04-17 16:46:05 +0200 <hellwolf> you are welcome to use the proper ∘ for composition.
2025-04-17 16:46:48 +0200 <hellwolf> dminuoso: I am considering it. But then again, I love more making money and build tools using theory.
2025-04-17 16:46:50 +0200 <EvanR> nod
2025-04-17 16:47:20 +0200 <EvanR> make programs not build systems!
2025-04-17 16:47:24 +0200 <EvanR> make games not engines
2025-04-17 16:47:32 +0200 <dminuoso> So you want to make money while building tools using theory, and let me guess you want a plethora of job offers hitting your inbox every day?
2025-04-17 16:48:15 +0200 <hellwolf> not sure, clipping salary seems too slow of a way to make money
2025-04-17 16:49:00 +0200 <dminuoso> My haskell prime time has come to past, I think. :(
2025-04-17 16:50:16 +0200 <hellwolf> So long this IRC channel remains the safe harbor from vibe coders.
2025-04-17 16:50:49 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-04-17 16:50:49 +0200acidjnk(~acidjnk@p200300d6e71c4f992c6067eed900468a.dip0.t-ipconnect.de) acidjnk
2025-04-17 16:52:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 16:55:58 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-04-17 16:59:54 +0200euleritian(~euleritia@ip2504f9dc.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2025-04-17 17:01:04 +0200euleritian(~euleritia@dynamic-176-004-019-227.176.4.pool.telefonica.de)
2025-04-17 17:01:42 +0200poscat(~poscat@user/poscat) (Ping timeout: 276 seconds)
2025-04-17 17:02:53 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-17 17:04:28 +0200 <lortabac> FWIW I do vibe coding from time to time, mostly to understand what the possibilities are
2025-04-17 17:04:42 +0200Guest49(~Guest49@astrolabe.plus.com)
2025-04-17 17:04:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 17:05:08 +0200poscat(~poscat@user/poscat) poscat
2025-04-17 17:06:47 +0200poscat0x04(~poscat@user/poscat) poscat
2025-04-17 17:07:49 +0200poscat-(~poscat@user/poscat) poscat
2025-04-17 17:09:14 +0200poscat-(~poscat@user/poscat) (Remote host closed the connection)
2025-04-17 17:09:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-17 17:10:45 +0200poscat(~poscat@user/poscat) (Ping timeout: 260 seconds)
2025-04-17 17:11:18 +0200poscat(~poscat@user/poscat) poscat
2025-04-17 17:11:48 +0200 <EvanR> hellwolf, I was reading this as "safe harbor for vibe coders" for the last 20 minutes
2025-04-17 17:11:55 +0200poscat0x04(~poscat@user/poscat) (Ping timeout: 260 seconds)
2025-04-17 17:12:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 17:13:25 +0200 <hellwolf> hm?
2025-04-17 17:13:45 +0200 <EvanR> exactly
2025-04-17 17:15:11 +0200tromp(~textual@2001:1c00:3487:1b00:c0e6:9a43:de22:8c0a) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-17 17:17:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-17 17:22:43 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-04-17 17:22:48 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-04-17 17:24:02 +0200img(~img@user/img) img
2025-04-17 17:24:29 +0200jacopovalanzano(~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net)
2025-04-17 17:24:48 +0200meritamen(~meritamen@user/meritamen) meritamen
2025-04-17 17:29:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 17:31:31 +0200acidjnk(~acidjnk@p200300d6e71c4f992c6067eed900468a.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-04-17 17:33:05 +0200mari34609(~mari-este@user/mari-estel) (Remote host closed the connection)
2025-04-17 17:34:09 +0200Angelz(Angelz@Angelz.oddprotocol.org) (Ping timeout: 252 seconds)
2025-04-17 17:34:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-04-17 17:36:36 +0200ystael(~ystael@user/ystael) (Ping timeout: 244 seconds)
2025-04-17 17:36:47 +0200mceresa(~mceresa@user/mceresa) (Read error: error:0A000119:SSL routines::decryption failed or bad record mac)
2025-04-17 17:37:35 +0200 <bwe> ski, [exa]: implemented `modify`, changed `tick` to use `modify`, made `relabel'` output equivalent to `relabel`.
2025-04-17 17:39:35 +0200tromp(~textual@2001:1c00:3487:1b00:c0e6:9a43:de22:8c0a)
2025-04-17 17:41:09 +0200 <__monty__> dminuoso: Yes, do you need my address or how do we set this up?
2025-04-17 17:41:35 +0200ystael(~ystael@user/ystael) ystael
2025-04-17 17:42:07 +0200 <ski> looks nice, bwe
2025-04-17 17:42:15 +0200 <ski> i often write like
2025-04-17 17:42:23 +0200 <ski> (`evalState` 0)
2025-04-17 17:42:26 +0200 <ski> in place of
2025-04-17 17:42:30 +0200 <ski> flip evalState 0
2025-04-17 17:42:35 +0200 <bwe> I agree.
2025-04-17 17:44:49 +0200 <bwe> ski: how could I include the go definition under `relabel`? I mean putting it under where doesn't feel the best way, also there type signatures are rather non-standard.
2025-04-17 17:45:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 17:45:50 +0200mceresa(~mceresa@user/mceresa) mceresa
2025-04-17 17:47:00 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds)
2025-04-17 17:49:36 +0200 <ski> "putting it under where doesn't feel the best way" -- why ?
2025-04-17 17:49:54 +0200 <ski> you can put the type signature under `where' too, if you like
2025-04-17 17:49:57 +0200 <[exa]> bwe: normally after "where" keyword
2025-04-17 17:49:59 +0200 <[exa]> yes ^
2025-04-17 17:50:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-17 17:50:35 +0200Angelz(Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973)
2025-04-17 17:53:03 +0200meritamen(~meritamen@user/meritamen) (Remote host closed the connection)
2025-04-17 17:55:56 +0200notdabs(~Owner@2600:1700:69cf:9000:3579:f564:3ab5:c4ac)
2025-04-17 17:56:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 17:57:21 +0200notdabs(~Owner@2600:1700:69cf:9000:3579:f564:3ab5:c4ac) (Client Quit)
2025-04-17 17:59:08 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-04-17 17:59:13 +0200ystael(~ystael@user/ystael) (Ping timeout: 252 seconds)
2025-04-17 18:00:21 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 248 seconds)
2025-04-17 18:00:31 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-04-17 18:00:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-17 18:00:53 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-04-17 18:05:33 +0200chele(~chele@user/chele) (Remote host closed the connection)
2025-04-17 18:06:12 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds)
2025-04-17 18:08:11 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-17 18:08:38 +0200ft(~ft@p4fc2a6e6.dip0.t-ipconnect.de) ft
2025-04-17 18:09:04 +0200pabs3(~pabs3@user/pabs3) (Read error: Connection reset by peer)
2025-04-17 18:09:45 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-04-17 18:13:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 18:14:50 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds)
2025-04-17 18:15:08 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-17 18:17:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-17 18:21:57 +0200Angelz(Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Remote host closed the connection)
2025-04-17 18:29:12 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-04-17 18:30:36 +0200img(~img@user/img) img
2025-04-17 18:31:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 18:33:33 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2025-04-17 18:35:49 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-04-17 18:38:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-17 18:42:20 +0200euleritian(~euleritia@dynamic-176-004-019-227.176.4.pool.telefonica.de) (Ping timeout: 260 seconds)
2025-04-17 18:45:43 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-04-17 18:46:04 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-17 18:49:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 18:56:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 18:56:47 +0200adamCS(~adamCS@98.113.183.73) (Ping timeout: 265 seconds)
2025-04-17 18:59:57 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-04-17 19:02:23 +0200manwithluck(~manwithlu@2a09:bac5:5085:2dc::49:221) (Remote host closed the connection)
2025-04-17 19:06:32 +0200manwithluck(~manwithlu@2a09:bac5:5085:2dc::49:221) manwithluck
2025-04-17 19:07:11 +0200FeuermagierGuest3034
2025-04-17 19:07:11 +0200Feuermagier_(~Feuermagi@user/feuermagier) Feuermagier
2025-04-17 19:07:11 +0200Guest3034(~Feuermagi@user/feuermagier) (Killed (copper.libera.chat (Nickname regained by services)))
2025-04-17 19:07:11 +0200Feuermagier_Feuermagier
2025-04-17 19:09:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 19:12:45 +0200sprotte24(~sprotte24@p200300d16f0b570060e0eccc41b57fea.dip0.t-ipconnect.de)
2025-04-17 19:13:05 +0200acidjnk(~acidjnk@p200300d6e71c4f996dbb2651584f332e.dip0.t-ipconnect.de) acidjnk
2025-04-17 19:13:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-17 19:14:12 +0200tromp(~textual@2001:1c00:3487:1b00:c0e6:9a43:de22:8c0a) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-17 19:14:17 +0200eron(~eron@179.118.250.144) lidenbrock
2025-04-17 19:19:41 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-04-17 19:20:40 +0200sonolin(~michael@user/sonolin) sonolin
2025-04-17 19:20:53 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-17 19:21:26 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 265 seconds)
2025-04-17 19:26:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 19:27:18 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-04-17 19:28:04 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-04-17 19:29:02 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-04-17 19:30:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-17 19:34:11 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2025-04-17 19:36:04 +0200Guest49(~Guest49@astrolabe.plus.com) (Quit: Client closed)
2025-04-17 19:36:38 +0200tromp(~textual@2001:1c00:3487:1b00:c0e6:9a43:de22:8c0a)
2025-04-17 19:37:44 +0200Angelz(Angelz@angelz.oddprotocol.org)
2025-04-17 19:38:03 +0200notdabs(~Owner@2600:1700:69cf:9000:3579:f564:3ab5:c4ac)
2025-04-17 19:38:30 +0200notdabs(~Owner@2600:1700:69cf:9000:3579:f564:3ab5:c4ac) (Client Quit)
2025-04-17 19:38:57 +0200fp(~Thunderbi@93-90-49-137.welcomnet.fi) fp
2025-04-17 19:42:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 19:45:01 +0200coldmountain(uid484352@id-484352.helmsley.irccloud.com) coldmountain
2025-04-17 19:47:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-17 19:53:44 +0200fp(~Thunderbi@93-90-49-137.welcomnet.fi) (Ping timeout: 245 seconds)
2025-04-17 19:58:23 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds)
2025-04-17 19:59:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 20:03:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-17 20:06:45 +0200acidjnk(~acidjnk@p200300d6e71c4f996dbb2651584f332e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-04-17 20:08:23 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-04-17 20:08:49 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-04-17 20:16:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 20:18:07 +0200euleritian(~euleritia@dynamic-176-000-192-016.176.0.pool.telefonica.de)
2025-04-17 20:19:54 +0200mceresa(~mceresa@user/mceresa) mceresa
2025-04-17 20:22:28 +0200pavonia(~user@user/siracusa) siracusa
2025-04-17 20:23:03 +0200alx741(~alx741@186.33.188.229)
2025-04-17 20:23:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-17 20:24:17 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 248 seconds)
2025-04-17 20:26:57 +0200euleritian(~euleritia@dynamic-176-000-192-016.176.0.pool.telefonica.de) (Ping timeout: 248 seconds)
2025-04-17 20:28:39 +0200down200-(~down200@shell.lug.mtu.edu) (Ping timeout: 244 seconds)
2025-04-17 20:28:40 +0200tromp(~textual@2001:1c00:3487:1b00:c0e6:9a43:de22:8c0a) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-17 20:30:20 +0200Googulator82(~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) (Quit: Client closed)
2025-04-17 20:30:54 +0200Googulator82(~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu)
2025-04-17 20:32:05 +0200septimi(~sepi@87-92-72-195.bb.dnainternet.fi)
2025-04-17 20:34:28 +0200septimiseptim
2025-04-17 20:35:46 +0200euleritian(~euleritia@77.23.248.47)
2025-04-17 20:37:05 +0200michalz(~michalz@185.246.207.221)
2025-04-17 20:37:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 20:41:39 +0200jacopovalanzano(~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed)
2025-04-17 20:41:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-17 20:45:55 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-04-17 20:47:50 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-04-17 20:48:00 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-17 20:52:33 +0200jespada(~jespada@r190-133-46-99.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds)
2025-04-17 20:53:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 20:54:18 +0200eron(~eron@179.118.250.144) (Quit: Client closed)
2025-04-17 20:54:37 +0200jespada(~jespada@r190-133-46-99.dialup.adsl.anteldata.net.uy) jespada
2025-04-17 20:58:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-17 20:59:21 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-04-17 21:00:01 +0200caconym(~caconym@user/caconym) (Quit: bye)
2025-04-17 21:00:43 +0200caconym(~caconym@user/caconym) caconym
2025-04-17 21:02:27 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-04-17 21:02:27 +0200ljdarj1ljdarj
2025-04-17 21:10:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 21:13:52 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-04-17 21:15:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 21:20:04 +0200Digitteknohippie(~user@user/digit) Digit
2025-04-17 21:21:21 +0200Digit(~user@user/digit) (Ping timeout: 248 seconds)
2025-04-17 21:24:10 +0200DigitteknohippieDigit
2025-04-17 21:26:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 21:27:33 +0200septim(~sepi@87-92-72-195.bb.dnainternet.fi) (Ping timeout: 244 seconds)
2025-04-17 21:29:32 +0200sepi2(~sepi@87-92-72-195.bb.dnainternet.fi)
2025-04-17 21:29:49 +0200sepi2(~sepi@87-92-72-195.bb.dnainternet.fi) (Client Quit)
2025-04-17 21:31:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-17 21:34:45 +0200sonolin(~michael@user/sonolin) (Ping timeout: 248 seconds)
2025-04-17 21:39:21 +0200ystael(~ystael@user/ystael) ystael
2025-04-17 21:40:02 +0200hidjgr(~hidjgr@user/hidjgr) (Quit: WeeChat 4.4.2)
2025-04-17 21:44:31 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-04-17 21:44:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 21:49:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 21:54:11 +0200coldmountain(uid484352@id-484352.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2025-04-17 21:56:23 +0200zmt01(~zmt00@user/zmt00) zmt00
2025-04-17 21:56:24 +0200euleritian(~euleritia@77.23.248.47) (Ping timeout: 260 seconds)
2025-04-17 21:56:47 +0200euleritian(~euleritia@dynamic-176-000-010-216.176.0.pool.telefonica.de)
2025-04-17 21:57:03 +0200takuan(~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection)
2025-04-17 21:57:30 +0200euleritian(~euleritia@dynamic-176-000-010-216.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-17 21:57:47 +0200euleritian(~euleritia@77.23.248.47)
2025-04-17 21:59:28 +0200__monty__(~toonn@user/toonn) toonn
2025-04-17 21:59:49 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 248 seconds)
2025-04-17 22:02:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 22:08:55 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-04-17 22:09:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-17 22:10:43 +0200acidjnk(~acidjnk@p200300d6e71c4f9905ba7c6810376922.dip0.t-ipconnect.de) acidjnk