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) |
2025-10-23 14:48:03 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-23 14:48:16 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
2025-10-23 14:49:24 +0200 | <Leary> | This is the best I was able to do (lol): https://play.haskell.org/saved/IIKMopeT |
2025-10-23 14:49:39 +0200 | <Leary> | You might have to give up on this one. |
2025-10-23 14:51:28 +0200 | <tomsmeding> | Leary: the l12 can still be replaced by (Append l1 l2) in the body |
2025-10-23 14:51:33 +0200 | <tomsmeding> | but yeah, this won't fly :p |
2025-10-23 14:51:42 +0200 | <tomsmeding> | thank you for trying though! |
2025-10-23 14:51:48 +0200 | <tomsmeding> | I figured that the answer would be no |
2025-10-23 14:54:05 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-10-23 14:54:18 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
2025-10-23 14:57:44 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
2025-10-23 14:57:54 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-23 14:58:03 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
2025-10-23 14:59:02 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
2025-10-23 15:00:15 +0200 | <kuribas> | tomsmeding: type classes are the biggest impediment in hole driven programming, the same in idris. |
2025-10-23 15:00:31 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
2025-10-23 15:00:33 +0200 | <kuribas> | tomsmeding: I don't get why it cannot create a hole for a type class instance that depends on another hole. |
2025-10-23 15:00:39 +0200 | <tomsmeding> | kuribas: in my original code there aren't even any classes! |
2025-10-23 15:00:40 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
2025-10-23 15:00:41 +0200 | Googulator56 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-23 15:00:49 +0200 | Googulator56 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
2025-10-23 15:01:08 +0200 | <tomsmeding> | this is about type family injectivity; the type classes were brought in in an attempt to abuse FunctionalDependencies, which are apparently slightly stronger than tyfam injectivity |
2025-10-23 15:01:53 +0200 | <kuribas> | But why do this in haskell at all? |
2025-10-23 15:02:03 +0200 | <tomsmeding> | good question |
2025-10-23 15:02:04 +0200 | <kuribas> | If you are doing lots of type level computation, maybe idris is a better language. |
2025-10-23 15:02:16 +0200 | <kuribas> | (or agda, lean, ...) |
2025-10-23 15:02:18 +0200 | <tomsmeding> | I have considered multiple times to rewrite this in agda |
2025-10-23 15:02:46 +0200 | <kuribas> | What is it exactly you are doing? |
2025-10-23 15:02:55 +0200 | <tomsmeding> | but I concluded each time that the increase in convenience for type-level stuff would not be offset against the loss of convenience when actually doing something useful |
2025-10-23 15:03:09 +0200 | bggd | (~bgg@2a01:e0a:819:1510:f0f7:e908:85f6:a650) (Remote host closed the connection) |
2025-10-23 15:03:09 +0200 | <tomsmeding> | kuribas: writing a compiler |
2025-10-23 15:03:26 +0200 | <tomsmeding> | with a well-typed well-scoped De Bruijn AST |
2025-10-23 15:03:31 +0200 | <kuribas> | ah :) |
2025-10-23 15:03:38 +0200 | <tomsmeding> | and I'm implementing a highly nontrivial code transformation in it that changes types a bunch |
2025-10-23 15:03:43 +0200 | <[exa]> | oh man. |
2025-10-23 15:03:46 +0200 | <[exa]> | :) |
2025-10-23 15:03:51 +0200 | <kuribas> | tomsmeding: prototype it in idris/agda, then port to haskell? |
2025-10-23 15:03:59 +0200 | <tomsmeding> | kuribas: sunk cost, at this point |
2025-10-23 15:04:10 +0200 | <tomsmeding> | it may or may not have been a good idea |
2025-10-23 15:04:31 +0200 | <kuribas> | idk, haskell to idris may not be too hard? |
2025-10-23 15:04:32 +0200 | <tomsmeding> | a taste: https://git.tomsmeding.com/chad-fast/tree/src/CHAD.hs |
2025-10-23 15:04:52 +0200 | <tomsmeding> | (this is the most complicated file in the project) |
2025-10-23 15:05:02 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63 |
2025-10-23 15:05:45 +0200 | cipherrot | (~jez@user/petrichor) petrichor |
2025-10-23 15:06:57 +0200 | <tomsmeding> | [exa]: does that mean that you commiserate? |
2025-10-23 15:07:02 +0200 | <kuribas> | Edwin Bradey said that using dependent types helped a lot in getting the Debruyn indexes correct in his code. |
2025-10-23 15:07:09 +0200 | <kuribas> | In the idris2 compiler. |
2025-10-23 15:07:12 +0200 | <tomsmeding> | yeah so this is the same thing |
2025-10-23 15:07:16 +0200 | <tomsmeding> | but with singletons |
2025-10-23 15:07:22 +0200 | petrichor | (~jez@user/petrichor) (Ping timeout: 260 seconds) |
2025-10-23 15:07:23 +0200 | <tomsmeding> | (or at least, I assume it's the same thing) |
2025-10-23 15:08:04 +0200 | <kuribas> | singletons are a good sign you want dependent types :) |
2025-10-23 15:08:08 +0200 | <tomsmeding> | yes |
2025-10-23 15:08:25 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 264 seconds) |
2025-10-23 15:10:58 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
2025-10-23 15:14:49 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-23 15:15:03 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
2025-10-23 15:16:42 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
2025-10-23 15:20:40 +0200 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
2025-10-23 15:20:40 +0200 | Googulator56 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-23 15:22:16 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
2025-10-23 15:23:28 +0200 | qqe | (~qqq@185.54.23.200) |
2025-10-23 15:24:03 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-10-23 15:25:46 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-10-23 15:26:13 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
2025-10-23 15:27:59 +0200 | gustrb | (~gustrb@191.243.134.87) |
2025-10-23 15:32:40 +0200 | malte | (~malte@mal.tc) (Ping timeout: 246 seconds) |
2025-10-23 15:33:23 +0200 | malte | (~malte@mal.tc) malte |
2025-10-23 15:38:56 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-10-23 15:40:14 +0200 | kubrat | (~kubrat@149.62.205.188) kubrat |
2025-10-23 15:45:33 +0200 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
2025-10-23 15:45:47 +0200 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-23 15:45:48 +0200 | Googulator50 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
2025-10-23 15:47:29 +0200 | deptype | (~deptype@2406:b400:d4:c314:8332:aeaf:6094:c234) (Remote host closed the connection) |
2025-10-23 15:47:46 +0200 | deptype | (~deptype@2406:b400:d4:c314:37d2:1fe8:9590:1374) |
2025-10-23 15:48:03 +0200 | Fijxu | (~Fijxu@user/fijxu) fijxu |
2025-10-23 15:50:03 +0200 | Square | (~Square4@user/square) (Ping timeout: 244 seconds) |
2025-10-23 16:01:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus) |
2025-10-23 16:04:00 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
2025-10-23 16:06:03 +0200 | <bwe> | what's the equivalent for Text as input? `readMaybe :: Read a => String -> Maybe a` |
2025-10-23 16:10:23 +0200 | <kuribas> | readMaybe . unpack? |
2025-10-23 16:10:34 +0200 | <kuribas> | Or specific parser for Text |
2025-10-23 16:11:38 +0200 | <Leary> | bwe: If you want to use the `Read` typeclass, you can only `unpack` to `String`. If it's just for a number, there are some `Reader`s in `Data.Text.Reader`. |
2025-10-23 16:12:54 +0200 | <bwe> | Leary: That's what I was looking for. Thanks. |
2025-10-23 16:13:15 +0200 | <bwe> | kuribas: I felt bad at just using unpack to get it to String. |
2025-10-23 16:14:04 +0200 | <kuribas> | bwe: it is likely to be inefficient, unless the instance get inlined. |
2025-10-23 16:19:28 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
2025-10-23 16:22:25 +0200 | trickard_ | trickard |
2025-10-23 16:23:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-10-23 16:24:45 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
2025-10-23 16:33:19 +0200 | craunts795335385 | (~craunts@136.158.7.194) |
2025-10-23 16:33:36 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-10-23 16:34:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cd8f:ea15:2cfa:e4a8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-23 16:40:28 +0200 | deptype_ | (~deptype@124.123.188.12) |
2025-10-23 16:42:16 +0200 | deptype | (~deptype@2406:b400:d4:c314:37d2:1fe8:9590:1374) (Ping timeout: 256 seconds) |
2025-10-23 16:46:31 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
2025-10-23 16:46:41 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-10-23 16:48:07 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-10-23 16:59:22 +0200 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) |
2025-10-23 16:59:43 +0200 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) (Write error: Broken pipe) |
2025-10-23 17:01:35 +0200 | bggd | (~bgg@2a01:e0a:819:1510:1b45:b7a3:b4e:5159) |
2025-10-23 17:03:26 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-10-23 17:03:50 +0200 | Zemy | (~Zemy@2600:100c:b0a1:2d3a:3c28:9fff:fec1:9e9a) |
2025-10-23 17:04:47 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-10-23 17:05:04 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cd8f:ea15:2cfa:e4a8) |
2025-10-23 17:07:34 +0200 | Zemy_ | (~Zemy@72.178.108.235) (Ping timeout: 255 seconds) |
2025-10-23 17:10:36 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
2025-10-23 17:15:51 +0200 | kubrat | (~kubrat@149.62.205.188) (Ping timeout: 250 seconds) |
2025-10-23 17:21:26 +0200 | kubrat | (~kubrat@149.62.205.186) kubrat |
2025-10-23 17:25:34 +0200 | Zemy_ | (~Zemy@mobile-107-80-206-52.mycingular.net) |
2025-10-23 17:27:05 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
2025-10-23 17:28:12 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
2025-10-23 17:28:29 +0200 | kubrat | (~kubrat@149.62.205.186) (Quit: Client closed) |
2025-10-23 17:28:38 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-10-23 17:28:44 +0200 | Zemy | (~Zemy@2600:100c:b0a1:2d3a:3c28:9fff:fec1:9e9a) (Ping timeout: 256 seconds) |
2025-10-23 17:29:35 +0200 | Zemy | (~Zemy@2600:100c:b0a1:2d3a:a862:aeff:fec0:e76a) |
2025-10-23 17:31:09 +0200 | leo2007 | (~leo@user/leo2007) leo2007 |
2025-10-23 17:31:21 +0200 | nogloff | (uid464985@id-464985.tinside.irccloud.com) |
2025-10-23 17:32:24 +0200 | leo2007 | (~leo@user/leo2007) (Client Quit) |
2025-10-23 17:32:24 +0200 | Zemy_ | (~Zemy@mobile-107-80-206-52.mycingular.net) (Ping timeout: 256 seconds) |
2025-10-23 17:33:09 +0200 | Zemy_ | (~Zemy@67.78.56.230) |
2025-10-23 17:36:06 +0200 | Zemy | (~Zemy@2600:100c:b0a1:2d3a:a862:aeff:fec0:e76a) (Ping timeout: 256 seconds) |
2025-10-23 17:36:18 +0200 | <haskellbridge> | <doc> tomsmeding: I took a look on the gitlab, the assembly error I ran into may have already been fixed with https://gitlab.haskell.org/ghc/ghc/-/issues/25658 seems the same error |
2025-10-23 17:37:26 +0200 | <tomsmeding> | doc: That sounds highly relevant, yes. If you feel adventurous, you may be able to try a 9.14 alpha :) |
2025-10-23 17:39:45 +0200 | Zemy | (~Zemy@2600:100c:b0a1:2d3a:e430:6dff:fedb:39b4) |
2025-10-23 17:41:05 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
2025-10-23 17:41:12 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds) |
2025-10-23 17:42:20 +0200 | Zemy_ | (~Zemy@67.78.56.230) (Ping timeout: 256 seconds) |
2025-10-23 17:42:42 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
2025-10-23 17:47:20 +0200 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 265 seconds) |
2025-10-23 17:48:53 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
2025-10-23 17:50:50 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds) |
2025-10-23 17:53:08 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
2025-10-23 17:53:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-23 17:55:37 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-10-23 18:01:23 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
2025-10-23 18:01:32 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2025-10-23 18:01:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
2025-10-23 18:05:41 +0200 | Googulator50 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-23 18:05:46 +0200 | Googulator27 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
2025-10-23 18:08:58 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 248 seconds) |
2025-10-23 18:13:43 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
2025-10-23 18:14:25 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
2025-10-23 18:27:37 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 264 seconds) |
2025-10-23 18:29:34 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
2025-10-23 18:29:56 +0200 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 256 seconds) |
2025-10-23 18:30:48 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
2025-10-23 18:35:38 +0200 | Googulator27 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-23 18:35:46 +0200 | Googulator27 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
2025-10-23 18:39:23 +0200 | Zemy_ | (~Zemy@mobile-107-80-206-40.mycingular.net) |
2025-10-23 18:40:21 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
2025-10-23 18:40:45 +0200 | Core9574 | (~Zemy@2600:100c:b0a1:2d3a:2c76:e6ff:fe8d:547c) |
2025-10-23 18:40:58 +0200 | Zemy | (~Zemy@2600:100c:b0a1:2d3a:e430:6dff:fedb:39b4) (Read error: Connection reset by peer) |
2025-10-23 18:43:38 +0200 | Zemy_ | (~Zemy@mobile-107-80-206-40.mycingular.net) (Ping timeout: 248 seconds) |
2025-10-23 18:44:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-23 18:48:26 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |
2025-10-23 18:49:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-23 18:50:25 +0200 | gustrb | (~gustrb@191.243.134.87) |
2025-10-23 18:50:36 +0200 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 256 seconds) |
2025-10-23 18:51:27 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
2025-10-23 18:51:58 +0200 | Zemy | (~Zemy@72.178.108.235) |
2025-10-23 18:52:43 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:3c4e:fa7a:e07a:5a51) youngfrog |
2025-10-23 18:54:18 +0200 | Core9574 | (~Zemy@2600:100c:b0a1:2d3a:2c76:e6ff:fe8d:547c) (Ping timeout: 256 seconds) |
2025-10-23 18:56:31 +0200 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-10-23 18:57:20 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
2025-10-23 18:58:16 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds) |
2025-10-23 19:00:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-23 19:01:24 +0200 | humasect_ | numberella |
2025-10-23 19:04:13 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 264 seconds) |
2025-10-23 19:04:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-10-23 19:05:16 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-10-23 19:06:46 +0200 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 256 seconds) |
2025-10-23 19:11:28 +0200 | gustrb | (~gustrb@191.243.134.87) |
2025-10-23 19:13:33 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 256 seconds) |
2025-10-23 19:15:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-23 19:16:53 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
2025-10-23 19:19:13 +0200 | APic | (apic@apic.name) (Ping timeout: 264 seconds) |
2025-10-23 19:20:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-23 19:24:53 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
2025-10-23 19:25:27 +0200 | <chromoblob> | so. i want to develop Linux apps in Haskell. if i use GHC, how do i distribute my app (e.g. what are dependencies)? |
2025-10-23 19:27:07 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-10-23 19:30:50 +0200 | APic | (~apic@apic.name) APic |
2025-10-23 19:31:09 +0200 | <haskellbridge> | <Morj> It's about the same as C++: there are multiple options. If a distro packages your program, they choose one for you |
2025-10-23 19:31:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-23 19:31:48 +0200 | <haskellbridge> | <Morj> For example, arch linux has a policy of dynamically linking even the haskell deps themselves. While I distribute either nix derivations, or completely statically linked binaries |
2025-10-23 19:32:31 +0200 | <chromoblob> | ok, i want to have a fully static binary. how to? |
2025-10-23 19:33:43 +0200 | <EvanR> | that's been the default in ghc for a long time |
2025-10-23 19:34:04 +0200 | <EvanR> | build your haskell program and check the linkage of the resulting binary |
2025-10-23 19:34:23 +0200 | <chromoblob> | okay, thanks |
2025-10-23 19:35:39 +0200 | <chromoblob> | i don't have Linux at the moment. does it even not depend on libc? |
2025-10-23 19:35:51 +0200 | <haskellbridge> | <Morj> That still links libc and gmp afaik, no? |
2025-10-23 19:36:35 +0200 | <haskellbridge> | <Morj> To statically link system libraries themselves it was somewhat more involved, and I've lost an example >_> |
2025-10-23 19:36:44 +0200 | <EvanR> | yeah it does |
2025-10-23 19:36:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-23 19:37:03 +0200 | <EvanR> | though I'm not sure the wisdom of attempting to static link your own libc |
2025-10-23 19:37:23 +0200 | <EvanR> | in the case of gmp you could avoid it by using the haskell version of the Integer implementation |
2025-10-23 19:37:25 +0200 | <chromoblob> | philosophical reasons... |
2025-10-23 19:37:45 +0200 | <EvanR> | the compiled libc is usually highly dependent on the OS |
2025-10-23 19:38:04 +0200 | <EvanR> | it's the mediator between normal C code and the kernel |
2025-10-23 19:38:10 +0200 | AlexNoo_ | AlexNoo |
2025-10-23 19:38:21 +0200 | <haskellbridge> | <Morj> If you're just targeting linux and don't dlopen, you can linux musl and be happy, no? |
2025-10-23 19:38:27 +0200 | <chromoblob> | i thought Linux had a standard ABI |
2025-10-23 19:38:39 +0200 | <EvanR> | yes if you cross your fingers correctly |
2025-10-23 19:38:53 +0200 | <chromoblob> | omg... |
2025-10-23 19:38:53 +0200 | gustrb | (~gustrb@191.243.134.87) (Quit: gustrb) |
2025-10-23 19:38:57 +0200 | <EvanR> | binary distribution on linux is a hope and pray |
2025-10-23 19:39:05 +0200 | <haskellbridge> | <Morj> Linux has a stable abi. The problem is your deps |
2025-10-23 19:39:23 +0200 | <EvanR> | C standard library is also a stable API |
2025-10-23 19:39:28 +0200 | <EvanR> | but here we are |
2025-10-23 19:39:42 +0200 | <chromoblob> | note, A*B*I |
2025-10-23 19:39:47 +0200 | <haskellbridge> | <Morj> Yeah, except for little unstable parts that someone will surely get their little library fingers in =) |
2025-10-23 19:39:56 +0200 | <EvanR> | you traded "philosophical problems" for actual problems |
2025-10-23 19:40:21 +0200 | <haskellbridge> | <Morj> In theory if everyone was a good citizen, you could dynamically link to glibc and have no problems |
2025-10-23 19:40:38 +0200 | <haskellbridge> | <Morj> I think on BSDs they do just that, except it's another libc |
2025-10-23 19:40:41 +0200 | <EvanR> | that's usually how I've seen it done |
2025-10-23 19:40:45 +0200 | <chromoblob> | no, glibc is not Linux, it is GNU |
2025-10-23 19:41:07 +0200 | <chromoblob> | if only Linux shipped a standard libc... |
2025-10-23 19:41:29 +0200 | <haskellbridge> | <Morj> As I say, the syscalls are incredibly stable. You won't see a breakage in /them/ |
2025-10-23 19:41:31 +0200 | <EvanR> | there's a reason there's a standard API, so it should work with any implementation |
2025-10-23 19:42:13 +0200 | <EvanR> | alternative libc implementations seem to be about memory usage, but you're on some random persons linux with a spinning cube desktop |
2025-10-23 19:42:43 +0200 | <haskellbridge> | <Morj> If you write from scratch targeting linux without libc, you can fear no breakage. Unfortunately, you 1) usually don't have enough time for that, 2) want to integrate with the system, and some integrations require using shared libraries. One example of that is DNS resolution |
2025-10-23 19:42:58 +0200 | <EvanR> | and it's a pain in the ass |
2025-10-23 19:43:10 +0200 | <EvanR> | it's the ultimate form of "never use dependencies" |
2025-10-23 19:43:26 +0200 | <haskellbridge> | <Morj> Go world went with rewriting the world, and it sort-of works for them. They produce completely static binaries, and it's very convenient to use |
2025-10-23 19:43:59 +0200 | <EvanR> | they can just recompile if things change |
2025-10-23 19:44:08 +0200 | <EvanR> | and redistribute |
2025-10-23 19:44:20 +0200 | <haskellbridge> | <Morj> Anyway, to the original question of statically linking: I don't have a complete answer, but look into the docs of ghc options «-static -optl-static -staticlib» |
2025-10-23 19:47:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-23 19:51:44 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
2025-10-23 19:51:44 +0200 | deptype_ | (~deptype@124.123.188.12) (Remote host closed the connection) |
2025-10-23 19:51:55 +0200 | <EvanR> | I'm also linked against the vdso |
2025-10-23 19:52:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-23 20:01:20 +0200 | williu5 | (~williu5@user/williu5) (Quit: WeeChat 4.1.1) |
2025-10-23 20:02:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-23 20:04:47 +0200 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft |
2025-10-23 20:09:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-10-23 20:10:51 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-10-23 20:11:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-23 20:11:51 +0200 | lill | (~lill@bras-base-gmlyon2002w-grc-37-74-12-9-150.dsl.bell.ca) |
2025-10-23 20:15:58 +0200 | Googulator27 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-23 20:16:13 +0200 | Googulator27 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
2025-10-23 20:16:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-23 20:17:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cd8f:ea15:2cfa:e4a8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-23 20:17:58 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
2025-10-23 20:18:16 +0200 | lill | (~lill@bras-base-gmlyon2002w-grc-37-74-12-9-150.dsl.bell.ca) (Quit: leaving) |
2025-10-23 20:19:07 +0200 | lill | (~lill@bras-base-gmlyon2002w-grc-37-74-12-9-150.dsl.bell.ca) |
2025-10-23 20:21:38 +0200 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
2025-10-23 20:24:16 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-10-23 20:24:47 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds) |
2025-10-23 20:26:58 +0200 | lill | (~lill@bras-base-gmlyon2002w-grc-37-74-12-9-150.dsl.bell.ca) (Quit: WeeChat 4.7.1) |
2025-10-23 20:27:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-23 20:28:01 +0200 | <chromoblob> | what was wrong with Haskell Platform? why was it replaced with Ghcup? |
2025-10-23 20:32:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
2025-10-23 20:32:33 +0200 | numberel_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |