| 2025-02-21 00:01:47 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 00:04:18 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-02-21 00:04:35 +0100 | Kotio | (~Kotio@85.255.234.33) (Quit: Client closed) |
| 2025-02-21 00:05:34 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-21 00:06:47 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 268 seconds) |
| 2025-02-21 00:07:24 +0100 | acidjnk | (~acidjnk@p200300d6e7283f6279fd67032cffedd5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-02-21 00:08:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 00:10:02 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-21 00:15:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-21 00:15:48 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-02-21 00:23:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 00:26:32 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-02-21 00:27:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-21 00:29:07 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-21 00:29:32 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-02-21 00:32:58 +0100 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-02-21 00:32:59 +0100 | xff0x | (~xff0x@2405:6580:b080:900:394:5e31:13b5:e904) (Ping timeout: 260 seconds) |
| 2025-02-21 00:35:09 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-02-21 00:35:52 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 00:38:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 00:40:25 +0100 | xff0x | (~xff0x@2405:6580:b080:900:394:5e31:13b5:e904) |
| 2025-02-21 00:40:27 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-21 00:44:51 +0100 | meltedbrain_y2k | (~meltedbra@46.136.112.22) (Read error: Connection reset by peer) |
| 2025-02-21 00:45:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-21 00:51:00 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-21 00:52:38 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-21 00:53:22 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 00:56:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 00:56:57 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-21 00:57:54 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds) |
| 2025-02-21 01:00:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-21 01:11:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 01:15:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-21 01:18:12 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-02-21 01:18:36 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 252 seconds) |
| 2025-02-21 01:19:06 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-21 01:20:57 +0100 | mange | (~user@user/mange) mange |
| 2025-02-21 01:24:48 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-02-21 01:26:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 01:27:42 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-02-21 01:27:54 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-02-21 01:28:52 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 01:32:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-21 01:32:35 +0100 | iteratee | (~kyle@162.218.222.207) (Remote host closed the connection) |
| 2025-02-21 01:35:54 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 272 seconds) |
| 2025-02-21 01:38:07 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-21 01:38:48 +0100 | tdslrapts^ | (~tdslrapts@108.192.66.114) |
| 2025-02-21 01:39:41 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-21 01:42:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 01:42:36 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-21 01:42:52 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) |
| 2025-02-21 01:43:18 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-02-21 01:44:13 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-21 01:46:50 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 01:49:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-21 01:51:36 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 265 seconds) |
| 2025-02-21 01:55:18 +0100 | sprotte24 | (~sprotte24@p200300d16f0dc0003d6d6b9239bc0d18.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-02-21 01:55:54 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-02-21 01:56:10 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-21 01:56:42 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-02-21 01:57:43 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-21 02:00:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 02:01:53 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 02:04:32 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2025-02-21 02:04:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-21 02:06:38 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-21 02:06:44 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2025-02-21 02:06:44 +0100 | ChanServ | +v haskellbridge |
| 2025-02-21 02:06:53 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-02-21 02:07:14 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-02-21 02:12:35 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-02-21 02:14:40 +0100 | xff0x | (~xff0x@2405:6580:b080:900:394:5e31:13b5:e904) (Ping timeout: 244 seconds) |
| 2025-02-21 02:15:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 02:20:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-21 02:24:29 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-02-21 02:25:41 +0100 | aforemny_ | (~aforemny@i577B131B.versanet.de) aforemny |
| 2025-02-21 02:26:25 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-21 02:26:47 +0100 | aforemny | (~aforemny@2001:9e8:6ccb:1200:2df6:7768:b5bd:aa30) (Ping timeout: 252 seconds) |
| 2025-02-21 02:27:35 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-02-21 02:29:01 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-02-21 02:29:52 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-21 02:30:05 +0100 | hattckory | (~hattckory@149.102.242.103) (Remote host closed the connection) |
| 2025-02-21 02:30:11 +0100 | hattckory | (~hattckory@149.102.242.103) |
| 2025-02-21 02:30:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-21 02:31:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 02:31:43 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-02-21 02:32:35 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-21 02:32:54 +0100 | aforemny_ | (~aforemny@i577B131B.versanet.de) (Ping timeout: 272 seconds) |
| 2025-02-21 02:33:06 +0100 | aforemny | (~aforemny@2001:9e8:6cd5:d600:6e0:9c82:3050:2148) aforemny |
| 2025-02-21 02:33:11 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-02-21 02:34:05 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-21 02:35:25 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-21 02:35:37 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 02:36:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-21 02:41:52 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 265 seconds) |
| 2025-02-21 02:44:46 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-21 02:46:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 02:50:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-21 02:58:24 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 03:01:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 03:06:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-21 03:06:36 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-02-21 03:07:51 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-21 03:09:49 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-02-21 03:13:09 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-21 03:16:06 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-02-21 03:17:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 03:17:28 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-21 03:22:32 +0100 | rini | (~rini@user/rini) (Ping timeout: 252 seconds) |
| 2025-02-21 03:22:47 +0100 | rini | (~rini@user/rini) rini |
| 2025-02-21 03:24:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-21 03:35:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 03:39:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-21 03:44:10 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-02-21 03:50:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 03:55:11 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-21 03:55:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-21 04:01:34 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-21 04:02:26 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds) |
| 2025-02-21 04:05:51 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 04:05:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-21 04:06:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 04:06:27 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-02-21 04:06:35 +0100 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2025-02-21 04:10:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-21 04:10:34 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds) |
| 2025-02-21 04:18:22 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-21 04:18:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 04:23:10 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 04:23:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-21 04:27:46 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds) |
| 2025-02-21 04:34:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 04:38:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-21 04:43:40 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-02-21 04:49:03 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-02-21 04:49:33 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-21 04:49:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 04:49:40 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-21 04:50:46 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 04:53:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-21 04:54:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-21 04:59:50 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 272 seconds) |
| 2025-02-21 05:00:30 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-21 05:04:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 05:05:56 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) (Ping timeout: 252 seconds) |
| 2025-02-21 05:06:50 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-02-21 05:09:43 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-21 05:11:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-21 05:17:50 +0100 | troydm | (~troydm@user/troydm) troydm |
| 2025-02-21 05:19:32 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-21 05:20:01 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) |
| 2025-02-21 05:23:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 05:27:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-21 05:28:08 +0100 | aforemny | (~aforemny@2001:9e8:6cd5:d600:6e0:9c82:3050:2148) (Ping timeout: 265 seconds) |
| 2025-02-21 05:28:32 +0100 | aforemny | (~aforemny@2001:9e8:6ce5:b500:7db1:2fa8:db14:9933) aforemny |
| 2025-02-21 05:29:34 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 05:30:13 +0100 | divya | (divya@140.238.251.170) (Remote host closed the connection) |
| 2025-02-21 05:34:54 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-21 05:36:43 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-21 05:38:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 05:39:48 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-02-21 05:40:49 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-02-21 05:41:38 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-21 05:43:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-21 05:47:43 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-21 05:49:38 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 05:53:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 05:58:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-21 06:05:19 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-21 06:09:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 06:13:31 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2025-02-21 06:13:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-21 06:17:07 +0100 | mud | (~mud@user/kadoban) kadoban |
| 2025-02-21 06:19:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 06:20:07 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-21 06:23:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-21 06:24:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-21 06:28:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-21 06:30:48 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 245 seconds) |
| 2025-02-21 06:34:40 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2025-02-21 06:35:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 06:38:39 +0100 | divya` | (~user@139.5.11.125) |
| 2025-02-21 06:39:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-21 06:39:46 +0100 | divya` | (~user@139.5.11.125) (Remote host closed the connection) |
| 2025-02-21 06:49:51 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-21 06:50:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 06:54:29 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 06:57:01 +0100 | bcksl | (~bcksl@user/bcksl) (Ping timeout: 252 seconds) |
| 2025-02-21 06:57:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-21 06:58:06 +0100 | end | (~end@user/end/x-0094621) (Ping timeout: 268 seconds) |
| 2025-02-21 06:58:37 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds) |
| 2025-02-21 06:58:41 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-02-21 06:58:43 +0100 | sus0 | (zero@user/zeromomentum) (Ping timeout: 245 seconds) |
| 2025-02-21 07:00:59 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 07:08:03 +0100 | nitrix_ | (~nitrix@user/meow/nitrix) nitrix |
| 2025-02-21 07:08:24 +0100 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 252 seconds) |
| 2025-02-21 07:08:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 07:09:34 +0100 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-02-21 07:10:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-21 07:10:36 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-21 07:13:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-21 07:14:51 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-21 07:17:29 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-02-21 07:18:38 +0100 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2025-02-21 07:19:32 +0100 | echoreply | (~echoreply@45.32.163.16) echoreply |
| 2025-02-21 07:19:58 +0100 | end | (~end@user/end/x-0094621) end^ |
| 2025-02-21 07:20:50 +0100 | <talismanick> | Anyone else having trouble with fourmolu's trailing-section-operators option? It acts as if it's set to true, no matter if I edit fixities, comment them out, comment other options, etc |
| 2025-02-21 07:20:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 07:20:51 +0100 | <talismanick> | https://pastebin.com/T6rPZTWN |
| 2025-02-21 07:24:10 +0100 | echoreply | (~echoreply@45.32.163.16) (Ping timeout: 252 seconds) |
| 2025-02-21 07:24:30 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 07:25:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-21 07:36:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 07:37:07 +0100 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) echoreply |
| 2025-02-21 07:38:51 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-02-21 07:38:51 +0100 | <talismanick> | well, it works when I run fourmolu from the CLI rather than LSP |
| 2025-02-21 07:39:13 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 2025-02-21 07:39:55 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-21 07:39:57 +0100 | sus0 | (thelounge@user/zeromomentum) zeromomentum |
| 2025-02-21 07:40:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-21 07:45:21 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 07:45:37 +0100 | michalz | (~michalz@185.246.207.222) |
| 2025-02-21 07:47:16 +0100 | rvalue- | rvalue |
| 2025-02-21 07:49:24 +0100 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-02-21 07:49:36 +0100 | acidjnk | (~acidjnk@p200300d6e7283f0719c6a4240347dc57.dip0.t-ipconnect.de) acidjnk |
| 2025-02-21 07:49:46 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds) |
| 2025-02-21 07:49:51 +0100 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2025-02-21 07:51:12 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 07:51:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 07:53:05 +0100 | Fijxu_ | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-02-21 07:55:57 +0100 | ft | (~ft@p4fc2a610.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-02-21 07:56:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-21 07:57:10 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 272 seconds) |
| 2025-02-21 07:57:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-21 07:59:13 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 08:02:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-21 08:04:30 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-21 08:07:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 08:10:36 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 08:11:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-21 08:14:31 +0100 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2025-02-21 08:15:04 +0100 | CiaoSen | (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) CiaoSen |
| 2025-02-21 08:15:39 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 246 seconds) |
| 2025-02-21 08:20:38 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2025-02-21 08:21:01 +0100 | nitrix_ | nitrix |
| 2025-02-21 08:21:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 08:25:19 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-02-21 08:25:35 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 08:25:41 +0100 | acidjnk | (~acidjnk@p200300d6e7283f0719c6a4240347dc57.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-02-21 08:27:19 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-21 08:27:23 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2025-02-21 08:28:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-21 08:28:57 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
| 2025-02-21 08:35:48 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 245 seconds) |
| 2025-02-21 08:36:14 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-21 08:39:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 08:42:35 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 08:43:15 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-02-21 08:44:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-21 08:45:01 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-21 08:49:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-21 08:54:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 08:54:50 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-21 08:58:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-21 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-21 09:00:44 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-21 09:01:00 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-21 09:01:49 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-02-21 09:05:19 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-02-21 09:09:20 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-21 09:09:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 09:11:25 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-21 09:11:40 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2025-02-21 09:13:45 +0100 | misterfish | (~misterfis@h239071.upc-h.chello.nl) misterfish |
| 2025-02-21 09:14:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-21 09:22:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 09:23:28 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-02-21 09:24:27 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-21 09:27:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-21 09:28:11 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-21 09:28:33 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-02-21 09:28:34 +0100 | tnt2 | tnt1 |
| 2025-02-21 09:28:38 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-02-21 09:30:04 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-02-21 09:31:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 09:32:05 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-21 09:33:30 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-21 09:33:39 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-21 09:34:56 +0100 | <haskellbridge> | <thirdofmay18081814goya> So profunctors are ways to assign an object to maps between objects. If so, why is the profunctor domain a product with a contravariant category? Wouldn't a product of two covariant categories have been enough? |
| 2025-02-21 09:36:32 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-21 09:38:26 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-21 09:38:36 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-02-21 09:42:12 +0100 | <dminuoso> | thirdofmay18081814goya: It is not about being "enough" or "more". Being contravariant is not an upgrade. |
| 2025-02-21 09:42:45 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-21 09:43:27 +0100 | <dminuoso> | I can give you an (incomplete, but perhaps motivating) reason for wherer the contravariance comes from. |
| 2025-02-21 09:43:39 +0100 | <dminuoso> | If we take a Haskell centric approach, then profunctors generalize (->) |
| 2025-02-21 09:43:52 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-21 09:43:55 +0100 | <dminuoso> | And it so happens that `(->) is contravariant in its first argument, but covariant in its second argument. |
| 2025-02-21 09:45:14 +0100 | <haskellbridge> | <thirdofmay18081814goya> i.e. "lmap" is contravariant but "rmap" is covariant? |
| 2025-02-21 09:45:31 +0100 | <dminuoso> | Yes. |
| 2025-02-21 09:45:32 +0100 | chele | (~chele@user/chele) chele |
| 2025-02-21 09:45:44 +0100 | <haskellbridge> | <thirdofmay18081814goya> ah I see, ok this is an extremely helpful example, ty! |
| 2025-02-21 09:51:11 +0100 | <dminuoso> | thirdofmay18081814goya: So a handwaving description is to describe profunctors (and (->) as a specific instance) as sort of "transformations", where you have some notion of "input" and "output" |
| 2025-02-21 09:51:45 +0100 | <dminuoso> | It so happens that everything Ive said applies to category theory as well, though it takes a bit more precision to make this connection. |
| 2025-02-21 09:52:14 +0100 | <haskellbridge> | <thirdofmay18081814goya> right, "lmap" is "given a connection to an earlier input, you can create the current input" |
| 2025-02-21 09:52:32 +0100 | <dminuoso> | It may also help to see some examples of what this generalizes to |
| 2025-02-21 09:52:49 +0100 | <dminuoso> | `Kleisli m` is a really good example |
| 2025-02-21 09:53:21 +0100 | <dminuoso> | Say `a -> IO b` is something that you too can see as an (effectul) transformation |
| 2025-02-21 09:53:56 +0100 | <dminuoso> | Except because of how our typesystem works we have to make it a `newtype Kleisli m a b = Kleisli { runKleisli a -> m b }` and call `Kleisli IO` a profunctor. |
| 2025-02-21 09:54:36 +0100 | <dminuoso> | But it's really just about `a -> IO b`. And it so happens that for every Monad m, `Kleisli m` is such a profunctor. |
| 2025-02-21 09:54:54 +0100 | <dminuoso> | So this starts to generalize even more. |
| 2025-02-21 09:55:28 +0100 | <dminuoso> | Because at the end, even in `a -> IO b` you can map over the input, and the eventual output of the IO action. |
| 2025-02-21 09:55:45 +0100 | <dminuoso> | Just like you can map over inputs (contravariantly) and outputs (covariantly) in `a -> b` |
| 2025-02-21 09:56:00 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-02-21 09:57:11 +0100 | <haskellbridge> | <thirdofmay18081814goya> this point of view was extremely helpful, ty! the definition makes perfect sense now |
| 2025-02-21 10:01:51 +0100 | <dminuoso> | Ah let me make one correction, of course for Kleisli technically we only need `Functor`. |
| 2025-02-21 10:02:47 +0100 | vpan | (~vpan@212.117.1.172) |
| 2025-02-21 10:02:50 +0100 | <dminuoso> | Im not entirely sure why both `Star` and `Kleisli` exist. |
| 2025-02-21 10:03:40 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-21 10:04:38 +0100 | <dminuoso> | My feeling is that Kleisli uses `liftM` in a bunch of places, perhaps because there may be edge cases where it may be faster than a generalized `fmap`? |
| 2025-02-21 10:04:45 +0100 | <dminuoso> | And Star generalizes to arbitrary Functor? |
| 2025-02-21 10:04:52 +0100 | <dminuoso> | I'm not sure. |
| 2025-02-21 10:07:59 +0100 | vpan | (~vpan@212.117.1.172) (Ping timeout: 260 seconds) |
| 2025-02-21 10:13:34 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 10:16:35 +0100 | vpan | (~vpan@212.117.1.172) |
| 2025-02-21 10:16:59 +0100 | vpan | Guest5922 |
| 2025-02-21 10:17:06 +0100 | sprotte24 | (~sprotte24@p200300d16f15cb0045bb3ddcfddbb48e.dip0.t-ipconnect.de) |
| 2025-02-21 10:17:25 +0100 | Guest5922 | vpan |
| 2025-02-21 10:18:04 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds) |
| 2025-02-21 10:19:28 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-21 10:21:35 +0100 | <haskellbridge> | <magic_rb> Anyone seen the person behind https://github.com/l-Shane-l/tiny-wlhs around? I seem to recall seeing them either here or in the matrix room. Im thinking about just hard switching to it, to force myself to fix any bugs i run into :) |
| 2025-02-21 10:21:53 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 10:23:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-21 10:24:18 +0100 | <ski> | thirdofmay18081814goya : read-only view of a mutable cell can be made covariant, write-only view can be made contravariant -- if we allow attaching a post- / pre- processing step to them, respectively. ditto for read-end and write-end of a concurrent channel |
| 2025-02-21 10:24:53 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-02-21 10:27:00 +0100 | <ski> | (in Concurrent ML (library model for concurrency, available for some ML systems), you can construct "events", which will trigger upon certain conditions. you can syncrhonize/await on such an event. given an event, you can attach a post-processing step to it, to be applied to the generated value, when the event triggers. this basically forms a monad (so covariant functor), iirc) |
| 2025-02-21 10:27:54 +0100 | random-jellyfish | (~developer@user/random-jellyfish) random-jellyfish |
| 2025-02-21 10:32:26 +0100 | comerijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-21 10:33:14 +0100 | acidjnk | (~acidjnk@p200300d6e7283f0719c6a4240347dc57.dip0.t-ipconnect.de) acidjnk |
| 2025-02-21 10:34:32 +0100 | Googulator85 | (~Googulato@81.183.235.203) |
| 2025-02-21 10:35:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-21 10:39:40 +0100 | hattckory | (~hattckory@149.102.242.103) (Remote host closed the connection) |
| 2025-02-21 10:39:52 +0100 | hattckory | (~hattckory@149.102.242.103) |
| 2025-02-21 10:51:38 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2025-02-21 10:53:44 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-21 10:53:55 +0100 | comerijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 2025-02-21 10:56:31 +0100 | Googulator85 | (~Googulato@81.183.235.203) (Quit: Client closed) |
| 2025-02-21 10:56:51 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-21 10:56:52 +0100 | Googulator85 | (~Googulato@81.183.235.203) |
| 2025-02-21 11:06:10 +0100 | Googulator85 | (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
| 2025-02-21 11:08:51 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-02-21 11:08:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-21 11:13:30 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-21 11:14:51 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-21 11:19:19 +0100 | misterfish | (~misterfis@h239071.upc-h.chello.nl) (Ping timeout: 260 seconds) |
| 2025-02-21 11:21:00 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 276 seconds) |
| 2025-02-21 11:21:29 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-02-21 11:33:02 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-21 11:34:23 +0100 | bjarki | (~bjarki@tg-ux07.rhi.hi.is) |
| 2025-02-21 11:40:33 +0100 | <bjarki> | would algebraic effect handlers make sense in Haskell? |
| 2025-02-21 11:41:15 +0100 | <Rembane> | bjarki: Aren't they already there, or have I misunderstood something? https://hackage.haskell.org/package/effectful |
| 2025-02-21 11:41:19 +0100 | <merijn> | bjarki: Well, there's approximately 50 different libraries trying that, so probably :p |
| 2025-02-21 11:42:24 +0100 | euandreh | (~Thunderbi@189.6.105.228) (Read error: Connection reset by peer) |
| 2025-02-21 11:42:45 +0100 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
| 2025-02-21 11:42:48 +0100 | euandreh | (~Thunderbi@189.6.105.228) (Client Quit) |
| 2025-02-21 11:46:46 +0100 | <bjarki> | Thank you! |
| 2025-02-21 11:51:28 +0100 | bjarki | (~bjarki@tg-ux07.rhi.hi.is) (Quit: Client closed) |
| 2025-02-21 11:52:01 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2025-02-21 11:54:19 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds) |
| 2025-02-21 11:56:20 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 11:57:12 +0100 | CiaoSen | (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2025-02-21 11:57:22 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-21 12:01:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-21 12:04:21 +0100 | <Rembane> | I wonder what they'll do with their newfound knowledge. |
| 2025-02-21 12:07:06 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-02-21 12:07:28 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-02-21 12:08:06 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-21 12:08:37 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-21 12:08:37 +0100 | tnt2 | tnt1 |
| 2025-02-21 12:09:26 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-21 12:10:26 +0100 | Googulator85 | (~Googulato@81.183.235.203) |
| 2025-02-21 12:16:55 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 12:25:24 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 2025-02-21 12:26:38 +0100 | dsrt^ | (~dsrt@108.192.66.114) (Ping timeout: 245 seconds) |
| 2025-02-21 12:28:08 +0100 | tdslrapts^ | (~tdslrapts@108.192.66.114) (Ping timeout: 252 seconds) |
| 2025-02-21 12:33:37 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-21 12:41:06 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-21 12:41:11 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-02-21 12:43:58 +0100 | Googulator57 | (~Googulato@81.183.235.203) |
| 2025-02-21 12:44:10 +0100 | Googulator85 | (~Googulato@81.183.235.203) (Quit: Client closed) |
| 2025-02-21 12:44:40 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-21 12:45:06 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-21 12:45:29 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-02-21 12:49:02 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-21 12:49:08 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-21 12:51:10 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-21 12:55:14 +0100 | acidjnk | (~acidjnk@p200300d6e7283f0719c6a4240347dc57.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-02-21 12:55:33 +0100 | acidjnk | (~acidjnk@p200300d6e7283f0735af0e4522a01c1a.dip0.t-ipconnect.de) acidjnk |
| 2025-02-21 13:00:15 +0100 | <haskellbridge> | <l0negamer> Hi Haskell IRC (and Matrix!). I've posted on the discourse about the monad of no return proposal, and it would be good to get feedback, community input, and/or interest in implementation on the post. You can find it here: https://discourse.haskell.org/t/monad-of-no-return-next-steps/11443?u=l0negamer |
| 2025-02-21 13:01:52 +0100 | <Rembane> | \o/ |
| 2025-02-21 13:04:58 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
| 2025-02-21 13:06:40 +0100 | CiaoSen | (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) CiaoSen |
| 2025-02-21 13:09:53 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-21 13:11:26 +0100 | jespada | (~jespada@2800:a4:223d:ab00:6d03:599e:2fec:ccc) jespada |
| 2025-02-21 13:15:40 +0100 | tdslrapts^ | (~tdslrapts@108.192.66.114) |
| 2025-02-21 13:15:40 +0100 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-02-21 13:16:10 +0100 | Googulator57 | (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
| 2025-02-21 13:17:35 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-21 13:18:44 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-21 13:19:54 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 260 seconds) |
| 2025-02-21 13:22:33 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-02-21 13:25:45 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-21 13:27:01 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds) |
| 2025-02-21 13:30:46 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 13:33:30 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-21 13:34:48 +0100 | xff0x | (~xff0x@2405:6580:b080:900:6f1d:57fb:41e:8090) |
| 2025-02-21 13:35:35 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-21 13:37:48 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-21 13:38:06 +0100 | Googulator57 | (~Googulato@81.183.235.203) |
| 2025-02-21 13:39:00 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-21 13:41:55 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |