| 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) |