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