| 2025-09-14 00:04:11 +0000 | acidjnk | (~acidjnk@p200300d6e71719170df66312024318c6.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-09-14 00:07:01 +0000 | sprotte24 | (~sprotte24@p200300d16f0c9300e4e250e3633e4aa5.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-09-14 00:09:32 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-14 00:12:46 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-09-14 00:13:06 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-09-14 00:17:27 +0000 | otto_s | (~user@p5de2f6d3.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-09-14 00:17:28 +0000 | Square2 | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-09-14 00:23:29 +0000 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-14 00:23:43 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-09-14 00:26:53 +0000 | tromp | (~textual@2001:1c00:3487:1b00:f91c:d27d:e5a1:1629) |
| 2025-09-14 00:27:12 +0000 | otto_s | (~user@p4ff27811.dip0.t-ipconnect.de) |
| 2025-09-14 00:27:24 +0000 | tromp | (~textual@2001:1c00:3487:1b00:f91c:d27d:e5a1:1629) (Client Quit) |
| 2025-09-14 00:28:20 +0000 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) segfaultfizzbuzz |
| 2025-09-14 00:30:24 +0000 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) (Remote host closed the connection) |
| 2025-09-14 00:31:02 +0000 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) |
| 2025-09-14 00:37:44 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 260 seconds) |
| 2025-09-14 01:00:39 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-09-14 01:00:45 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-14 01:01:01 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-09-14 01:05:26 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-09-14 01:10:21 +0000 | dfg | (~dfg@user/dfg) (Ping timeout: 250 seconds) |
| 2025-09-14 01:10:38 +0000 | zzz | (~zero@user/zero) (Remote host closed the connection) |
| 2025-09-14 01:32:49 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-09-14 01:38:19 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2025-09-14 01:40:12 +0000 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) (Ping timeout: 256 seconds) |
| 2025-09-14 01:48:40 +0000 | dfg | (~dfg@dfg.rocks) |
| 2025-09-14 01:48:40 +0000 | dfg | (~dfg@dfg.rocks) (Changing host) |
| 2025-09-14 01:48:40 +0000 | dfg | (~dfg@user/dfg) dfg |
| 2025-09-14 01:51:22 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-14 02:02:52 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 2025-09-14 02:03:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-14 02:05:03 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-09-14 02:05:32 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-09-14 02:15:29 +0000 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) |
| 2025-09-14 02:15:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 02:20:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-14 02:20:42 +0000 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) (Ping timeout: 244 seconds) |
| 2025-09-14 02:29:07 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-14 02:30:11 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-14 02:31:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 02:38:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-14 02:44:39 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-14 02:47:14 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-14 02:47:18 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-14 02:47:51 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-14 02:49:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 02:52:11 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 248 seconds) |
| 2025-09-14 02:56:14 +0000 | sp1ff` | (~user@c-73-11-118-48.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2025-09-14 02:56:23 +0000 | sp1ff | (~user@2601:1c2:4900:8209::a41) sp1ff |
| 2025-09-14 02:56:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-14 02:58:16 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-09-14 03:02:17 +0000 | raym | (~ray@user/raym) raym |
| 2025-09-14 03:02:24 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2025-09-14 03:03:32 +0000 | PKDrinker | (~PKDrinker@user/PKDrinker) PKDrinker |
| 2025-09-14 03:03:45 +0000 | <PKDrinker> | Hello guys |
| 2025-09-14 03:08:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 03:27:06 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-14 04:08:40 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-09-14 04:08:54 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-09-14 04:12:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-14 04:12:57 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-09-14 04:15:22 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-09-14 04:16:02 +0000 | PKDrinker | (~PKDrinker@user/PKDrinker) (Ping timeout: 256 seconds) |
| 2025-09-14 04:16:22 +0000 | PKDrinker | (~PKDrinker@user/PKDrinker) PKDrinker |
| 2025-09-14 04:16:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 04:25:23 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-14 04:28:08 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-09-14 04:39:26 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-14 04:39:39 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-09-14 04:42:47 +0000 | Eoco | (~ian@128.101.131.218) (Quit: WeeChat 4.4.2) |
| 2025-09-14 04:44:35 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-09-14 04:47:46 +0000 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-09-14 04:57:08 +0000 | Googulator96 | Googulator |
| 2025-09-14 05:00:18 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-09-14 05:07:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-14 05:11:46 +0000 | trickard_ | trickard |
| 2025-09-14 05:15:20 +0000 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-14 05:17:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 05:20:38 +0000 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-09-14 05:20:56 +0000 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-09-14 05:32:32 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-14 05:43:50 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-09-14 05:51:00 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-14 06:02:17 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-09-14 06:08:15 +0000 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-14 06:08:29 +0000 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-09-14 06:11:04 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-09-14 06:11:41 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-09-14 06:12:46 +0000 | trickard_ | trickard |
| 2025-09-14 06:21:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-14 06:21:40 +0000 | Square2 | (~Square@user/square) Square |
| 2025-09-14 06:34:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 06:38:09 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-09-14 06:40:23 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-14 06:40:45 +0000 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-14 06:40:58 +0000 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-09-14 06:45:04 +0000 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-09-14 06:48:47 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-14 06:53:00 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds) |
| 2025-09-14 06:53:24 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 260 seconds) |
| 2025-09-14 07:00:00 +0000 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-14 07:00:40 +0000 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-09-14 07:01:11 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-09-14 07:04:42 +0000 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2025-09-14 07:18:07 +0000 | tromp | (~textual@2001:1c00:3487:1b00:f91c:d27d:e5a1:1629) |
| 2025-09-14 07:31:18 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2025-09-14 07:40:35 +0000 | tromp | (~textual@2001:1c00:3487:1b00:f91c:d27d:e5a1:1629) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-14 07:49:16 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-14 07:50:15 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-14 07:51:31 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-09-14 07:52:05 +0000 | tromp | (~textual@2001:1c00:3487:1b00:f91c:d27d:e5a1:1629) |
| 2025-09-14 07:55:30 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-14 08:13:13 +0000 | tromp | (~textual@2001:1c00:3487:1b00:f91c:d27d:e5a1:1629) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-14 08:15:39 +0000 | tromp | (~textual@2001:1c00:3487:1b00:f91c:d27d:e5a1:1629) |
| 2025-09-14 08:16:47 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-14 08:17:22 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-14 08:21:08 +0000 | biberu | (~biberu@user/biberu) biberu |
| 2025-09-14 08:25:43 +0000 | laman | (laman@rego.ai) (Ping timeout: 255 seconds) |
| 2025-09-14 08:27:40 +0000 | laman | (laman@rego.ai) laman |
| 2025-09-14 08:27:43 +0000 | tromp | (~textual@2001:1c00:3487:1b00:f91c:d27d:e5a1:1629) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-14 08:38:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-09-14 08:40:53 +0000 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-09-14 08:43:08 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-14 08:49:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 08:52:59 +0000 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-14 08:53:28 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-09-14 08:59:01 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-09-14 09:09:41 +0000 | erizawa | (~kazuki@user/erizawa) erizawa |
| 2025-09-14 09:10:14 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-09-14 09:12:51 +0000 | cyphase_eviltwin | (~cyphase@user/cyphase) cyphase |
| 2025-09-14 09:13:24 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 2025-09-14 09:14:22 +0000 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-14 09:14:36 +0000 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-09-14 09:26:34 +0000 | PKDrinker | (~PKDrinker@user/PKDrinker) (Ping timeout: 256 seconds) |
| 2025-09-14 09:26:37 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-14 09:26:56 +0000 | PKDrinker | (~PKDrinker@user/PKDrinker) PKDrinker |
| 2025-09-14 09:29:51 +0000 | PKDrinker | (~PKDrinker@user/PKDrinker) (Remote host closed the connection) |
| 2025-09-14 09:31:51 +0000 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) segfaultfizzbuzz |
| 2025-09-14 09:42:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-14 09:43:13 +0000 | trickard_ | trickard |
| 2025-09-14 09:53:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 09:56:01 +0000 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) (Ping timeout: 256 seconds) |
| 2025-09-14 10:00:03 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-09-14 10:01:01 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-14 10:05:56 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-09-14 10:06:50 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-14 10:08:24 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 2025-09-14 10:09:25 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-14 10:11:37 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-14 10:12:02 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-14 10:13:31 +0000 | acidjnk | (~acidjnk@p200300d6e7171917d8d62854256e96a7.dip0.t-ipconnect.de) acidjnk |
| 2025-09-14 10:44:17 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-14 10:49:17 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-09-14 10:57:35 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-14 11:00:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-14 11:06:00 +0000 | zzz | (~zero@user/zero) zero |
| 2025-09-14 11:06:33 +0000 | zzz | (~zero@user/zero) (Remote host closed the connection) |
| 2025-09-14 11:07:53 +0000 | zzz | (~zero@user/zero) zero |
| 2025-09-14 11:11:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 11:18:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-14 11:20:19 +0000 | zzz | (~zero@user/zero) (Remote host closed the connection) |
| 2025-09-14 11:24:09 +0000 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 256 seconds) |
| 2025-09-14 11:24:17 +0000 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-09-14 11:26:58 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-09-14 11:29:21 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-14 11:29:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 11:30:15 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2025-09-14 11:30:40 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-09-14 11:32:16 +0000 | Guest67 | (~Guest67@host-92-23-165-108.as13285.net) |
| 2025-09-14 11:35:08 +0000 | Guest67 | (~Guest67@host-92-23-165-108.as13285.net) (Client Quit) |
| 2025-09-14 11:40:53 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 2025-09-14 11:41:21 +0000 | zzz | (~zero@user/zero) zero |
| 2025-09-14 11:41:45 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-14 11:51:25 +0000 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-14 11:51:38 +0000 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-09-14 11:54:24 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-14 11:56:44 +0000 | petrichor | (~jez@user/petrichor) (Ping timeout: 256 seconds) |
| 2025-09-14 12:05:56 +0000 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-09-14 12:08:35 +0000 | trickard_ | trickard |
| 2025-09-14 12:10:50 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-14 12:12:17 +0000 | zzz | (~zero@user/zero) (Remote host closed the connection) |
| 2025-09-14 12:13:13 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-09-14 12:13:14 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-09-14 12:13:14 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-09-14 12:16:40 +0000 | zzz | (~zero@user/zero) zero |
| 2025-09-14 12:17:23 +0000 | zzz | (~zero@user/zero) (Remote host closed the connection) |
| 2025-09-14 12:17:40 +0000 | zzz | (~zero@user/zero) zero |
| 2025-09-14 12:18:01 +0000 | zzz | (~zero@user/zero) (Remote host closed the connection) |
| 2025-09-14 12:18:17 +0000 | zzz | (~zero@user/zero) zero |
| 2025-09-14 12:19:28 +0000 | zzz | (~zero@user/zero) (Remote host closed the connection) |
| 2025-09-14 12:19:43 +0000 | zzz | (~zero@user/zero) zero |
| 2025-09-14 12:34:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-14 12:38:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 12:43:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-14 12:54:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 13:01:33 +0000 | petrichor | (~jez@user/petrichor) (Ping timeout: 252 seconds) |
| 2025-09-14 13:30:01 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-09-14 13:31:33 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-09-14 13:31:48 +0000 | mulk | (~mulk@pd95144c3.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-09-14 13:32:16 +0000 | mulk | (~mulk@pd95144c3.dip0.t-ipconnect.de) mulk |
| 2025-09-14 13:32:32 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-14 13:33:00 +0000 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-09-14 13:33:07 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) () |
| 2025-09-14 13:34:10 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-14 13:42:08 +0000 | michals | (~michals@ip-109-40-49-74.web.vodafone.de) laxmik |
| 2025-09-14 13:43:29 +0000 | michals | (~michals@ip-109-40-49-74.web.vodafone.de) (Client Quit) |
| 2025-09-14 13:45:03 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-14 13:45:22 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-14 13:45:47 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-09-14 13:49:35 +0000 | laxmik | (~user@ip-109-40-49-74.web.vodafone.de) laxmik |
| 2025-09-14 13:54:40 +0000 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) |
| 2025-09-14 13:56:10 +0000 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-09-14 13:59:08 +0000 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) (Ping timeout: 256 seconds) |
| 2025-09-14 14:00:24 +0000 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Ping timeout: 252 seconds) |
| 2025-09-14 14:00:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-14 14:07:07 +0000 | karenw_ | (~karenw@user/karenw) karenw |
| 2025-09-14 14:12:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 14:17:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-14 14:24:54 +0000 | karenw_ | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-09-14 14:25:28 +0000 | laxmik | (~user@ip-109-40-49-74.web.vodafone.de) (Ping timeout: 248 seconds) |
| 2025-09-14 14:28:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 14:45:07 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-09-14 14:51:45 +0000 | tbahne | (~tbahne@user/tbahne) tbahne |
| 2025-09-14 15:10:49 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-09-14 15:19:53 +0000 | tbahne | (~tbahne@user/tbahne) () |
| 2025-09-14 15:20:36 +0000 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-14 15:20:49 +0000 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-09-14 15:24:59 +0000 | tbahne | (~tbahne@user/tbahne) tbahne |
| 2025-09-14 15:25:33 +0000 | tbahne | (~tbahne@user/tbahne) (Client Quit) |
| 2025-09-14 15:33:26 +0000 | qqe | (~qqq@185.54.23.100) (Remote host closed the connection) |
| 2025-09-14 15:33:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-14 15:34:39 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-09-14 15:35:54 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Client Quit) |
| 2025-09-14 15:39:18 +0000 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) |
| 2025-09-14 15:39:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 15:44:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-14 15:49:30 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-09-14 15:51:08 +0000 | mreh | (~matthew@host86-146-25-35.range86-146.btcentralplus.com) mreh |
| 2025-09-14 15:53:11 +0000 | <mreh> | data B' = forall a. B' (B a) |
| 2025-09-14 15:53:19 +0000 | <mreh> | instance Eq B' where (B' a) == (B' b) = ??? |
| 2025-09-14 15:53:34 +0000 | <mreh> | ^ can I do this legitimately with unsafeCoerce? |
| 2025-09-14 15:55:28 +0000 | <mreh> | that type parameter `a` in `B a` is just a phantom type |
| 2025-09-14 15:55:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 15:57:41 +0000 | <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 15:57:58 +0000 | <geekosaur> | if it is phantom, then unsafeCoerce is fine |
| 2025-09-14 15:58:18 +0000 | <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 15:58:47 +0000 | <mreh> | Yeah, I've defined B, and it is a true phantom type |
| 2025-09-14 15:59:15 +0000 | <mreh> | Leary, I could define sameB, but I want to derive the definition where possible |
| 2025-09-14 16:00:03 +0000 | <Leary> | If `type role B phantom`, you can also just use regular safe `coerce`. |
| 2025-09-14 16:00:46 +0000 | <mreh> | really... |
| 2025-09-14 16:02:57 +0000 | <mreh> | is that some GHC magic? |
| 2025-09-14 16:03:47 +0000 | <geekosaur> | just the rules for implicit `Coercible` constraints. Phantom types are automatically compatible |
| 2025-09-14 16:05:16 +0000 | <c_wraith> | technically, Coercible is magic |
| 2025-09-14 16:05:23 +0000 | <c_wraith> | it doesn't have real instances |
| 2025-09-14 16:05:40 +0000 | <mreh> | well, it works |
| 2025-09-14 16:06:16 +0000 | <mreh> | (type checks) |
| 2025-09-14 16:06:38 +0000 | <c_wraith> | the nice thing about Coercible is that it's conservative. If coerce works, it's safe. |
| 2025-09-14 16:08:06 +0000 | <c_wraith> | ... at least from the type system POV. It may break internal invariants. |
| 2025-09-14 16:08:39 +0000 | <monochrom> | The type system is also very conservative. :) |
| 2025-09-14 16:09:31 +0000 | <monochrom> | OK, coerce is also conservative dynamically: in-memory representations are guaranteed to be identical. |
| 2025-09-14 16:09:55 +0000 | <mreh> | neat |
| 2025-09-14 16:13:47 +0000 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) (Ping timeout: 248 seconds) |
| 2025-09-14 16:21:40 +0000 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-14 16:21:53 +0000 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-09-14 16:27:50 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 2025-09-14 16:30:06 +0000 | petrichor | (~jez@user/petrichor) (Ping timeout: 244 seconds) |
| 2025-09-14 16:35:49 +0000 | sprotte24 | (~sprotte24@p200300d16f0fa90034a8f8dc2eadcbb1.dip0.t-ipconnect.de) |
| 2025-09-14 16:57:56 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-09-14 17:07:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-14 17:10:12 +0000 | AndreiDuma | (~AndreiDum@user/AndreiDuma) AndreiDuma |
| 2025-09-14 17:18:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 17:30:30 +0000 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-09-14 17:32:55 +0000 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-09-14 17:47:23 +0000 | zzz | (~zero@user/zero) (Remote host closed the connection) |
| 2025-09-14 17:47:39 +0000 | zzz | (~zero@user/zero) zero |
| 2025-09-14 17:48:19 +0000 | trickard_ | trickard |
| 2025-09-14 17:48:38 +0000 | <tomsmeding> | c_wraith: which means that if coerce can break your internal invariants, one should assign stricter roles with explicit role signatures :) |
| 2025-09-14 17:49:35 +0000 | <tomsmeding> | the tricky thing being that many people don't know about this so they don't do it so you can't really rely on being able to `coerce` safely |
| 2025-09-14 17:52:55 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-14 17:56:41 +0000 | AndreiDuma | (~AndreiDum@user/AndreiDuma) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-09-14 17:57:39 +0000 | AndreiDuma | (~AndreiDum@user/AndreiDuma) AndreiDuma |
| 2025-09-14 18:03:49 +0000 | zzz | yin |
| 2025-09-14 18:10:51 +0000 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-09-14 18:22:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-09-14 18:24:29 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-14 18:24:42 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-09-14 18:33:46 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-09-14 18:34:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 18:36:37 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-09-14 18:38:05 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-14 18:39:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-14 18:41:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 18:44:11 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: sdbcjks) |
| 2025-09-14 18:46:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-14 18:50:11 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-14 18:56:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 18:57:48 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-09-14 19:00:03 +0000 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-14 19:00:43 +0000 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-09-14 19:12:10 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-09-14 19:15:35 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-14 19:15:45 +0000 | tromp | (~textual@2001:1c00:3487:1b00:f91c:d27d:e5a1:1629) |
| 2025-09-14 19:18:55 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-14 19:19:18 +0000 | AndreiDuma | (~AndreiDum@user/AndreiDuma) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-09-14 19:20:01 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-14 19:24:52 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-09-14 19:33:07 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-09-14 19:34:23 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-14 19:41:10 +0000 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Quit: free()) |
| 2025-09-14 19:45:03 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-14 19:45:20 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-14 19:48:00 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-09-14 20:00:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-14 20:04:32 +0000 | erizawa | (~kazuki@user/erizawa) (Quit: Leaving) |
| 2025-09-14 20:07:23 +0000 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius |
| 2025-09-14 20:12:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 20:13:09 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 260 seconds) |
| 2025-09-14 20:17:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-14 20:19:14 +0000 | yin | (~zero@user/zero) (Remote host closed the connection) |
| 2025-09-14 20:21:57 +0000 | yin | (~zero@user/zero) zero |
| 2025-09-14 20:25:13 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-14 20:26:28 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-09-14 20:27:29 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-14 20:28:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 20:28:46 +0000 | img | (~img@user/img) img |
| 2025-09-14 20:30:08 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds) |
| 2025-09-14 20:31:14 +0000 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-09-14 20:32:19 +0000 | <c_wraith> | Yeah. I did say "may". You can prevent it, but you need to know to do so |
| 2025-09-14 20:32:38 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-09-14 20:33:08 +0000 | <c_wraith> | It's sort of the inverse of the "I can make this a Functor but it will break my invariants" problem. You need to know to do something extra, instead of knowing to avoid the issue. |
| 2025-09-14 20:34:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-14 20:38:50 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2025-09-14 20:39:01 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-09-14 20:46:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 20:50:04 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-14 20:50:18 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2025-09-14 20:50:30 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-14 20:50:37 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-14 20:54:41 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 248 seconds) |
| 2025-09-14 20:58:15 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 2025-09-14 21:03:24 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-14 21:07:00 +0000 | swistak | (~swistak@185.21.216.141) (Ping timeout: 245 seconds) |
| 2025-09-14 21:14:46 +0000 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-09-14 21:15:15 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-09-14 21:15:40 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-09-14 21:29:48 +0000 | <haskellbridge> | <magic_rb> int-e: you seem to familiar with this, so uh, https://paste.tomsmeding.com/eKx5j0WP is my STG representation |
| 2025-09-14 21:30:11 +0000 | <haskellbridge> | <magic_rb> you were wondering whats an expression and whats a heap object, i didnt even know there was a distinction |
| 2025-09-14 21:30:15 +0000 | <haskellbridge> | <magic_rb> i must have missed something serios |
| 2025-09-14 21:33:50 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
| 2025-09-14 21:34:17 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-14 21:34:35 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-09-14 21:38:18 +0000 | <int-e> | Look at Figure 1? `THUNK e` uses `e` which refers to an expression. `PAP(f a1 ... an)` refers to `f` and `a`, `f` being a variable (a heap reference) that, as the comment says, has to be a FUN, and `a` being an atom, either a variable or an unboxed value. |
| 2025-09-14 21:42:31 +0000 | <int-e> | I'm not that familiar actually. Expressions are quite restricted; the function calls are restricted such that the arguments are atoms. So if you want to translate f (g x), you first have to flatten it to let y = THUNK (g x) in f y |
| 2025-09-14 21:42:44 +0000 | swistak | (~swistak@185.21.216.141) |
| 2025-09-14 21:44:34 +0000 | <int-e> | The `map` example in Section 3.2 does this, among other things. |
| 2025-09-14 21:48:34 +0000 | <int-e> | (the actual implementation in GHC will not store expressions in thunks; instead, thunks have pointers to compiled expressions, i.e., code that performs the corresponding evaluations steps) |
| 2025-09-14 21:49:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-14 21:54:32 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-14 21:59:05 +0000 | swistak | (~swistak@185.21.216.141) (Ping timeout: 256 seconds) |
| 2025-09-14 22:02:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 22:03:21 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-09-14 22:08:32 +0000 | Ezic | (~Ezic@2a02:a31c:2d8:4400:7591:97d9:8a76:62ce) |
| 2025-09-14 22:09:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-14 22:15:58 +0000 | yin | zzz |
| 2025-09-14 22:16:27 +0000 | <haskellbridge> | <magic_rb> Youre the first person to give me any kind of feedback. So its greatly appreciated. I see that my whole IR is wrong :( |
| 2025-09-14 22:17:21 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-14 22:18:21 +0000 | <haskellbridge> | <magic_rb> Though i still dont understand how moving the arguments into let bindings would help me. Since im having issues with the function bodies, not let bindings |
| 2025-09-14 22:18:24 +0000 | <haskellbridge> | <magic_rb> I mean |
| 2025-09-14 22:19:53 +0000 | <haskellbridge> | <magic_rb> Say i have "let f = (\y \x -> x) 5; in f 4" this should return 4 if im doing brain eval right. This would end up being something like |
| 2025-09-14 22:20:25 +0000 | zzz | tilde |
| 2025-09-14 22:20:25 +0000 | sprotte24 | (~sprotte24@p200300d16f0fa90034a8f8dc2eadcbb1.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-09-14 22:21:14 +0000 | Ezic | (~Ezic@2a02:a31c:2d8:4400:7591:97d9:8a76:62ce) (Quit: Client closed) |
| 2025-09-14 22:21:35 +0000 | <haskellbridge> | <magic_rb> (apply f [ 4 ]) where f is itself a thunk pointing to (apply (FUN (y) (FUN (x) x)) [ 5 ]) |
| 2025-09-14 22:22:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 22:22:28 +0000 | <haskellbridge> | <magic_rb> But again, i get into the situation that there is not rule for applying onto an application, so i have to have a thunk there. But then the thunk gets immediately erased and a second call to f will fail |
| 2025-09-14 22:23:40 +0000 | <haskellbridge> | <magic_rb> I think the actual bit that im doing wrong is in the UPDATE rule. They say "if H[y] is a value" do they mean atom AND function? Or what do they mean? |
| 2025-09-14 22:26:00 +0000 | <int-e> | With the notation of the paper I think you'd have let f = THUNK (let g = FUN (y -> FUN (x -> x)) in g 5) in f 4 |
| 2025-09-14 22:26:02 +0000 | <haskellbridge> | <magic_rb> Ah wait, ig if they meant value or function, it would actually work |
| 2025-09-14 22:26:28 +0000 | <haskellbridge> | <magic_rb> Yep okay that notation makes sense, i do that, except for the let |
| 2025-09-14 22:26:43 +0000 | <haskellbridge> | <magic_rb> I dont think the let is important for semantics, just performance probably. |
| 2025-09-14 22:28:25 +0000 | swistak | (~swistak@185.21.216.141) |
| 2025-09-14 22:28:35 +0000 | <int-e> | You can't have (g 5) 4 in that syntax, so the (g 5) must be constructed with a `let`. |
| 2025-09-14 22:30:51 +0000 | tromp | (~textual@2001:1c00:3487:1b00:f91c:d27d:e5a1:1629) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-14 22:34:15 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-14 22:34:31 +0000 | <haskellbridge> | <magic_rb> right, in that syntax no |
| 2025-09-14 22:34:34 +0000 | <haskellbridge> | <magic_rb> in my syntax yes |
| 2025-09-14 22:35:03 +0000 | <haskellbridge> | <magic_rb> and it works when i only apply UPDATE when the H[y] is a PAP, FUN, or value (think i32, f32, String) |
| 2025-09-14 22:35:52 +0000 | <haskellbridge> | <magic_rb> i need to figure out how closely do i need to follow the paper, because my thing is interpreting an untyped language and is also not a compiler, but a interpreter/VM |
| 2025-09-14 22:36:01 +0000 | <haskellbridge> | <magic_rb> so i think im stretching this a bit |
| 2025-09-14 22:36:32 +0000 | <int-e> | well, the function call rules rely on those restrictions; there's no rule that applies to (g 5) 4; ... because (g 5) is not a variable. You can modify those but then you're on your own and things that work fine with the original rules may go wrong. |
| 2025-09-14 22:37:08 +0000 | <haskellbridge> | <magic_rb> i dont have (g 5) 4 |
| 2025-09-14 22:37:20 +0000 | <haskellbridge> | <magic_rb> i have (THUNK (g 5)) 4 and that works |
| 2025-09-14 22:37:39 +0000 | <haskellbridge> | <magic_rb> whether the THUNK is inline or bound through a let is implementation details, it shouldnt affect semantics |
| 2025-09-14 22:38:08 +0000 | <haskellbridge> | <magic_rb> but i do agree that my STG type being able to represent an invalid tree is problematic |
| 2025-09-14 22:38:43 +0000 | <jreicher> | What do you mean by an "invalid tree"? (Sorry, coming into this a bit late) |
| 2025-09-14 22:39:15 +0000 | <int-e> | Right, you have (FUN (y -> FUN (x -> x))) 5, but basically the same comment applies: (FUN ...) is not a variable. |
| 2025-09-14 22:39:29 +0000 | <int-e> | (as the expression in that thunk) |
| 2025-09-14 22:40:48 +0000 | <int-e> | And to overcome this within the rules of the paper, you have to let-bind that function. |
| 2025-09-14 22:41:05 +0000 | <int-e> | hence let g = FUN (y -> FUN (x -> x)) in g |
| 2025-09-14 22:44:05 +0000 | <int-e> | and actually that's still wrong, because FUN ... is a heap object, and only the rhs of let-s are heap objects. So it'll actually be let g = FUN (y -> let h = FUN (x -> x) in h) in g. |
| 2025-09-14 22:46:51 +0000 | tilde | zzz |
| 2025-09-14 22:47:23 +0000 | <int-e> | the final `in g` is supposed to be `in g 5` both times |
| 2025-09-14 22:48:13 +0000 | <haskellbridge> | <magic_rb> yes because within the rules of that paper, let bindings create thunks? |
| 2025-09-14 22:48:25 +0000 | <haskellbridge> | <magic_rb> in the current constraints of my think, i can insert thunks anywhere |
| 2025-09-14 22:48:32 +0000 | <haskellbridge> | <magic_rb> so that alleviates that problem |
| 2025-09-14 22:48:33 +0000 | <int-e> | let bindings create new heap objects |
| 2025-09-14 22:48:39 +0000 | <haskellbridge> | <magic_rb> yep |
| 2025-09-14 22:48:39 +0000 | <haskellbridge> | <magic_rb> okay |
| 2025-09-14 22:48:43 +0000 | <jreicher> | And they're not necessarily thunks |
| 2025-09-14 22:49:17 +0000 | <int-e> | right |
| 2025-09-14 22:49:22 +0000 | <haskellbridge> | <magic_rb> when can they be not thunks? |
| 2025-09-14 22:49:31 +0000 | <jreicher> | When they're functions |
| 2025-09-14 22:49:44 +0000 | <int-e> | or fully saturated constructors |
| 2025-09-14 22:49:58 +0000 | <haskellbridge> | <magic_rb> i dont have constructors in my thing, and probably wont, nix doesnt have them |
| 2025-09-14 22:49:59 +0000 | <haskellbridge> | <magic_rb> but uh |
| 2025-09-14 22:50:05 +0000 | <haskellbridge> | <magic_rb> as for the function thing |
| 2025-09-14 22:50:14 +0000 | <haskellbridge> | <magic_rb> oh right |
| 2025-09-14 22:50:14 +0000 | <haskellbridge> | <magic_rb> yes |
| 2025-09-14 22:50:33 +0000 | <haskellbridge> | <magic_rb> okay, so we have let f = \x -> x in f 4 |
| 2025-09-14 22:51:13 +0000 | <haskellbridge> | <magic_rb> but f = THUNK ( let g = (\y \x -> x) in g 5 ) in f 4 |
| 2025-09-14 22:51:29 +0000 | <haskellbridge> | <magic_rb> right? the inner one doesnt have to be thunk |
| 2025-09-14 22:51:36 +0000 | <haskellbridge> | <magic_rb> because its a FUN |
| 2025-09-14 22:52:00 +0000 | <haskellbridge> | <magic_rb> the outer one is neither a let, as such it needs a thunk |
| 2025-09-14 22:52:15 +0000 | <int-e> | you /can/ have let f = THUNK (let g = FUN (y x -> x) in g 5) in f 4 |
| 2025-09-14 22:52:34 +0000 | <haskellbridge> | <magic_rb> isnt that exactly what i typed |
| 2025-09-14 22:52:55 +0000 | <haskellbridge> | <magic_rb> jreicher im implementing my own version of the STG, or at least trying to, then building a Nix frontend on top |
| 2025-09-14 22:53:06 +0000 | <int-e> | let f = THUNK (let g = FUN (y -> let h = FUN (x -> x) in h) in g 5) in f 4 was me being faithful to the distinction betwenn \y -> \x -> x and \y x -> x that is occasionally relevant |
| 2025-09-14 22:53:19 +0000 | <int-e> | I know that it's different from what you wrote; I corrected it |
| 2025-09-14 22:53:25 +0000 | <haskellbridge> | <magic_rb> ah sorry |
| 2025-09-14 22:53:37 +0000 | cyphase_eviltwin | (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
| 2025-09-14 22:53:40 +0000 | <int-e> | (\y \x -> x) isn't a heap object |
| 2025-09-14 22:53:46 +0000 | <haskellbridge> | <magic_rb> im a bit too sleepy for this, but i think you unblocked me, because the thing seems to work, so thanks |
| 2025-09-14 22:55:20 +0000 | <haskellbridge> | <magic_rb> ill go to bed now, my let bindings are wrong still i think, they dont get updated properly (they dont have thunks, so obviously they dont) |
| 2025-09-14 22:56:44 +0000 | <jreicher> | int-e: OK, but I'm not sure what's "invalid" here? (I'm probably missing something) |
| 2025-09-14 23:00:10 +0000 | <int-e> | jreicher: this is in reference to https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/eval-apply.pdf , which describes an STG-like language. And the expression syntax there has let x = obj in e, where `obj` must be a heap object, which starts with FUN, PAP, CON, THUNK, or BLACKHOLE... (\y \x -> x) is none of these. |
| 2025-09-14 23:00:58 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-09-14 23:03:31 +0000 | <jreicher> | int-e: yep know the paper well. Ironically I last read it too long ago to have everything fresh in my memory. |
| 2025-09-14 23:03:56 +0000 | <haskellbridge> | <magic_rb> Right i actually have that in my huge match statement lol, the body of an application must be a heap object, which is exactly what i was struggling with, makes sense |
| 2025-09-14 23:04:18 +0000 | <haskellbridge> | <magic_rb> But yeah, im writing an interpreter so im taking a lot of liberties |
| 2025-09-14 23:05:07 +0000 | <haskellbridge> | <magic_rb> I will bring this closer to what the paper is describing just for consistency, though ill use a lisp like syntax, im not writing a parser for the stg syntax presented in the paper |
| 2025-09-14 23:05:44 +0000 | <haskellbridge> | <magic_rb> Then ill expand the nix frontend and then see what needs optimizing. Since i was told that microbenchmarking nix is impossible .... |
| 2025-09-14 23:08:22 +0000 | mange | (~mange@user/mange) mange |
| 2025-09-14 23:21:08 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-09-14 23:27:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-14 23:38:42 +0000 | mreh | (~matthew@host86-146-25-35.range86-146.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2025-09-14 23:38:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 23:43:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-14 23:47:34 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-09-14 23:53:37 +0000 | Alleria | (~Alleria@user/alleria) (Read error: Connection reset by peer) |
| 2025-09-14 23:53:53 +0000 | segfaultfizzbuzz | (~segfaultf@12.172.219.17) segfaultfizzbuzz |
| 2025-09-14 23:57:07 +0000 | Alleria | (~Alleria@user/alleria) Alleria |
| 2025-09-14 23:57:15 +0000 | acidjnk | (~acidjnk@p200300d6e7171917d8d62854256e96a7.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |