| 2025-10-23 00:00:02 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit) |
| 2025-10-23 00:00:16 +0200 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-23 00:01:01 +0200 | Zemy | (~Zemy@2600:100c:b0a9:aee3:7c6b:2fff:feeb:2e68) (Read error: Connection reset by peer) |
| 2025-10-23 00:01:14 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-10-23 00:01:31 +0200 | Zemy | (~Zemy@2600:100c:b0a9:aee3:6806:53ff:fee9:16ce) |
| 2025-10-23 00:01:32 +0200 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-23 00:02:55 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-10-23 00:03:33 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit) |
| 2025-10-23 00:03:33 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-23 00:04:22 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-10-23 00:05:20 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-23 00:05:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 00:07:01 +0200 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-23 00:08:26 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-10-23 00:08:56 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit) |
| 2025-10-23 00:09:50 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-10-23 00:10:04 +0200 | Zemy | (~Zemy@2600:100c:b0a9:aee3:6806:53ff:fee9:16ce) (Ping timeout: 246 seconds) |
| 2025-10-23 00:10:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-23 00:11:06 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-10-23 00:11:17 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit) |
| 2025-10-23 00:12:05 +0200 | Zemy | (~Zemy@2600:100c:b0a9:aee3:f0f5:68ff:fe71:edae) |
| 2025-10-23 00:12:20 +0200 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-23 00:12:25 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-10-23 00:14:49 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit) |
| 2025-10-23 00:15:43 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-23 00:15:46 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-10-23 00:15:58 +0200 | trickard_ | trickard |
| 2025-10-23 00:16:26 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-23 00:17:46 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit) |
| 2025-10-23 00:18:46 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-10-23 00:20:26 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:a8e4:bf79:858d:7442) (Read error: Connection reset by peer) |
| 2025-10-23 00:20:56 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-10-23 00:21:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 00:21:18 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:a8e4:bf79:858d:7442) synchromesh |
| 2025-10-23 00:21:22 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-23 00:21:52 +0200 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-23 00:22:40 +0200 | img | (~img@user/img) img |
| 2025-10-23 00:22:41 +0200 | SlackCoder | (~SlackCode@208.26.91.234) (Quit: Leaving) |
| 2025-10-23 00:24:46 +0200 | Zemy | (~Zemy@2600:100c:b0a9:aee3:f0f5:68ff:fe71:edae) (Ping timeout: 246 seconds) |
| 2025-10-23 00:25:05 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.7.1) |
| 2025-10-23 00:25:34 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-10-23 00:26:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-23 00:26:27 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-10-23 00:27:03 +0200 | Zemy | (~Zemy@2600:100c:b0a9:aee3:3032:10ff:fea0:6d1a) |
| 2025-10-23 00:27:51 +0200 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-23 00:28:22 +0200 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-23 00:28:31 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-23 00:30:04 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit) |
| 2025-10-23 00:31:15 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-10-23 00:31:32 +0200 | gustrb | (~gustrb@200.132.2.8) |
| 2025-10-23 00:31:47 +0200 | Zemy | (~Zemy@2600:100c:b0a9:aee3:3032:10ff:fea0:6d1a) (Ping timeout: 260 seconds) |
| 2025-10-23 00:32:22 +0200 | Zemy | (~Zemy@2600:100c:b0a9:aee3:38c9:91ff:fe47:9f49) |
| 2025-10-23 00:32:22 +0200 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-23 00:32:58 +0200 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-23 00:33:00 +0200 | Zemy | (~Zemy@2600:100c:b0a9:aee3:38c9:91ff:fe47:9f49) (Read error: Connection reset by peer) |
| 2025-10-23 00:33:30 +0200 | Zemy | (~Zemy@2600:100c:b0a9:aee3:8cc0:2ff:fede:3e16) |
| 2025-10-23 00:33:30 +0200 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-23 00:33:38 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit) |
| 2025-10-23 00:34:29 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-10-23 00:36:33 +0200 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-23 00:36:33 +0200 | Zemy | (~Zemy@2600:100c:b0a9:aee3:8cc0:2ff:fede:3e16) (Read error: Connection reset by peer) |
| 2025-10-23 00:36:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 00:37:13 +0200 | Zemy | (~Zemy@2600:100c:b0a9:aee3:c475:9aff:fe52:9d81) |
| 2025-10-23 00:37:13 +0200 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-23 00:41:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-23 00:48:36 +0200 | jreicher | (~user@user/jreicher) (Quit: Out and about) |
| 2025-10-23 00:50:51 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-23 00:53:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 00:53:35 +0200 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-23 00:55:42 +0200 | Zemy | (~Zemy@2600:100c:b0a9:aee3:c475:9aff:fe52:9d81) (Ping timeout: 260 seconds) |
| 2025-10-23 00:57:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-23 00:59:43 +0200 | gustrb | (~gustrb@200.132.2.8) (Ping timeout: 240 seconds) |
| 2025-10-23 00:59:47 +0200 | Square2 | (~Square@user/square) Square |
| 2025-10-23 01:05:41 +0200 | Googulator97 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 01:05:41 +0200 | Googulator36 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 01:05:51 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-23 01:08:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 01:14:57 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-10-23 01:15:33 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-23 01:15:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-23 01:17:37 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-10-23 01:20:31 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 240 seconds) |
| 2025-10-23 01:25:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 01:28:31 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9f0f:48dd:d048:1e36) (Ping timeout: 250 seconds) |
| 2025-10-23 01:29:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-23 01:32:45 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-10-23 01:40:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 01:45:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-23 01:55:10 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) () |
| 2025-10-23 01:56:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 01:56:22 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Write error: error:80000068:system library::Connection reset by peer) |
| 2025-10-23 01:56:35 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-23 02:00:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-23 02:05:42 +0200 | Googulator97 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 02:05:51 +0200 | Googulator97 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 02:09:07 +0200 | semifunctor | (~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-10-23 02:10:35 +0200 | semifunctor | (~omnifunct@user/semifunctor) omnifunctor |
| 2025-10-23 02:11:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 02:15:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-23 02:19:55 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-10-23 02:22:22 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-23 02:22:47 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-23 02:25:42 +0200 | acidjnk | (~acidjnk@p200300d6e717194731e60ee4a1a0073e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-10-23 02:26:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 02:28:04 +0200 | glguy | (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2025-10-23 02:28:09 +0200 | glguy | (glguy@libera/staff/glguy) glguy |
| 2025-10-23 02:29:46 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 248 seconds) |
| 2025-10-23 02:31:23 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-10-23 02:31:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-23 02:31:36 +0200 | Xe_ | (~Xe@perl/impostor/xe) Xe |
| 2025-10-23 02:32:19 +0200 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 244 seconds) |
| 2025-10-23 02:32:36 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-23 02:32:43 +0200 | <haskellbridge> | <doc> was messing with SIMD on 9.12.2 native codegen and ran into an assembler error (different errors on -O0 and -O2, succeeds on -O1), reproducible on the playground. is this my bad, or should this be reported somewhere https://play.haskell.org/saved/G4GJ8ZKe |
| 2025-10-23 02:35:37 +0200 | califax | (~califax@user/califx) califx |
| 2025-10-23 02:35:48 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-10-23 02:40:13 +0200 | otto_s | (~user@p5de2f40c.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-10-23 02:40:31 +0200 | <geekosaur> | I think any asm error should be reported on ghc's gitlab |
| 2025-10-23 02:40:51 +0200 | <geekosaur> | https://gitlab.haskell.org/ghc/ghc/-/issues |
| 2025-10-23 02:41:30 +0200 | otto_s | (~user@p5de2fc78.dip0.t-ipconnect.de) |
| 2025-10-23 02:42:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 02:49:07 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-23 02:49:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-23 02:49:20 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-23 02:50:37 +0200 | Googulator78 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 02:50:37 +0200 | Googulator97 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 02:52:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-23 02:53:04 +0200 | trickard_ | trickard |
| 2025-10-23 02:55:47 +0200 | Googulator24 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 02:56:12 +0200 | Googulator78 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 03:00:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 03:05:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-23 03:05:58 +0200 | Googulator62 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 03:06:11 +0200 | Googulator24 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 03:15:33 +0200 | Googulator62 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 03:15:41 +0200 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 03:15:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 03:20:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-23 03:26:32 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-23 03:26:47 +0200 | califax | (~califax@user/califx) califx |
| 2025-10-23 03:31:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 03:35:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-23 03:38:52 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-10-23 03:43:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-23 03:46:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 03:46:43 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-10-23 03:51:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-10-23 03:51:16 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds) |
| 2025-10-23 03:53:40 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-23 03:56:54 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-23 03:57:07 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-23 03:58:21 +0200 | AlexNoo_ | (~AlexNoo@85.174.180.65) |
| 2025-10-23 03:58:45 +0200 | AlexZenon | (~alzenon@85.174.180.65) (Ping timeout: 252 seconds) |
| 2025-10-23 03:58:57 +0200 | AlexNoo | (~AlexNoo@85.174.180.65) (Ping timeout: 256 seconds) |
| 2025-10-23 04:02:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 04:06:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-23 04:06:48 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-23 04:07:10 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-23 04:08:25 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds) |
| 2025-10-23 04:08:35 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-23 04:08:37 +0200 | trickard_ | trickard |
| 2025-10-23 04:09:15 +0200 | AlexZenon | (~alzenon@85.174.180.65) |
| 2025-10-23 04:14:51 +0200 | Square | (~Square4@user/square) Square |
| 2025-10-23 04:17:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 04:18:37 +0200 | Square2 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-10-23 04:20:55 +0200 | dcpagan | (~dcpagan@gateway/tor-sasl/dcpagan) dcpagan |
| 2025-10-23 04:24:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-23 04:27:15 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-23 04:27:39 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-23 04:28:49 +0200 | td_ | (~td@i53870932.versanet.de) (Ping timeout: 264 seconds) |
| 2025-10-23 04:28:50 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:a8e4:bf79:858d:7442) (Read error: Connection reset by peer) |
| 2025-10-23 04:29:58 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:59ee:2e5c:beb6:44e3) synchromesh |
| 2025-10-23 04:30:26 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-23 04:30:36 +0200 | td_ | (~td@i53870926.versanet.de) |
| 2025-10-23 04:31:14 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-23 04:31:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-23 04:32:33 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-23 04:33:04 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-23 04:34:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 04:35:37 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-23 04:35:44 +0200 | Googulator53 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 04:35:44 +0200 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 04:36:14 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-23 04:36:37 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-23 04:38:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-23 04:46:54 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-23 04:47:16 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-23 04:49:08 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-23 04:49:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 04:50:14 +0200 | bggd | (~bgg@2a01:e0a:819:1510:f0f7:e908:85f6:a650) |
| 2025-10-23 04:52:24 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-23 04:54:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-23 04:55:14 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-10-23 04:55:23 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-23 04:55:43 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-23 04:56:00 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-10-23 04:59:15 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2025-10-23 05:00:01 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-10-23 05:00:37 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-23 05:04:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 05:06:49 +0200 | Googulator53 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 05:07:04 +0200 | Googulator53 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 05:08:41 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-23 05:09:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-23 05:15:51 +0200 | Googulator53 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 05:15:59 +0200 | Googulator53 | (~Googulato@92-249-221-245.pool.digikabel.hu) |
| 2025-10-23 05:17:51 +0200 | annamalai | (~annamalai@157.49.221.71) annamalai |
| 2025-10-23 05:18:23 +0200 | dcpagan | (~dcpagan@gateway/tor-sasl/dcpagan) (Remote host closed the connection) |
| 2025-10-23 05:18:47 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds) |
| 2025-10-23 05:20:31 +0200 | xff0x | (~xff0x@2405:6580:b080:900:fec7:9ad7:e4a7:c671) |
| 2025-10-23 05:20:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 05:20:40 +0200 | Googulator55 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 05:21:12 +0200 | Googulator53 | (~Googulato@92-249-221-245.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 05:25:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-23 05:31:20 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-10-23 05:35:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 05:36:01 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2025-10-23 05:40:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-10-23 05:50:01 +0200 | aforemny | (~aforemny@i59F4C4D3.versanet.de) aforemny |
| 2025-10-23 05:50:24 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc4:2700:5fd7:3e32:1aae:6b6) (Ping timeout: 252 seconds) |
| 2025-10-23 05:51:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 05:55:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-23 06:05:46 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 248 seconds) |
| 2025-10-23 06:06:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 06:07:34 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-10-23 06:13:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-23 06:14:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-23 06:14:24 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-10-23 06:14:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-23 06:15:40 +0200 | Googulator55 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 06:15:46 +0200 | Googulator82 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 06:17:30 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-23 06:21:44 +0200 | meinside | (meinside@ip68.orange.bnc4free.com) meinside |
| 2025-10-23 06:22:07 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2025-10-23 06:22:31 +0200 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-10-23 06:24:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 06:29:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-23 06:32:07 +0200 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-10-23 06:32:12 +0200 | Xe_ | (~Xe@perl/impostor/xe) (Ping timeout: 252 seconds) |
| 2025-10-23 06:36:01 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2025-10-23 06:37:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-23 06:40:39 +0200 | Googulator56 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 06:40:47 +0200 | Googulator82 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 06:45:39 +0200 | Googulator56 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 06:45:47 +0200 | Googulator56 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 06:49:54 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-10-23 06:50:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 06:54:49 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-23 06:54:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-23 06:55:12 +0200 | FGIDIM | fgidim |
| 2025-10-23 06:55:45 +0200 | jmcantrell_ | jmcantrell |
| 2025-10-23 06:56:16 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-23 06:58:19 +0200 | michalz | (~michalz@185.246.207.221) |
| 2025-10-23 06:59:57 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-23 07:00:24 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-23 07:00:31 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds) |
| 2025-10-23 07:02:10 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-23 07:05:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 07:10:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-10-23 07:10:38 +0200 | Googulator56 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 07:10:42 +0200 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 07:19:46 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-23 07:21:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 07:26:10 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-10-23 07:26:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-23 07:27:20 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-23 07:27:33 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-23 07:32:57 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-23 07:34:21 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-23 07:34:59 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-10-23 07:36:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 07:38:14 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-23 07:39:05 +0200 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-10-23 07:39:56 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-23 07:40:34 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 255 seconds) |
| 2025-10-23 07:40:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-23 07:42:50 +0200 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-10-23 07:44:37 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-10-23 07:45:38 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-23 07:46:04 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-23 07:46:18 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-23 07:49:15 +0200 | qqe | (~qqq@185.54.23.200) |
| 2025-10-23 07:51:18 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-10-23 07:51:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 07:58:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-23 08:01:06 +0200 | qqe | (~qqq@185.54.23.200) (Quit: Lost terminal) |
| 2025-10-23 08:06:15 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-10-23 08:09:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 08:11:05 +0200 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 08:11:17 +0200 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 08:13:18 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-23 08:14:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-23 08:15:41 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63 |
| 2025-10-23 08:24:11 +0200 | kubrat | (~kubrat@149.62.205.6) kubrat |
| 2025-10-23 08:25:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 08:29:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-23 08:35:44 +0200 | annamalai | (~annamalai@157.49.221.71) (Remote host closed the connection) |
| 2025-10-23 08:37:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 08:40:37 +0200 | kubrat | (~kubrat@149.62.205.6) (Quit: Client closed) |
| 2025-10-23 08:41:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-23 08:50:27 +0200 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-10-23 08:50:32 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-10-23 08:52:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-23 08:52:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 08:57:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-10-23 08:58:33 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-10-23 08:59:21 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-23 09:00:02 +0200 | caconym7478798 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-23 09:00:31 +0200 | kubrat | (~kubrat@149.62.205.6) kubrat |
| 2025-10-23 09:00:44 +0200 | caconym7478798 | (~caconym@user/caconym) caconym |
| 2025-10-23 09:04:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cd8f:ea15:2cfa:e4a8) |
| 2025-10-23 09:04:53 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5458:e7c4:c737:d396) |
| 2025-10-23 09:04:53 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5458:e7c4:c737:d396) (Changing host) |
| 2025-10-23 09:04:53 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-10-23 09:07:48 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-10-23 09:07:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-23 09:11:16 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-23 09:11:50 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-10-23 09:12:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-23 09:12:20 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-10-23 09:13:04 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-10-23 09:15:40 +0200 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 09:15:49 +0200 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 09:21:17 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-23 09:22:12 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-10-23 09:23:40 +0200 | acidjnk | (~acidjnk@p200300d6e7171952d474b73bd8efcb87.dip0.t-ipconnect.de) acidjnk |
| 2025-10-23 09:24:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-23 09:27:38 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-10-23 09:35:13 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-23 09:35:26 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-23 09:37:32 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-10-23 09:38:48 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-23 09:42:31 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-10-23 09:44:29 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-23 09:44:46 +0200 | phma | (~phma@129.222.85.211) (Ping timeout: 246 seconds) |
| 2025-10-23 09:44:56 +0200 | phma | (~phma@2605:59c8:6211:ff08:7181:51cb:35db:c6be) |
| 2025-10-23 09:47:28 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-10-23 09:58:01 +0200 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-10-23 09:58:32 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5458:e7c4:c737:d396) |
| 2025-10-23 09:58:32 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5458:e7c4:c737:d396) (Changing host) |
| 2025-10-23 09:58:32 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-10-23 09:59:12 +0200 | annamalai | (~annamalai@157.49.217.152) annamalai |
| 2025-10-23 10:03:20 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-10-23 10:05:40 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-10-23 10:05:45 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-10-23 10:07:33 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-23 10:08:44 +0200 | <[exa]> | so `ghcup` has the `set` command which sets up the paths, is there also some kind of `unset` for the case when I want to use a system ghc for a moment? |
| 2025-10-23 10:09:01 +0200 | <[exa]> | (wondering if it doesn't exist or I just don't see it) |
| 2025-10-23 10:09:37 +0200 | <haskellbridge> | <maerwald> try it |
| 2025-10-23 10:09:38 +0200 | <haskellbridge> | <maerwald> lol |
| 2025-10-23 10:10:44 +0200 | [exa] | wipes out his eyes in disbelief |
| 2025-10-23 10:10:50 +0200 | <[exa]> | ok, well, f |
| 2025-10-23 10:10:52 +0200 | <[exa]> | thanks |
| 2025-10-23 10:11:00 +0200 | <[exa]> | I could swear it wasn't there 5 minutes ago |
| 2025-10-23 10:11:10 +0200 | tomsmeding | doubts |
| 2025-10-23 10:11:22 +0200 | [exa] | departs to find a stone to hide under |
| 2025-10-23 10:11:29 +0200 | tomsmeding | hugs [exa] |
| 2025-10-23 10:11:44 +0200 | <[exa]> | ah it's not present in the tui |
| 2025-10-23 10:11:52 +0200 | <[exa]> | probably confused myself on that one |
| 2025-10-23 10:12:27 +0200 | <tomsmeding> | ah |
| 2025-10-23 10:12:39 +0200 | <[exa]> | (now I just tried pressing `u` if it would `u`nset, and voila, it's `u`ninstall. nice find :D ) |
| 2025-10-23 10:13:07 +0200 | <tomsmeding> | to be fair, u is documented at the bottom of the tui :p |
| 2025-10-23 10:13:21 +0200 | <tomsmeding> | I guess it does work for the purpose |
| 2025-10-23 10:13:28 +0200 | <[exa]> | this situation reminds me of monday morning |
| 2025-10-23 10:13:45 +0200 | <[exa]> | how come it drags with me all the way to well, thursday |
| 2025-10-23 10:16:00 +0200 | <haskellbridge> | <maerwald> tui is running out of shortcuts |
| 2025-10-23 10:16:01 +0200 | <haskellbridge> | <maerwald> and I'm not a fan of popups |
| 2025-10-23 10:16:11 +0200 | <tomsmeding> | doc: that's a very weird error, there are no floats whatsoever in your program, why is a movsd (move single to double precision float) instruction being emitted? |
| 2025-10-23 10:17:55 +0200 | <[exa]> | maerwald: maybe pressing s again? or better leave that as "retry setting" and go shift-s ? |
| 2025-10-23 10:18:35 +0200 | <haskellbridge> | <maerwald> well |
| 2025-10-23 10:18:41 +0200 | <haskellbridge> | <maerwald> https://github.com/haskell/ghcup-hs/issues/1294 |
| 2025-10-23 10:19:14 +0200 | <tomsmeding> | why would they want that? |
| 2025-10-23 10:19:34 +0200 | <haskellbridge> | <maerwald> capslock on |
| 2025-10-23 10:19:39 +0200 | <tomsmeding> | yes I read that |
| 2025-10-23 10:19:54 +0200 | <haskellbridge> | <maerwald> for quit, it's indeed annoying |
| 2025-10-23 10:20:19 +0200 | <tomsmeding> | if accidental capslock is the first time they tried a capital letter hotkey, then I fail to see why one would capitalisation to not matter across the board immediately |
| 2025-10-23 10:20:32 +0200 | <[exa]> | ctrl-s? |
| 2025-10-23 10:20:34 +0200 | [exa] | dodges |
| 2025-10-23 10:20:46 +0200 | <tomsmeding> | perhaps indeed for q it's nice to allow Q too, if only to make it as easy as possible to quit the app |
| 2025-10-23 10:21:02 +0200 | <tomsmeding> | (prevent people going "I can't exit vim" on ghcup) |
| 2025-10-23 10:21:12 +0200 | <haskellbridge> | <maerwald> lmao |
| 2025-10-23 10:21:49 +0200 | <[exa]> | "in this video I'll show 5 easy ways to quit ghcup tui if you're stuck installing haskell" |
| 2025-10-23 10:22:05 +0200 | <tomsmeding> | I mean, this is your call and I don't care enough to really complain about it if you do make hotkeys case-insensitive, but if I maintained ghcup I would limit this change to q at least |
| 2025-10-23 10:22:11 +0200 | <tomsmeding> | [exa]: lol |
| 2025-10-23 10:22:14 +0200 | <haskellbridge> | <maerwald> I actually recorded a video for windows installation, lol |
| 2025-10-23 10:22:27 +0200 | <[exa]> | maerwald: anyway I guess all this is just me whining ^, don't take it very seriously |
| 2025-10-23 10:22:56 +0200 | <haskellbridge> | <maerwald> https://youtu.be/bB4fmQiUYPw |
| 2025-10-23 10:23:06 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-10-23 10:23:30 +0200 | <[exa]> | the main problem was that the lack of "unset" in UI is kinda surprising, maybe the easiest solution is to hint after `set` completes that "you can force unset via commandline" or so |
| 2025-10-23 10:23:44 +0200 | <tomsmeding> | I'd remove "force" from that sentence |
| 2025-10-23 10:24:07 +0200 | <[exa]> | I meant like, "as opposed to weak unset by setting something else" |
| 2025-10-23 10:24:10 +0200 | <[exa]> | am I overdoing it? |
| 2025-10-23 10:24:14 +0200 | <[exa]> | can it be afternoon finally? |
| 2025-10-23 10:24:17 +0200 | <tomsmeding> | I don't see how that's strong vs weak |
| 2025-10-23 10:24:39 +0200 | [exa] | slams a nice flat stone over himself and enjoys the hideout |
| 2025-10-23 10:24:41 +0200 | <tomsmeding> | I think wanting to unset is relatively uncommon |
| 2025-10-23 10:25:08 +0200 | <tomsmeding> | [exa]: be careful, don't hit your head |
| 2025-10-23 10:25:36 +0200 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 10:25:47 +0200 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 10:30:04 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-10-23 10:32:47 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-23 10:36:14 +0200 | <tomsmeding> | the assembly generated by ghc on doc's example looks weird anyway |
| 2025-10-23 10:36:34 +0200 | <tomsmeding> | how is it useful on x86_64 to do `pxor %xmm0,%xmm0 ; movhlps %xmm0,%xmm0`? |
| 2025-10-23 10:36:48 +0200 | <tomsmeding> | zero the xmm0 register, then proceed to copy the high half of it to the low half |
| 2025-10-23 10:37:06 +0200 | <tomsmeding> | moving a bunch of zeros around without accomplishing anything? |
| 2025-10-23 10:37:23 +0200 | <haskellbridge> | <maerwald> yeah, mapping all of the cli to the tui is hard... although with the new advanced install menu, that's partially done |
| 2025-10-23 10:37:35 +0200 | <tomsmeding> | possibly this is just an assembly template that ghc fills in and it ends up generating redundant instructions here |
| 2025-10-23 10:37:51 +0200 | <haskellbridge> | <maerwald> if you press Enter, we could show the less common options (like unset) |
| 2025-10-23 10:38:18 +0200 | <tomsmeding> | maerwald: about that: why is it called "advance options" instead of "advanced options"? |
| 2025-10-23 10:38:32 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-10-23 10:38:43 +0200 | <haskellbridge> | <maerwald> artistic freedom? |
| 2025-10-23 10:38:48 +0200 | <tomsmeding> | the current phrase reads rather awkward in english, I think :p |
| 2025-10-23 10:44:00 +0200 | craunts795335385 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-23 10:49:27 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-10-23 10:51:12 +0200 | humasect | numberella |
| 2025-10-23 10:59:11 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-23 11:05:42 +0200 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 11:06:00 +0200 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 11:10:46 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-23 11:11:19 +0200 | deptype | (~deptype@2406:b400:d4:c314:b197:36b9:d9a9:af2c) |
| 2025-10-23 11:13:38 +0200 | kubrat | (~kubrat@149.62.205.6) (Quit: Client closed) |
| 2025-10-23 11:16:09 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Read error: Connection reset by peer) |
| 2025-10-23 11:20:45 +0200 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 11:20:47 +0200 | Googulator86 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 11:24:00 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-23 11:25:18 +0200 | kubrat | (~kubrat@149.62.205.188) kubrat |
| 2025-10-23 11:26:39 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-23 11:27:44 +0200 | deptype | (~deptype@2406:b400:d4:c314:b197:36b9:d9a9:af2c) (Remote host closed the connection) |
| 2025-10-23 11:28:02 +0200 | deptype | (~deptype@2406:b400:d4:c314:6790:af81:8e63:3549) |
| 2025-10-23 11:29:56 +0200 | numberella | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-10-23 11:30:10 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-10-23 11:30:32 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-23 11:31:41 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2025-10-23 11:33:08 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-10-23 11:39:39 +0200 | kubrat | (~kubrat@149.62.205.188) (Quit: Client closed) |
| 2025-10-23 11:39:58 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 255 seconds) |
| 2025-10-23 11:40:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-10-23 11:40:53 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-23 11:43:35 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-23 11:44:43 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-23 11:45:39 +0200 | Googulator86 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 11:45:40 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 11:47:01 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-23 11:51:52 +0200 | adig | (~adi@86.123.72.40) adig |
| 2025-10-23 11:52:50 +0200 | adig | (~adi@86.123.72.40) (Remote host closed the connection) |
| 2025-10-23 11:54:11 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-10-23 11:56:18 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-23 12:13:45 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2025-10-23 12:14:46 +0200 | deptype | (~deptype@2406:b400:d4:c314:6790:af81:8e63:3549) (Remote host closed the connection) |
| 2025-10-23 12:15:04 +0200 | deptype | (~deptype@2406:b400:d4:c314:5c99:1eaf:4a55:6c8a) |
| 2025-10-23 12:16:23 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-10-23 12:18:13 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2025-10-23 12:20:36 +0200 | sp1ff`` | (~user@c-73-164-203-114.hsd1.wa.comcast.net) |
| 2025-10-23 12:22:17 +0200 | sp1ff` | (~user@2601:1c2:4c00:6820::48ac) (Ping timeout: 260 seconds) |
| 2025-10-23 12:31:43 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-23 12:34:25 +0200 | Square2 | (~Square@user/square) Square |
| 2025-10-23 12:34:34 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-10-23 12:38:35 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-23 12:45:21 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:59ee:2e5c:beb6:44e3) (Read error: Connection reset by peer) |
| 2025-10-23 12:46:39 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:59ee:2e5c:beb6:44e3) synchromesh |
| 2025-10-23 12:47:54 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-23 12:49:15 +0200 | kaskal- | (~kaskal@84-115-235-223.cable.dynamic.surfer.at) (Quit: ZNC - https://znc.in) |
| 2025-10-23 12:49:43 +0200 | kaskal | (~kaskal@2a02:8388:1a8b:7d00:2bf0:62e:e362:6c40) kaskal |
| 2025-10-23 12:51:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-10-23 12:51:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-23 12:57:49 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 255 seconds) |
| 2025-10-23 13:00:04 +0200 | caconym7478798 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-23 13:01:36 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-10-23 13:02:07 +0200 | caconym7478798 | (~caconym@user/caconym) caconym |
| 2025-10-23 13:03:18 +0200 | deptype | (~deptype@2406:b400:d4:c314:5c99:1eaf:4a55:6c8a) (Remote host closed the connection) |
| 2025-10-23 13:03:36 +0200 | deptype | (~deptype@2406:b400:d4:c314:5abc:4b66:d843:af9d) |
| 2025-10-23 13:06:26 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-10-23 13:06:51 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-10-23 13:10:58 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-23 13:11:26 +0200 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2025-10-23 13:12:11 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-10-23 13:14:02 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 248 seconds) |
| 2025-10-23 13:15:40 +0200 | Googulator56 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 13:15:46 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 13:31:19 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-23 13:33:01 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-10-23 13:35:05 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-23 13:35:49 +0200 | annamalai | (~annamalai@157.49.217.152) (Ping timeout: 256 seconds) |
| 2025-10-23 13:37:52 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-23 13:38:19 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2025-10-23 13:38:52 +0200 | <tomsmeding> | is there a way to make the Append type family "half-injective"? |
| 2025-10-23 13:39:08 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-10-23 13:39:27 +0200 | <tomsmeding> | type family Append a b where { Append '[] b = b ; Append (x : xs) b = x : Append xs b } |
| 2025-10-23 13:39:52 +0200 | <tomsmeding> | now this thing is not injective in any of the standard ways, but we do have the property that Append a b ~ Append a c implies b ~ c |
| 2025-10-23 13:40:04 +0200 | <tomsmeding> | is there a way I can tell GHC to use this implication in type inference? |
| 2025-10-23 13:54:27 +0200 | <Leary> | tomsmeding: Perhaps you can piggyback off `FunctionalDependencies`? Say: `class Append xs ys ~ xys => HasAppend xs ys xys | xs xys -> ys, ys xys -> xs where { type Append xs ys }` |
| 2025-10-23 13:54:50 +0200 | deptype | (~deptype@2406:b400:d4:c314:5abc:4b66:d843:af9d) (Remote host closed the connection) |
| 2025-10-23 13:55:08 +0200 | deptype | (~deptype@2406:b400:d4:c314:8332:aeaf:6094:c234) |
| 2025-10-23 14:00:31 +0200 | annamalai | (~annamalai@157.49.98.203) annamalai |
| 2025-10-23 14:02:57 +0200 | <tomsmeding> | Leary: I can write that type class, but GHC doesn't seem to accept the dependencies: https://play.haskell.org/saved/EGhc89zh |
| 2025-10-23 14:03:08 +0200 | <tomsmeding> | uncommenting either of line 15 or 16 makes compilation fail |
| 2025-10-23 14:03:12 +0200 | <tomsmeding> | did I make a mistake? |
| 2025-10-23 14:03:37 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-10-23 14:04:16 +0200 | <tomsmeding> | (if you put the dependency declarations on the same line as the class keyword, as they would normally be, this module has more language pragmas than lines of useful code) |
| 2025-10-23 14:07:04 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-23 14:09:55 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-10-23 14:10:01 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-23 14:11:45 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-10-23 14:22:18 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-10-23 14:24:16 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-10-23 14:24:33 +0200 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-10-23 14:25:41 +0200 | Googulator56 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 14:25:50 +0200 | Googulator56 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 14:28:02 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-23 14:31:17 +0200 | <Leary> | I'm not sure what the error message is actually complaining about (and I can't be bothered reading the manual to find out), but GHC will at least accept the first dependency with `UndecidableInstances`: https://play.haskell.org/saved/5T5D4ys5 |
| 2025-10-23 14:31:35 +0200 | <Leary> | (see also, the style I've recently adopted for too many LANGUAGE pragmata) |
| 2025-10-23 14:32:30 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-23 14:32:52 +0200 | <tomsmeding> | yes I know you can merge LANGUAGE pragmata :) |
| 2025-10-23 14:33:05 +0200 | <tomsmeding> | let me try that |
| 2025-10-23 14:37:23 +0200 | <tomsmeding> | Leary: that works and the rest of my code compiles (after some messing around to let Append's kind be linked to the kind of the arguments), but it doesn't seem to help in practice |
| 2025-10-23 14:38:32 +0200 | <mauke> | proposal: every language pragma should have an associated unicode character/emoji. then you could say {-# LANGUAGE ðŦð
ðĪĄððŊðïļâðĻïļððŦĶð§âðĶē #-} |
| 2025-10-23 14:41:10 +0200 | <tomsmeding> | Leary: I think this is a faithful abstraction/simplification of the behaviour that I'm looking for: https://play.haskell.org/saved/UAIlXBxX |
| 2025-10-23 14:41:43 +0200 | <tomsmeding> | note that foo1 typechecks because with the first list literal, Append reduces and the list~list equality resolves to a l2~_ equality |
| 2025-10-23 14:41:52 +0200 | <tomsmeding> | but foo2 does not because the semi-injectivity is not used |
| 2025-10-23 14:43:55 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-23 14:45:36 +0200 | <tomsmeding> | this is not _necessary_ to be able to write my code but it would be good for developer ergonomics in my case |
| 2025-10-23 14:46:12 +0200 | <tomsmeding> | (hole-driven development becomes more useful if GHC can actually derive what the type of a hole should be) |