| 2025-10-24 00:00:52 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-10-24 00:02:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-24 00:02:17 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-24 00:05:36 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-10-24 00:08:36 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 00:08:50 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-24 00:11:13 +0200 | superstar64 | (~superstar@2600:1700:57e0:e3c0::31) (Quit: Leaving) |
| 2025-10-24 00:12:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 00:16:21 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cd8f:ea15:2cfa:e4a8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-24 00:17:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-24 00:26:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 00:31:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-24 00:40:35 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-10-24 00:42:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 00:42:29 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-24 00:45:04 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-10-24 00:46:01 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 00:46:15 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-24 00:46:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-24 00:47:48 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-10-24 00:51:37 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-24 00:52:35 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds) |
| 2025-10-24 00:57:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 01:00:46 +0200 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-24 01:00:54 +0200 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Client Quit) |
| 2025-10-24 01:03:10 +0200 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-24 01:04:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-24 01:07:32 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-24 01:09:48 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-24 01:09:50 +0200 | LainIwakura43 | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-24 01:12:28 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:59ee:2e5c:beb6:44e3) (Read error: Connection reset by peer) |
| 2025-10-24 01:13:01 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:59ee:2e5c:beb6:44e3) synchromesh |
| 2025-10-24 01:15:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 01:16:50 +0200 | xff0x | (~xff0x@2405:6580:b080:900:fec7:9ad7:e4a7:c671) (Ping timeout: 244 seconds) |
| 2025-10-24 01:20:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-24 01:20:22 +0200 | qqe | (~qqq@185.54.23.200) |
| 2025-10-24 01:27:37 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-24 01:31:01 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: jnsn) |
| 2025-10-24 01:31:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 01:31:35 +0200 | LainIwakura43 | (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds) |
| 2025-10-24 01:36:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-24 01:39:56 +0200 | xff0x | (~xff0x@2405:6580:b080:900:fec7:9ad7:e4a7:c671) |
| 2025-10-24 01:43:17 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-10-24 01:46:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 01:50:08 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 246 seconds) |
| 2025-10-24 01:51:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-24 01:56:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 02:00:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-24 02:04:35 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-10-24 02:11:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 02:12:38 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2025-10-24 02:13:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-24 02:16:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-24 02:22:24 +0200 | caconym7478798 | caconym |
| 2025-10-24 02:23:20 +0200 | caconym | (~caconym@user/caconym) (bye) |
| 2025-10-24 02:27:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 02:30:13 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-10-24 02:32:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-24 02:34:17 +0200 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-10-24 02:34:40 +0200 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-24 02:38:37 +0200 | otto_s | (~user@p5de2fc78.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-10-24 02:38:58 +0200 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-10-24 02:40:10 +0200 | otto_s | (~user@p5b044bdd.dip0.t-ipconnect.de) |
| 2025-10-24 02:40:32 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 244 seconds) |
| 2025-10-24 02:41:31 +0200 | meinside- | meinside |
| 2025-10-24 02:42:22 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-10-24 02:43:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 02:49:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-24 02:49:56 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 02:50:09 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-24 02:50:18 +0200 | xff0x | (~xff0x@2405:6580:b080:900:fec7:9ad7:e4a7:c671) (Ping timeout: 256 seconds) |
| 2025-10-24 02:50:18 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-10-24 02:50:25 +0200 | ystael_ | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2025-10-24 02:52:09 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-10-24 02:56:49 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:3c4e:fa7a:e07a:5a51) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2025-10-24 02:57:09 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:3c4e:fa7a:e07a:5a51) youngfrog |
| 2025-10-24 03:01:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 03:05:11 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-24 03:05:17 +0200 | williu5 | (~williu5@user/williu5) williu5 |
| 2025-10-24 03:05:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-24 03:13:19 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-10-24 03:14:37 +0200 | karenw | (~karenw@user/karenw) (Ping timeout: 255 seconds) |
| 2025-10-24 03:16:10 +0200 | Square2 | (~Square@user/square) Square |
| 2025-10-24 03:16:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 03:21:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-24 03:22:10 +0200 | qqe | (~qqq@185.54.23.200) (Remote host closed the connection) |
| 2025-10-24 03:27:16 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 03:27:30 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-24 03:28:07 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-10-24 03:30:46 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-10-24 03:31:55 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-24 03:32:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 03:37:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-24 03:45:03 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-10-24 03:48:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 03:50:48 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-24 03:53:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-24 04:02:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 04:06:53 +0200 | trickard_ | trickard |
| 2025-10-24 04:07:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-24 04:14:11 +0200 | nurupo | (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 2025-10-24 04:14:26 +0200 | nurupo | (~nurupo.ga@user/nurupo) nurupo |
| 2025-10-24 04:18:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 04:24:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-24 04:24:07 +0200 | qqe | (~qqq@185.54.23.200) |
| 2025-10-24 04:28:52 +0200 | td_ | (~td@i53870926.versanet.de) (Ping timeout: 260 seconds) |
| 2025-10-24 04:34:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 04:35:14 +0200 | td_ | (~td@2001:9e8:19e0:2a00:334f:6dc4:3cb7:9653) |
| 2025-10-24 04:38:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-24 04:45:13 +0200 | qqe | (~qqq@185.54.23.200) (Quit: Lost terminal) |
| 2025-10-24 04:45:53 +0200 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2025-10-24 04:47:03 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-10-24 04:49:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 04:54:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-24 04:55:53 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 04:56:06 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-24 05:00:21 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-24 05:00:37 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-24 05:05:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 05:09:42 +0200 | bggd | (~bgg@2a01:e0a:819:1510:1b45:b7a3:b4e:5159) (Remote host closed the connection) |
| 2025-10-24 05:10:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-24 05:13:34 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-24 05:21:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 05:26:42 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-10-24 05:28:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-24 05:29:14 +0200 | bggd | (~bgg@2a01:e0a:819:1510:c164:b4c3:e966:1834) |
| 2025-10-24 05:35:58 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 05:36:12 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-24 05:38:59 +0200 | Googulator35 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 05:39:15 +0200 | Googulator35 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 05:39:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 05:44:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-24 05:48:12 +0200 | aforemny_ | (~aforemny@i577B13CB.versanet.de) aforemny |
| 2025-10-24 05:49:25 +0200 | aforemny | (~aforemny@i59F4C4D3.versanet.de) (Ping timeout: 255 seconds) |
| 2025-10-24 05:50:17 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-24 05:53:37 +0200 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-24 05:53:41 +0200 | Zemy_ | (~Zemy@2600:100c:b008:ae3d:44a6:41ff:fe2b:8f71) |
| 2025-10-24 05:54:14 +0200 | Zemy | (~Zemy@72.178.108.235) |
| 2025-10-24 05:54:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 05:57:52 +0200 | Zemy_ | (~Zemy@2600:100c:b008:ae3d:44a6:41ff:fe2b:8f71) (Ping timeout: 256 seconds) |
| 2025-10-24 06:00:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-24 06:04:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 06:09:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-24 06:15:39 +0200 | Googulator17 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 06:15:39 +0200 | Googulator35 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 06:16:57 +0200 | craunts795335385 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-24 06:19:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 06:22:22 +0200 | michalz | (~michalz@185.246.207.218) |
| 2025-10-24 06:25:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-24 06:25:23 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-24 06:27:12 +0200 | trickard_ | trickard |
| 2025-10-24 06:34:58 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-10-24 06:35:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 06:40:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-24 06:45:40 +0200 | Googulator36 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 06:45:40 +0200 | Googulator17 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 06:51:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 06:56:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-24 07:01:15 +0200 | Lears | (~Leary@user/Leary/x-0910699) Leary |
| 2025-10-24 07:01:54 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Ping timeout: 256 seconds) |
| 2025-10-24 07:02:56 +0200 | Lears | Leary |
| 2025-10-24 07:04:29 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 07:04:43 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-24 07:04:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 07:11:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-10-24 07:11:51 +0200 | priime | (~priime@2a01:4ff:f0:7ccc::1) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-24 07:14:40 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-10-24 07:15:15 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 07:15:28 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-24 07:17:00 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-24 07:18:45 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-24 07:22:32 +0200 | priime | (~priime@2a01:4ff:f0:7ccc::1) priime |
| 2025-10-24 07:23:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 07:27:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-24 07:31:53 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-24 07:38:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 07:39:22 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63 |
| 2025-10-24 07:43:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-24 07:49:57 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-24 07:50:32 +0200 | Googulator36 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 07:50:44 +0200 | Googulator36 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 07:54:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 07:55:25 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-24 07:57:50 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 07:58:04 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-24 07:59:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-24 08:05:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 08:10:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-24 08:15:35 +0200 | Googulator36 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 08:15:37 +0200 | Googulator24 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 08:20:45 +0200 | Googulator27 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 08:20:45 +0200 | Googulator24 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 08:21:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 08:23:01 +0200 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-10-24 08:26:18 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-24 08:26:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-24 08:33:52 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-24 08:35:11 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-24 08:36:40 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-24 08:37:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 08:40:18 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-24 08:42:51 +0200 | kubrat | (~kubrat@149.62.205.13) kubrat |
| 2025-10-24 08:43:06 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-24 08:45:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-24 08:55:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 08:58:47 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-24 09:03:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-24 09:04:57 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-24 09:08:02 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 244 seconds) |
| 2025-10-24 09:09:57 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-10-24 09:10:48 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-24 09:12:11 +0200 | trickard_ | trickard |
| 2025-10-24 09:22:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 09:27:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-24 09:29:47 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:59ee:2e5c:beb6:44e3) (Read error: Connection reset by peer) |
| 2025-10-24 09:30:39 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:443f:a42a:4395:130b) synchromesh |
| 2025-10-24 09:30:43 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-24 09:35:37 +0200 | Googulator27 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 09:35:41 +0200 | Googulator90 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 09:38:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 09:42:24 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 09:42:38 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-24 09:43:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-24 09:45:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 09:46:47 +0200 | krei-se | (~krei-se@p200300f1cf412501000000000000c8c6.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-10-24 09:47:37 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-10-24 09:57:42 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-10-24 09:57:57 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-24 09:59:45 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-10-24 10:02:17 +0200 | srazkvt | (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
| 2025-10-24 10:02:30 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-24 10:05:29 +0200 | trickard_ | trickard |
| 2025-10-24 10:06:43 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63 |
| 2025-10-24 10:07:16 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds) |
| 2025-10-24 10:09:02 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-10-24 10:09:03 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-24 10:09:17 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-24 10:11:35 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cd8f:ea15:2cfa:e4a8) |
| 2025-10-24 10:15:42 +0200 | Googulator75 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 10:15:42 +0200 | Googulator90 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 10:17:06 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-10-24 10:34:51 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-24 10:50:39 +0200 | Googulator66 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 10:50:45 +0200 | Googulator75 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 10:55:19 +0200 | kubrat | (~kubrat@149.62.205.13) (Quit: Client closed) |
| 2025-10-24 11:00:16 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-24 11:03:30 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-24 11:22:39 +0200 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-10-24 11:25:37 +0200 | Googulator18 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 11:25:45 +0200 | Googulator66 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 11:32:00 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-24 11:37:36 +0200 | kuribas | (~user@2a02-1810-2825-6000-123f-3da5-629e-495e.ip6.access.telenet.be) kuribas |
| 2025-10-24 11:39:18 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Read error: Connection reset by peer) |
| 2025-10-24 11:39:41 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2025-10-24 11:41:46 +0200 | krei-se | (~krei-se@p5dea1e5a.dip0.t-ipconnect.de) krei-se |
| 2025-10-24 11:47:50 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-10-24 11:49:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-10-24 11:57:25 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-24 11:58:06 +0200 | srazkvt | (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
| 2025-10-24 11:58:21 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-24 12:00:45 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-10-24 12:00:47 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-24 12:02:14 +0200 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-10-24 12:02:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 12:04:51 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-10-24 12:04:51 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-10-24 12:09:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-24 12:12:23 +0200 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-10-24 12:12:24 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63 |
| 2025-10-24 12:13:09 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Client Quit) |
| 2025-10-24 12:13:32 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-24 12:14:10 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-10-24 12:21:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 12:27:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-24 12:36:36 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63 |
| 2025-10-24 12:38:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 12:39:01 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-24 12:39:02 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-24 12:45:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-24 12:47:40 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-24 12:48:47 +0200 | trickard_ | trickard |
| 2025-10-24 12:51:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 12:55:56 +0200 | kubrat | (~kubrat@149.62.205.13) kubrat |
| 2025-10-24 13:01:41 +0200 | xff0x | (~xff0x@ai080027.d.east.v6connect.net) |
| 2025-10-24 13:07:41 +0200 | Wbooze | (~wboozE@2a02:8071:57a1:dc0:58f2:1a2c:6dc:ccad) Inline |
| 2025-10-24 13:07:46 +0200 | Wbooze | (~wboozE@2a02:8071:57a1:dc0:58f2:1a2c:6dc:ccad) (Remote host closed the connection) |
| 2025-10-24 13:13:24 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-10-24 13:24:32 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-24 13:35:37 +0200 | Wbooze | (~wboozE@2a02:8071:57a1:dc0:58f2:1a2c:6dc:ccad) Inline |
| 2025-10-24 13:35:40 +0200 | Googulator18 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 13:35:45 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 13:38:07 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2025-10-24 13:38:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-24 13:43:56 +0200 | acidjnk | (~acidjnk@p200300d6e71719149420a57b8c2d8a1a.dip0.t-ipconnect.de) acidjnk |
| 2025-10-24 13:51:41 +0200 | qqe | (~qqq@185.54.23.200) |
| 2025-10-24 13:53:26 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63 |
| 2025-10-24 14:05:56 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-24 14:07:23 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 14:07:37 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-24 14:12:39 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-24 14:14:57 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-24 14:15:43 +0200 | Googulator20 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 14:15:46 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 14:17:06 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds) |
| 2025-10-24 14:19:19 +0200 | kubrat | (~kubrat@149.62.205.13) (Quit: Client closed) |
| 2025-10-24 14:21:09 +0200 | Jackneill_ | (~Jackneill@94-21-95-10.pool.digikabel.hu) |
| 2025-10-24 14:22:06 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-24 14:23:40 +0200 | Jackneill | (~Jackneill@94-21-95-227.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2025-10-24 14:29:21 +0200 | _________ | (~nobody@user/noodly) (Ping timeout: 250 seconds) |
| 2025-10-24 14:31:25 +0200 | _________ | (~nobody@user/noodly) _________ |
| 2025-10-24 14:35:35 +0200 | Googulator78 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 14:35:35 +0200 | Googulator20 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 14:36:19 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-10-24 14:38:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cd8f:ea15:2cfa:e4a8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-24 14:39:29 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-10-24 14:48:22 +0200 | Guest26 | (~Guest26@88.97.199.38) |
| 2025-10-24 14:48:33 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-10-24 14:49:05 +0200 | Guest26 | (~Guest26@88.97.199.38) (Client Quit) |
| 2025-10-24 14:55:28 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-24 14:56:53 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-24 14:57:52 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-24 14:58:06 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-24 15:01:25 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds) |
| 2025-10-24 15:10:17 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-24 15:13:18 +0200 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft |
| 2025-10-24 15:15:43 +0200 | Googulator35 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 15:15:43 +0200 | Googulator78 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 15:21:10 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d88f:2255:14bf:ec80) |
| 2025-10-24 15:23:24 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 252 seconds) |
| 2025-10-24 15:25:59 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 15:26:13 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-24 15:39:33 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-10-24 15:40:12 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-24 15:45:21 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-10-24 15:50:44 +0200 | Googulator35 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 15:50:45 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 15:54:29 +0200 | paul424 | (~lektor@2a01:111f:1301:c700:146c:2766:6a2d:c6cd) |
| 2025-10-24 15:55:45 +0200 | <paul424> | I have function of type : m :: forall a b. (a -> b) -> [a] -> [b] . How to prove from that : m f xs = map f (m id xs) = m id (map f xs) |
| 2025-10-24 15:57:45 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-10-24 15:58:14 +0200 | trickard__ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-24 16:01:40 +0200 | AntiRembane | Rembane |
| 2025-10-24 16:05:22 +0200 | <__monty__> | paul424: Without further constraints on the problem that's not provable. `m` could be bottom in Haskell, fulfilling the signature but not commuting with map. |
| 2025-10-24 16:08:36 +0200 | paul424 | (~lektor@2a01:111f:1301:c700:146c:2766:6a2d:c6cd) (Quit: Leaving) |
| 2025-10-24 16:17:35 +0200 | Square2 | (~Square@user/square) Square |
| 2025-10-24 16:17:52 +0200 | <tomsmeding> | __monty__: would it not? If m is bottom, wouldn't all three expressions evaluate to bottom? |
| 2025-10-24 16:18:27 +0200 | <tomsmeding> | in any case, they should look up free theorems, but they left already |
| 2025-10-24 16:18:49 +0200 | <tomsmeding> | ("Theorems for free!" by Wadler) |
| 2025-10-24 16:18:57 +0200 | <tomsmeding> | there's probably more recent material |
| 2025-10-24 16:22:30 +0200 | <__monty__> | Hmm, you're right. |
| 2025-10-24 16:23:48 +0200 | srazkvt | (~sarah@user/srazkvt) (Ping timeout: 260 seconds) |
| 2025-10-24 16:35:20 +0200 | bggd | (~bgg@2a01:e0a:819:1510:c164:b4c3:e966:1834) (Quit: std::move) |
| 2025-10-24 16:49:15 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-10-24 16:50:17 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-24 16:53:39 +0200 | acidjnk | (~acidjnk@p200300d6e71719149420a57b8c2d8a1a.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-10-24 16:53:52 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-10-24 16:58:54 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-24 16:59:47 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-10-24 17:03:41 +0200 | img_ | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-24 17:04:10 +0200 | qqe | (~qqq@185.54.23.200) (Remote host closed the connection) |
| 2025-10-24 17:04:59 +0200 | img | (~img@user/img) img |
| 2025-10-24 17:18:10 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-10-24 17:21:35 +0200 | trickard__ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 17:21:49 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-24 17:21:54 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-24 17:24:18 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-24 17:43:16 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-10-24 17:43:30 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-10-24 17:45:38 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-24 17:47:12 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:443f:a42a:4395:130b) (Read error: Connection reset by peer) |
| 2025-10-24 17:48:18 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:443f:a42a:4395:130b) synchromesh |
| 2025-10-24 17:50:02 +0200 | yin | (~zero@user/zero) (Remote host closed the connection) |
| 2025-10-24 17:52:36 +0200 | yin | (~zero@user/zero) zero |
| 2025-10-24 17:53:26 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: leaving) |
| 2025-10-24 17:54:45 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-24 18:00:39 +0200 | yin | (~zero@user/zero) (Remote host closed the connection) |
| 2025-10-24 18:02:31 +0200 | yin | (~zero@user/zero) zero |
| 2025-10-24 18:03:24 +0200 | trickard_ | trickard |
| 2025-10-24 18:15:22 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 2025-10-24 18:16:15 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-24 18:24:16 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-24 18:26:56 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 18:27:11 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 18:28:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-24 18:28:13 +0200 | kuribas | (~user@2a02-1810-2825-6000-123f-3da5-629e-495e.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-10-24 18:39:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 18:39:55 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-24 18:48:15 +0200 | acidjnk | (~acidjnk@p200300d6e71719145522d7c0b030ad0e.dip0.t-ipconnect.de) acidjnk |
| 2025-10-24 18:50:38 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 18:50:39 +0200 | yin | (~zero@user/zero) (Remote host closed the connection) |
| 2025-10-24 18:50:41 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 18:53:08 +0200 | yin | (~zero@user/zero) zero |
| 2025-10-24 18:54:46 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-24 18:55:39 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-24 18:58:05 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-10-24 19:00:45 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-24 19:01:05 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-24 19:03:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-24 19:05:41 +0200 | Guest54 | (~Guest54@95.68.100.1) |
| 2025-10-24 19:07:11 +0200 | Guest54 | Berimor |
| 2025-10-24 19:07:41 +0200 | Berimor | (~Guest54@95.68.100.1) (Client Quit) |
| 2025-10-24 19:08:43 +0200 | qqe | (~qqq@185.54.23.200) |
| 2025-10-24 19:10:56 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-10-24 19:15:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 19:15:55 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.7.1) |
| 2025-10-24 19:18:02 +0200 | bggd | (~bgg@2a01:e0a:819:1510:7bcd:1a48:39fb:eb8e) |
| 2025-10-24 19:18:06 +0200 | jespada | (~jespada@2800:a4:225c:5f00:7482:e18d:48f6:46e9) jespada |
| 2025-10-24 19:23:06 +0200 | jespada | (~jespada@2800:a4:225c:5f00:7482:e18d:48f6:46e9) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-10-24 19:25:30 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 19:25:40 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 19:31:36 +0200 | <tomsmeding> | Here's an idle complaint that you may well ignore if you want to. |
| 2025-10-24 19:31:50 +0200 | <tomsmeding> | Lists have nice syntax in Haskell, and they carry that syntax to the type level too: type-level lists are nice. |
| 2025-10-24 19:32:04 +0200 | <tomsmeding> | However, typing environments in programming language theory are snoc lists, not cons lists. |
| 2025-10-24 19:32:47 +0200 | <tomsmeding> | So if you have a well-typed AST indexed by a type-level list indicating the typing environment, then you have a choice: either your type-level list goes the wrong way and you hvae to mentally reverse all the time, or you use your own custom snoc list data type and lose the nice list syntax. |
| 2025-10-24 19:33:08 +0200 | <tomsmeding> | Can't have nice things |
| 2025-10-24 19:34:09 +0200 | <tomsmeding> | My current codebase has lists, and I have to mentally reverse all the time. I did this because I came from a codebase that had a custom data type, and the notation was ugly and verbose |
| 2025-10-24 19:34:24 +0200 | <tomsmeding> | I want both >.< |
| 2025-10-24 19:34:45 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-10-24 19:38:09 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Read error: Connection reset by peer) |
| 2025-10-24 19:42:19 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-24 19:44:55 +0200 | Square2 | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2025-10-24 19:45:27 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 19:45:41 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-24 19:49:00 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-24 19:49:22 +0200 | juri_ | (~juri@implicitcad.org) (Ping timeout: 260 seconds) |
| 2025-10-24 19:50:53 +0200 | juri_ | (~juri@implicitcad.org) juri_ |
| 2025-10-24 19:59:47 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 20:00:01 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-24 20:00:33 +0200 | karenw | (~karenw@user/karenw) karenw |
| 2025-10-24 20:06:11 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-24 20:07:50 +0200 | eron | (~eron@143.0.15.19) lidenbrock |
| 2025-10-24 20:10:20 +0200 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2025-10-24 20:16:51 +0200 | <EvanR> | yeah I will go with the nice syntax and metally reverse everything |
| 2025-10-24 20:20:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-24 20:20:23 +0200 | haltingsolver | (~cmo@2604:3d09:207f:8000:d250:ea0c:366a:6e73) |
| 2025-10-24 20:20:32 +0200 | eron | (~eron@143.0.15.19) (Quit: Client closed) |
| 2025-10-24 20:20:55 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 20:21:09 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 20:22:13 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2025-10-24 20:22:58 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-10-24 20:25:26 +0200 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 256 seconds) |
| 2025-10-24 20:27:12 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-10-24 20:30:55 +0200 | LainIwakura19 | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-24 20:31:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 20:31:15 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds) |
| 2025-10-24 20:35:25 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-24 20:36:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-24 20:39:27 +0200 | qqe | (~qqq@185.54.23.200) (Remote host closed the connection) |
| 2025-10-24 20:39:29 +0200 | LainIwakura19 | (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds) |
| 2025-10-24 20:45:44 +0200 | <monochrom> | For that kind of questions, usually we assume that there is no bottom, all functions/values involved are total. |
| 2025-10-24 20:46:08 +0200 | <monochrom> | (If the question intended to include bottom, it would not ask about = in the first place.) |
| 2025-10-24 20:46:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 20:47:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-24 20:52:02 +0200 | <tomsmeding> | EvanR: metally? |
| 2025-10-24 20:54:47 +0200 | <EvanR> | 🤘 |
| 2025-10-24 21:00:33 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-10-24 21:01:39 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 252 seconds) |
| 2025-10-24 21:06:09 +0200 | rvalue- | rvalue |
| 2025-10-24 21:12:35 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 21:12:51 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 21:20:00 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-10-24 21:21:05 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-24 21:26:19 +0200 | trickard_ | trickard |
| 2025-10-24 21:28:46 +0200 | jespada | (~jespada@2800:a4:225c:5f00:301a:4a31:d5e6:2c05) jespada |
| 2025-10-24 21:30:18 +0200 | fgidim | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-10-24 21:32:37 +0200 | karenw | (~karenw@user/karenw) (Ping timeout: 255 seconds) |
| 2025-10-24 21:33:50 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-10-24 21:35:25 +0200 | Achylles | (~Achylles@45.182.57.47) Achylles |
| 2025-10-24 21:35:39 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 21:35:46 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 21:36:52 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-10-24 21:41:10 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 255 seconds) |
| 2025-10-24 21:42:13 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-10-24 21:43:58 +0200 | Achylles | (~Achylles@45.182.57.47) (Remote host closed the connection) |
| 2025-10-24 21:44:16 +0200 | Achylles | (~Achylles@45.182.57.47) Achylles |
| 2025-10-24 21:45:25 +0200 | jespada | (~jespada@2800:a4:225c:5f00:301a:4a31:d5e6:2c05) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-10-24 21:49:04 +0200 | yauhsien | (~Yau-Hsien@36-229-172-92.dynamic-ip.hinet.net) |
| 2025-10-24 21:50:21 +0200 | Achylles | (~Achylles@45.182.57.47) (Remote host closed the connection) |
| 2025-10-24 21:51:02 +0200 | yauhsien | (~Yau-Hsien@36-229-172-92.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 2025-10-24 21:51:19 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-24 21:51:37 +0200 | yauhsien | (~Yau-Hsien@36-229-172-92.dynamic-ip.hinet.net) yauhsien |
| 2025-10-24 21:55:33 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:443f:a42a:4395:130b) (Read error: Connection reset by peer) |
| 2025-10-24 21:56:57 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:443f:a42a:4395:130b) synchromesh |
| 2025-10-24 21:59:43 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-24 22:04:35 +0200 | td_ | (~td@2001:9e8:19e0:2a00:334f:6dc4:3cb7:9653) (Ping timeout: 244 seconds) |
| 2025-10-24 22:05:04 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-24 22:06:37 +0200 | td_ | (~td@i53870931.versanet.de) |
| 2025-10-24 22:07:03 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-24 22:23:56 +0200 | yauhsien | (~Yau-Hsien@36-229-172-92.dynamic-ip.hinet.net) (Quit: Leaving) |
| 2025-10-24 22:24:26 +0200 | haltingsolver | (~cmo@2604:3d09:207f:8000:d250:ea0c:366a:6e73) (Ping timeout: 256 seconds) |
| 2025-10-24 22:25:38 +0200 | Googulator16 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 22:25:49 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 22:27:37 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-24 22:34:37 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-24 22:35:46 +0200 | Googulator52 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 22:36:14 +0200 | Googulator16 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 22:38:21 +0200 | trickard___ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-10-24 22:39:13 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-10-24 22:42:18 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 252 seconds) |
| 2025-10-24 22:44:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-10-24 22:52:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |