2025/10/23

2025-10-23 00:00:02 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit)
2025-10-23 00:00:16 +0200Zemy_(~Zemy@72.178.108.235)
2025-10-23 00:01:01 +0200Zemy(~Zemy@2600:100c:b0a9:aee3:7c6b:2fff:feeb:2e68) (Read error: Connection reset by peer)
2025-10-23 00:01:14 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-10-23 00:01:31 +0200Zemy(~Zemy@2600:100c:b0a9:aee3:6806:53ff:fee9:16ce)
2025-10-23 00:01:32 +0200Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-23 00:02:55 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 240 seconds)
2025-10-23 00:03:33 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit)
2025-10-23 00:03:33 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-23 00:04:22 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-10-23 00:05:20 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-10-23 00:05:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 00:07:01 +0200Zemy_(~Zemy@72.178.108.235)
2025-10-23 00:08:26 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-10-23 00:08:56 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit)
2025-10-23 00:09:50 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-10-23 00:10:04 +0200Zemy(~Zemy@2600:100c:b0a9:aee3:6806:53ff:fee9:16ce) (Ping timeout: 246 seconds)
2025-10-23 00:10:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-23 00:11:06 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-10-23 00:11:17 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit)
2025-10-23 00:12:05 +0200Zemy(~Zemy@2600:100c:b0a9:aee3:f0f5:68ff:fe71:edae)
2025-10-23 00:12:20 +0200Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-23 00:12:25 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-10-23 00:14:49 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit)
2025-10-23 00:15:43 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds)
2025-10-23 00:15:46 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-10-23 00:15:58 +0200trickard_trickard
2025-10-23 00:16:26 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-23 00:17:46 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit)
2025-10-23 00:18:46 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-10-23 00:20:26 +0200synchromesh(~john@2406:5a00:2412:2c00:a8e4:bf79:858d:7442) (Read error: Connection reset by peer)
2025-10-23 00:20:56 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-10-23 00:21:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 00:21:18 +0200synchromesh(~john@2406:5a00:2412:2c00:a8e4:bf79:858d:7442) synchromesh
2025-10-23 00:21:22 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-10-23 00:21:52 +0200Zemy_(~Zemy@72.178.108.235)
2025-10-23 00:22:40 +0200img(~img@user/img) img
2025-10-23 00:22:41 +0200SlackCoder(~SlackCode@208.26.91.234) (Quit: Leaving)
2025-10-23 00:24:46 +0200Zemy(~Zemy@2600:100c:b0a9:aee3:f0f5:68ff:fe71:edae) (Ping timeout: 246 seconds)
2025-10-23 00:25:05 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.7.1)
2025-10-23 00:25:34 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection)
2025-10-23 00:26:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-23 00:26:27 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-10-23 00:27:03 +0200Zemy(~Zemy@2600:100c:b0a9:aee3:3032:10ff:fea0:6d1a)
2025-10-23 00:27:51 +0200Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-23 00:28:22 +0200Zemy_(~Zemy@72.178.108.235)
2025-10-23 00:28:31 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-10-23 00:30:04 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit)
2025-10-23 00:31:15 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-10-23 00:31:32 +0200gustrb(~gustrb@200.132.2.8)
2025-10-23 00:31:47 +0200Zemy(~Zemy@2600:100c:b0a9:aee3:3032:10ff:fea0:6d1a) (Ping timeout: 260 seconds)
2025-10-23 00:32:22 +0200Zemy(~Zemy@2600:100c:b0a9:aee3:38c9:91ff:fe47:9f49)
2025-10-23 00:32:22 +0200Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-23 00:32:58 +0200Zemy_(~Zemy@72.178.108.235)
2025-10-23 00:33:00 +0200Zemy(~Zemy@2600:100c:b0a9:aee3:38c9:91ff:fe47:9f49) (Read error: Connection reset by peer)
2025-10-23 00:33:30 +0200Zemy(~Zemy@2600:100c:b0a9:aee3:8cc0:2ff:fede:3e16)
2025-10-23 00:33:30 +0200Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-23 00:33:38 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit)
2025-10-23 00:34:29 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-10-23 00:36:33 +0200Zemy_(~Zemy@72.178.108.235)
2025-10-23 00:36:33 +0200Zemy(~Zemy@2600:100c:b0a9:aee3:8cc0:2ff:fede:3e16) (Read error: Connection reset by peer)
2025-10-23 00:36:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 00:37:13 +0200Zemy(~Zemy@2600:100c:b0a9:aee3:c475:9aff:fe52:9d81)
2025-10-23 00:37:13 +0200Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-23 00:41:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-23 00:48:36 +0200jreicher(~user@user/jreicher) (Quit: Out and about)
2025-10-23 00:50:51 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-10-23 00:53:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 00:53:35 +0200Zemy_(~Zemy@72.178.108.235)
2025-10-23 00:55:42 +0200Zemy(~Zemy@2600:100c:b0a9:aee3:c475:9aff:fe52:9d81) (Ping timeout: 260 seconds)
2025-10-23 00:57:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-23 00:59:43 +0200gustrb(~gustrb@200.132.2.8) (Ping timeout: 240 seconds)
2025-10-23 00:59:47 +0200Square2(~Square@user/square) Square
2025-10-23 01:05:41 +0200Googulator97(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 01:05:41 +0200Googulator36(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 01:05:51 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-10-23 01:08:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 01:14:57 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds)
2025-10-23 01:15:33 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-23 01:15:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-23 01:17:37 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds)
2025-10-23 01:20:31 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 240 seconds)
2025-10-23 01:25:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 01:28:31 +0200xff0x(~xff0x@2405:6580:b080:900:9f0f:48dd:d048:1e36) (Ping timeout: 250 seconds)
2025-10-23 01:29:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-23 01:32:45 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 256 seconds)
2025-10-23 01:40:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 01:45:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-23 01:55:10 +0200meinside(uid24933@id-24933.helmsley.irccloud.com) ()
2025-10-23 01:56:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 01:56:22 +0200trickard(~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 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-23 02:00:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-23 02:05:42 +0200Googulator97(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 02:05:51 +0200Googulator97(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 02:09:07 +0200semifunctor(~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in)
2025-10-23 02:10:35 +0200semifunctor(~omnifunct@user/semifunctor) omnifunctor
2025-10-23 02:11:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 02:15:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-23 02:19:55 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds)
2025-10-23 02:22:22 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
2025-10-23 02:22:47 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-23 02:25:42 +0200acidjnk(~acidjnk@p200300d6e717194731e60ee4a1a0073e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-10-23 02:26:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 02:28:04 +0200glguy(glguy@libera/staff/glguy) (Read error: Connection reset by peer)
2025-10-23 02:28:09 +0200glguy(glguy@libera/staff/glguy) glguy
2025-10-23 02:29:46 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 248 seconds)
2025-10-23 02:31:23 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-10-23 02:31:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-23 02:31:36 +0200Xe_(~Xe@perl/impostor/xe) Xe
2025-10-23 02:32:19 +0200Xe(~Xe@perl/impostor/xe) (Ping timeout: 244 seconds)
2025-10-23 02:32:36 +0200califax(~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 +0200califax(~califax@user/califx) califx
2025-10-23 02:35:48 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-10-23 02:40:13 +0200otto_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 +0200otto_s(~user@p5de2fc78.dip0.t-ipconnect.de)
2025-10-23 02:42:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 02:49:07 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-23 02:49:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-23 02:49:20 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-23 02:50:37 +0200Googulator78(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 02:50:37 +0200Googulator97(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 02:52:12 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-23 02:53:04 +0200trickard_trickard
2025-10-23 02:55:47 +0200Googulator24(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 02:56:12 +0200Googulator78(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 03:00:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 03:05:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-23 03:05:58 +0200Googulator62(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 03:06:11 +0200Googulator24(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 03:15:33 +0200Googulator62(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 03:15:41 +0200Googulator6(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 03:15:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 03:20:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-23 03:26:32 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-10-23 03:26:47 +0200califax(~califax@user/califx) califx
2025-10-23 03:31:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 03:35:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-23 03:38:52 +0200ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-10-23 03:43:35 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-10-23 03:46:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 03:46:43 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
2025-10-23 03:51:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-10-23 03:51:16 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds)
2025-10-23 03:53:40 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-23 03:56:54 +0200trickard(~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-23 03:57:07 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-23 03:58:21 +0200AlexNoo_(~AlexNoo@85.174.180.65)
2025-10-23 03:58:45 +0200AlexZenon(~alzenon@85.174.180.65) (Ping timeout: 252 seconds)
2025-10-23 03:58:57 +0200AlexNoo(~AlexNoo@85.174.180.65) (Ping timeout: 256 seconds)
2025-10-23 04:02:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 04:06:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-23 04:06:48 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-23 04:07:10 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-23 04:08:25 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds)
2025-10-23 04:08:35 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-23 04:08:37 +0200trickard_trickard
2025-10-23 04:09:15 +0200AlexZenon(~alzenon@85.174.180.65)
2025-10-23 04:14:51 +0200Square(~Square4@user/square) Square
2025-10-23 04:17:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 04:18:37 +0200Square2(~Square@user/square) (Ping timeout: 264 seconds)
2025-10-23 04:20:55 +0200dcpagan(~dcpagan@gateway/tor-sasl/dcpagan) dcpagan
2025-10-23 04:24:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-23 04:27:15 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-10-23 04:27:39 +0200poscat(~poscat@user/poscat) poscat
2025-10-23 04:28:49 +0200td_(~td@i53870932.versanet.de) (Ping timeout: 264 seconds)
2025-10-23 04:28:50 +0200synchromesh(~john@2406:5a00:2412:2c00:a8e4:bf79:858d:7442) (Read error: Connection reset by peer)
2025-10-23 04:29:58 +0200synchromesh(~john@2406:5a00:2412:2c00:59ee:2e5c:beb6:44e3) synchromesh
2025-10-23 04:30:26 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-10-23 04:30:36 +0200td_(~td@i53870926.versanet.de)
2025-10-23 04:31:14 +0200poscat(~poscat@user/poscat) poscat
2025-10-23 04:31:34 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-23 04:32:33 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-10-23 04:33:04 +0200poscat(~poscat@user/poscat) poscat
2025-10-23 04:34:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 04:35:37 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-10-23 04:35:44 +0200Googulator53(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 04:35:44 +0200Googulator6(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 04:36:14 +0200poscat(~poscat@user/poscat) poscat
2025-10-23 04:36:37 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2025-10-23 04:38:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-23 04:46:54 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-10-23 04:47:16 +0200poscat(~poscat@user/poscat) poscat
2025-10-23 04:49:08 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-10-23 04:49:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 04:50:14 +0200bggd(~bgg@2a01:e0a:819:1510:f0f7:e908:85f6:a650)
2025-10-23 04:52:24 +0200poscat(~poscat@user/poscat) poscat
2025-10-23 04:54:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-23 04:55:14 +0200poscat0x04(~poscat@user/poscat) poscat
2025-10-23 04:55:23 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-10-23 04:55:43 +0200poscat0x04(~poscat@user/poscat) (Remote host closed the connection)
2025-10-23 04:56:00 +0200poscat0x04(~poscat@user/poscat) poscat
2025-10-23 04:59:15 +0200poscat(~poscat@user/poscat) (Ping timeout: 252 seconds)
2025-10-23 05:00:01 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds)
2025-10-23 05:00:37 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-23 05:04:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 05:06:49 +0200Googulator53(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 05:07:04 +0200Googulator53(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 05:08:41 +0200peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-10-23 05:09:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-23 05:15:51 +0200Googulator53(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 05:15:59 +0200Googulator53(~Googulato@92-249-221-245.pool.digikabel.hu)
2025-10-23 05:17:51 +0200annamalai(~annamalai@157.49.221.71) annamalai
2025-10-23 05:18:23 +0200dcpagan(~dcpagan@gateway/tor-sasl/dcpagan) (Remote host closed the connection)
2025-10-23 05:18:47 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds)
2025-10-23 05:20:31 +0200xff0x(~xff0x@2405:6580:b080:900:fec7:9ad7:e4a7:c671)
2025-10-23 05:20:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 05:20:40 +0200Googulator55(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 05:21:12 +0200Googulator53(~Googulato@92-249-221-245.pool.digikabel.hu) (Quit: Client closed)
2025-10-23 05:25:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-23 05:31:20 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-10-23 05:35:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 05:36:01 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds)
2025-10-23 05:40:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-10-23 05:50:01 +0200aforemny(~aforemny@i59F4C4D3.versanet.de) aforemny
2025-10-23 05:50:24 +0200aforemny_(~aforemny@2001:9e8:6cc4:2700:5fd7:3e32:1aae:6b6) (Ping timeout: 252 seconds)
2025-10-23 05:51:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 05:55:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-23 06:05:46 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 248 seconds)
2025-10-23 06:06:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 06:07:34 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-10-23 06:13:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-23 06:14:15 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-10-23 06:14:24 +0200peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds)
2025-10-23 06:14:42 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-10-23 06:15:40 +0200Googulator55(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 06:15:46 +0200Googulator82(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 06:17:30 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-10-23 06:21:44 +0200meinside(meinside@ip68.orange.bnc4free.com) meinside
2025-10-23 06:22:07 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2025-10-23 06:22:31 +0200ec(~ec@gateway/tor-sasl/ec) ec
2025-10-23 06:24:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 06:29:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-23 06:32:07 +0200Xe(~Xe@perl/impostor/xe) Xe
2025-10-23 06:32:12 +0200Xe_(~Xe@perl/impostor/xe) (Ping timeout: 252 seconds)
2025-10-23 06:36:01 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds)
2025-10-23 06:37:49 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2025-10-23 06:40:39 +0200Googulator56(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 06:40:47 +0200Googulator82(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 06:45:39 +0200Googulator56(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 06:45:47 +0200Googulator56(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 06:49:54 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-10-23 06:50:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 06:54:49 +0200peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-10-23 06:54:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-23 06:55:12 +0200FGIDIMfgidim
2025-10-23 06:55:45 +0200jmcantrell_jmcantrell
2025-10-23 06:56:16 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-10-23 06:58:19 +0200michalz(~michalz@185.246.207.221)
2025-10-23 06:59:57 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-10-23 07:00:24 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-10-23 07:00:31 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds)
2025-10-23 07:02:10 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-10-23 07:05:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 07:10:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-10-23 07:10:38 +0200Googulator56(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 07:10:42 +0200Googulator72(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 07:19:46 +0200jreicher(~user@user/jreicher) jreicher
2025-10-23 07:21:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 07:26:10 +0200weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-10-23 07:26:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-23 07:27:20 +0200trickard(~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-23 07:27:33 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-23 07:32:57 +0200weary-traveler(~user@user/user363627) user363627
2025-10-23 07:34:21 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-10-23 07:34:59 +0200Leary(~Leary@user/Leary/x-0910699) (Remote host closed the connection)
2025-10-23 07:36:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 07:38:14 +0200jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
2025-10-23 07:39:05 +0200Leary(~Leary@user/Leary/x-0910699) Leary
2025-10-23 07:39:56 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-10-23 07:40:34 +0200peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 255 seconds)
2025-10-23 07:40:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-23 07:42:50 +0200craunts795335385(~craunts@136.158.7.194)
2025-10-23 07:44:37 +0200jreicher(~user@user/jreicher) (Quit: In transit)
2025-10-23 07:45:38 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-10-23 07:46:04 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-23 07:46:18 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-23 07:49:15 +0200qqe(~qqq@185.54.23.200)
2025-10-23 07:51:18 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds)
2025-10-23 07:51:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 07:58:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-23 08:01:06 +0200qqe(~qqq@185.54.23.200) (Quit: Lost terminal)
2025-10-23 08:06:15 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-10-23 08:09:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 08:11:05 +0200Googulator30(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 08:11:17 +0200Googulator72(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 08:13:18 +0200jreicher(~user@user/jreicher) jreicher
2025-10-23 08:14:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-23 08:15:41 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63
2025-10-23 08:24:11 +0200kubrat(~kubrat@149.62.205.6) kubrat
2025-10-23 08:25:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 08:29:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-23 08:35:44 +0200annamalai(~annamalai@157.49.221.71) (Remote host closed the connection)
2025-10-23 08:37:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 08:40:37 +0200kubrat(~kubrat@149.62.205.6) (Quit: Client closed)
2025-10-23 08:41:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-23 08:50:27 +0200jreicher(~user@user/jreicher) (Read error: Connection reset by peer)
2025-10-23 08:50:32 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-10-23 08:52:26 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-23 08:52:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 08:57:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-10-23 08:58:33 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)
2025-10-23 08:59:21 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-10-23 09:00:02 +0200caconym7478798(~caconym@user/caconym) (Quit: bye)
2025-10-23 09:00:31 +0200kubrat(~kubrat@149.62.205.6) kubrat
2025-10-23 09:00:44 +0200caconym7478798(~caconym@user/caconym) caconym
2025-10-23 09:04:48 +0200tromp(~textual@2001:1c00:3487:1b00:cd8f:ea15:2cfa:e4a8)
2025-10-23 09:04:53 +0200arandombit(~arandombi@2603:7000:4600:ffbe:5458:e7c4:c737:d396)
2025-10-23 09:04:53 +0200arandombit(~arandombi@2603:7000:4600:ffbe:5458:e7c4:c737:d396) (Changing host)
2025-10-23 09:04:53 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-10-23 09:07:48 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds)
2025-10-23 09:07:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-23 09:11:16 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-10-23 09:11:50 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-10-23 09:12:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-23 09:12:20 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-10-23 09:13:04 +0200chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-10-23 09:15:40 +0200Googulator30(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 09:15:49 +0200Googulator30(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 09:21:17 +0200srazkvt(~sarah@user/srazkvt) srazkvt
2025-10-23 09:22:12 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-10-23 09:23:40 +0200acidjnk(~acidjnk@p200300d6e7171952d474b73bd8efcb87.dip0.t-ipconnect.de) acidjnk
2025-10-23 09:24:34 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-23 09:27:38 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds)
2025-10-23 09:35:13 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-23 09:35:26 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-23 09:37:32 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds)
2025-10-23 09:38:48 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-23 09:42:31 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-10-23 09:44:29 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-10-23 09:44:46 +0200phma(~phma@129.222.85.211) (Ping timeout: 246 seconds)
2025-10-23 09:44:56 +0200phma(~phma@2605:59c8:6211:ff08:7181:51cb:35db:c6be)
2025-10-23 09:47:28 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-10-23 09:58:01 +0200ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving)
2025-10-23 09:58:32 +0200arandombit(~arandombi@2603:7000:4600:ffbe:5458:e7c4:c737:d396)
2025-10-23 09:58:32 +0200arandombit(~arandombi@2603:7000:4600:ffbe:5458:e7c4:c737:d396) (Changing host)
2025-10-23 09:58:32 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-10-23 09:59:12 +0200annamalai(~annamalai@157.49.217.152) annamalai
2025-10-23 10:03:20 +0200arandombit(~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 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-10-23 10:07:33 +0200merijn(~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 +0200tomsmedingdoubts
2025-10-23 10:11:22 +0200[exa]departs to find a stone to hide under
2025-10-23 10:11:29 +0200tomsmedinghugs [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 +0200simplystuart(~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 +0200Googulator6(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 10:25:47 +0200Googulator30(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 10:30:04 +0200comerijn(~merijn@77.242.116.146) merijn
2025-10-23 10:32:47 +0200merijn(~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 +0200simplystuart(~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 +0200craunts795335385(~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
2025-10-23 10:49:27 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-10-23 10:51:12 +0200humasectnumberella
2025-10-23 10:59:11 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-23 11:05:42 +0200Googulator6(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 11:06:00 +0200Googulator6(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 11:10:46 +0200comerijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-10-23 11:11:19 +0200deptype(~deptype@2406:b400:d4:c314:b197:36b9:d9a9:af2c)
2025-10-23 11:13:38 +0200kubrat(~kubrat@149.62.205.6) (Quit: Client closed)
2025-10-23 11:16:09 +0200superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) (Read error: Connection reset by peer)
2025-10-23 11:20:45 +0200Googulator6(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 11:20:47 +0200Googulator86(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 11:24:00 +0200merijn(~merijn@77.242.116.146) merijn
2025-10-23 11:25:18 +0200kubrat(~kubrat@149.62.205.188) kubrat
2025-10-23 11:26:39 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-23 11:27:44 +0200deptype(~deptype@2406:b400:d4:c314:b197:36b9:d9a9:af2c) (Remote host closed the connection)
2025-10-23 11:28:02 +0200deptype(~deptype@2406:b400:d4:c314:6790:af81:8e63:3549)
2025-10-23 11:29:56 +0200numberella(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-10-23 11:30:10 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-10-23 11:30:32 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-23 11:31:41 +0200superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) superbil
2025-10-23 11:33:08 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-10-23 11:39:39 +0200kubrat(~kubrat@149.62.205.188) (Quit: Client closed)
2025-10-23 11:39:58 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 255 seconds)
2025-10-23 11:40:30 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-10-23 11:40:53 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-23 11:43:35 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-10-23 11:44:43 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-10-23 11:45:39 +0200Googulator86(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 11:45:40 +0200Googulator71(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 11:47:01 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-10-23 11:51:52 +0200adig(~adi@86.123.72.40) adig
2025-10-23 11:52:50 +0200adig(~adi@86.123.72.40) (Remote host closed the connection)
2025-10-23 11:54:11 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-10-23 11:56:18 +0200merijn(~merijn@77.242.116.146) merijn
2025-10-23 12:13:45 +0200infinity0(~infinity0@pwned.gg) (Ping timeout: 252 seconds)
2025-10-23 12:14:46 +0200deptype(~deptype@2406:b400:d4:c314:6790:af81:8e63:3549) (Remote host closed the connection)
2025-10-23 12:15:04 +0200deptype(~deptype@2406:b400:d4:c314:5c99:1eaf:4a55:6c8a)
2025-10-23 12:16:23 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-10-23 12:18:13 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 255 seconds)
2025-10-23 12:20:36 +0200sp1ff``(~user@c-73-164-203-114.hsd1.wa.comcast.net)
2025-10-23 12:22:17 +0200sp1ff`(~user@2601:1c2:4c00:6820::48ac) (Ping timeout: 260 seconds)
2025-10-23 12:31:43 +0200merijn(~merijn@77.242.116.146) merijn
2025-10-23 12:34:25 +0200Square2(~Square@user/square) Square
2025-10-23 12:34:34 +0200infinity0(~infinity0@pwned.gg) infinity0
2025-10-23 12:38:35 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-10-23 12:45:21 +0200synchromesh(~john@2406:5a00:2412:2c00:59ee:2e5c:beb6:44e3) (Read error: Connection reset by peer)
2025-10-23 12:46:39 +0200synchromesh(~john@2406:5a00:2412:2c00:59ee:2e5c:beb6:44e3) synchromesh
2025-10-23 12:47:54 +0200merijn(~merijn@77.242.116.146) merijn
2025-10-23 12:49:15 +0200kaskal-(~kaskal@84-115-235-223.cable.dynamic.surfer.at) (Quit: ZNC - https://znc.in)
2025-10-23 12:49:43 +0200kaskal(~kaskal@2a02:8388:1a8b:7d00:2bf0:62e:e362:6c40) kaskal
2025-10-23 12:51:26 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-10-23 12:51:49 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-23 12:57:49 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 255 seconds)
2025-10-23 13:00:04 +0200caconym7478798(~caconym@user/caconym) (Quit: bye)
2025-10-23 13:01:36 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2025-10-23 13:02:07 +0200caconym7478798(~caconym@user/caconym) caconym
2025-10-23 13:03:18 +0200deptype(~deptype@2406:b400:d4:c314:5c99:1eaf:4a55:6c8a) (Remote host closed the connection)
2025-10-23 13:03:36 +0200deptype(~deptype@2406:b400:d4:c314:5abc:4b66:d843:af9d)
2025-10-23 13:06:26 +0200weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-10-23 13:06:51 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-10-23 13:10:58 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-10-23 13:11:26 +0200Pixi`(~Pixi@user/pixi) Pixi
2025-10-23 13:12:11 +0200vanishingideal(~vanishing@user/vanishingideal) (Remote host closed the connection)
2025-10-23 13:14:02 +0200Pixi(~Pixi@user/pixi) (Ping timeout: 248 seconds)
2025-10-23 13:15:40 +0200Googulator56(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 13:15:46 +0200Googulator71(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 13:31:19 +0200jreicher(~user@user/jreicher) jreicher
2025-10-23 13:33:01 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2025-10-23 13:35:05 +0200merijn(~merijn@77.242.116.146) merijn
2025-10-23 13:35:49 +0200annamalai(~annamalai@157.49.217.152) (Ping timeout: 256 seconds)
2025-10-23 13:37:52 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-10-23 13:38:19 +0200Lord_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 +0200Lord_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 +0200deptype(~deptype@2406:b400:d4:c314:5abc:4b66:d843:af9d) (Remote host closed the connection)
2025-10-23 13:55:08 +0200deptype(~deptype@2406:b400:d4:c314:8332:aeaf:6094:c234)
2025-10-23 14:00:31 +0200annamalai(~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 +0200trickard_(~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 +0200trickard(~trickard@cpe-55-98-47-163.wireline.com.au)