| 2025-07-27 00:05:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 00:06:20 +0000 | cowboy8625 | (~cowboy@23.92.1.129) |
| 2025-07-27 00:06:56 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 00:09:28 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 00:11:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-27 00:21:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 00:23:37 +0000 | trickard_ | trickard |
| 2025-07-27 00:25:26 +0000 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
| 2025-07-27 00:26:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 00:37:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 00:41:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 00:46:59 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-07-27 00:49:51 +0000 | cowboy8625 | (~cowboy@23.92.1.129) (Quit: WeeChat 3.5) |
| 2025-07-27 00:51:36 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 00:52:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 00:58:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 01:10:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 01:13:05 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-07-27 01:14:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 01:16:58 +0000 | phma | (~phma@host-67-44-208-80.hnremote.net) (Read error: Connection reset by peer) |
| 2025-07-27 01:18:06 +0000 | phma | (~phma@2001:5b0:210d:dd28:1500:e6:95ce:ca1b) |
| 2025-07-27 01:19:15 +0000 | trickard_ | trickard |
| 2025-07-27 01:22:26 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 01:22:46 +0000 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-07-27 01:26:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 01:28:46 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-07-27 01:31:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 01:41:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 01:45:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 01:55:13 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-07-27 01:57:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 02:02:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 02:05:02 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-07-27 02:05:37 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-07-27 02:09:04 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 02:09:17 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 02:12:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 02:16:42 +0000 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-27 02:16:59 +0000 | tavare | (~tavare@user/tavare) tavare |
| 2025-07-27 02:17:08 +0000 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-07-27 02:17:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 02:19:29 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-27 02:23:04 +0000 | Square | (~Square4@user/square) Square |
| 2025-07-27 02:25:58 +0000 | Square2 | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-07-27 02:27:56 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 02:28:09 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 02:28:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 02:33:16 +0000 | califax | (~califax@user/califx) califx |
| 2025-07-27 02:33:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 02:35:02 +0000 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-27 02:35:38 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-27 02:38:36 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 02:38:59 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 02:44:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 02:45:32 +0000 | jackdk | (uid373013@cssa/life/jackdk) jackdk |
| 2025-07-27 02:49:50 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-27 02:50:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-27 03:01:06 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-27 03:02:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 03:03:03 +0000 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
| 2025-07-27 03:07:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-27 03:17:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 03:21:18 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-27 03:22:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-27 03:25:59 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-07-27 03:32:56 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 03:33:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 03:37:02 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-07-27 03:37:22 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-27 03:37:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 03:48:44 +0000 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2025-07-27 03:48:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 03:50:21 +0000 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-07-27 03:53:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-27 03:55:53 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-27 04:00:39 +0000 | sp1ff`` | (~user@c-67-160-173-55.hsd1.wa.comcast.net) |
| 2025-07-27 04:02:42 +0000 | sp1ff` | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 276 seconds) |
| 2025-07-27 04:04:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 04:07:15 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-27 04:09:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-27 04:20:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 04:20:15 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-27 04:26:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 04:38:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 04:42:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 04:42:48 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-07-27 04:43:24 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-27 04:48:43 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) |
| 2025-07-27 04:48:48 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) (Client Quit) |
| 2025-07-27 04:51:54 +0000 | trickard_ | trickard |
| 2025-07-27 04:53:58 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-07-27 04:58:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 05:03:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 05:09:46 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-07-27 05:10:14 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-27 05:14:15 +0000 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-07-27 05:14:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 05:15:05 +0000 | <Axman6> | @hoogle Double -> Float |
| 2025-07-27 05:15:05 +0000 | <lambdabot> | GHC.Float double2Float :: Double -> Float |
| 2025-07-27 05:15:05 +0000 | <lambdabot> | Extra doubleToFloat :: Double -> Float |
| 2025-07-27 05:15:05 +0000 | <lambdabot> | Numeric.Extra doubleToFloat :: Double -> Float |
| 2025-07-27 05:17:37 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-07-27 05:17:59 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 05:19:20 +0000 | <monochrom> | realToFrac |
| 2025-07-27 05:20:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 05:23:29 +0000 | <probie> | > sqrt (-1) :: Float |
| 2025-07-27 05:23:30 +0000 | <lambdabot> | NaN |
| 2025-07-27 05:23:45 +0000 | <probie> | > realToFrac (sqrt (-1) :: Double) :: Float |
| 2025-07-27 05:23:46 +0000 | <lambdabot> | -Infinity |
| 2025-07-27 05:25:05 +0000 | <probie> | > [realToFrac ((-0) :: Double) :: Float, -0] |
| 2025-07-27 05:25:07 +0000 | <lambdabot> | [0.0,-0.0] |
| 2025-07-27 05:30:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 05:34:42 +0000 | trickard_ | trickard |
| 2025-07-27 05:34:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 05:38:31 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 05:38:45 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 05:43:50 +0000 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-07-27 05:45:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 05:46:07 +0000 | Square2 | (~Square@user/square) Square |
| 2025-07-27 05:48:18 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2025-07-27 05:49:29 +0000 | inline | (~inline@ip-005-146-196-034.um05.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2025-07-27 05:49:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 05:49:58 +0000 | Square | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-07-27 05:53:19 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 05:53:33 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 06:06:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 06:11:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-27 06:18:58 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-27 06:22:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 06:27:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 06:37:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 06:41:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 06:42:38 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-07-27 06:46:14 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) |
| 2025-07-27 06:52:46 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-07-27 06:53:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 06:54:53 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 06:55:06 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 06:57:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 07:00:01 +0000 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-27 07:00:41 +0000 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-27 07:07:25 +0000 | dhil | (~dhil@5.151.29.139) dhil |
| 2025-07-27 07:08:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 07:14:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-27 07:16:54 +0000 | trickard__ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 07:17:30 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-07-27 07:26:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 07:31:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 07:34:58 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2025-07-27 07:40:24 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-07-27 07:40:39 +0000 | trickard__ | trickard |
| 2025-07-27 07:42:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 07:46:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 07:52:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 07:55:09 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-27 07:56:29 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-27 07:57:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 07:59:45 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) |
| 2025-07-27 08:06:07 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2025-07-27 08:06:17 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-07-27 08:07:45 +0000 | dhil | (~dhil@5.151.29.139) (Ping timeout: 276 seconds) |
| 2025-07-27 08:07:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 08:10:19 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-27 08:12:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 08:19:15 +0000 | yegor | (~yegor@user/yegorc) (Excess Flood) |
| 2025-07-27 08:19:44 +0000 | yegor | (~yegor@user/yegorc) yegorc |
| 2025-07-27 08:23:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 08:27:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-27 08:27:31 +0000 | acidjnk | (~acidjnk@p200300d6e70b6641f5079f6a9f0d0688.dip0.t-ipconnect.de) acidjnk |
| 2025-07-27 08:38:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 08:43:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 08:45:02 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-07-27 08:45:38 +0000 | sprotte24 | (~sprotte24@p200300d16f1c280005dc591be03e00f3.dip0.t-ipconnect.de) |
| 2025-07-27 08:53:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 08:58:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 09:09:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 09:14:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 09:25:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 09:27:21 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-07-27 09:30:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 09:39:00 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) |
| 2025-07-27 09:40:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 09:40:59 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 09:41:12 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 09:44:14 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 09:45:05 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 09:45:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 09:51:28 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 09:54:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 09:54:25 +0000 | dumptruckman | (~dumptruck@66-175-211-75.ip.linodeusercontent.com) (Ping timeout: 248 seconds) |
| 2025-07-27 09:54:55 +0000 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 276 seconds) |
| 2025-07-27 10:01:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 10:02:37 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-07-27 10:03:52 +0000 | sprotte24 | (~sprotte24@p200300d16f1c280005dc591be03e00f3.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-07-27 10:11:07 +0000 | jackdk | (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
| 2025-07-27 10:14:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 10:18:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-27 10:19:42 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-27 10:19:44 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-07-27 10:22:32 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-07-27 10:24:10 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-27 10:30:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 10:31:51 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-07-27 10:34:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 10:42:28 +0000 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 245 seconds) |
| 2025-07-27 10:45:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 10:49:34 +0000 | tureba | (~tureba@tureba.org) (Ping timeout: 260 seconds) |
| 2025-07-27 10:50:28 +0000 | trickard_ | trickard |
| 2025-07-27 10:50:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 10:54:10 +0000 | <lxsameer> | hey folks, I defined a typeclass A and type B in the same module, when i try to instanciate class A for type B, ghc reports back and error saying that method 'foo' of typeclass A is not a visible method of class A. any idea why? |
| 2025-07-27 10:56:21 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-27 10:58:22 +0000 | <Leary> | lxsameer: Presumably, what it says. Either `foo` isn't visible (in scope where you declare the instance) or isn't a method of `A`. |
| 2025-07-27 11:01:09 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-27 11:01:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 11:02:09 +0000 | <lxsameer> | Apparently, I'm blind, I struggled with this for an hour, and at the end, it was a typo |
| 2025-07-27 11:02:12 +0000 | <lxsameer> | sorry about that |
| 2025-07-27 11:03:24 +0000 | bramh | (~bramh@user/bramh) (Quit: Ping timeout (120 seconds)) |
| 2025-07-27 11:03:36 +0000 | bramh | (~bramh@user/bramh) bramh |
| 2025-07-27 11:05:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-27 11:06:58 +0000 | jespada | (~jespada@2800:a4:2202:8500:b4de:f080:b655:a33c) (Ping timeout: 248 seconds) |
| 2025-07-27 11:09:43 +0000 | jespada | (~jespada@2800:a4:2217:a700:b07d:130b:9052:aae1) jespada |
| 2025-07-27 11:09:58 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 240 seconds) |
| 2025-07-27 11:10:09 +0000 | reb0und | (~reb0und@c-67-180-190-84.hsd1.ca.comcast.net) |
| 2025-07-27 11:16:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 11:18:58 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-07-27 11:19:04 +0000 | qqe | (~qqq@185.54.23.14) |
| 2025-07-27 11:19:37 +0000 | reb0und | (~reb0und@c-67-180-190-84.hsd1.ca.comcast.net) (Quit: reb0und) |
| 2025-07-27 11:19:49 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-07-27 11:20:16 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-07-27 11:21:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-27 11:26:58 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-07-27 11:29:07 +0000 | sprotte24 | (~sprotte24@p200300d16f1c280005dc591be03e00f3.dip0.t-ipconnect.de) |
| 2025-07-27 11:32:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 11:35:41 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-07-27 11:37:14 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-07-27 11:37:36 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 11:37:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 11:40:59 +0000 | axeman | (~quassel@2a02:908:5c3:ad80:6ba4:5ad2:a240:fa7e) axeman |
| 2025-07-27 11:42:23 +0000 | ethereal_ | (~ethereal@user/ethereal-:30935) ethereal_ |
| 2025-07-27 11:45:38 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 11:47:03 +0000 | <[exa]> | is there some convenient operator (or syntax idea or so) that could remove the "pure" from applicative calls like: f <$> arg1 <*> arg2 <*> pure pureArg3 <*> arg4 |
| 2025-07-27 11:47:50 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 11:47:51 +0000 | <ethereal_> | what? 0_0 |
| 2025-07-27 11:48:14 +0000 | <[exa]> | like, I'm nitpicking for sure |
| 2025-07-27 11:48:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 11:48:41 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 11:48:42 +0000 | <[exa]> | but I have a lot of such mixed calls here and didn't find anything obvious so I thought I'd ask |
| 2025-07-27 11:49:56 +0000 | axeman | (~quassel@2a02:908:5c3:ad80:6ba4:5ad2:a240:fa7e) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-07-27 11:50:18 +0000 | <Leary> | @hoogle Functor f => f (a -> b) -> a -> f b |
| 2025-07-27 11:50:19 +0000 | <lambdabot> | Control.Lens.Lens (??) :: Functor f => f (a -> b) -> a -> f b |
| 2025-07-27 11:50:19 +0000 | <lambdabot> | Control.Lens.Operators (??) :: Functor f => f (a -> b) -> a -> f b |
| 2025-07-27 11:50:19 +0000 | <lambdabot> | Diagrams.Prelude (??) :: Functor f => f (a -> b) -> a -> f b |
| 2025-07-27 11:51:09 +0000 | <[exa]> | oh stupid me, I was hoogling it with :: instead of =>....... |
| 2025-07-27 11:51:17 +0000 | <[exa]> | Leary: thanks! |
| 2025-07-27 11:52:27 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-27 11:53:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 11:53:36 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-27 11:55:09 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 12:00:17 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-07-27 12:04:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 12:06:04 +0000 | ethereal_ | (~ethereal@user/ethereal-:30935) (Ping timeout: 252 seconds) |
| 2025-07-27 12:06:10 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-07-27 12:08:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 12:16:29 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 12:16:43 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 12:17:33 +0000 | trickard_ | trickard |
| 2025-07-27 12:19:30 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 12:19:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 12:24:08 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-27 12:24:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 12:34:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 12:41:16 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-07-27 12:41:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 12:47:18 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 12:52:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 12:53:59 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 2025-07-27 12:54:18 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-27 12:54:30 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-27 12:55:03 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-27 12:57:51 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-27 13:00:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 13:01:06 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-07-27 13:01:45 +0000 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2025-07-27 13:06:01 +0000 | dumptruckman | (~dumptruck@66-175-211-75.ip.linodeusercontent.com) |
| 2025-07-27 13:06:12 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 13:06:26 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 13:11:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 13:13:01 +0000 | ethereal_ | (~ethereal@user/ethereal-:30935) ethereal_ |
| 2025-07-27 13:13:09 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 13:14:06 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2025-07-27 13:16:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-27 13:17:14 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 13:20:23 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-27 13:22:20 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-07-27 13:23:34 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-07-27 13:23:35 +0000 | ljdarj1 | ljdarj |
| 2025-07-27 13:27:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 13:31:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 13:33:31 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-07-27 13:33:34 +0000 | ethereal_ | (~ethereal@user/ethereal-:30935) (Quit: leaving) |
| 2025-07-27 13:37:01 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-07-27 13:38:06 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-27 13:40:20 +0000 | trickard_ | trickard |
| 2025-07-27 13:41:41 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-27 13:42:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 13:45:12 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-07-27 13:45:13 +0000 | ljdarj1 | ljdarj |
| 2025-07-27 13:46:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 13:50:08 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 13:50:21 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 13:57:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 14:02:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-27 14:09:57 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-07-27 14:13:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 14:18:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 14:21:44 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-07-27 14:28:27 +0000 | jjanzen | (~user@user/jjanzen) jjanzen |
| 2025-07-27 14:29:01 +0000 | jjanzen | (~user@user/jjanzen) (Remote host closed the connection) |
| 2025-07-27 14:29:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 14:32:52 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 14:33:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 14:42:53 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-27 14:44:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 14:49:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 14:51:05 +0000 | ethereal_ | (~ethereal@user/ethereal-:30935) ethereal_ |
| 2025-07-27 14:52:17 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-07-27 14:52:17 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-07-27 14:52:17 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-07-27 14:53:46 +0000 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-07-27 14:55:54 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-27 14:57:18 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-07-27 14:57:45 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 15:00:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 15:00:48 +0000 | <drlkf> | ~ |
| 2025-07-27 15:02:27 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 276 seconds) |
| 2025-07-27 15:05:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 15:05:55 +0000 | f-a | (ff2a@joined.irc.for-some.fun) f-a |
| 2025-07-27 15:07:32 +0000 | <f-a> | Do we have bitstrings in Haskell? I am trying to implement this https://www.gnu.org/software/gnubg/manual/html_node/A-technical-description-of-the-Position-ID.html and it is a bit clunky with Data.Bits. I would prefer to concatenate bits, like a string. |
| 2025-07-27 15:11:54 +0000 | <Leary> | f-a: Try the 'bitstring' package? I haven't used it before, but I did have success with 'bitarray' from the same author. |
| 2025-07-27 15:12:47 +0000 | <f-a> | thanks. It is bitrot, but I can get it up in shape, I think |
| 2025-07-27 15:14:02 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 15:15:02 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-07-27 15:15:31 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-27 15:15:34 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-07-27 15:15:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 15:20:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 15:23:15 +0000 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
| 2025-07-27 15:23:43 +0000 | <EvanR> | f-a, list of data Bit = O | I |
| 2025-07-27 15:23:50 +0000 | <EvanR> | enjoy |
| 2025-07-27 15:24:01 +0000 | <f-a> | EvanR: that is what I was doing :P But I guess it has been done many times |
| 2025-07-27 15:24:31 +0000 | <EvanR> | it's pretty nice, if you don't care about memory |
| 2025-07-27 15:24:50 +0000 | <EvanR> | the overhead is egregious |
| 2025-07-27 15:26:36 +0000 | jjanzen | (~user@user/jjanzen) jjanzen |
| 2025-07-27 15:29:48 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-07-27 15:30:29 +0000 | <lxsameer> | is there any typeclass for composibility of values of a data type? |
| 2025-07-27 15:31:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 15:37:39 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 15:37:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-27 15:39:54 +0000 | jjanzen | (~user@user/jjanzen) (Ping timeout: 260 seconds) |
| 2025-07-27 15:42:12 +0000 | <geekosaur> | what's "composability" here? I mean, Semigroup would qualify at first thought |
| 2025-07-27 15:43:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 15:45:54 +0000 | michalz | (~michalz@185.246.207.221) |
| 2025-07-27 15:46:10 +0000 | tureba | (~tureba@tureba.org) tureba |
| 2025-07-27 15:48:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 15:51:59 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-27 15:52:07 +0000 | <Leary> | Yeah; `Semigroup`, `Monoid`, `Category`, `Applicative`, `Monad`, ... |
| 2025-07-27 15:54:26 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-07-27 15:56:56 +0000 | <mauke> | magma |
| 2025-07-27 15:58:26 +0000 | <EvanR> | a typeclass for flobnostication of values of the same type |
| 2025-07-27 15:58:43 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-27 15:58:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 15:59:09 +0000 | <EvanR> | Semigroupoid if you're nasty |
| 2025-07-27 16:00:09 +0000 | <Lycurgus> | r u Ms. Jackson? |
| 2025-07-27 16:01:10 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 16:03:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 16:11:30 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-27 16:12:00 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-27 16:14:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 16:18:53 +0000 | ethereal_ | (~ethereal@user/ethereal-:30935) (Quit: leaving) |
| 2025-07-27 16:19:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-27 16:24:08 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 2025-07-27 16:26:55 +0000 | LainIwakura50 | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-07-27 16:28:09 +0000 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
| 2025-07-27 16:29:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 16:31:11 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 16:31:24 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 16:34:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 16:35:43 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-27 16:41:27 +0000 | jjanzen | (~user@user/jjanzen) jjanzen |
| 2025-07-27 16:42:03 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 2025-07-27 16:42:22 +0000 | sprotte24 | (~sprotte24@p200300d16f1c280005dc591be03e00f3.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-07-27 16:45:08 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-07-27 16:45:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 16:47:41 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-07-27 16:48:50 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-27 16:50:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 16:59:45 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-27 17:01:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 17:05:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 17:07:08 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-27 17:09:07 +0000 | acidjnk | (~acidjnk@p200300d6e70b6641f5079f6a9f0d0688.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-07-27 17:16:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 17:16:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-27 17:18:47 +0000 | visilii | (~visilii@213.24.127.253) |
| 2025-07-27 17:20:57 +0000 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 252 seconds) |
| 2025-07-27 17:21:24 +0000 | visilii_ | (~visilii@213.24.126.48) (Ping timeout: 252 seconds) |
| 2025-07-27 17:21:26 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-07-27 17:21:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 17:25:49 +0000 | hseg | (~gesh@46.120.20.122) hseg |
| 2025-07-27 17:27:47 +0000 | <hseg> | sanity-checking a feature request I'm making for another package manager -- given A depending on B>=b, B==b depending on C>=c, if you somehow accidentally manage to install B=b, C<c, will either cabal or stack notice that the transitive dependency is broken when generating their build plan? |
| 2025-07-27 17:28:13 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-27 17:28:49 +0000 | <geekosaur> | both will reject the installed versions while generating the build plan and build appropriate versions |
| 2025-07-27 17:29:42 +0000 | <hseg> | excellent, thanks |
| 2025-07-27 17:30:09 +0000 | <hseg> | (just discovered python's setuptools doesn't do this, and in fact is entirely silent) |
| 2025-07-27 17:30:36 +0000 | <hseg> | (which given it's so popular, means that a certain packaging issue has gotten much less pressure than it should've) |
| 2025-07-27 17:30:39 +0000 | <geekosaur> | right, they don't have a full constraint-solving installation plan generator |
| 2025-07-27 17:30:54 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-27 17:32:01 +0000 | <geekosaur> | note that a full implementation of this requires management of a package store like cabal and stack do, whereas python only has sandboxes |
| 2025-07-27 17:32:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 17:33:50 +0000 | <geekosaur> | sandboxes really give you only one version of a package installed within it, cabal and stack can both handle multiple and expose the correct versions to the projects that need them |
| 2025-07-27 17:36:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 17:37:26 +0000 | <hseg> | Right... which exposes the fact that since they don't really do multi-versioned installs, they expect an invariant of the form "if it installed, it's sane"? |
| 2025-07-27 17:38:35 +0000 | <geekosaur> | correct |
| 2025-07-27 17:38:44 +0000 | <geekosaur> | this is also why cabal sandboxes went away |
| 2025-07-27 17:39:14 +0000 | <geekosaur> | it's the sandbox mechanic that imposes that requirement, multiple version management requires a more complex mechanic |
| 2025-07-27 17:39:39 +0000 | <hseg> | but otoh, once you have it, it obsoletes the need for sandboxes? |
| 2025-07-27 17:43:30 +0000 | <geekosaur> | sometimes you still want something sandbox-ish. but sandboxes are just a localized version of "one version installed system-wide", so you still have the "one version installed" problem |
| 2025-07-27 17:44:43 +0000 | <geekosaur> | I had a discussion elsewhere with someone who insisted that we should switch to sandboxes because full package management makes quick experimentation difficult, but I don't think anyone has discovered something that both simplifies that and avoids the "must manage there being only a single version of a package visible" issue |
| 2025-07-27 17:46:04 +0000 | alhazrod | (uid662262@user/alhazrod) alhazrod |
| 2025-07-27 17:47:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 17:52:28 +0000 | <[exa]> | hseg: for pythons this might actually be a feature required by the ecosystem (eg for conda), so good luck there :) if you see any success please share |
| 2025-07-27 17:52:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 17:56:45 +0000 | <hseg> | OK, will do |
| 2025-07-27 18:03:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 18:04:40 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-07-27 18:06:39 +0000 | <monochrom> | IMO I don't describe cabal-v2 as full management, I describe it as sandbox with CSE. |
| 2025-07-27 18:07:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 18:08:36 +0000 | <monochrom> | or s/CSE/flyweight/ if you don't know CSE but you know the flyweight design pattern. |
| 2025-07-27 18:09:36 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2025-07-27 18:10:20 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-07-27 18:18:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 18:24:06 +0000 | <EvanR> | to make quick experimentation easy regardless of environment setup |
| 2025-07-27 18:24:40 +0000 | <EvanR> | write the "quick experimentation" script which puts you in the holodeck program ready to do the experiment, then put that in your PATH |
| 2025-07-27 18:25:21 +0000 | <EvanR> | "quickly write that script" not included, nor "save that script each time I reinstall my linux distro" |
| 2025-07-27 18:25:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-27 18:27:30 +0000 | [exa] | yet has to see an experiment that went quick |
| 2025-07-27 18:28:04 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-07-27 18:30:40 +0000 | turlando | (~turlando@user/turlando) turlando |
| 2025-07-27 18:30:49 +0000 | turlando_ | (~turlando@user/turlando) (Ping timeout: 260 seconds) |
| 2025-07-27 18:31:59 +0000 | <geekosaur> | neither have I, which is why I distrust "just use a sandbox" because you almost always in my experience end up changing versions of dependencies and then you're stuck |
| 2025-07-27 18:34:22 +0000 | <hseg> | [exa]: btw, I reported this as https://github.com/pypa/setuptools/issues/5054 |
| 2025-07-27 18:36:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 18:41:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 18:41:58 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 240 seconds) |
| 2025-07-27 18:47:28 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds) |
| 2025-07-27 18:50:28 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-27 18:50:29 +0000 | Square2 | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-07-27 18:52:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 18:52:25 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-07-27 18:54:13 +0000 | acidjnk | (~acidjnk@p200300d6e70b6692a4921e45644e17d7.dip0.t-ipconnect.de) acidjnk |
| 2025-07-27 18:56:51 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) |
| 2025-07-27 18:56:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 19:00:03 +0000 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-27 19:00:04 +0000 | jjanzen | (~user@user/jjanzen) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
| 2025-07-27 19:00:44 +0000 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-27 19:03:45 +0000 | hseg | (~gesh@46.120.20.122) (Ping timeout: 248 seconds) |
| 2025-07-27 19:07:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 19:08:23 +0000 | LainIwakura50 | (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
| 2025-07-27 19:11:38 +0000 | sprotte24 | (~sprotte24@p200300d16f1c2800a4c46ead6c309f0b.dip0.t-ipconnect.de) |
| 2025-07-27 19:12:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-27 19:21:16 +0000 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-07-27 19:21:24 +0000 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2025-07-27 19:23:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 19:27:18 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 19:28:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-27 19:36:49 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-07-27 19:38:22 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 19:39:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 19:39:39 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-07-27 19:43:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 19:47:27 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-27 19:49:27 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-07-27 19:54:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 19:57:35 +0000 | PineOvercoat34 | (~PineOverc@2401:4900:882f:356d:4039:f6cb:8f4:343c) |
| 2025-07-27 19:59:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 20:05:14 +0000 | Square2 | (~Square@user/square) Square |
| 2025-07-27 20:08:33 +0000 | PineOvercoat34 | (~PineOverc@2401:4900:882f:356d:4039:f6cb:8f4:343c) () |
| 2025-07-27 20:09:49 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 2025-07-27 20:10:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 20:11:38 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-07-27 20:14:01 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-07-27 20:14:45 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-27 20:14:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-27 20:25:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 20:27:46 +0000 | dhil | (~dhil@5.151.29.138) dhil |
| 2025-07-27 20:30:20 +0000 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-27 20:30:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-27 20:31:04 +0000 | dhil | (~dhil@5.151.29.138) (Client Quit) |
| 2025-07-27 20:32:07 +0000 | AVA | (~AVA@213.230.82.75) |
| 2025-07-27 20:32:09 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-07-27 20:32:13 +0000 | humasect_ | humasect |
| 2025-07-27 20:33:46 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2025-07-27 20:36:58 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 240 seconds) |
| 2025-07-27 20:41:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 20:45:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-27 20:50:12 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-27 20:54:45 +0000 | AVA | (~AVA@213.230.82.75) (Quit: Leaving) |
| 2025-07-27 20:55:17 +0000 | AVA | (~AVA@213.230.82.75) |
| 2025-07-27 20:56:15 +0000 | AVA | (~AVA@213.230.82.75) (Max SendQ exceeded) |
| 2025-07-27 20:56:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 20:56:59 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-27 21:03:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 21:06:01 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-27 21:09:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 21:14:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 21:20:01 +0000 | VictorHugenay | (~VictorHug@user/VictorHugenay) VictorHugenay |
| 2025-07-27 21:20:29 +0000 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-07-27 21:25:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 21:26:34 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-27 21:29:16 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-07-27 21:29:34 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-07-27 21:29:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 21:30:51 +0000 | VictorHugenay | (~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!) |
| 2025-07-27 21:31:07 +0000 | Feuermagier | Guest5061 |
| 2025-07-27 21:31:07 +0000 | Feuermagier_ | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-07-27 21:31:08 +0000 | Guest5061 | (~Feuermagi@user/feuermagier) (Killed (copper.libera.chat (Nickname regained by services))) |
| 2025-07-27 21:31:08 +0000 | Feuermagier_ | Feuermagier |
| 2025-07-27 21:33:11 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Client Quit) |
| 2025-07-27 21:35:51 +0000 | VictorHugenay | (~VictorHug@user/VictorHugenay) VictorHugenay |
| 2025-07-27 21:40:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 21:44:07 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-27 21:45:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 21:46:09 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-27 21:50:15 +0000 | trickard_ | trickard |
| 2025-07-27 21:53:51 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-07-27 21:55:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 22:01:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 22:03:39 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2025-07-27 22:04:09 +0000 | VictorHugenay | (~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!) |
| 2025-07-27 22:11:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 22:12:49 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 22:13:03 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 22:15:39 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) (Remote host closed the connection) |
| 2025-07-27 22:16:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 22:16:48 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-07-27 22:25:24 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-07-27 22:25:25 +0000 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-27 22:25:34 +0000 | sprotte24 | (~sprotte24@p200300d16f1c2800a4c46ead6c309f0b.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-07-27 22:27:03 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2025-07-27 22:27:15 +0000 | xff0x_ | (~xff0x@2405:6580:b080:900:ff32:5dd2:60a2:c4df) |
| 2025-07-27 22:27:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 22:28:39 +0000 | xff0x | (~xff0x@2405:6580:b080:900:70b3:c113:bfb8:1e1b) (Ping timeout: 252 seconds) |
| 2025-07-27 22:28:44 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-27 22:30:14 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-07-27 22:30:16 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-27 22:32:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-27 22:33:21 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-07-27 22:33:50 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 22:34:39 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-07-27 22:43:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 22:44:17 +0000 | xff0x_ | (~xff0x@2405:6580:b080:900:ff32:5dd2:60a2:c4df) (Quit: xff0x_) |
| 2025-07-27 22:45:17 +0000 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2025-07-27 22:45:48 +0000 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-07-27 22:48:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 22:52:50 +0000 | <byorgey> | Axman6: Cool, glad you enjoyed my ZuriHac talk. Yes, it is odd to see the face of someone you've known online for a while. =) |
| 2025-07-27 22:53:30 +0000 | <byorgey> | Axman6: I did post a solution to the last problem in a blog post: https://byorgey.github.io/blog/posts/2025/06/10/comprog-hs-intro.html |
| 2025-07-27 22:55:39 +0000 | alhazrod | (uid662262@user/alhazrod) (Quit: Connection closed for inactivity) |
| 2025-07-27 22:58:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 23:03:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 23:13:30 +0000 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) jmorris |
| 2025-07-27 23:14:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 23:16:01 +0000 | xff0x | (~xff0x@2405:6580:b080:900:3967:7ad2:29cb:37c1) |
| 2025-07-27 23:17:17 +0000 | jespada | (~jespada@2800:a4:2217:a700:b07d:130b:9052:aae1) (Ping timeout: 244 seconds) |
| 2025-07-27 23:18:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-27 23:19:56 +0000 | jespada | (~jespada@2800:a4:22c0:5b00:c0b3:a2ed:9f22:74f1) jespada |
| 2025-07-27 23:29:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 23:31:57 +0000 | jackdk | (uid373013@cssa/life/jackdk) jackdk |
| 2025-07-27 23:33:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 23:38:49 +0000 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
| 2025-07-27 23:44:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 23:51:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |