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 |