| 2025-08-14 00:00:56 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2025-08-14 00:01:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-14 00:03:52 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-14 00:12:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 00:20:46 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-14 00:21:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-14 00:21:38 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-14 00:22:37 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c488:ca49:9294:78c2) (Ping timeout: 260 seconds) |
| 2025-08-14 00:24:55 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
| 2025-08-14 00:32:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 00:33:21 +0000 | yo | (~yo@178.42.40.158.ipv4.supernova.orange.pl) (Ping timeout: 252 seconds) |
| 2025-08-14 00:34:44 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-14 00:35:27 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-08-14 00:37:49 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-14 00:37:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-14 00:38:11 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-14 00:38:35 +0000 | batbyte_ | (~batbyte@172-79-46-231.nrwc.ny.frontiernet.net) |
| 2025-08-14 00:42:57 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-08-14 00:48:05 +0000 | yo | (~yo@178.42.38.149.ipv4.supernova.orange.pl) ayu |
| 2025-08-14 00:48:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 00:52:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-14 01:03:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 01:08:39 +0000 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-14 01:09:40 +0000 | batbyte_ | (~batbyte@172-79-46-231.nrwc.ny.frontiernet.net) (Read error: Connection reset by peer) |
| 2025-08-14 01:10:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-14 01:21:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 01:21:55 +0000 | jackdk | (uid373013@cssa/life/jackdk) jackdk |
| 2025-08-14 01:24:57 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-08-14 01:26:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-14 01:26:46 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-08-14 01:32:19 +0000 | ft | (~ft@p508dbd8e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-08-14 01:33:04 +0000 | sixteenrats | (~emelia@user/sixteenrats) (Quit: WeeChat 4.7.0) |
| 2025-08-14 01:34:56 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:a130:33a0:f4b6:f889) |
| 2025-08-14 01:34:56 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:a130:33a0:f4b6:f889) (Changing host) |
| 2025-08-14 01:34:56 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-14 01:36:58 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-14 01:37:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 01:39:37 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-08-14 01:41:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-08-14 01:42:04 +0000 | <haskellbridge> | <Axman6> Has there ever been a proposal for an alternative to "fromInteger" which also accepts the input as a Nat? Something like "fromInteger' :: Num a => Proxy (n :: Nat) -> Integer -> a" (though I guess it also needs a sign, but ignoring that). GHC warns for overflowed literals for types like Word8, but it's not really accessible to mere mortals right? |
| 2025-08-14 01:47:12 +0000 | <EvanR> | greetings Axman6, may the grass be greener on the other side of the bridge |
| 2025-08-14 01:47:52 +0000 | <EvanR> | why does your fromInteger have 2 numeric inputs |
| 2025-08-14 01:48:45 +0000 | <haskellbridge> | <Axman6> Hmm, that's a point. I guess it could be something like "fromInteger' :: Num a => Proxy (Bool,n :: Nat) -> a" |
| 2025-08-14 01:52:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 01:53:37 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2025-08-14 01:54:12 +0000 | ft | (~ft@p508dba54.dip0.t-ipconnect.de) ft |
| 2025-08-14 01:56:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-14 01:58:29 +0000 | <Leary> | You can write `data SomeInt = Neg SomeNat | Pos SomeNat; instance Num SomeInt where { ... }`. |
| 2025-08-14 01:59:11 +0000 | Wanderer | (~wanderer@user/wanderer) (Server closed connection) |
| 2025-08-14 01:59:15 +0000 | phma | (~phma@host-67-44-208-71.hnremote.net) (Read error: Connection reset by peer) |
| 2025-08-14 02:00:00 +0000 | Wanderer | (~wanderer@user/wanderer) Wanderer |
| 2025-08-14 02:00:04 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 2025-08-14 02:02:12 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-08-14 02:02:50 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-08-14 02:07:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 02:09:57 +0000 | davidlbowman | (~dlb@user/davidlbowman) (Ping timeout: 260 seconds) |
| 2025-08-14 02:11:07 +0000 | td_ | (~td@i5387090d.versanet.de) (Ping timeout: 260 seconds) |
| 2025-08-14 02:12:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-14 02:13:00 +0000 | td_ | (~td@i53870938.versanet.de) |
| 2025-08-14 02:22:41 +0000 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2025-08-14 02:23:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 02:24:32 +0000 | sprout | (~sprout@2a02-a448-3a80-0-c61c-b515-5509-58e7.fixed6.kpn.net) sprout |
| 2025-08-14 02:26:25 +0000 | down200 | (~down200@shell.lug.mtu.edu) (Ping timeout: 248 seconds) |
| 2025-08-14 02:28:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-14 02:28:09 +0000 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2025-08-14 02:38:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 02:45:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-14 02:49:52 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-08-14 02:53:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 02:57:50 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2025-08-14 02:58:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-14 03:01:36 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-14 03:02:06 +0000 | weary-traveler | (~user@user/user363627) (Client Quit) |
| 2025-08-14 03:02:22 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-14 03:03:31 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2025-08-14 03:04:33 +0000 | phma | (~phma@2001:5b0:210b:ad88:aa04:c457:74b0:5887) |
| 2025-08-14 03:09:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 03:09:33 +0000 | phma_ | (phma@2001:5b0:211f:2bc8:578f:fe26:99a2:5bbd) |
| 2025-08-14 03:10:06 +0000 | phma | (~phma@2001:5b0:210b:ad88:aa04:c457:74b0:5887) (Read error: Connection reset by peer) |
| 2025-08-14 03:13:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-14 03:14:34 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-14 03:15:48 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-14 03:16:29 +0000 | aforemny_ | (~aforemny@2001:9e8:6ce8:1800:d6a7:aaeb:8c84:6bc7) aforemny |
| 2025-08-14 03:17:00 +0000 | aforemny | (~aforemny@i59F4C4EA.versanet.de) (Ping timeout: 252 seconds) |
| 2025-08-14 03:19:09 +0000 | Square2 | (~Square@user/square) Square |
| 2025-08-14 03:19:58 +0000 | phma_ | (phma@2001:5b0:211f:2bc8:578f:fe26:99a2:5bbd) (Read error: Connection reset by peer) |
| 2025-08-14 03:21:28 +0000 | phma_ | (phma@2001:5b0:211b:d038:6b7f:3fe1:de35:dfff) |
| 2025-08-14 03:22:52 +0000 | Square | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-08-14 03:24:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 03:25:39 +0000 | phma_ | (phma@2001:5b0:211b:d038:6b7f:3fe1:de35:dfff) (Read error: Connection reset by peer) |
| 2025-08-14 03:29:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-14 03:33:35 +0000 | phma_ | (~phma@host-67-44-208-76.hnremote.net) |
| 2025-08-14 03:35:58 +0000 | ycp | (~znc@user/dragestil) (Server closed connection) |
| 2025-08-14 03:36:19 +0000 | ycp | (~znc@user/dragestil) dragestil |
| 2025-08-14 03:40:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 03:44:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-14 03:46:56 +0000 | phma_ | (~phma@host-67-44-208-76.hnremote.net) (Read error: Connection reset by peer) |
| 2025-08-14 03:52:03 +0000 | feetwind | (~mike@user/feetwind) (Server closed connection) |
| 2025-08-14 03:52:21 +0000 | feetwind | (~mike@user/feetwind) feetwind |
| 2025-08-14 03:55:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 03:59:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-14 04:04:58 +0000 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2025-08-14 04:06:08 +0000 | Lycurgus | (~juan@user/Lycurgus) (Ping timeout: 252 seconds) |
| 2025-08-14 04:10:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 04:15:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-14 04:18:50 +0000 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 04:19:03 +0000 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 04:24:30 +0000 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 04:26:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 04:29:12 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 04:33:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-14 04:40:09 +0000 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2025-08-14 04:41:36 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
| 2025-08-14 04:44:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 04:48:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-14 04:53:46 +0000 | <haskellbridge> | <Axman6> Leary The idea was to be able to support types whose valid values are limited, in this particular case the "Index (n :: Nat)" type in Clash, which represents values [0..n-1] |
| 2025-08-14 04:54:17 +0000 | <haskellbridge> | <Axman6> so writing "32 :: Index 32" should fail at compile time/GHCi |
| 2025-08-14 04:54:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 04:54:43 +0000 | <haskellbridge> | <Axman6> I'm wondering if it's possible to make writing "32 :: Index 32" a type error |
| 2025-08-14 04:55:46 +0000 | phma_ | (~phma@2001:5b0:2172:ba18:237a:adb:9a49:b97a) |
| 2025-08-14 04:55:52 +0000 | phma_ | phma |
| 2025-08-14 04:57:53 +0000 | jespada | (~jespada@2800:a4:2247:2400:386f:f20:8fc5:23de) (Ping timeout: 248 seconds) |
| 2025-08-14 04:58:53 +0000 | michalz | (~michalz@185.246.207.218) |
| 2025-08-14 04:59:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-14 04:59:39 +0000 | <Leary> | Perhaps you can write something like `instance n < 32 => Num (Index n)`, then `fromInteger @(Index _) :: n < 32 => Int -> Index n`. |
| 2025-08-14 04:59:48 +0000 | <Leary> | Otherwise, there's validated-literals. |
| 2025-08-14 05:00:27 +0000 | jespada | (~jespada@2800:a4:2225:9000:913:54f8:4fc8:5494) jespada |
| 2025-08-14 05:00:28 +0000 | <Leary> | Integer* |
| 2025-08-14 05:02:58 +0000 | <Leary> | Err, ignore that first suggestion, I had a thinko. |
| 2025-08-14 05:03:44 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-14 05:05:16 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: You) |
| 2025-08-14 05:07:55 +0000 | trickard_ | trickard |
| 2025-08-14 05:08:42 +0000 | finsternis | (~X@23.226.237.192) finsternis |
| 2025-08-14 05:10:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 05:14:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-14 05:15:27 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-08-14 05:24:06 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-08-14 05:25:12 +0000 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 05:25:25 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 05:25:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 05:30:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-14 05:40:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 05:45:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-14 05:55:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 05:56:55 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-08-14 05:59:55 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-08-14 06:00:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-14 06:11:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 06:17:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-14 06:28:55 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-14 06:29:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 06:33:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-14 06:38:53 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Read error: Connection reset by peer) |
| 2025-08-14 06:40:04 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-14 06:40:32 +0000 | trickard_ | trickard |
| 2025-08-14 06:40:47 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-08-14 06:41:21 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-08-14 06:42:32 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Server closed connection) |
| 2025-08-14 06:42:41 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) whereiseveryone |
| 2025-08-14 06:44:04 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2025-08-14 06:44:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 06:48:03 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-14 06:48:36 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-08-14 06:48:42 +0000 | ft | (~ft@p508dba54.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-08-14 06:48:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-14 06:50:48 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2025-08-14 06:54:37 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 260 seconds) |
| 2025-08-14 06:56:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 07:00:04 +0000 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-08-14 07:00:45 +0000 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-08-14 07:01:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-14 07:02:24 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 07:03:23 +0000 | takuan | (~takuan@d8d86b9e9.access.telenet.be) |
| 2025-08-14 07:05:41 +0000 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-08-14 07:06:28 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-14 07:06:37 +0000 | acidjnk | (~acidjnk@p200300d6e7171985495adaceecd6b03f.dip0.t-ipconnect.de) acidjnk |
| 2025-08-14 07:07:48 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-08-14 07:09:09 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-08-14 07:11:32 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-08-14 07:12:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 07:16:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-14 07:22:09 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-08-14 07:35:58 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-08-14 07:39:18 +0000 | <haskellbridge> | <Axman6> Yeah, that's kind of the opposite of what I want. I want "instance (n' < n) => Num' (Index n) where fromInteger' :: Proxy n' -> Index n" - I want to pass in the literal the user has written, so "40 :: Index 32" means "fromInteger' (Proxy @40) :: Index 32" which would fail to compile because there's no instance for "40 < 32 => Num' (Index 32)" |
| 2025-08-14 07:42:15 +0000 | jreicher | (~user@user/jreicher) (Ping timeout: 244 seconds) |
| 2025-08-14 07:44:05 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-08-14 07:46:27 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 2025-08-14 07:46:48 +0000 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp |
| 2025-08-14 08:01:42 +0000 | chele | (~chele@user/chele) chele |
| 2025-08-14 08:02:43 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-08-14 08:11:03 +0000 | DragonMaus | (~dragonmau@user/dragonmaus) (Ping timeout: 252 seconds) |
| 2025-08-14 08:11:35 +0000 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
| 2025-08-14 08:20:23 +0000 | fizbin | (~fizbin@user/fizbin) fizbin |
| 2025-08-14 08:24:44 +0000 | ol0ck | (~quassel@user/ol0ck) (Ping timeout: 260 seconds) |
| 2025-08-14 08:27:57 +0000 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 276 seconds) |
| 2025-08-14 08:28:41 +0000 | j0lol | (~j0lol@132.145.17.236) (Server closed connection) |
| 2025-08-14 08:28:55 +0000 | j0lol | (~j0lol@132.145.17.236) j0lol |
| 2025-08-14 08:51:20 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-14 09:07:02 +0000 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 09:07:16 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 09:09:17 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 2025-08-14 09:27:10 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-08-14 09:29:39 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-08-14 09:30:53 +0000 | michalz | (~michalz@185.246.207.218) (Remote host closed the connection) |
| 2025-08-14 09:30:58 +0000 | Miroboru | (~myrvoll@84.215.249.36) (Ping timeout: 255 seconds) |
| 2025-08-14 09:33:28 +0000 | michalz | (~michalz@185.246.207.221) |
| 2025-08-14 09:34:20 +0000 | Miroboru | (~myrvoll@84.215.249.36) Miroboru |
| 2025-08-14 09:35:02 +0000 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 260 seconds) |
| 2025-08-14 09:42:00 +0000 | Miroboru | (~myrvoll@84.215.249.36) (Ping timeout: 252 seconds) |
| 2025-08-14 09:43:07 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2025-08-14 09:45:06 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-08-14 09:52:02 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-14 09:57:46 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-08-14 10:03:18 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 2025-08-14 10:10:46 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 10:10:59 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 10:13:09 +0000 | trickard_ | trickard |
| 2025-08-14 10:14:10 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-08-14 10:16:14 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-14 10:17:46 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds) |
| 2025-08-14 10:23:57 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 240 seconds) |
| 2025-08-14 10:25:33 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-08-14 10:27:02 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-08-14 10:29:43 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-08-14 10:30:02 +0000 | juri_ | (~juri@implicitcad.org) (Ping timeout: 252 seconds) |
| 2025-08-14 10:30:55 +0000 | dutchie | (~dutchie@user/dutchie) (Server closed connection) |
| 2025-08-14 10:31:09 +0000 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-08-14 10:32:17 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-08-14 10:32:17 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-08-14 10:32:17 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-08-14 10:34:08 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 245 seconds) |
| 2025-08-14 10:42:07 +0000 | juri_ | (~juri@implicitcad.org) juri_ |
| 2025-08-14 10:42:21 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-08-14 10:44:01 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-08-14 10:45:50 +0000 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp |
| 2025-08-14 10:47:04 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-08-14 10:54:46 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2025-08-14 10:56:37 +0000 | jackdk | (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
| 2025-08-14 11:00:05 +0000 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-08-14 11:02:09 +0000 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-08-14 11:15:02 +0000 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-08-14 11:20:46 +0000 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-08-14 11:21:09 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 11:24:06 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2025-08-14 11:24:13 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-14 11:24:40 +0000 | xff0x | (~xff0x@2405:6580:b080:900:86d4:8706:5c5f:d5c) |
| 2025-08-14 11:25:30 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-08-14 11:32:31 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-08-14 11:33:36 +0000 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-08-14 11:41:53 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-08-14 11:54:44 +0000 | dhil | (~dhil@5.151.29.141) dhil |
| 2025-08-14 11:57:47 +0000 | trickard_ | trickard |
| 2025-08-14 12:00:38 +0000 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 12:00:52 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 12:06:00 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 12:07:23 +0000 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Quit: fp) |
| 2025-08-14 12:10:27 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-08-14 12:11:42 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 12:18:33 +0000 | fp | (~Thunderbi@2001:708:150:10::72df) fp |
| 2025-08-14 12:20:17 +0000 | lisq | (~quassel@lis.moe) (Server closed connection) |
| 2025-08-14 12:20:26 +0000 | lisq | (~quassel@lis.moe) lisq |
| 2025-08-14 12:21:29 +0000 | fp | (~Thunderbi@2001:708:150:10::72df) (Remote host closed the connection) |
| 2025-08-14 12:22:15 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-08-14 12:23:55 +0000 | Miroboru | (~myrvoll@46.249.255.58) Miroboru |
| 2025-08-14 12:29:15 +0000 | trickard_ | trickard |
| 2025-08-14 12:32:04 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-14 12:32:31 +0000 | fp | (~Thunderbi@2001:708:150:10::72df) fp |
| 2025-08-14 12:42:10 +0000 | Square2 | (~Square@user/square) Square |
| 2025-08-14 12:44:35 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 2025-08-14 12:45:44 +0000 | troydm | (~troydm@user/troydm) (Server closed connection) |
| 2025-08-14 12:46:06 +0000 | troydm | (~troydm@user/troydm) troydm |
| 2025-08-14 12:50:27 +0000 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 12:50:42 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 13:04:22 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 13:04:35 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 13:08:15 +0000 | ruvam | (~ruvam@user/ruvam) (Server closed connection) |
| 2025-08-14 13:08:30 +0000 | ruvam | (~ruvam@user/ruvam) ruvam |
| 2025-08-14 13:12:19 +0000 | raym | (~ray@user/raym) (Ping timeout: 260 seconds) |
| 2025-08-14 13:14:00 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 252 seconds) |
| 2025-08-14 13:17:56 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 13:17:59 +0000 | yo | (~yo@178.42.38.149.ipv4.supernova.orange.pl) (Quit: Leaving.) |
| 2025-08-14 13:19:40 +0000 | Square | (~Square4@user/square) Square |
| 2025-08-14 13:22:12 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 13:22:58 +0000 | Square2 | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2025-08-14 13:27:33 +0000 | qqe | (~qqq@185.54.20.59) (Server closed connection) |
| 2025-08-14 13:27:53 +0000 | qqe | (~qqq@185.54.20.59) |
| 2025-08-14 13:30:29 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 248 seconds) |
| 2025-08-14 13:30:51 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 13:35:19 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-08-14 13:44:41 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 13:47:38 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 13:52:38 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-14 13:53:14 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 272 seconds) |
| 2025-08-14 14:05:34 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 14:09:04 +0000 | yangby | (~secret@115.205.231.82) (Ping timeout: 260 seconds) |
| 2025-08-14 14:13:11 +0000 | <yin> | is exhaustiveness in haskell decideable? |
| 2025-08-14 14:13:32 +0000 | <ncf> | yin: what do you mean by exhaustiveness? |
| 2025-08-14 14:15:25 +0000 | <yin> | checking exhaustive case handling in pattern matches |
| 2025-08-14 14:17:37 +0000 | <ncf> | presumably no if you include guards or view patterns, and yes otherwise |
| 2025-08-14 14:20:37 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 248 seconds) |
| 2025-08-14 14:24:37 +0000 | <int-e> | GADTs (or even just existentials) add complications too (a constraint embedded in a constructor may be unsatisfiable) |
| 2025-08-14 14:25:40 +0000 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2025-08-14 14:28:33 +0000 | <ncf> | i guess this is agda's "i'm not sure if there should be a case for the constructor..." error message |
| 2025-08-14 14:28:57 +0000 | <ncf> | are existentials really problematic already? i don't immediately see how they could lead to undecidable unification problems |
| 2025-08-14 14:30:05 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 14:31:29 +0000 | <int-e> | data Eq a b where CEq :: a ~ b => Eq gives you an arbitrary unification problem depending on what a and b are when matching CEq, no? |
| 2025-08-14 14:32:48 +0000 | <int-e> | You may still be right... |
| 2025-08-14 14:33:07 +0000 | <ncf> | oh yeah i'm just not sure i would call that an existential |
| 2025-08-14 14:34:25 +0000 | <ncf> | like the source of undecidability here is the equality constraint |
| 2025-08-14 14:35:04 +0000 | <ncf> | (which i guess is the quintessential GADT) |
| 2025-08-14 14:38:23 +0000 | <int-e> | Yeah I guess if all your constraints are ordinary typeclasses then the open nature of those saves you from having to unify anything... |
| 2025-08-14 14:38:26 +0000 | <int-e> | tricky |
| 2025-08-14 14:45:35 +0000 | ft | (~ft@p508dba54.dip0.t-ipconnect.de) ft |
| 2025-08-14 14:46:38 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 245 seconds) |
| 2025-08-14 14:48:10 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-08-14 14:48:34 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 14:51:08 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-08-14 14:51:42 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 14:52:31 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-08-14 14:55:52 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-08-14 14:58:38 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 15:02:41 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-14 15:02:55 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-08-14 15:10:18 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 15:11:08 +0000 | fp | (~Thunderbi@2001:708:150:10::72df) (Ping timeout: 272 seconds) |
| 2025-08-14 15:17:44 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 260 seconds) |
| 2025-08-14 15:18:37 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 260 seconds) |
| 2025-08-14 15:18:37 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-08-14 15:18:49 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-08-14 15:20:38 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 2025-08-14 15:24:07 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: You) |
| 2025-08-14 15:24:42 +0000 | ashkan81 | (~ashkan81@147.161.173.107) |
| 2025-08-14 15:25:20 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-08-14 15:25:32 +0000 | <ashkan81> | Hello everyone. Shouldn't this be impossible : `instance (MonadReader a m, MonadReader b m) => ... ` due to `m -> r` in `MonadReader` ? |
| 2025-08-14 15:26:25 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-08-14 15:26:58 +0000 | <ashkan81> | Looks like my ghc-9.6.7 is more than happy to compile this (to me) impossible constraint and even run the code. I'm wondering what am I missing here ... |
| 2025-08-14 15:26:58 +0000 | jbalint_ | (~jbalint@syn-071-090-116-115.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2025-08-14 15:27:14 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 15:27:28 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 15:30:49 +0000 | jbalint | (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) |
| 2025-08-14 15:30:50 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 15:31:52 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2025-08-14 15:31:53 +0000 | <ashkan81> | Actually got my answer from Claude: in case `a ~ b` this can be satisfied so ghc compiles this but if you actually try to call it (I haven't yet) in a way that can't satisfy the constraint, then it complains. Makes sense +1 |
| 2025-08-14 15:33:13 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-14 15:36:38 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-08-14 15:39:02 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 260 seconds) |
| 2025-08-14 15:40:15 +0000 | <ncf> | another way to say this is that the constraint is equivalent to (MonadReader a m, a ~ b) |
| 2025-08-14 15:42:29 +0000 | trickard__ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-08-14 15:43:34 +0000 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-08-14 15:49:38 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 15:50:33 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-08-14 15:54:01 +0000 | <dolio> | I don't know if things have changed in this regard, but it used to be the case that they would not work quite the same. |
| 2025-08-14 15:54:53 +0000 | <dolio> | Like, you would not be able to write `foo :: (MonadReader a m, MonadReader b m) => a -> m b ; foo x = pure x` |
| 2025-08-14 16:02:53 +0000 | trickard__ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-08-14 16:04:21 +0000 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-08-14 16:04:37 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 248 seconds) |
| 2025-08-14 16:07:58 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-14 16:11:16 +0000 | yangby | (~secret@115.205.231.82) yangby |
| 2025-08-14 16:11:43 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-08-14 16:13:01 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 16:14:46 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-08-14 16:16:04 +0000 | <ncf> | huh |
| 2025-08-14 16:20:37 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-08-14 16:24:28 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Server closed connection) |
| 2025-08-14 16:25:11 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-08-14 16:27:58 +0000 | SoF | (~skius@user/skius) (Server closed connection) |
| 2025-08-14 16:28:33 +0000 | SoF | (~skius@user/skius) skius |
| 2025-08-14 16:28:37 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 260 seconds) |
| 2025-08-14 16:32:43 +0000 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 16:32:57 +0000 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-08-14 16:33:41 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 2025-08-14 16:35:09 +0000 | <monochrom> | I can see that 99% of the time the programmer intends a and b to be different, so warning/erring early is more helpful than logicing it out. |
| 2025-08-14 16:35:45 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 16:35:48 +0000 | <monochrom> | But I'm a logician, so if someone says "everyone loves my baby, but my baby loves only me" then I deduce "so you are your baby, what's the problem?" :) |
| 2025-08-14 16:40:38 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-08-14 16:41:18 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 276 seconds) |
| 2025-08-14 16:42:04 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 255 seconds) |
| 2025-08-14 16:42:37 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-08-14 16:43:31 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-08-14 16:44:21 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-14 16:47:43 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 16:48:38 +0000 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 16:48:52 +0000 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-08-14 16:49:46 +0000 | <ncf> | ... that doesn't follow, does it |
| 2025-08-14 16:51:32 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-14 16:53:06 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 272 seconds) |
| 2025-08-14 16:53:17 +0000 | <monochrom> | 0. forall x. x loves baby. So baby loves baby. 1. forall x. if baby loves x, x = me. |
| 2025-08-14 16:56:32 +0000 | <ncf> | oh |
| 2025-08-14 16:58:30 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-08-14 16:58:48 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-14 17:01:21 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-08-14 17:05:21 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 2025-08-14 17:08:00 +0000 | jespada | (~jespada@2800:a4:2225:9000:913:54f8:4fc8:5494) (Ping timeout: 244 seconds) |
| 2025-08-14 17:10:38 +0000 | jespada | (~jespada@2800:a4:221c:d00:54c4:d919:36f:30dc) jespada |
| 2025-08-14 17:11:11 +0000 | trickard_ | trickard |
| 2025-08-14 17:12:08 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 17:15:30 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-08-14 17:17:01 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 252 seconds) |
| 2025-08-14 17:18:35 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 17:21:46 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-08-14 17:21:53 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2025-08-14 17:22:39 +0000 | karenw_ | (~karenw@user/karenw) karenw |
| 2025-08-14 17:26:22 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-14 17:29:52 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-08-14 17:29:52 +0000 | ljdarj1 | ljdarj |
| 2025-08-14 17:30:06 +0000 | Guest7 | (~Guest7@2001:1c00:a16:9d00:1ca4:37b:5db4:4baa) |
| 2025-08-14 17:33:03 +0000 | Guest7 | (~Guest7@2001:1c00:a16:9d00:1ca4:37b:5db4:4baa) (Client Quit) |
| 2025-08-14 17:40:36 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-14 17:46:55 +0000 | karenw_ | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-08-14 17:59:48 +0000 | sp1ff | (~user@c-24-21-190-184.hsd1.wa.comcast.net) sp1ff |
| 2025-08-14 17:59:55 +0000 | ashkan81 | (~ashkan81@147.161.173.107) (Quit: Client closed) |
| 2025-08-14 18:08:44 +0000 | karenw_ | (~karenw@user/karenw) karenw |
| 2025-08-14 18:12:17 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 2025-08-14 18:15:59 +0000 | yuuta | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Read error: Connection reset by peer) |
| 2025-08-14 18:16:15 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-08-14 18:16:19 +0000 | phma | (~phma@2001:5b0:2172:ba18:237a:adb:9a49:b97a) (Read error: Connection reset by peer) |
| 2025-08-14 18:24:30 +0000 | sprotte24 | (~sprotte24@p200300d16f11dd0054b8219bc5fe5604.dip0.t-ipconnect.de) |
| 2025-08-14 18:32:23 +0000 | phma | (~phma@2001:5b0:210d:8bb8:f757:698:1bee:7f4c) |
| 2025-08-14 18:40:14 +0000 | karenw_ | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-08-14 18:40:28 +0000 | karenw_ | (~karenw@user/karenw) karenw |
| 2025-08-14 18:42:17 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-14 18:43:22 +0000 | dhil | (~dhil@5.151.29.141) (Quit: Leaving) |
| 2025-08-14 18:52:09 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-14 18:56:12 +0000 | trickard | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 18:56:25 +0000 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-08-14 18:57:42 +0000 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
| 2025-08-14 18:57:46 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-08-14 19:00:03 +0000 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-08-14 19:00:46 +0000 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-08-14 19:00:54 +0000 | phma | (~phma@2001:5b0:210d:8bb8:f757:698:1bee:7f4c) (Read error: Connection reset by peer) |
| 2025-08-14 19:01:24 +0000 | phma | (~phma@host-67-44-208-12.hnremote.net) |
| 2025-08-14 19:06:56 +0000 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 19:06:58 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-08-14 19:07:12 +0000 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-08-14 19:10:12 +0000 | karenw_ | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-08-14 19:10:26 +0000 | Square2 | (~Square@user/square) Square |
| 2025-08-14 19:13:21 +0000 | Square | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-08-14 19:15:28 +0000 | user363627 | (~user@user/user363627) user363627 |
| 2025-08-14 19:15:58 +0000 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 19:16:55 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-08-14 19:18:04 +0000 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-08-14 19:19:14 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2025-08-14 19:24:23 +0000 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-14 19:24:53 +0000 | Beowulf | (florian@gabilgathol.bandrate.org) (Server closed connection) |
| 2025-08-14 19:25:29 +0000 | Beowulf | (florian@gabilgathol.bandrate.org) |
| 2025-08-14 19:25:57 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-08-14 19:27:37 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-08-14 19:49:16 +0000 | trickard_ | trickard |
| 2025-08-14 19:50:41 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-08-14 19:51:58 +0000 | rvalue | (~rvalue@about/hackers/rvalue) (Remote host closed the connection) |
| 2025-08-14 19:52:24 +0000 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-08-14 19:53:50 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-14 19:54:24 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 2025-08-14 19:59:01 +0000 | fgarcia_ | (~lei@user/fgarcia) fgarcia |
| 2025-08-14 19:59:47 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 260 seconds) |
| 2025-08-14 20:00:30 +0000 | fgarcia_ | fgarcia |
| 2025-08-14 20:05:26 +0000 | glguy | (glguy@libera/staff/glguy) (*.net *.split) |
| 2025-08-14 20:05:26 +0000 | hololeap | (~quassel@user/hololeap) (*.net *.split) |
| 2025-08-14 20:05:26 +0000 | zfnmxt | (~zfnmxt@user/zfnmxt) (*.net *.split) |
| 2025-08-14 20:05:26 +0000 | rembo10 | (~rembo10@main.remulis.com) (*.net *.split) |
| 2025-08-14 20:05:26 +0000 | tabaqui | (~tabaqui@167.71.80.236) (*.net *.split) |
| 2025-08-14 20:05:26 +0000 | cyphase | (~cyphase@user/cyphase) (*.net *.split) |
| 2025-08-14 20:05:26 +0000 | smiesner | (b0cf5acf8c@user/smiesner) (*.net *.split) |
| 2025-08-14 20:05:27 +0000 | dunj3 | (~dunj3@2a01:239:328:1600::1) (*.net *.split) |
| 2025-08-14 20:05:27 +0000 | She | (haveident@libera/staff/she/her) (*.net *.split) |
| 2025-08-14 20:05:27 +0000 | pabs3 | (~pabs3@user/pabs3) (*.net *.split) |
| 2025-08-14 20:05:27 +0000 | davidlbowman | (~dlb@user/davidlbowman) (*.net *.split) |
| 2025-08-14 20:05:27 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (*.net *.split) |
| 2025-08-14 20:05:27 +0000 | finsternis | (~X@23.226.237.192) (*.net *.split) |
| 2025-08-14 20:05:27 +0000 | olivial | (~benjaminl@user/benjaminl) (*.net *.split) |
| 2025-08-14 20:05:27 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 2025-08-14 20:05:27 +0000 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) (*.net *.split) |
| 2025-08-14 20:05:27 +0000 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) (*.net *.split) |
| 2025-08-14 20:05:27 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) (*.net *.split) |
| 2025-08-14 20:05:27 +0000 | krei-se- | (~krei-se@p3ee0fd0d.dip0.t-ipconnect.de) (*.net *.split) |
| 2025-08-14 20:05:27 +0000 | opencircuit | (~quassel@154.94.15.139) (*.net *.split) |
| 2025-08-14 20:05:27 +0000 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (*.net *.split) |
| 2025-08-14 20:05:27 +0000 | peutri | (~peutri@bobo.desast.re) (*.net *.split) |
| 2025-08-14 20:05:28 +0000 | hc | (~hc@mail.hce.li) (*.net *.split) |
| 2025-08-14 20:05:28 +0000 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (*.net *.split) |
| 2025-08-14 20:05:28 +0000 | Flow | (~none@gentoo/developer/flow) (*.net *.split) |
| 2025-08-14 20:05:28 +0000 | xal | (~xal@mx1.xal.systems) (*.net *.split) |
| 2025-08-14 20:05:28 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (*.net *.split) |
| 2025-08-14 20:05:28 +0000 | leah2 | (~leah@vuxu.org) (*.net *.split) |
| 2025-08-14 20:05:28 +0000 | noctux | (~noctux@user/noctux) (*.net *.split) |
| 2025-08-14 20:05:28 +0000 | catties | (~catties@user/meow/catties) (*.net *.split) |
| 2025-08-14 20:05:29 +0000 | ftzm | (~ftzm@085080231172.dynamic.telenor.dk) (*.net *.split) |
| 2025-08-14 20:05:29 +0000 | coldmountain | (sid484352@id-484352.helmsley.irccloud.com) (*.net *.split) |
| 2025-08-14 20:05:29 +0000 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) (*.net *.split) |
| 2025-08-14 20:05:29 +0000 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (*.net *.split) |
| 2025-08-14 20:05:29 +0000 | preflex | (~preflex@user/mauke/bot/preflex) (*.net *.split) |
| 2025-08-14 20:05:29 +0000 | potatoespotatoes | (~quassel@user/potatoespotatoes) (*.net *.split) |
| 2025-08-14 20:05:29 +0000 | n3t | (~n3t@user/n3t) (*.net *.split) |
| 2025-08-14 20:05:29 +0000 | sa | (sid1055@id-1055.tinside.irccloud.com) (*.net *.split) |
| 2025-08-14 20:05:29 +0000 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) (*.net *.split) |
| 2025-08-14 20:05:29 +0000 | hook54321 | (sid149355@user/hook54321) (*.net *.split) |
| 2025-08-14 20:05:30 +0000 | mniip_ | (mniip@libera/staff/mniip) (*.net *.split) |
| 2025-08-14 20:05:30 +0000 | ii8 | (~ii8@45.63.97.131) (*.net *.split) |
| 2025-08-14 20:05:30 +0000 | markasoftware | (~quassel@2604:180:f2::217) (*.net *.split) |
| 2025-08-14 20:05:30 +0000 | skylord5816 | (~skylord58@user/skylord5816) (*.net *.split) |
| 2025-08-14 20:05:30 +0000 | mima | (~mmh@user/mima) (*.net *.split) |
| 2025-08-14 20:05:30 +0000 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2025-08-14 20:05:30 +0000 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (*.net *.split) |
| 2025-08-14 20:05:30 +0000 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (*.net *.split) |
| 2025-08-14 20:05:30 +0000 | welterde | (welterde@thinkbase.srv.welterde.de) (*.net *.split) |
| 2025-08-14 20:05:30 +0000 | sweater2 | (~sweater@206.81.18.26) (*.net *.split) |
| 2025-08-14 20:05:31 +0000 | gAy_Dragon | (A_D@libera/staff/dragon) (*.net *.split) |
| 2025-08-14 20:05:31 +0000 | eugenrh | (~eugenrh@user/eugenrh) (*.net *.split) |
| 2025-08-14 20:05:31 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (*.net *.split) |
| 2025-08-14 20:05:31 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (*.net *.split) |
| 2025-08-14 20:05:31 +0000 | rvalue | (~rvalue@about/hackers/rvalue) (*.net *.split) |
| 2025-08-14 20:05:31 +0000 | Square2 | (~Square@user/square) (*.net *.split) |
| 2025-08-14 20:05:31 +0000 | caconym747 | (~caconym@user/caconym) (*.net *.split) |
| 2025-08-14 20:05:31 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (*.net *.split) |
| 2025-08-14 20:05:31 +0000 | forell | (~forell@user/forell) (*.net *.split) |
| 2025-08-14 20:05:31 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (*.net *.split) |
| 2025-08-14 20:05:31 +0000 | dsal | (sid13060@id-13060.lymington.irccloud.com) (*.net *.split) |
| 2025-08-14 20:05:31 +0000 | tomku | (~tomku@user/tomku) (*.net *.split) |
| 2025-08-14 20:05:31 +0000 | EvanR | (~EvanR@user/evanr) (*.net *.split) |
| 2025-08-14 20:05:31 +0000 | berberman | (~berberman@user/berberman) (*.net *.split) |
| 2025-08-14 20:05:31 +0000 | Rembane | (~Rembane@user/Rembane) (*.net *.split) |
| 2025-08-14 20:05:31 +0000 | Yumemi | (~Yumemi@chamoin.net) (*.net *.split) |
| 2025-08-14 20:05:31 +0000 | Ranhir | (~Ranhir@157.97.53.139) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | myme | (~myme@2a01:799:d5e:5f00:8454:7424:ac66:563a) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | p3n | (~p3n@217.198.124.246) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | fired | (~la@173-255-196-82.ip.linodeusercontent.com) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | chymera | (~chymera@ns1000526.ip-51-81-46.us) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | connrs | (~connrs@user/connrs) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | aku | (aku@2a01:4f9:c010:836c::1) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | m1dnight_ | (~m1dnight@109.236.62.22) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | Angelz | (Angelz@angelz.oddprotocol.org) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | dumptruckman | (~dumptruck@66-175-211-75.ip.linodeusercontent.com) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | haveo | (~weechat@pacamara.iuwt.fr) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | aruns | (~aruns@user/aruns) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | vulpine | (xfnw@user/meow/xfnw) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | turlando | (~turlando@user/turlando) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | Pixi | (~Pixi@user/pixi) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | ell | (~ellie@user/ellie) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | lucyy | (228ee8f0ce@user/lucyy) (*.net *.split) |
| 2025-08-14 20:05:32 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | ajrdck | (e0a4b72d53@user/ajrdck) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | rselim | (ce261f06ff@user/milesrout) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | jkoshy | (d3cabd0b63@user/jkoshy) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | rprospero | (eadde01e73@user/rprospero) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | kawzeg | (kawzeg@2a01:4f9:c013:cfbf::1) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | piele | (~piele@eiseth.creativeserver.net) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | remexre | (~remexre@user/remexre) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | Philonous | (~Philonous@user/philonous) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | Dykam | (Dykam@dykam.nl) (*.net *.split) |
| 2025-08-14 20:05:33 +0000 | vgtw | (~vgtw@user/vgtw) (*.net *.split) |
| 2025-08-14 20:05:34 +0000 | cross | (~cross@spitfire.i.gajendra.net) (*.net *.split) |
| 2025-08-14 20:05:34 +0000 | mud | (~mud@user/kadoban) (*.net *.split) |
| 2025-08-14 20:05:34 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (*.net *.split) |
| 2025-08-14 20:05:34 +0000 | m_a_r_k | (~m_a_r_k@user/m-a-r-k:45929) (*.net *.split) |
| 2025-08-14 20:05:34 +0000 | lyxia | (~lyxia@poisson.chat) (*.net *.split) |
| 2025-08-14 20:05:34 +0000 | Goodbye_Vincent1 | (cyvahl@freakshells.net) (*.net *.split) |
| 2025-08-14 20:05:34 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split) |
| 2025-08-14 20:05:34 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (*.net *.split) |
| 2025-08-14 20:05:34 +0000 | dpk | (~dpk@jains.nonceword.org) (*.net *.split) |
| 2025-08-14 20:05:34 +0000 | bwe | (~bwe@static.72.17.201.195.clients.your-server.de) (*.net *.split) |
| 2025-08-14 20:05:34 +0000 | sshine | (~simon@dao.mechanicus.xyz) (*.net *.split) |
| 2025-08-14 20:05:34 +0000 | esph | (~weechat@user/esph) (*.net *.split) |
| 2025-08-14 20:05:34 +0000 | acro | (~acro@user/acro) (*.net *.split) |
| 2025-08-14 20:05:34 +0000 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (*.net *.split) |
| 2025-08-14 20:05:34 +0000 | Aleksejs | (~Aleksejs@107.170.21.106) (*.net *.split) |
| 2025-08-14 20:05:34 +0000 | nonzen | (~nonzen@user/nonzen) (*.net *.split) |
| 2025-08-14 20:05:34 +0000 | andjjj23 | (~irc@107.170.228.47) (*.net *.split) |
| 2025-08-14 20:05:34 +0000 | mmaruseacph2 | (~mihai@mihai.page) (*.net *.split) |
| 2025-08-14 20:06:29 +0000 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2025-08-14 20:07:59 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-08-14 20:07:59 +0000 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-08-14 20:07:59 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) whereiseveryone |
| 2025-08-14 20:07:59 +0000 | finsternis | (~X@23.226.237.192) finsternis |
| 2025-08-14 20:07:59 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-08-14 20:07:59 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2025-08-14 20:07:59 +0000 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
| 2025-08-14 20:07:59 +0000 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) lexi-lambda |
| 2025-08-14 20:07:59 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-08-14 20:07:59 +0000 | krei-se- | (~krei-se@p3ee0fd0d.dip0.t-ipconnect.de) krei-se |
| 2025-08-14 20:07:59 +0000 | opencircuit | (~quassel@154.94.15.139) |
| 2025-08-14 20:07:59 +0000 | peutri | (~peutri@bobo.desast.re) peutri |
| 2025-08-14 20:07:59 +0000 | hc | (~hc@mail.hce.li) hc |
| 2025-08-14 20:07:59 +0000 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-08-14 20:07:59 +0000 | Flow | (~none@gentoo/developer/flow) flow |
| 2025-08-14 20:07:59 +0000 | xal | (~xal@mx1.xal.systems) xal |
| 2025-08-14 20:07:59 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
| 2025-08-14 20:07:59 +0000 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-08-14 20:07:59 +0000 | noctux | (~noctux@user/noctux) noctux |
| 2025-08-14 20:07:59 +0000 | catties | (~catties@user/meow/catties) catties |
| 2025-08-14 20:07:59 +0000 | ftzm | (~ftzm@085080231172.dynamic.telenor.dk) ftzm |
| 2025-08-14 20:07:59 +0000 | coldmountain | (sid484352@id-484352.helmsley.irccloud.com) coldmountain |
| 2025-08-14 20:07:59 +0000 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) nschoe |
| 2025-08-14 20:07:59 +0000 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) earthy |
| 2025-08-14 20:07:59 +0000 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
| 2025-08-14 20:07:59 +0000 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-08-14 20:07:59 +0000 | n3t | (~n3t@user/n3t) n3t |
| 2025-08-14 20:07:59 +0000 | sa | (sid1055@id-1055.tinside.irccloud.com) sa |
| 2025-08-14 20:07:59 +0000 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) hamishmack |
| 2025-08-14 20:07:59 +0000 | ii8 | (~ii8@45.63.97.131) ii8 |
| 2025-08-14 20:07:59 +0000 | hook54321 | (sid149355@user/hook54321) hook54321 |
| 2025-08-14 20:07:59 +0000 | mniip_ | (mniip@libera/staff/mniip) mniip |
| 2025-08-14 20:07:59 +0000 | markasoftware | (~quassel@2604:180:f2::217) markasoftware |
| 2025-08-14 20:07:59 +0000 | skylord5816 | (~skylord58@user/skylord5816) skylord5816 |
| 2025-08-14 20:07:59 +0000 | mima | (~mmh@user/mima) mima |
| 2025-08-14 20:07:59 +0000 | c_wraith | (~c_wraith@adjoint.us) c_wraith |
| 2025-08-14 20:07:59 +0000 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) Hobbyboy |
| 2025-08-14 20:07:59 +0000 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) beaky |
| 2025-08-14 20:07:59 +0000 | welterde | (welterde@thinkbase.srv.welterde.de) welterde |
| 2025-08-14 20:07:59 +0000 | sweater2 | (~sweater@206.81.18.26) sweater |
| 2025-08-14 20:07:59 +0000 | gAy_Dragon | (A_D@libera/staff/dragon) ad |
| 2025-08-14 20:07:59 +0000 | eugenrh | (~eugenrh@user/eugenrh) eugenrh |
| 2025-08-14 20:07:59 +0000 | lithium.libera.chat | +v lambdabot |
| 2025-08-14 20:08:01 +0000 | jespada_ | (~jespada@2800:a4:221c:d00:4516:4dbf:4dbc:d0) jespada |
| 2025-08-14 20:08:58 +0000 | trickard | 040ABMS7S |
| 2025-08-14 20:09:13 +0000 | hololeap | (~quassel@user/hololeap) hololeap |
| 2025-08-14 20:09:13 +0000 | zfnmxt | (~zfnmxt@user/zfnmxt) zfnmxt |
| 2025-08-14 20:09:13 +0000 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-08-14 20:09:13 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-08-14 20:09:13 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-08-14 20:09:13 +0000 | smiesner | (b0cf5acf8c@user/smiesner) smiesner |
| 2025-08-14 20:09:13 +0000 | dunj3 | (~dunj3@2a01:239:328:1600::1) dunj3 |
| 2025-08-14 20:09:13 +0000 | She | (haveident@libera/staff/she/her) She |
| 2025-08-14 20:09:14 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 2025-08-14 20:09:14 +0000 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-08-14 20:09:14 +0000 | Square2 | (~Square@user/square) Square |
| 2025-08-14 20:09:14 +0000 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-08-14 20:09:14 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-08-14 20:09:14 +0000 | forell | (~forell@user/forell) forell |
| 2025-08-14 20:09:14 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-08-14 20:09:14 +0000 | dsal | (sid13060@id-13060.lymington.irccloud.com) dsal |
| 2025-08-14 20:09:14 +0000 | tomku | (~tomku@user/tomku) tomku |
| 2025-08-14 20:09:14 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-08-14 20:09:14 +0000 | berberman | (~berberman@user/berberman) berberman |
| 2025-08-14 20:09:14 +0000 | Rembane | (~Rembane@user/Rembane) Rembane |
| 2025-08-14 20:09:14 +0000 | Yumemi | (~Yumemi@chamoin.net) Yumemi |
| 2025-08-14 20:09:14 +0000 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2025-08-14 20:09:14 +0000 | myme | (~myme@2a01:799:d5e:5f00:8454:7424:ac66:563a) myme |
| 2025-08-14 20:09:14 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-08-14 20:09:14 +0000 | p3n | (~p3n@217.198.124.246) p3n |
| 2025-08-14 20:09:14 +0000 | fired | (~la@173-255-196-82.ip.linodeusercontent.com) |
| 2025-08-14 20:09:14 +0000 | chymera | (~chymera@ns1000526.ip-51-81-46.us) chymera |
| 2025-08-14 20:09:14 +0000 | connrs | (~connrs@user/connrs) connrs |
| 2025-08-14 20:09:14 +0000 | aruns | (~aruns@user/aruns) aruns |
| 2025-08-14 20:09:14 +0000 | aku | (aku@2a01:4f9:c010:836c::1) eagleflo |
| 2025-08-14 20:09:14 +0000 | m1dnight_ | (~m1dnight@109.236.62.22) m1dnight |
| 2025-08-14 20:09:14 +0000 | Angelz | (Angelz@angelz.oddprotocol.org) |
| 2025-08-14 20:09:14 +0000 | dumptruckman | (~dumptruck@66-175-211-75.ip.linodeusercontent.com) dumptruckman |
| 2025-08-14 20:09:14 +0000 | haveo | (~weechat@pacamara.iuwt.fr) haveo |
| 2025-08-14 20:09:14 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) ggb |
| 2025-08-14 20:09:14 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2025-08-14 20:09:14 +0000 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2025-08-14 20:09:14 +0000 | turlando | (~turlando@user/turlando) turlando |
| 2025-08-14 20:09:14 +0000 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-08-14 20:09:14 +0000 | ell | (~ellie@user/ellie) ellie |
| 2025-08-14 20:09:14 +0000 | rselim | (ce261f06ff@user/milesrout) milesrout |
| 2025-08-14 20:09:14 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) fvr |
| 2025-08-14 20:09:14 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) alethkit |
| 2025-08-14 20:09:14 +0000 | ajrdck | (e0a4b72d53@user/ajrdck) ajrdck |
| 2025-08-14 20:09:14 +0000 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) thatonelutenist |
| 2025-08-14 20:09:14 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) shreyasminocha |
| 2025-08-14 20:09:14 +0000 | lucyy | (228ee8f0ce@user/lucyy) lucyy |
| 2025-08-14 20:09:14 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) cpli |
| 2025-08-14 20:09:14 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2025-08-14 20:09:14 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) akspecs |
| 2025-08-14 20:09:14 +0000 | rprospero | (eadde01e73@user/rprospero) rprospero |
| 2025-08-14 20:09:14 +0000 | jkoshy | (d3cabd0b63@user/jkoshy) jkoshy |
| 2025-08-14 20:09:14 +0000 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) simendsjo |
| 2025-08-14 20:09:14 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) jeso |
| 2025-08-14 20:09:14 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) raghavgururajan |
| 2025-08-14 20:09:14 +0000 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) bheesham |
| 2025-08-14 20:09:14 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) evanrelf |
| 2025-08-14 20:09:14 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2025-08-14 20:09:14 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) |
| 2025-08-14 20:09:14 +0000 | kawzeg | (kawzeg@2a01:4f9:c013:cfbf::1) kawzeg |
| 2025-08-14 20:09:14 +0000 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) shawwwn |
| 2025-08-14 20:09:14 +0000 | piele | (~piele@eiseth.creativeserver.net) piele |
| 2025-08-14 20:09:14 +0000 | remexre | (~remexre@user/remexre) remexre |
| 2025-08-14 20:09:14 +0000 | Philonous | (~Philonous@user/philonous) Philonous |
| 2025-08-14 20:09:14 +0000 | Dykam | (Dykam@dykam.nl) Dykam |
| 2025-08-14 20:09:14 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-08-14 20:09:14 +0000 | cross | (~cross@spitfire.i.gajendra.net) cross |
| 2025-08-14 20:09:14 +0000 | mud | (~mud@user/kadoban) kadoban |
| 2025-08-14 20:09:14 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2025-08-14 20:09:14 +0000 | m_a_r_k | (~m_a_r_k@user/m-a-r-k:45929) m_a_r_k |
| 2025-08-14 20:09:14 +0000 | lyxia | (~lyxia@poisson.chat) lyxia |
| 2025-08-14 20:09:14 +0000 | Goodbye_Vincent1 | (cyvahl@freakshells.net) Goodbye_Vincent |
| 2025-08-14 20:09:14 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke |
| 2025-08-14 20:09:14 +0000 | sshine | (~simon@dao.mechanicus.xyz) sshine |
| 2025-08-14 20:09:14 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2025-08-14 20:09:14 +0000 | dpk | (~dpk@jains.nonceword.org) dpk |
| 2025-08-14 20:09:14 +0000 | bwe | (~bwe@static.72.17.201.195.clients.your-server.de) bwe |
| 2025-08-14 20:09:14 +0000 | esph | (~weechat@user/esph) esph |
| 2025-08-14 20:09:14 +0000 | acro | (~acro@user/acro) acro |
| 2025-08-14 20:09:14 +0000 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2025-08-14 20:09:14 +0000 | Aleksejs | (~Aleksejs@107.170.21.106) aleksejs |
| 2025-08-14 20:09:14 +0000 | nonzen | (~nonzen@user/nonzen) nonzen |
| 2025-08-14 20:09:14 +0000 | andjjj23 | (~irc@107.170.228.47) andjjj23 |
| 2025-08-14 20:09:14 +0000 | mmaruseacph2 | (~mihai@mihai.page) mmaruseacph2 |
| 2025-08-14 20:09:14 +0000 | lithium.libera.chat | +v yahb2 |
| 2025-08-14 20:09:18 +0000 | cross | (~cross@spitfire.i.gajendra.net) (Max SendQ exceeded) |
| 2025-08-14 20:09:19 +0000 | smiesner | (b0cf5acf8c@user/smiesner) (Max SendQ exceeded) |
| 2025-08-14 20:09:20 +0000 | hololeap | (~quassel@user/hololeap) (Max SendQ exceeded) |
| 2025-08-14 20:09:22 +0000 | smiesner_ | (b0cf5acf8c@2a03:6000:1812:100::13b9) |
| 2025-08-14 20:09:48 +0000 | smiesner_ | smiesner |
| 2025-08-14 20:09:54 +0000 | cross | (~cross@spitfire.i.gajendra.net) cross |
| 2025-08-14 20:10:27 +0000 | jespada | (~jespada@2800:a4:221c:d00:54c4:d919:36f:30dc) (Ping timeout: 252 seconds) |
| 2025-08-14 20:12:33 +0000 | sa | (sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 253 seconds) |
| 2025-08-14 20:12:37 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 248 seconds) |
| 2025-08-14 20:14:28 +0000 | sa | (sid1055@id-1055.tinside.irccloud.com) sa |
| 2025-08-14 20:22:14 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 20:27:53 +0000 | 040ABMS7S | (~trickard@cpe-88-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-08-14 20:28:22 +0000 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-08-14 20:34:53 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-08-14 20:35:11 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-08-14 20:40:09 +0000 | jespada_ | (~jespada@2800:a4:221c:d00:4516:4dbf:4dbc:d0) (Ping timeout: 252 seconds) |
| 2025-08-14 20:40:14 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-08-14 20:40:30 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-08-14 20:48:18 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 276 seconds) |
| 2025-08-14 20:49:27 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-14 20:50:39 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-08-14 20:50:46 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-14 20:52:11 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-14 20:54:09 +0000 | myme | (~myme@2a01:799:d5e:5f00:8454:7424:ac66:563a) (Ping timeout: 248 seconds) |
| 2025-08-14 20:55:20 +0000 | myme | (~myme@2a01:799:d5e:5f00:f352:6657:b092:5000) myme |
| 2025-08-14 20:55:39 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 20:56:55 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-08-14 20:57:05 +0000 | jorge | (~jorge@119.45.23.95.dynamic.jazztel.es) |
| 2025-08-14 20:59:30 +0000 | jorge | piedras |
| 2025-08-14 21:01:48 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
| 2025-08-14 21:05:59 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 260 seconds) |
| 2025-08-14 21:09:00 +0000 | Square | (~Square4@user/square) Square |
| 2025-08-14 21:10:17 +0000 | jespada | (~jespada@2800:a4:221c:d00:5878:108c:d6ec:98c9) jespada |
| 2025-08-14 21:11:21 +0000 | piedras | (~jorge@119.45.23.95.dynamic.jazztel.es) (Ping timeout: 244 seconds) |
| 2025-08-14 21:12:05 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 21:12:08 +0000 | piedras | (~jorge@119.45.23.95.dynamic.jazztel.es) |
| 2025-08-14 21:13:31 +0000 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!) |
| 2025-08-14 21:13:53 +0000 | Square2 | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-08-14 21:18:43 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.3) |
| 2025-08-14 21:20:22 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 272 seconds) |
| 2025-08-14 21:22:18 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-08-14 21:22:38 +0000 | takuan | (~takuan@d8d86b9e9.access.telenet.be) (Remote host closed the connection) |
| 2025-08-14 21:25:31 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-08-14 21:31:12 +0000 | davidlbowman | (~dlb@user/davidlbowman) (Ping timeout: 276 seconds) |
| 2025-08-14 21:31:33 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 21:35:25 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-14 21:37:21 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 248 seconds) |
| 2025-08-14 21:41:39 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-08-14 21:43:12 +0000 | Taneb | (~Taneb@ip87-106-35-210.pbiaas.com) (Server closed connection) |
| 2025-08-14 21:43:43 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-14 21:45:13 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 21:45:49 +0000 | yangby | (~secret@115.205.231.82) (Ping timeout: 260 seconds) |
| 2025-08-14 21:49:58 +0000 | piedras | (~jorge@119.45.23.95.dynamic.jazztel.es) (Ping timeout: 245 seconds) |
| 2025-08-14 21:53:14 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 260 seconds) |
| 2025-08-14 21:54:50 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-14 21:56:34 +0000 | lol_ | (~lol@2603:3016:1e01:b960:61b9:84a6:6553:ea15) |
| 2025-08-14 21:58:33 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-08-14 21:59:45 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 21:59:57 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b960:7c5d:96f1:61c:c516) (Ping timeout: 260 seconds) |
| 2025-08-14 22:03:01 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-08-14 22:07:36 +0000 | sprotte24 | (~sprotte24@p200300d16f11dd0054b8219bc5fe5604.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-08-14 22:11:36 +0000 | Taneb | (~Taneb@ip87-106-35-210.pbiaas.com) Taneb |
| 2025-08-14 22:24:47 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-08-14 22:25:14 +0000 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
| 2025-08-14 22:28:12 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-08-14 22:31:56 +0000 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 272 seconds) |
| 2025-08-14 22:33:21 +0000 | sprotte24 | (~sprotte24@p200300d16f11dd0054b8219bc5fe5604.dip0.t-ipconnect.de) |
| 2025-08-14 22:33:22 +0000 | sprotte24 | (~sprotte24@p200300d16f11dd0054b8219bc5fe5604.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-08-14 22:39:49 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 248 seconds) |
| 2025-08-14 22:40:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 22:41:17 +0000 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 22:43:18 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-14 22:47:10 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-08-14 22:47:10 +0000 | ljdarj1 | ljdarj |
| 2025-08-14 22:47:32 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Server closed connection) |
| 2025-08-14 22:47:45 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-08-14 22:49:57 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-14 22:50:25 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-08-14 22:59:18 +0000 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 22:59:31 +0000 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-08-14 23:02:28 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-08-14 23:06:18 +0000 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-08-14 23:09:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-14 23:19:39 +0000 | xff0x | (~xff0x@2405:6580:b080:900:86d4:8706:5c5f:d5c) (Ping timeout: 252 seconds) |
| 2025-08-14 23:21:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 23:28:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-14 23:37:30 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-08-14 23:37:52 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 255 seconds) |
| 2025-08-14 23:39:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 23:39:42 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 2025-08-14 23:40:59 +0000 | xff0x | (~xff0x@2405:6580:b080:900:86d4:8706:5c5f:d5c) |
| 2025-08-14 23:41:56 +0000 | dunj3 | (~dunj3@2a01:239:328:1600::1) (Server closed connection) |
| 2025-08-14 23:42:10 +0000 | dunj3 | (~dunj3@2a01:239:328:1600::1) |
| 2025-08-14 23:43:12 +0000 | tremon | (~tremon@83.80.159.219) (Ping timeout: 252 seconds) |
| 2025-08-14 23:43:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-14 23:51:32 +0000 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 23:51:46 +0000 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-08-14 23:54:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 23:57:05 +0000 | glguy | (glguy@libera/staff/glguy) glguy |
| 2025-08-14 23:58:02 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-08-14 23:58:41 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-08-14 23:59:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |