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