| 2025-04-17 00:01:30 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-17 00:02:25 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-04-17 00:02:30 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-04-17 00:03:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 00:07:01 +0200 | jespada | (~jespada@r190-133-10-247.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-17 00:07:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-17 00:10:26 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-17 00:13:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c0e6:9a43:de22:8c0a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-17 00:15:29 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-17 00:18:20 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:322:62f9:6518:a6a8) hgolden |
| 2025-04-17 00:18:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 00:22:09 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:322:62f9:6518:a6a8) (Remote host closed the connection) |
| 2025-04-17 00:23:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-17 00:27:51 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:e035:2729:333c:ea) (Quit: Leaving) |
| 2025-04-17 00:36:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 00:41:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-17 00:52:10 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2025-04-17 00:53:10 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-04-17 00:53:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 00:58:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-17 01:06:36 +0200 | sprotte24 | (~sprotte24@p200300d16f081b009801dcc9b07045e3.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-04-17 01:08:06 +0200 | forell | (~forell@user/forell) (Ping timeout: 272 seconds) |
| 2025-04-17 01:09:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 01:09:35 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-04-17 01:10:46 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-17 01:14:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-17 01:15:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-17 01:16:09 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-17 01:17:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-04-17 01:21:42 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-17 01:25:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 01:25:38 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 268 seconds) |
| 2025-04-17 01:32:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-17 01:41:13 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:e035:2729:333c:ea) |
| 2025-04-17 01:43:50 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:e035:2729:333c:ea) (Client Quit) |
| 2025-04-17 01:45:24 +0200 | ethantwardy | (user@user/ethantwardy) (Ping timeout: 260 seconds) |
| 2025-04-17 01:45:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 01:45:44 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:322:62f9:6518:a6a8) hgolden |
| 2025-04-17 01:49:08 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-04-17 01:49:43 +0200 | jespada | (~jespada@r190-133-10-247.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-04-17 01:50:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-17 01:50:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-17 01:51:14 +0200 | aaronv | (~aaronv@user/aaronv) aaronv |
| 2025-04-17 01:51:52 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-17 01:52:44 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 2025-04-17 01:52:44 +0200 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-04-17 01:53:05 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-04-17 01:53:30 +0200 | jacopovalanzano | frogz |
| 2025-04-17 01:53:35 +0200 | frogz | frogzy |
| 2025-04-17 01:56:15 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 272 seconds) |
| 2025-04-17 01:58:36 +0200 | frogzy | jacopovalanzano |
| 2025-04-17 01:59:24 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 272 seconds) |
| 2025-04-17 02:01:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 02:04:23 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-04-17 02:06:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-17 02:07:26 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
| 2025-04-17 02:07:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 02:08:54 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f41a8499be0fe4c63d3.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-04-17 02:10:49 +0200 | inca | (~inca@71.30.233.213) |
| 2025-04-17 02:12:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-17 02:13:19 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-04-17 02:16:19 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-04-17 02:21:09 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 248 seconds) |
| 2025-04-17 02:21:35 +0200 | amadaluzia | (~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 +0200 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 272 seconds) |
| 2025-04-17 02:25:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 02:28:49 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-17 02:31:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-17 02:42:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 02:44:28 +0200 | oraculo | (~mirc-rc@179.152.250.79) Oraculo |
| 2025-04-17 02:47:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-17 02:52:32 +0200 | otto_s | (~user@p5b044a7e.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-04-17 02:53:18 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-04-17 02:55:26 +0200 | oraculo | (~mirc-rc@179.152.250.79) (Quit: )) |
| 2025-04-17 02:56:28 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-04-17 02:56:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1f70:b482:b471:6289) (Ping timeout: 252 seconds) |
| 2025-04-17 02:57:39 +0200 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2025-04-17 02:58:29 +0200 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-04-17 02:58:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 03:02:01 +0200 | otto_s | (~user@p4ff27966.dip0.t-ipconnect.de) |
| 2025-04-17 03:03:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-17 03:12:25 +0200 | wlhn | (~wlhn@2001-14ba-4e20-21f0-b172-6fd9-faec-6e08.rev.dnainternet.fi) (Quit: Leaving) |
| 2025-04-17 03:16:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 03:23:28 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds) |
| 2025-04-17 03:24:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-17 03:31:34 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-04-17 03:32:49 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-04-17 03:36:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 03:37:17 +0200 | califax_ | (~califax@user/califx) califx |
| 2025-04-17 03:38:52 +0200 | xdej | (~xdej@quatramaran.salle-s.org) (Ping timeout: 276 seconds) |
| 2025-04-17 03:39:12 +0200 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2025-04-17 03:39:12 +0200 | califax_ | califax |
| 2025-04-17 03:39:25 +0200 | lyxia | (~lyxia@poisson.chat) (Ping timeout: 265 seconds) |
| 2025-04-17 03:40:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-17 03:41:06 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2025-04-17 03:44:57 +0200 | haritz | (~hrtz@152.37.68.178) |
| 2025-04-17 03:44:57 +0200 | haritz | (~hrtz@152.37.68.178) (Changing host) |
| 2025-04-17 03:44:57 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-04-17 03:45:26 +0200 | xdej | (~xdej@quatramaran.salle-s.org) |
| 2025-04-17 03:46:02 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-04-17 03:53:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 03:58:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-17 04:01:53 +0200 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-04-17 04:01:57 +0200 | inca | (~inca@71.30.233.213) |
| 2025-04-17 04:02:45 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2025-04-17 04:03:14 +0200 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-04-17 04:06:13 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 248 seconds) |
| 2025-04-17 04:06:16 +0200 | peterbecich | (~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 +0200 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-04-17 04:08:06 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-04-17 04:08:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 04:10:26 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-04-17 04:12:22 +0200 | lyxia | (~lyxia@poisson.chat) |
| 2025-04-17 04:13:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-17 04:15:11 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-04-17 04:15:13 +0200 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-04-17 04:15:30 +0200 | kimiamania99 | (~65804703@user/kimiamania) kimiamania |
| 2025-04-17 04:15:50 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds) |
| 2025-04-17 04:16:38 +0200 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-04-17 04:17:25 +0200 | haetsal | (~quassel@221.138.168.192) (Ping timeout: 248 seconds) |
| 2025-04-17 04:17:53 +0200 | kimiamania9 | (~65804703@user/kimiamania) (Ping timeout: 276 seconds) |
| 2025-04-17 04:17:53 +0200 | kimiamania99 | kimiamania9 |
| 2025-04-17 04:17:54 +0200 | haetsal | (~quassel@221.138.168.192) |
| 2025-04-17 04:18:37 +0200 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-04-17 04:19:24 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-04-17 04:21:57 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2025-04-17 04:25:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 04:27:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-04-17 04:29:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-17 04:30:14 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-04-17 04:30:45 +0200 | td_ | (~td@i53870938.versanet.de) (Ping timeout: 248 seconds) |
| 2025-04-17 04:32:22 +0200 | td_ | (~td@i53870930.versanet.de) td_ |
| 2025-04-17 04:41:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 04:43:22 +0200 | Square | (~Square@user/square) Square |
| 2025-04-17 04:44:44 +0200 | Square2 | (~Square4@user/square) Square |
| 2025-04-17 04:47:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-17 04:59:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 05:07:21 +0200 | merijn | (~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 +0200 | inca | (~inca@71.30.233.213) |
| 2025-04-17 05:19:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 05:23:21 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 272 seconds) |
| 2025-04-17 05:24:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-17 05:35:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 05:36:10 +0200 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 252 seconds) |
| 2025-04-17 05:40:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-17 05:51:40 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-04-17 05:51:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 05:56:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-17 06:01:16 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2025-04-17 06:03:04 +0200 | troydm | (~troydm@user/troydm) troydm |
| 2025-04-17 06:04:58 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-17 06:08:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 06:09:44 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
| 2025-04-17 06:10:02 +0200 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-04-17 06:11:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-17 06:13:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-17 06:16:49 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-04-17 06:19:25 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-17 06:20:04 +0200 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2025-04-17 06:23:50 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds) |
| 2025-04-17 06:24:15 +0200 | michalz | (~michalz@185.246.207.217) |
| 2025-04-17 06:24:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 06:29:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-17 06:40:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 06:44:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-04-17 06:44:46 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2025-04-17 06:45:08 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-04-17 06:45:17 +0200 | euleritian | (~euleritia@176.2.189.1) |
| 2025-04-17 06:48:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-17 06:52:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-17 06:58:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 07:03:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-17 07:05:08 +0200 | amadaluzia | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 07:19:25 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-04-17 07:20:25 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-17 07:20:30 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-17 07:20:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-17 07:21:47 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-04-17 07:25:05 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 248 seconds) |
| 2025-04-17 07:30:43 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-17 07:31:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 07:36:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-17 07:39:22 +0200 | inca | (~inca@71.30.233.213) |
| 2025-04-17 07:43:41 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 2025-04-17 07:44:50 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-04-17 07:48:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 07:52:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-17 07:58:09 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 260 seconds) |
| 2025-04-17 07:59:35 +0200 | tavare | (~tavare@150.129.88.189) |
| 2025-04-17 07:59:35 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-04-17 07:59:35 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-04-17 08:03:28 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-04-17 08:04:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 08:08:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-17 08:19:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 08:21:25 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-17 08:25:38 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 2025-04-17 08:26:11 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.5.1) |
| 2025-04-17 08:27:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-17 08:27:32 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-04-17 08:27:53 +0200 | acidjnk | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 08:41:46 +0200 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
| 2025-04-17 08:42:14 +0200 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2025-04-17 08:42:51 +0200 | xal | (~xal@mx1.xal.systems) xal |
| 2025-04-17 08:43:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-17 08:44:51 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-04-17 08:45:34 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-04-17 08:49:23 +0200 | euleritian | (~euleritia@176.2.189.1) (Read error: Connection reset by peer) |
| 2025-04-17 08:49:41 +0200 | euleritian | (~euleritia@37.4.249.220) |
| 2025-04-17 08:51:15 +0200 | crabtastic | (uid695166@id-695166.lymington.irccloud.com) |
| 2025-04-17 08:55:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 08:56:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c0e6:9a43:de22:8c0a) |
| 2025-04-17 08:59:11 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-04-17 08:59:23 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-04-17 09:00:02 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-17 09:00:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-17 09:01:00 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-17 09:01:07 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-04-17 09:05:25 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-04-17 09:05:25 +0200 | jmcantrell_ | jmcantrell |
| 2025-04-17 09:06:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-04-17 09:13:24 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp |
| 2025-04-17 09:13:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 09:18:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-17 09:19:03 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-04-17 09:19:29 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-04-17 09:20:21 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-04-17 09:20:52 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-04-17 09:30:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 09:33:18 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Quit: fp) |
| 2025-04-17 09:35:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-17 09:38:23 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-04-17 09:43:08 +0200 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-04-17 09:43:11 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-04-17 09:45:01 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-04-17 09:48:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 09:48:33 +0200 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 248 seconds) |
| 2025-04-17 09:51:18 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-04-17 09:53:04 +0200 | merijn | (~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 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-04-17 09:55:38 +0200 | gmg | (~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 +0200 | fp | (~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 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-04-17 10:05:39 +0200 | merijn | (~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 +0200 | merijn | (~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 +0200 | merijn | (~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 +0200 | tzh | (~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 +0200 | forell | (~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 +0200 | merijn | (~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 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-17 10:27:44 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 2025-04-17 10:32:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 10:37:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-17 10:39:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 10:43:35 +0200 | bitterx | (~bitterx@APN-122-12-44-gprs.simobil.net) |
| 2025-04-17 10:43:52 +0200 | bitterx | (~bitterx@APN-122-12-44-gprs.simobil.net) (Changing host) |
| 2025-04-17 10:43:52 +0200 | bitterx | (~bitterx@user/bitterx) bitterx |
| 2025-04-17 10:44:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-17 10:45:31 +0200 | XZDX | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 10:57:17 +0200 | LainIwakura | (~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 +0200 | merijn | (~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 +0200 | merijn | (~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 +0200 | merijn | (~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 +0200 | mceresa | (~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 +0200 | mceresa | (~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 +0200 | Googulator82 | (~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-17 11:22:46 +0200 | merijn | (~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 +0200 | Googulator82 | (~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) |
| 2025-04-17 11:27:04 +0200 | merijn | (~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 +0200 | j1n37 | (~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 +0200 | j1n37 | (~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 +0200 | merijn | (~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 +0200 | chele | (~chele@user/chele) chele |
| 2025-04-17 11:48:04 +0200 | merijn | (~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 +0200 | inca | (~inca@71.30.233.213) |
| 2025-04-17 12:00:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 12:01:29 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-17 12:02:42 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-04-17 12:02:50 +0200 | bitterx | (~bitterx@user/bitterx) (Read error: Connection reset by peer) |
| 2025-04-17 12:04:23 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 2025-04-17 12:04:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-17 12:06:39 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-04-17 12:06:46 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-04-17 12:07:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-17 12:07:54 +0200 | tuxillo | (~Thunderbi@131.pool85-57-245.dynamic.orange.es) (Ping timeout: 276 seconds) |
| 2025-04-17 12:08:05 +0200 | tuxillo | (~Thunderbi@131.pool85-57-245.dynamic.orange.es) tuxillo |
| 2025-04-17 12:08:24 +0200 | hidjgr | (~hidjgr@user/hidjgr) (Quit: WeeChat 4.4.2) |
| 2025-04-17 12:08:45 +0200 | hidjgr | (~hidjgr@68.52.120.78.rev.sfr.net) |
| 2025-04-17 12:08:46 +0200 | hidjgr | (~hidjgr@68.52.120.78.rev.sfr.net) (Changing host) |
| 2025-04-17 12:08:46 +0200 | hidjgr | (~hidjgr@user/hidjgr) hidjgr |
| 2025-04-17 12:12:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-17 12:12:53 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |