2025-09-14 00:00:59 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2025-09-14 00:03:23 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-14 00:06:09 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-09-14 00:23:42 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f91c:d27d:e5a1:1629) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-14 00:23:55 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-09-14 00:25:57 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 252 seconds) |
2025-09-14 00:32:05 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
2025-09-14 00:33:12 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 256 seconds) |
2025-09-14 00:41:28 +0200 | rvalue- | rvalue |
2025-09-14 00:53:54 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-09-14 01:02:20 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-09-14 01:06:10 +0200 | AndreiDuma_ | (~AndreiDum@user/AndreiDuma) (Ping timeout: 245 seconds) |
2025-09-14 01:09:58 +0200 | acidjnk | (~acidjnk@p200300d6e7171985d0ee778a4f468fb7.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
2025-09-14 01:10:55 +0200 | acidjnk | (~acidjnk@p200300d6e71719170df66312024318c6.dip0.t-ipconnect.de) acidjnk |
2025-09-14 01:13:08 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
2025-09-14 01:30:54 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-14 01:33:47 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
2025-09-14 01:33:47 +0200 | ljdarj1 | ljdarj |
2025-09-14 01:45:36 +0200 | qqe | (~qqq@185.54.23.100) |
2025-09-14 01:50:58 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-09-14 01:51:14 +0200 | Googulator96 | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
2025-09-14 01:55:01 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
2025-09-14 01:55:41 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-09-14 02:04:11 +0200 | acidjnk | (~acidjnk@p200300d6e71719170df66312024318c6.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-09-14 02:07:01 +0200 | sprotte24 | (~sprotte24@p200300d16f0c9300e4e250e3633e4aa5.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-09-14 02:09:32 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-09-14 02:12:46 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-09-14 02:13:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-09-14 02:17:27 +0200 | otto_s | (~user@p5de2f6d3.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
2025-09-14 02:17:28 +0200 | Square2 | (~Square@user/square) (Ping timeout: 248 seconds) |
2025-09-14 02:23:29 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-14 02:23:43 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-09-14 02:26:53 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f91c:d27d:e5a1:1629) |
2025-09-14 02:27:12 +0200 | otto_s | (~user@p4ff27811.dip0.t-ipconnect.de) |
2025-09-14 02:27:24 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f91c:d27d:e5a1:1629) (Client Quit) |
2025-09-14 02:28:20 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) segfaultfizzbuzz |
2025-09-14 02:30:24 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) (Remote host closed the connection) |
2025-09-14 02:31:02 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) |
2025-09-14 02:37:44 +0200 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 260 seconds) |
2025-09-14 03:00:39 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
2025-09-14 03:00:45 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-09-14 03:01:01 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-09-14 03:05:26 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
2025-09-14 03:10:21 +0200 | dfg | (~dfg@user/dfg) (Ping timeout: 250 seconds) |
2025-09-14 03:10:38 +0200 | zzz | (~zero@user/zero) (Remote host closed the connection) |
2025-09-14 03:32:49 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
2025-09-14 03:38:19 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
2025-09-14 03:40:12 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) (Ping timeout: 256 seconds) |
2025-09-14 03:48:40 +0200 | dfg | (~dfg@dfg.rocks) |
2025-09-14 03:48:40 +0200 | dfg | (~dfg@dfg.rocks) (Changing host) |
2025-09-14 03:48:40 +0200 | dfg | (~dfg@user/dfg) dfg |
2025-09-14 03:51:22 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-09-14 04:02:52 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
2025-09-14 04:03:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-14 04:05:03 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
2025-09-14 04:05:32 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
2025-09-14 04:15:29 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) |
2025-09-14 04:15:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-14 04:20:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-14 04:20:42 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) (Ping timeout: 244 seconds) |
2025-09-14 04:29:07 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-09-14 04:30:11 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-09-14 04:31:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-14 04:38:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-09-14 04:44:39 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-09-14 04:47:14 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
2025-09-14 04:47:18 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-09-14 04:47:51 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-09-14 04:49:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-14 04:52:11 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 248 seconds) |
2025-09-14 04:56:14 +0200 | sp1ff` | (~user@c-73-11-118-48.hsd1.wa.comcast.net) (Remote host closed the connection) |
2025-09-14 04:56:23 +0200 | sp1ff | (~user@2601:1c2:4900:8209::a41) sp1ff |
2025-09-14 04:56:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-14 04:58:16 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-09-14 05:02:17 +0200 | raym | (~ray@user/raym) raym |
2025-09-14 05:02:24 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
2025-09-14 05:03:32 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) PKDrinker |
2025-09-14 05:03:45 +0200 | <PKDrinker> | Hello guys |
2025-09-14 05:08:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-14 05:27:06 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-09-14 06:08:40 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
2025-09-14 06:08:54 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-09-14 06:12:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-14 06:12:57 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-09-14 06:15:22 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-09-14 06:16:02 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) (Ping timeout: 256 seconds) |
2025-09-14 06:16:22 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) PKDrinker |
2025-09-14 06:16:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-14 06:25:23 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-14 06:28:08 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-09-14 06:39:26 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-14 06:39:39 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-09-14 06:42:47 +0200 | Eoco | (~ian@128.101.131.218) (Quit: WeeChat 4.4.2) |
2025-09-14 06:44:35 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
2025-09-14 06:47:46 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
2025-09-14 06:57:08 +0200 | Googulator96 | Googulator |
2025-09-14 07:00:18 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
2025-09-14 07:07:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-14 07:11:46 +0200 | trickard_ | trickard |
2025-09-14 07:15:20 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
2025-09-14 07:17:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-14 07:20:38 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
2025-09-14 07:20:56 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) |
2025-09-14 07:32:32 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-09-14 07:43:50 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-09-14 07:51:00 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-09-14 08:02:17 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
2025-09-14 08:08:15 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-14 08:08:29 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
2025-09-14 08:11:04 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2025-09-14 08:11:41 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2025-09-14 08:12:46 +0200 | trickard_ | trickard |
2025-09-14 08:21:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-14 08:21:40 +0200 | Square2 | (~Square@user/square) Square |
2025-09-14 08:34:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-14 08:38:09 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
2025-09-14 08:40:23 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-09-14 08:40:45 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-14 08:40:58 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) |
2025-09-14 08:45:04 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
2025-09-14 08:48:47 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
2025-09-14 08:53:00 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds) |
2025-09-14 08:53:24 +0200 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 260 seconds) |
2025-09-14 09:00:00 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-09-14 09:00:40 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-09-14 09:01:11 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
2025-09-14 09:04:42 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
2025-09-14 09:18:07 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f91c:d27d:e5a1:1629) |
2025-09-14 09:31:18 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
2025-09-14 09:40:35 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f91c:d27d:e5a1:1629) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-14 09:49:16 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-09-14 09:50:15 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-09-14 09:51:31 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-09-14 09:52:05 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f91c:d27d:e5a1:1629) |
2025-09-14 09:55:30 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-09-14 10:13:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f91c:d27d:e5a1:1629) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-14 10:15:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f91c:d27d:e5a1:1629) |
2025-09-14 10:16:47 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-09-14 10:17:22 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-09-14 10:21:08 +0200 | biberu | (~biberu@user/biberu) biberu |
2025-09-14 10:25:43 +0200 | laman | (laman@rego.ai) (Ping timeout: 255 seconds) |
2025-09-14 10:27:40 +0200 | laman | (laman@rego.ai) laman |
2025-09-14 10:27:43 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f91c:d27d:e5a1:1629) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-14 10:38:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
2025-09-14 10:40:53 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
2025-09-14 10:43:08 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-09-14 10:49:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-14 10:52:59 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
2025-09-14 10:53:28 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-09-14 10:59:01 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-09-14 11:09:41 +0200 | erizawa | (~kazuki@user/erizawa) erizawa |
2025-09-14 11:10:14 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-09-14 11:12:51 +0200 | cyphase_eviltwin | (~cyphase@user/cyphase) cyphase |
2025-09-14 11:13:24 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
2025-09-14 11:14:22 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-14 11:14:36 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
2025-09-14 11:26:34 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) (Ping timeout: 256 seconds) |
2025-09-14 11:26:37 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-14 11:26:56 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) PKDrinker |
2025-09-14 11:29:51 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) (Remote host closed the connection) |
2025-09-14 11:31:51 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) segfaultfizzbuzz |
2025-09-14 11:42:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-09-14 11:43:13 +0200 | trickard_ | trickard |
2025-09-14 11:53:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-14 11:56:01 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) (Ping timeout: 256 seconds) |
2025-09-14 12:00:03 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-09-14 12:01:01 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-09-14 12:05:56 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-09-14 12:06:50 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-09-14 12:08:24 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
2025-09-14 12:09:25 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-14 12:11:37 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-09-14 12:12:02 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-14 12:13:31 +0200 | acidjnk | (~acidjnk@p200300d6e7171917d8d62854256e96a7.dip0.t-ipconnect.de) acidjnk |
2025-09-14 12:44:17 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-09-14 12:49:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-09-14 12:57:35 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-09-14 13:00:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-14 13:06:00 +0200 | zzz | (~zero@user/zero) zero |
2025-09-14 13:06:33 +0200 | zzz | (~zero@user/zero) (Remote host closed the connection) |
2025-09-14 13:07:53 +0200 | zzz | (~zero@user/zero) zero |
2025-09-14 13:11:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-14 13:18:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-14 13:20:19 +0200 | zzz | (~zero@user/zero) (Remote host closed the connection) |
2025-09-14 13:24:09 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 256 seconds) |
2025-09-14 13:24:17 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
2025-09-14 13:26:58 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-09-14 13:29:21 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-14 13:29:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-14 13:30:15 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
2025-09-14 13:30:40 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-09-14 13:32:16 +0200 | Guest67 | (~Guest67@host-92-23-165-108.as13285.net) |
2025-09-14 13:35:08 +0200 | Guest67 | (~Guest67@host-92-23-165-108.as13285.net) (Client Quit) |
2025-09-14 13:40:53 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
2025-09-14 13:41:21 +0200 | zzz | (~zero@user/zero) zero |
2025-09-14 13:41:45 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-14 13:51:25 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-14 13:51:38 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
2025-09-14 13:54:24 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
2025-09-14 13:56:44 +0200 | petrichor | (~jez@user/petrichor) (Ping timeout: 256 seconds) |
2025-09-14 14:05:56 +0200 | petrichor | (~jez@user/petrichor) petrichor |
2025-09-14 14:08:35 +0200 | trickard_ | trickard |
2025-09-14 14:10:50 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-09-14 14:12:17 +0200 | zzz | (~zero@user/zero) (Remote host closed the connection) |
2025-09-14 14:13:13 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
2025-09-14 14:13:14 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
2025-09-14 14:13:14 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-09-14 14:16:40 +0200 | zzz | (~zero@user/zero) zero |
2025-09-14 14:17:23 +0200 | zzz | (~zero@user/zero) (Remote host closed the connection) |
2025-09-14 14:17:40 +0200 | zzz | (~zero@user/zero) zero |
2025-09-14 14:18:01 +0200 | zzz | (~zero@user/zero) (Remote host closed the connection) |
2025-09-14 14:18:17 +0200 | zzz | (~zero@user/zero) zero |
2025-09-14 14:19:28 +0200 | zzz | (~zero@user/zero) (Remote host closed the connection) |
2025-09-14 14:19:43 +0200 | zzz | (~zero@user/zero) zero |
2025-09-14 14:34:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-09-14 14:38:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-14 14:43:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-14 14:54:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-14 15:01:33 +0200 | petrichor | (~jez@user/petrichor) (Ping timeout: 252 seconds) |
2025-09-14 15:30:01 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-09-14 15:31:33 +0200 | tremon | (~tremon@83.80.159.219) tremon |
2025-09-14 15:31:48 +0200 | mulk | (~mulk@pd95144c3.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-09-14 15:32:16 +0200 | mulk | (~mulk@pd95144c3.dip0.t-ipconnect.de) mulk |
2025-09-14 15:32:32 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-09-14 15:33:00 +0200 | petrichor | (~jez@user/petrichor) petrichor |
2025-09-14 15:33:07 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) () |
2025-09-14 15:34:10 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-14 15:42:08 +0200 | michals | (~michals@ip-109-40-49-74.web.vodafone.de) laxmik |
2025-09-14 15:43:29 +0200 | michals | (~michals@ip-109-40-49-74.web.vodafone.de) (Client Quit) |
2025-09-14 15:45:03 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-09-14 15:45:22 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-14 15:45:47 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-09-14 15:49:35 +0200 | laxmik | (~user@ip-109-40-49-74.web.vodafone.de) laxmik |
2025-09-14 15:54:40 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) |
2025-09-14 15:56:10 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
2025-09-14 15:59:08 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) (Ping timeout: 256 seconds) |
2025-09-14 16:00:24 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Ping timeout: 252 seconds) |
2025-09-14 16:00:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-14 16:07:07 +0200 | karenw_ | (~karenw@user/karenw) karenw |
2025-09-14 16:12:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-14 16:17:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-14 16:24:54 +0200 | karenw_ | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
2025-09-14 16:25:28 +0200 | laxmik | (~user@ip-109-40-49-74.web.vodafone.de) (Ping timeout: 248 seconds) |
2025-09-14 16:28:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-14 16:45:07 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-09-14 16:51:45 +0200 | tbahne | (~tbahne@user/tbahne) tbahne |
2025-09-14 17:10:49 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-09-14 17:19:53 +0200 | tbahne | (~tbahne@user/tbahne) () |
2025-09-14 17:20:36 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-14 17:20:49 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
2025-09-14 17:24:59 +0200 | tbahne | (~tbahne@user/tbahne) tbahne |
2025-09-14 17:25:33 +0200 | tbahne | (~tbahne@user/tbahne) (Client Quit) |
2025-09-14 17:33:26 +0200 | qqe | (~qqq@185.54.23.100) (Remote host closed the connection) |
2025-09-14 17:33:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-09-14 17:34:39 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
2025-09-14 17:35:54 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Client Quit) |
2025-09-14 17:39:18 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) |
2025-09-14 17:39:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-14 17:44:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-14 17:49:30 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-09-14 17:51:08 +0200 | mreh | (~matthew@host86-146-25-35.range86-146.btcentralplus.com) mreh |
2025-09-14 17:53:11 +0200 | <mreh> | data B' = forall a. B' (B a) |
2025-09-14 17:53:19 +0200 | <mreh> | instance Eq B' where (B' a) == (B' b) = ??? |
2025-09-14 17:53:34 +0200 | <mreh> | ^ can I do this legitimately with unsafeCoerce? |
2025-09-14 17:55:28 +0200 | <mreh> | that type parameter `a` in `B a` is just a phantom type |
2025-09-14 17:55:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-14 17:57:41 +0200 | <geekosaur> | doesn't look like one to me? although I'd have to see the definition of B to know for certain |
2025-09-14 17:57:58 +0200 | <geekosaur> | if it is phantom, then unsafeCoerce is fine |
2025-09-14 17:58:18 +0200 | <Leary> | mreh: If you control `B`, expose `sameB :: B a -> B b -> Bool` and use that. Otherwise, `unsafeCoerce` may be the only choice. |
2025-09-14 17:58:47 +0200 | <mreh> | Yeah, I've defined B, and it is a true phantom type |
2025-09-14 17:59:15 +0200 | <mreh> | Leary, I could define sameB, but I want to derive the definition where possible |
2025-09-14 18:00:03 +0200 | <Leary> | If `type role B phantom`, you can also just use regular safe `coerce`. |
2025-09-14 18:00:46 +0200 | <mreh> | really... |
2025-09-14 18:02:57 +0200 | <mreh> | is that some GHC magic? |
2025-09-14 18:03:47 +0200 | <geekosaur> | just the rules for implicit `Coercible` constraints. Phantom types are automatically compatible |
2025-09-14 18:05:16 +0200 | <c_wraith> | technically, Coercible is magic |
2025-09-14 18:05:23 +0200 | <c_wraith> | it doesn't have real instances |
2025-09-14 18:05:40 +0200 | <mreh> | well, it works |
2025-09-14 18:06:16 +0200 | <mreh> | (type checks) |
2025-09-14 18:06:38 +0200 | <c_wraith> | the nice thing about Coercible is that it's conservative. If coerce works, it's safe. |
2025-09-14 18:08:06 +0200 | <c_wraith> | ... at least from the type system POV. It may break internal invariants. |
2025-09-14 18:08:39 +0200 | <monochrom> | The type system is also very conservative. :) |