2024/09/22

2024-09-22 00:04:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 00:08:18 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2024-09-22 00:09:42 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2024-09-22 00:15:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 00:21:24 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2024-09-22 00:22:17 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2024-09-22 00:23:23 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-22 00:24:55 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Client Quit)
2024-09-22 00:25:22 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2024-09-22 00:26:26 +0200mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com)
2024-09-22 00:30:17 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-09-22 00:33:41 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2024-09-22 00:34:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 00:34:09 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2024-09-22 00:34:16 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Remote host closed the connection)
2024-09-22 00:34:44 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2024-09-22 00:37:05 +0200ThePenguin7(~ThePengui@cust-95-80-24-166.csbnet.se) (Ping timeout: 248 seconds)
2024-09-22 00:38:08 +0200ThePenguin7(~ThePengui@cust-95-80-24-166.csbnet.se)
2024-09-22 00:38:35 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Client Quit)
2024-09-22 00:39:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 00:41:30 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2024-09-22 00:46:20 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2024-09-22 00:48:05 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2024-09-22 00:48:39 +0200Squared(~Square@user/square) (Ping timeout: 246 seconds)
2024-09-22 00:48:59 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2024-09-22 00:49:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 00:54:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-22 01:01:14 +0200ridcully(~ridcully@p57b528bc.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-09-22 01:03:28 +0200mikess(~mikess@user/mikess) (Quit: mikess)
2024-09-22 01:03:42 +0200troojg(~troojg@user/troojg) (Ping timeout: 246 seconds)
2024-09-22 01:05:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 01:07:55 +0200mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 264 seconds)
2024-09-22 01:09:14 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com)
2024-09-22 01:10:23 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-22 01:17:09 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2024-09-22 01:19:03 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2024-09-22 01:19:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 01:24:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-22 01:32:07 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-09-22 01:35:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 01:39:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 01:45:14 +0200ridcully(~ridcully@pd951fe51.dip0.t-ipconnect.de)
2024-09-22 01:50:51 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 01:51:08 +0200identity(~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2024-09-22 01:55:30 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-22 01:58:42 +0200todi_away(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-09-22 02:01:41 +0200todi(~todi@p57803331.dip0.t-ipconnect.de)
2024-09-22 02:06:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 02:08:23 +0200 <probie> That would just mean "foreign import goapi" requires a go compiler available, which seems about the same as "foreign import capi"
2024-09-22 02:09:20 +0200 <probie> Go takes "don't rely on internals" pretty seriously. They introduced a performance penalty to iterating over maps by making iteration happen in a random order so people wouldn't be able to rely on the ordering
2024-09-22 02:09:39 +0200acidjnk(~acidjnk@p200300d6e72cfb631d346e810a542001.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-09-22 02:11:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-22 02:18:09 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-22 02:22:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 02:22:28 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds)
2024-09-22 02:27:11 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 02:32:51 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-09-22 02:38:11 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 02:43:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-22 02:44:02 +0200 <EvanR> that's...
2024-09-22 02:45:29 +0200 <geekosaur> …no different than randomizing to avoid data-based attacks (think crypto hashes)
2024-09-22 02:45:49 +0200 <EvanR> sounds like something I would have imposed on my coworkers after 1 month of experience
2024-09-22 02:46:36 +0200 <EvanR> treat your programming team as a threat profile? xD
2024-09-22 02:46:51 +0200 <EvanR> malicious? stupid? same thing
2024-09-22 02:53:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 02:54:06 +0200neuroevolutus(~neuroevol@206.217.206.101)
2024-09-22 02:58:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 03:01:25 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-09-22 03:04:57 +0200mhatta_(~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection)
2024-09-22 03:09:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 03:14:04 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp)
2024-09-22 03:14:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-22 03:25:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 03:30:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-22 03:34:04 +0200institor(~henricus@user/institor)
2024-09-22 03:37:11 +0200neuroevolutus(~neuroevol@206.217.206.101) (Ping timeout: 256 seconds)
2024-09-22 03:41:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 03:46:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 03:49:57 +0200 <EvanR> also yet another reason to appreciate Data.Map
2024-09-22 03:55:44 +0200hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2024-09-22 03:56:35 +0200hiecaq(~hiecaq@user/hiecaq)
2024-09-22 03:57:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 04:00:27 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Ping timeout: 246 seconds)
2024-09-22 04:02:10 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 04:03:24 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
2024-09-22 04:05:03 +0200op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2024-09-22 04:05:32 +0200op_4(~tslil@user/op-4/x-9116473)
2024-09-22 04:12:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 04:17:55 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 04:24:55 +0200st_aldini1(~Thunderbi@136.48.22.91)
2024-09-22 04:26:00 +0200st_aldini(~Thunderbi@136.48.22.91) (Ping timeout: 252 seconds)
2024-09-22 04:26:00 +0200st_aldini1st_aldini
2024-09-22 04:28:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 04:32:23 +0200troojg(~troojg@user/troojg)
2024-09-22 04:33:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-22 04:34:36 +0200td_(~td@i5387092D.versanet.de) (Ping timeout: 276 seconds)
2024-09-22 04:36:09 +0200td_(~td@i53870907.versanet.de)
2024-09-22 04:39:42 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com)
2024-09-22 04:41:05 +0200 <haskellbridge> <geekosaur> bridge going down while I upgrade my system
2024-09-22 04:41:34 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-09-22 04:44:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 04:49:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-22 05:00:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 05:03:54 +0200troojg(~troojg@user/troojg) (Ping timeout: 260 seconds)
2024-09-22 05:05:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-22 05:16:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 05:17:07 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net)
2024-09-22 05:17:25 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-09-22 05:17:25 +0200ChanServ+v haskellbridge
2024-09-22 05:21:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 05:22:10 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-22 05:24:55 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2024-09-22 05:31:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 05:36:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-09-22 05:37:08 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2024-09-22 05:37:09 +0200rekahsoft(~rekahsoft@76.69.85.220) (Ping timeout: 260 seconds)
2024-09-22 05:40:24 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-09-22 05:47:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 05:52:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-22 06:01:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 06:02:34 +0200synchromesh(~john@2406:5a00:241a:5600:5db8:4c32:8611:a0fa) (Read error: Connection reset by peer)
2024-09-22 06:03:47 +0200synchromesh(~john@2406:5a00:241a:5600:8896:32c3:5ddd:3078)
2024-09-22 06:06:13 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-22 06:07:57 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-09-22 06:12:49 +0200FragByte_(~christian@user/fragbyte)
2024-09-22 06:15:01 +0200FragByte(~christian@user/fragbyte) (Read error: Connection reset by peer)
2024-09-22 06:15:01 +0200FragByte_FragByte
2024-09-22 06:17:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 06:21:51 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-22 06:32:50 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 06:37:50 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-22 06:44:50 +0200hgolden_(~hgolden@146.70.173.229) (Remote host closed the connection)
2024-09-22 06:46:03 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-09-22 06:48:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 06:49:13 +0200hgolden(~hgolden@static-198-44-129-115.cust.tzulo.com)
2024-09-22 06:53:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-22 07:04:23 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 07:09:43 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-09-22 07:10:25 +0200 <cheater> geekosaur: do you think that the name of the bot could be shortened to something more manageable?
2024-09-22 07:20:10 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 07:25:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-09-22 07:30:12 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com)
2024-09-22 07:34:59 +0200youthlic(~Thunderbi@user/youthlic)
2024-09-22 07:35:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 07:36:04 +0200youthlic(~Thunderbi@user/youthlic) (Client Quit)
2024-09-22 07:40:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-09-22 07:41:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 07:45:51 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-22 07:45:59 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 265 seconds)
2024-09-22 07:49:31 +0200oneeyedalien(~oneeyedal@user/oneeyedalien)
2024-09-22 07:56:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 07:57:35 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-09-22 08:01:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-22 08:02:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 08:03:57 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-09-22 08:06:21 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-22 08:07:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-22 08:08:32 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-22 08:10:46 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-09-22 08:14:06 +0200oneeyedalien(~oneeyedal@user/oneeyedalien) (Quit: Leaving)
2024-09-22 08:18:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 08:23:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-22 08:27:06 +0200rosco(~rosco@175.136.158.234)
2024-09-22 08:29:38 +0200neuroevolutus(~neuroevol@206.217.206.101)
2024-09-22 08:33:06 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-22 08:33:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 08:39:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-22 08:47:18 +0200jle`(~jle`@2603:8001:3b02:84d4:caad:a8df:b144:6c96)
2024-09-22 08:49:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 08:52:18 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-22 08:52:20 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2024-09-22 08:53:39 +0200euleritian(~euleritia@dynamic-176-006-141-150.176.6.pool.telefonica.de)
2024-09-22 08:54:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-22 08:58:43 +0200misterfish(~misterfis@84.53.85.146)
2024-09-22 09:00:03 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-09-22 09:00:06 +0200tt123109783243(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat)
2024-09-22 09:00:42 +0200caconym(~caconym@user/caconym)
2024-09-22 09:01:19 +0200gehmehgeh(~user@user/gehmehgeh)
2024-09-22 09:03:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 09:03:34 +0200tt123109783243(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee)
2024-09-22 09:05:21 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-09-22 09:08:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-22 09:13:02 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
2024-09-22 09:13:40 +0200euleritian(~euleritia@dynamic-176-006-141-150.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-09-22 09:13:57 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-22 09:16:01 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-09-22 09:16:41 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-22 09:18:01 +0200 <tomsmeding> EvanR: there are advantages to a hash map too :)
2024-09-22 09:19:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 09:23:51 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-22 09:26:56 +0200 <cheater> are we having the same conversation about direct syscalls as was being had in the rust community (was it rust?) a short while back?
2024-09-22 09:34:50 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 09:39:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-22 09:44:02 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-22 09:48:26 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-09-22 09:50:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 09:51:27 +0200acidjnk(~acidjnk@p200300d6e72cfb68200a0aaa61168dda.dip0.t-ipconnect.de)
2024-09-22 09:53:06 +0200euphores(~SASL_euph@user/euphores)
2024-09-22 09:55:47 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-22 10:03:15 +0200mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com)
2024-09-22 10:04:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 10:05:41 +0200neuroevolutus(~neuroevol@206.217.206.101) (Quit: Client closed)
2024-09-22 10:07:31 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-22 10:09:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 10:20:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 10:24:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-22 10:27:34 +0200mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Remote host closed the connection)
2024-09-22 10:32:55 +0200lucy(~lucy@user/lucy)
2024-09-22 10:34:26 +0200uli-fem(~uli-fem@124.170.226.65)
2024-09-22 10:34:59 +0200uli-fem(~uli-fem@124.170.226.65) (Changing host)
2024-09-22 10:34:59 +0200uli-fem(~uli-fem@user/uli-fem)
2024-09-22 10:35:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 10:36:48 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-09-22 10:40:22 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
2024-09-22 10:40:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 10:51:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 10:51:57 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-09-22 10:54:58 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2024-09-22 10:56:05 +0200euleritian(~euleritia@dynamic-176-006-141-150.176.6.pool.telefonica.de)
2024-09-22 10:56:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-22 11:04:02 +0200euleritian(~euleritia@dynamic-176-006-141-150.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-09-22 11:04:32 +0200euleritian(~euleritia@dynamic-176-006-141-150.176.6.pool.telefonica.de)
2024-09-22 11:05:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 11:10:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-22 11:12:13 +0200Digitteknohippie(~user@user/digit)
2024-09-22 11:13:03 +0200Digit(~user@user/digit) (Ping timeout: 276 seconds)
2024-09-22 11:15:59 +0200gehmehgehgmg
2024-09-22 11:17:58 +0200rosco(~rosco@175.136.158.234) (Quit: Lost terminal)
2024-09-22 11:21:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 11:25:52 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-09-22 11:26:37 +0200swamp_(~zmt00@user/zmt00)
2024-09-22 11:29:54 +0200zmt01(~zmt00@user/zmt00) (Ping timeout: 248 seconds)
2024-09-22 11:36:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 11:38:08 +0200ZharMeny(~ZharMeny@user/ZharMeny)
2024-09-22 11:38:08 +0200ZharMeny(~ZharMeny@user/ZharMeny) (Remote host closed the connection)
2024-09-22 11:41:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 11:42:55 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds)
2024-09-22 11:42:56 +0200identity(~identity@user/ZharMeny)
2024-09-22 11:45:47 +0200target_i(~target_i@user/target-i/x-6023099)
2024-09-22 11:49:41 +0200DigitteknohippieDigit
2024-09-22 11:52:32 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-09-22 11:52:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 11:57:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-22 12:02:54 +0200mari-estel(~mari-este@dynamic-176-000-152-205.176.0.pool.telefonica.de)
2024-09-22 12:06:01 +0200euleritian(~euleritia@dynamic-176-006-141-150.176.6.pool.telefonica.de) (Ping timeout: 265 seconds)
2024-09-22 12:06:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 12:07:46 +0200lucy(~lucy@user/lucy) (Ping timeout: 248 seconds)
2024-09-22 12:09:10 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-09-22 12:09:51 +0200lucy(~lucy@user/lucy)
2024-09-22 12:11:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-22 12:13:05 +0200mari-estel(~mari-este@dynamic-176-000-152-205.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2024-09-22 12:14:31 +0200mari-estel(~mari-este@2a02:3032:307:a8c2:216:3eff:fe65:4eef)
2024-09-22 12:17:16 +0200gmg(~user@user/gehmehgeh)
2024-09-22 12:22:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 12:26:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-22 12:27:14 +0200lucy(~lucy@user/lucy) (Ping timeout: 260 seconds)
2024-09-22 12:29:11 +0200lucy(~lucy@user/lucy)
2024-09-22 12:32:18 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-09-22 12:34:49 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 260 seconds)
2024-09-22 12:35:40 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-09-22 12:37:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 12:42:50 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 12:53:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 12:58:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-22 13:00:54 +0200euleritian(~euleritia@dynamic-176-006-141-150.176.6.pool.telefonica.de)
2024-09-22 13:02:16 +0200lucy(~lucy@user/lucy) (Ping timeout: 272 seconds)
2024-09-22 13:02:31 +0200mrmr155334346318(~mrmr@user/mrmr) (Quit: Bye, See ya later!)
2024-09-22 13:03:46 +0200lucy(~lucy@user/lucy)
2024-09-22 13:06:14 +0200__monty__(~toonn@user/toonn)
2024-09-22 13:07:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 13:09:31 +0200Iceland_jack(~Iceland_j@user/Iceland-jack:62112) (Ping timeout: 256 seconds)
2024-09-22 13:10:17 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
2024-09-22 13:11:26 +0200mari-estel(~mari-este@2a02:3032:307:a8c2:216:3eff:fe65:4eef) (Quit: on the move)
2024-09-22 13:12:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-09-22 13:12:59 +0200mrmr155334346318(~mrmr@user/mrmr)
2024-09-22 13:14:31 +0200lucy(~lucy@user/lucy) (Ping timeout: 264 seconds)
2024-09-22 13:16:00 +0200lucy(~lucy@user/lucy)
2024-09-22 13:19:10 +0200ash3en1(~Thunderbi@89.56.182.235)
2024-09-22 13:20:34 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds)
2024-09-22 13:20:34 +0200ash3en1ash3en
2024-09-22 13:23:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 13:24:19 +0200Squared(~Square@user/square)
2024-09-22 13:27:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-22 13:28:28 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-22 13:38:51 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 13:42:27 +0200 <gentauro> hey, what are function-types called in Algebraic Data Types? I know we mostly refer ADT's only to product and sum types, but I recall that functions types are also part of the pod (link to website pointing to theory would be gladly appreciated). Thx :)
2024-09-22 13:43:21 +0200 <gentauro> Remark: Back in the days, it was defined on the wiki page for ADT, but it seems that it has been removed :(
2024-09-22 13:43:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-22 13:46:47 +0200 <ncf> functions are not typically included in algebraic data types, but are you looking for "exponential"? https://ncatlab.org/nlab/show/exponential+object
2024-09-22 13:49:12 +0200 <gentauro> ncf: Hmmmm
2024-09-22 13:53:42 +0200ACuriousMoose(~ACuriousM@156.34.161.188) (Quit: The Lounge - https://thelounge.chat)
2024-09-22 13:53:50 +0200 <gentauro> ncf: Thx anyway :)
2024-09-22 13:54:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 13:58:23 +0200ss4(~wootehfoo@user/wootehfoot)
2024-09-22 13:58:49 +0200euleritian(~euleritia@dynamic-176-006-141-150.176.6.pool.telefonica.de) (Ping timeout: 260 seconds)
2024-09-22 13:59:24 +0200euleritian(~euleritia@dynamic-176-006-141-150.176.6.pool.telefonica.de)
2024-09-22 13:59:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-22 14:00:02 +0200tabemann(~tabemann@2600:1700:7990:24e0:4cbd:5e71:282d:675b) (Remote host closed the connection)
2024-09-22 14:00:32 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds)
2024-09-22 14:01:26 +0200tabemann(~tabemann@2600:1700:7990:24e0:5313:606:a958:1af2)
2024-09-22 14:06:41 +0200ACuriousMoose(~ACuriousM@156.34.161.188)
2024-09-22 14:08:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 14:11:33 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds)
2024-09-22 14:13:50 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-22 14:15:34 +0200 <gentauro> ncf: exponential -> `|a->b| = |b|^|a|` I think I got it :)
2024-09-22 14:23:40 +0200euleritian(~euleritia@dynamic-176-006-141-150.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-09-22 14:23:57 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-22 14:24:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 14:28:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 14:29:01 +0200 <tomsmeding> gentauro: in category theory these things are called "products", "coproducts" and "exponentials"
2024-09-22 14:30:05 +0200 <tomsmeding> ADTs don't include functions, but indeed the "number of elements" rule-of-thumb continues to hold :)
2024-09-22 14:30:47 +0200tabemann(~tabemann@2600:1700:7990:24e0:5313:606:a958:1af2) (Remote host closed the connection)
2024-09-22 14:31:22 +0200ash3en(~Thunderbi@89.56.182.235) (Ping timeout: 252 seconds)
2024-09-22 14:31:38 +0200ash3en(~Thunderbi@146.70.124.222)
2024-09-22 14:31:39 +0200tabemann(~tabemann@2600:1700:7990:24e0:5313:606:a958:1af2)
2024-09-22 14:36:29 +0200Batzy(~quassel@user/batzy) (Ping timeout: 252 seconds)
2024-09-22 14:36:57 +0200Batzy(~quassel@user/batzy)
2024-09-22 14:39:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 14:43:01 +0200 <zzz> gentauro: https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types
2024-09-22 14:43:59 +0200 <zzz> clear and simple
2024-09-22 14:44:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-22 14:55:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 15:00:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-22 15:09:07 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-09-22 15:10:42 +0200euleritian(~euleritia@176.2.9.127)
2024-09-22 15:11:35 +0200euleritian(~euleritia@176.2.9.127) (Read error: Connection reset by peer)
2024-09-22 15:11:52 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-22 15:15:16 +0200lucy(~lucy@user/lucy) (Ping timeout: 244 seconds)
2024-09-22 15:17:38 +0200ghodawalaaman(~thelounge@user/thelounge8234) (Read error: Connection reset by peer)
2024-09-22 15:17:52 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-09-22 15:18:32 +0200ghodawalaaman(~thelounge@user/thelounge8234)
2024-09-22 15:18:36 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-22 15:18:45 +0200ash3en(~Thunderbi@146.70.124.222) (Ping timeout: 246 seconds)
2024-09-22 15:22:08 +0200lucy(~lucy@user/lucy)
2024-09-22 15:25:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 15:28:11 +0200lucy(~lucy@user/lucy) (Ping timeout: 244 seconds)
2024-09-22 15:30:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 15:30:16 +0200lucy(~lucy@user/lucy)
2024-09-22 15:33:49 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-09-22 15:34:39 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-09-22 15:35:17 +0200some02(~cat@user/sudden) (Ping timeout: 248 seconds)
2024-09-22 15:35:34 +0200euleritian(~euleritia@dynamic-176-002-009-127.176.2.pool.telefonica.de)
2024-09-22 15:35:39 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net)
2024-09-22 15:36:20 +0200sudden(~cat@user/sudden)
2024-09-22 15:37:21 +0200lucy(~lucy@user/lucy) (Ping timeout: 252 seconds)
2024-09-22 15:39:21 +0200lucy(~lucy@user/lucy)
2024-09-22 15:40:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 15:42:03 +0200misterfish(~misterfis@046044172198.static.ipv4.heldenvannu.net)
2024-09-22 15:45:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-22 15:52:42 +0200lucy(~lucy@user/lucy) (Ping timeout: 246 seconds)
2024-09-22 15:53:59 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 15:54:35 +0200lucy(~lucy@user/lucy)
2024-09-22 15:57:21 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-09-22 15:57:40 +0200ash3en(~Thunderbi@146.70.124.222)
2024-09-22 15:59:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-22 16:09:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 16:11:19 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-09-22 16:14:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-22 16:15:03 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (Ping timeout: 252 seconds)
2024-09-22 16:16:10 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-22 16:16:30 +0200lambdabot(~lambdabot@silicon.int-e.eu)
2024-09-22 16:16:30 +0200lambdabot(~lambdabot@silicon.int-e.eu) (Changing host)
2024-09-22 16:16:30 +0200lambdabot(~lambdabot@haskell/bot/lambdabot)
2024-09-22 16:16:30 +0200ChanServ+v lambdabot
2024-09-22 16:21:27 +0200euleritian(~euleritia@dynamic-176-002-009-127.176.2.pool.telefonica.de) (Read error: Connection reset by peer)
2024-09-22 16:21:45 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-22 16:21:52 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-09-22 16:22:47 +0200ash3en(~Thunderbi@146.70.124.222) (Ping timeout: 255 seconds)
2024-09-22 16:25:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 16:26:07 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-09-22 16:26:52 +0200euleritian(~euleritia@dynamic-176-002-009-127.176.2.pool.telefonica.de)
2024-09-22 16:30:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 16:35:50 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2024-09-22 16:36:47 +0200img(~img@user/img)
2024-09-22 16:41:18 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-22 16:41:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 16:46:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-09-22 16:54:18 +0200lucy(~lucy@user/lucy) (Ping timeout: 276 seconds)
2024-09-22 16:57:07 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 17:02:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-22 17:08:02 +0200ash3en(~Thunderbi@146.70.124.222)
2024-09-22 17:08:36 +0200euleritian(~euleritia@dynamic-176-002-009-127.176.2.pool.telefonica.de) (Read error: Connection reset by peer)
2024-09-22 17:08:53 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-22 17:10:46 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 17:15:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-22 17:21:22 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-09-22 17:21:42 +0200euleritian(~euleritia@dynamic-176-002-009-127.176.2.pool.telefonica.de)
2024-09-22 17:21:58 +0200euleritian(~euleritia@dynamic-176-002-009-127.176.2.pool.telefonica.de) (Read error: Connection reset by peer)
2024-09-22 17:22:16 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-22 17:26:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 17:27:17 +0200youthlic(~Thunderbi@user/youthlic)
2024-09-22 17:32:04 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-22 17:40:56 +0200misterfish(~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 272 seconds)
2024-09-22 17:42:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 17:47:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 17:47:19 +0200troojg(~troojg@user/troojg)
2024-09-22 17:58:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 18:03:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-22 18:04:20 +0200econo_(uid147250@2a03:5180:f::2:3f32)
2024-09-22 18:11:46 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 18:16:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-22 18:17:33 +0200ash3en(~Thunderbi@146.70.124.222) (Quit: ash3en)
2024-09-22 18:23:01 +0200ash3en(~Thunderbi@146.70.124.222)
2024-09-22 18:27:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 18:27:54 +0200misterfish(~misterfis@87.215.131.102)
2024-09-22 18:28:46 +0200ash3en1(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
2024-09-22 18:29:32 +0200ash3en(~Thunderbi@146.70.124.222) (Ping timeout: 244 seconds)
2024-09-22 18:29:32 +0200ash3en1ash3en
2024-09-22 18:30:06 +0200synchromesh(~john@2406:5a00:241a:5600:8896:32c3:5ddd:3078) (Read error: Connection reset by peer)
2024-09-22 18:31:22 +0200synchromesh(~john@2406:5a00:241a:5600:8896:32c3:5ddd:3078)
2024-09-22 18:32:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-22 18:32:50 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-09-22 18:39:31 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-09-22 18:40:36 +0200lucy(~lucy@user/lucy)
2024-09-22 18:43:17 +0200youthlic(~Thunderbi@user/youthlic) (Quit: youthlic)
2024-09-22 18:43:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 18:46:56 +0200lucy(~lucy@user/lucy) (Ping timeout: 252 seconds)
2024-09-22 18:48:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-22 18:51:33 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2024-09-22 18:52:38 +0200euleritian(~euleritia@dynamic-176-002-009-127.176.2.pool.telefonica.de)
2024-09-22 18:54:53 +0200euleritian(~euleritia@dynamic-176-002-009-127.176.2.pool.telefonica.de) (Read error: Connection reset by peer)
2024-09-22 18:55:12 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-22 18:55:21 +0200troojg(~troojg@user/troojg) (Ping timeout: 252 seconds)
2024-09-22 18:57:20 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-09-22 18:58:56 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds)
2024-09-22 18:59:07 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 19:00:50 +0200lxsameer(lxsameer@Serene/lxsameer)
2024-09-22 19:04:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-22 19:06:15 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2024-09-22 19:07:19 +0200lxsameer(lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds)
2024-09-22 19:08:46 +0200lucy(~lucy@user/lucy)
2024-09-22 19:08:51 +0200ss4(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2024-09-22 19:09:09 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-09-22 19:09:24 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-09-22 19:11:07 +0200tabemann(~tabemann@2600:1700:7990:24e0:5313:606:a958:1af2) (Ping timeout: 252 seconds)
2024-09-22 19:12:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 19:13:04 +0200tabemann(~tabemann@2600:1700:7990:24e0:6f50:e541:8e31:d123)
2024-09-22 19:16:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-09-22 19:17:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-22 19:19:37 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-09-22 19:22:57 +0200barthand1barthandelous01
2024-09-22 19:25:01 +0200mceresa(~mceresa@user/mceresa)
2024-09-22 19:28:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 19:29:54 +0200op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2024-09-22 19:30:24 +0200op_4(~tslil@user/op-4/x-9116473)
2024-09-22 19:30:38 +0200ThePenguin72(~ThePengui@cust-95-80-24-166.csbnet.se)
2024-09-22 19:31:20 +0200lucy(~lucy@user/lucy) (Ping timeout: 255 seconds)
2024-09-22 19:32:02 +0200ThePenguin7(~ThePengui@cust-95-80-24-166.csbnet.se) (Ping timeout: 252 seconds)
2024-09-22 19:32:02 +0200ThePenguin72ThePenguin7
2024-09-22 19:33:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-22 19:34:01 +0200sourcetarius(~sourcetar@user/sourcetarius) (Quit: sourcetarius)
2024-09-22 19:44:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 19:46:05 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-09-22 19:46:09 +0200Yumemi(~Yumemi@2001:bc8:47a0:1b14::1) (Quit: .)
2024-09-22 19:47:03 +0200Yumemi(~Yumemi@chamoin.net)
2024-09-22 19:49:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-22 19:55:14 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-22 19:59:34 +0200mceresa(~mceresa@user/mceresa) (Remote host closed the connection)
2024-09-22 20:00:07 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 20:01:22 +0200Versatile(~Versatile@2.219.56.221) (Ping timeout: 248 seconds)
2024-09-22 20:02:21 +0200mceresa(~mceresa@user/mceresa)
2024-09-22 20:03:00 +0200michalz(~michalz@185.246.207.221)
2024-09-22 20:05:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 20:08:21 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2024-09-22 20:11:46 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-09-22 20:12:04 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com)
2024-09-22 20:13:46 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 20:13:49 +0200dontdieych2(~quassel@user/dontdieych2)
2024-09-22 20:18:21 +0200lucy(~lucy@user/lucy)
2024-09-22 20:18:32 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-09-22 20:18:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 20:20:46 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-09-22 20:22:06 +0200dontdieych2(~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-09-22 20:22:24 +0200dontdieych2(~quassel@user/dontdieych2)
2024-09-22 20:23:19 +0200dontdieych2(~quassel@user/dontdieych2) (Client Quit)
2024-09-22 20:29:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 20:30:05 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-09-22 20:30:24 +0200califax(~califax@user/califx)
2024-09-22 20:30:45 +0200lucy(~lucy@user/lucy) (Ping timeout: 248 seconds)
2024-09-22 20:33:28 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2024-09-22 20:34:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-22 20:35:41 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds)
2024-09-22 20:43:41 +0200joeyadams(~joeyadams@syn-184-054-105-097.res.spectrum.com)
2024-09-22 20:43:54 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds)
2024-09-22 20:45:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 20:48:21 +0200Iceland_jack(~Iceland_j@user/Iceland-jack:62112)
2024-09-22 20:50:07 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 20:53:20 +0200foul_owl(~kerry@174-21-143-250.tukw.qwest.net)
2024-09-22 21:00:07 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-09-22 21:00:44 +0200caconym(~caconym@user/caconym)
2024-09-22 21:01:08 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 21:02:35 +0200lucy(~lucy@user/lucy)
2024-09-22 21:06:08 +0200sdrfan123(~sdrfan123@2607:fb90:df8d:eacb:78c5:b91e:cf83:5bcb)
2024-09-22 21:06:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-22 21:08:24 +0200 <_d0t> ohai! What's the simplest way to add pretty-printing of Haskell structures to GHCi?
2024-09-22 21:09:37 +0200 <haskellbridge> <sm> _d0t: IIRC, add this to ~/.ghci, eg:
2024-09-22 21:10:01 +0200 <haskellbridge> <sm> 2. Remember you did that, so you're not confused when it breaks somehow
2024-09-22 21:10:31 +0200 <_d0t> sm: ok lol number 1 didn't get through into IRC. Could you paste it somewhere?
2024-09-22 21:10:34 +0200weary-traveler(~user@user/user363627)
2024-09-22 21:10:51 +0200 <haskellbridge> <sm> You saw it, I just didn't number it
2024-09-22 21:11:41 +0200 <haskellbridge> <sm> With that in ~/.ghci , I think you'll need to make sure pretty-simple is installed, both user-wide and in each project
2024-09-22 21:11:43 +0200 <_d0t> https://ibb.co/hWtwJjz no, I really didn't
2024-09-22 21:12:28 +0200 <sm> Oh you really didn't. I don't see it in IRC either. That's weird.
2024-09-22 21:12:45 +0200aforemny(~aforemny@2001:9e8:6cce:4f00:eba1:7c6c:4b28:5ad7)
2024-09-22 21:12:49 +0200 <sm> Here it comes again:
2024-09-22 21:12:50 +0200 <sm> ```
2024-09-22 21:12:55 +0200 <sm> :set -package pretty-simple
2024-09-22 21:12:55 +0200 <sm> :set -interactive-print=Text.Pretty.Simple.pPrintNoColor
2024-09-22 21:12:55 +0200 <sm> ```
2024-09-22 21:13:17 +0200 <_d0t> I guess, sending markdown doesn't work heh
2024-09-22 21:13:24 +0200 <_d0t> thanks!
2024-09-22 21:13:27 +0200 <sm> @geekosaur is the bridge filtering out code blocks perhaps ?
2024-09-22 21:13:27 +0200 <lambdabot> Unknown command, try @list
2024-09-22 21:13:39 +0200lucy(~lucy@user/lucy) (Ping timeout: 246 seconds)
2024-09-22 21:14:47 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 21:15:16 +0200 <sm> and drop the "NoColor" if you trust that you'll always have an ANSI-color-supporting output environment
2024-09-22 21:15:48 +0200Sgeo(~Sgeo@user/sgeo)
2024-09-22 21:15:51 +0200lucy(~lucy@user/lucy)
2024-09-22 21:16:16 +0200 <_d0t> soo.. what's the best way to make sure stack always loads pretty-simple?
2024-09-22 21:16:23 +0200 <_d0t> I use stack for almost all projects atm
2024-09-22 21:16:55 +0200 <sm> _d0t: first try this: cd; stack install pretty-simple
2024-09-22 21:17:57 +0200 <sm> That'll install it user-wide (for your current default snapshot, at least). Then see if ghci is able to use it within a project (if the project uses that same snapshot, at least)
2024-09-22 21:18:22 +0200 <_d0t> nah, it'll be different snapshots.
2024-09-22 21:18:26 +0200 <_d0t> almost definitely.
2024-09-22 21:18:50 +0200 <_d0t> also `stack ghci` ignores ~/.ghci
2024-09-22 21:19:08 +0200 <sm> really ? even if there's no .ghci in the project dir ?
2024-09-22 21:19:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-22 21:19:50 +0200 <_d0t> yup
2024-09-22 21:19:53 +0200 <sm> good to know
2024-09-22 21:19:54 +0200 <_d0t> at least seems so
2024-09-22 21:20:07 +0200 <_d0t> I guess, the better approach would be to involve pretty-simple binary somehow
2024-09-22 21:20:38 +0200 <sm> I usually have pretty-simple declared as a dependency of my project, so it will be there for ghci also
2024-09-22 21:21:18 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-09-22 21:22:04 +0200 <_d0t> oh wait, somehow stack ghci picked up pretty-simple from what you advised, even across snapshots.
2024-09-22 21:22:06 +0200jle`(~jle`@2603:8001:3b02:84d4:caad:a8df:b144:6c96) (Ping timeout: 244 seconds)
2024-09-22 21:22:10 +0200 <_d0t> Weird... but hey, it works!
2024-09-22 21:22:12 +0200 <_d0t> thank you
2024-09-22 21:22:29 +0200 <haskellbridge> <sm> Great. Just remember 2. :)
2024-09-22 21:23:06 +0200 <haskellbridge> <sm> I expect when you upgrade your default snapshot, in ~/.stack/global-project/stack.yaml, you'd need to install pretty-simple globally again
2024-09-22 21:24:00 +0200 <_d0t> I'll cross that bridge when I get there
2024-09-22 21:24:22 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2024-09-22 21:24:27 +0200 <haskellbridge> <sm> I have found pretty much everything clever I added to any .ghci file bit me later and took time to rediscover. Alas :)
2024-09-22 21:24:48 +0200euleritian(~euleritia@77.22.252.56)
2024-09-22 21:29:27 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-09-22 21:30:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 21:33:52 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-09-22 21:35:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-22 21:38:09 +0200gwern(~gwern@user/gwern)
2024-09-22 21:39:17 +0200jle`(~jle`@2603:8001:3b02:84d4:caad:a8df:b144:6c96)
2024-09-22 21:39:55 +0200 <geekosaur> sm, not that I'm aware of, normally it pastebins them
2024-09-22 21:40:53 +0200 <joeyadams> Is it possible to configure ghci to run in a different monad than vanilla IO?
2024-09-22 21:40:53 +0200 <gwern> so I was looking into ghc/ghci tab completion in bash because I noticed it keeps tab-completing random files like *.o or *.hi which is getting rather inconvenient in working on my website, and I'm confused by the bash tab-completion situation. I would expect basic ghc tab-completion (at least to the file of excluding intermediates and whatnot) to have been shipped and available for literally…
2024-09-22 21:40:59 +0200 <gwern> …decades, but I can't quite seem to figure out the situation. there *is* a tab completion script in https://gitlab.haskell.org/ghc/ghc/-/tree/wip/ci/utils/completion which strongly implies that it ought to already be long ago enabled and part of the standard 'bash-completion' package I of course have installed, but there is zero mention of ghc or haskell in…
2024-09-22 21:41:04 +0200 <gwern> https://github.com/scop/bash-completion and the only relevant ghc patch I see about distribution also seems to not enable it in any way, just copy it along? https://gitlab.haskell.org/ghc/ghc/-/merge_requests/7174/diffs?commit_id=16d87d688e56bbd40a09a2caa…
2024-09-22 21:41:25 +0200 <haskellbridge> <geekosaur> testing a long code-block-like thing
2024-09-22 21:41:25 +0200 <haskellbridge> hm, docker log shows an internal error trying to pastebin
2024-09-22 21:42:15 +0200 <geekosaur> lol that was too short to trigger pastebin logic by 1 line
2024-09-22 21:42:31 +0200 <haskellbridge> <geekosaur> +third line, pastebin me!
2024-09-22 21:42:49 +0200 <haskellbridge> <geekosaur> bah, edit mode bites
2024-09-22 21:42:56 +0200 <haskellbridge> <geekosaur> line 1
2024-09-22 21:43:18 +0200 <geekosaur> lemme try restarting it
2024-09-22 21:44:39 +0200supercode(~supercode@user/supercode)
2024-09-22 21:45:56 +0200 <geekosaur> joeyadams: ghci will actually run in anything that's MonadIO, but see https://downloads.haskell.org/ghc/latest/docs/users_guide/ghci.html#using-a-custom-interactive-pri… as to how to meaningfully use it
2024-09-22 21:46:18 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-09-22 21:46:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 21:46:40 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-09-22 21:46:40 +0200ChanServ+v haskellbridge
2024-09-22 21:46:58 +0200 <haskellbridge> <geekosaur> test 1
2024-09-22 21:47:11 +0200 <haskellbridge> <geekosaur> wurgh
2024-09-22 21:47:50 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-09-22 21:48:12 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-09-22 21:48:12 +0200ChanServ+v haskellbridge
2024-09-22 21:48:15 +0200 <haskellbridge> <geekosaur> noise
2024-09-22 21:48:26 +0200 <geekosaur> nope, getting the same error
2024-09-22 21:48:54 +0200 <haskellbridge> <sm> gwern: I was looking at bash completion recently. I wouldn't be surprised if ghc completions aren't included in bash-completion, but provided by the debian package for ghc, possibly
2024-09-22 21:50:48 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-09-22 21:51:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-22 21:51:09 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-09-22 21:51:09 +0200ChanServ+v haskellbridge
2024-09-22 21:51:42 +0200 <haskellbridge> <geekosaur> this is ridic
2024-09-22 21:53:25 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds)
2024-09-22 21:54:20 +0200 <haskellbridge> <sm> hehe sounds like my daily mantra
2024-09-22 21:54:23 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-09-22 21:54:44 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-09-22 21:54:44 +0200ChanServ+v haskellbridge
2024-09-22 21:55:23 +0200 <haskellbridge> <geekosaur> I mean, I did upgrade my system… but this is all in a docker container with its own separate Python
2024-09-22 21:55:47 +0200 <haskellbridge> <geekosaur> trying again
2024-09-22 21:56:42 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-09-22 21:57:17 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-09-22 21:57:17 +0200ChanServ+v haskellbridge
2024-09-22 21:57:27 +0200 <haskellbridge> <geekosaur> 1
2024-09-22 21:57:27 +0200 <haskellbridge> ... long message truncated: https://kf8nh.com/_matrix/media/v3/download/kf8nh.com/fBHcyJBNMDwUBOJWlXrjFMIS (5 lines)
2024-09-22 21:57:55 +0200 <haskellbridge> <geekosaur> sigh, I thought I turned those off. I hope using an old version didn't defeat that
2024-09-22 21:58:35 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-09-22 21:59:08 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-09-22 21:59:08 +0200ChanServ+v haskellbridge
2024-09-22 21:59:13 +0200 <haskellbridge> <geekosaur> 5
2024-09-22 21:59:27 +0200 <haskellbridge> <geekosaur> pjkmn
2024-09-22 22:00:08 +0200 <haskellbridge> <geekosaur> so the latest version, released a month ago but apparently only pulled recently, broke pastebinning
2024-09-22 22:00:19 +0200 <haskellbridge> <geekosaur> but now I have those damned pills back on the matrix side
2024-09-22 22:00:44 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-09-22 22:01:16 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-09-22 22:01:16 +0200ChanServ+v haskellbridge
2024-09-22 22:02:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 22:07:13 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-22 22:08:34 +0200 <sm> ack.. but it's working at least
2024-09-22 22:09:24 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-09-22 22:10:02 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-09-22 22:10:02 +0200ChanServ+v haskellbridge
2024-09-22 22:10:07 +0200sdrfan123(~sdrfan123@2607:fb90:df8d:eacb:78c5:b91e:cf83:5bcb) (Ping timeout: 256 seconds)
2024-09-22 22:10:33 +0200 <haskellbridge> <geekosaur> one more try
2024-09-22 22:11:02 +0200 <haskellbridge> <geekosaur> …apparently not ☹️
2024-09-22 22:11:36 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-09-22 22:12:03 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-09-22 22:12:04 +0200ChanServ+v haskellbridge
2024-09-22 22:12:54 +0200sdrfan123(~sdrfan123@2607:fb90:df8d:eacb:78c5:b91e:cf83:5bcb)
2024-09-22 22:15:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 22:16:11 +0200 <gwern> sm: well, I'm on ubuntu so if debian was shipping it I'd expect it. also, I'd expect 'ghc' or 'haskell' to be a hit *somewhere* in the bash-completion git repo, but it's not
2024-09-22 22:16:23 +0200gwernshrugs and hacks up his own with claude https://claude.site/artifacts/507d517f-1567-469c-886b-68184c3ae4aa
2024-09-22 22:20:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 22:22:56 +0200 <haskellbridge> <sm> I see a ghc.bash installed by the homebrew formula, eg, but not included in the ubuntu package https://salsa.debian.org/haskell-team/DHG_packages/-/tree/master/p/ghc/debian
2024-09-22 22:24:16 +0200 <haskellbridge> <sm> s/ubuntu/debian & ubuntu/
2024-09-22 22:25:10 +0200 <haskellbridge> <sm> (on mac, I also seem to have ghc completions configured somehow even though I installed with ghcup not brew)
2024-09-22 22:25:38 +0200michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2024-09-22 22:29:02 +0200 <tomsmeding> gwern: have you seen the README here? https://gitlab.haskell.org/ghc/ghc/-/tree/master/utils/completion
2024-09-22 22:29:29 +0200 <gwern> yes. as I said, it very strongly implies it ought to be there but is not
2024-09-22 22:29:40 +0200 <tomsmeding> well, it implies that the package manager should have put it there
2024-09-22 22:29:47 +0200 <tomsmeding> which package manager did you use to install GHC?
2024-09-22 22:30:01 +0200 <gwern> apt on ubuntu, I think. possibly a ppa
2024-09-22 22:31:25 +0200 <tomsmeding> gwern: you can check with `dpkg-query -S $(which ghc)`
2024-09-22 22:31:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 22:31:34 +0200 <tomsmeding> (if it was indeed an apt package)
2024-09-22 22:32:17 +0200 <tomsmeding> then `dpkg -L <the package name>` shows the files in that package, which should allow you to distinguish between "it's there but in a bone-headed location" and "it's not there"
2024-09-22 22:33:10 +0200 <gwern> no hits for bash or complet, so looks like not included indeed
2024-09-22 22:33:16 +0200 <haskellbridge> <sm> As fallback, the README says to source ghc.bash. Another way (that loads it lazily, not during every shell startup) is to save it as ~/.local/share/bash-completion/completions/ghc.
2024-09-22 22:33:41 +0200 <haskellbridge> <sm> seems like a doc/packaging bug indeed
2024-09-22 22:33:57 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-09-22 22:34:37 +0200sdrfan123(~sdrfan123@2607:fb90:df8d:eacb:78c5:b91e:cf83:5bcb) (Quit: Client closed)
2024-09-22 22:36:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 22:36:54 +0200 <tomsmeding> that is to say: contact the packager of that ppa and ask them to include ghc.bash :)
2024-09-22 22:36:56 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net)
2024-09-22 22:37:51 +0200 <haskellbridge> <sm> gwern did that claude script work the way you wanted, and did you have to fiddle much ?
2024-09-22 22:38:56 +0200synchromesh(~john@2406:5a00:241a:5600:8896:32c3:5ddd:3078) (Read error: Connection reset by peer)
2024-09-22 22:39:33 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 245 seconds)
2024-09-22 22:39:57 +0200synchromesh(~john@2406:5a00:241a:5600:8896:32c3:5ddd:3078)
2024-09-22 22:41:17 +0200 <gwern> sm: well, I ran through a bunch of versions to get the cycling right, yeah, and to clean it up and remove shellcheck warnings and document it. haven't run into any further issues inasmuch as I just created it
2024-09-22 22:42:04 +0200 <tomsmeding> I would assume the ghc.bash original the ghc repo is higher-quality than whatever comes out of an AI -- and if not, that's a bug report to the GHC repo :)
2024-09-22 22:42:10 +0200 <haskellbridge> <sm> cool
2024-09-22 22:43:05 +0200 <gwern> tomsmeding: the ghc.bash looks like it's ancient and hasn't been touched in years, and is focused on the cli options. while what I want is to avoid the damn thing completing on *.hi and *.o and stuff like that
2024-09-22 22:43:09 +0200 <haskellbridge> <sm> would claude or chatgpt tell you why ghc completions don't work on your system ? I guess maybe
2024-09-22 22:43:46 +0200 <tomsmeding> I see, I should have actually looked at the file :p
2024-09-22 22:43:46 +0200 <gwern> maybe. but in this case, it was very quickly apparent why it wasn't working: because there was none at all on my system. the question became, why isn't it there
2024-09-22 22:43:58 +0200 <haskellbridge> <sm> yup
2024-09-22 22:44:51 +0200 <haskellbridge> <sm> I never use bash completions, because they don't work in emacs shell and because I'm using osh, but I must say when you have good ones they're pretty handy for discovery and learning
2024-09-22 22:45:52 +0200 <haskellbridge> <sm> and excluding wrong file extensions is another use I hadn't thought of. I would tend to just type "ghc foo" omitting the extension
2024-09-22 22:46:27 +0200 <gwern> then you have to cycle through the wrong ones
2024-09-22 22:47:10 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-22 22:47:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 22:47:32 +0200 <haskellbridge> <sm> yes I see, you have to type all of "foo"
2024-09-22 22:48:22 +0200 <gwern> and the more hs files you have, the worse it gets since it's multiplicative: a .o and .hi for every .hs, or worse, in my case because I have a bunch of php, python, and bash scripts which also get picked up by the tab-completion...
2024-09-22 22:48:39 +0200 <gwern> (gwern.net has gotten kinda complicated in terms of tooling and libraries)
2024-09-22 22:49:12 +0200 <haskellbridge> <sm> I think a lot of haskellers and especially ghc contributors are not often running "ghc" directly
2024-09-22 22:49:37 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-22 22:49:38 +0200 <tomsmeding> and if they are, it's for small examples where dumb tab completion is more than sufficient
2024-09-22 22:49:50 +0200 <haskellbridge> <sm> s/and especially ghc contributors//
2024-09-22 22:49:56 +0200 <haskellbridge> <sm> sounds like a good addition to ghc.bash
2024-09-22 22:51:10 +0200 <tomsmeding> mind that some options to ghc(i) do take non-.hs files, such as ghci -ghci-script
2024-09-22 22:51:48 +0200 <haskellbridge> <sm> completion scripts can be smart about such things
2024-09-22 22:51:52 +0200 <tomsmeding> I always find it incredibly annoying if some completion script decides for me that it will only complete certain kinds of things for me, meaning that I don't even get a list reminding me of the full thing to type -- I actually have to bail out, `ls`, and type if over
2024-09-22 22:52:07 +0200 <tomsmeding> (in the cases where the completion script is overly restrictive)
2024-09-22 22:52:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-22 22:52:49 +0200 <tomsmeding> (fish's cabal completion script doesn't understand '--' meaning that I get negative utility when passing arguments to 'cabal run something -- ...', and I hate it, but not quite enough to go and fix it)
2024-09-22 22:53:00 +0200 <haskellbridge> <sm> oh that's annoying
2024-09-22 22:53:15 +0200 <haskellbridge> <sm> -- is important
2024-09-22 22:53:41 +0200 <gwern> what unsafe arguments do you need ' -- ' for?
2024-09-22 22:53:53 +0200 <tomsmeding> gwern: just to pass arguments to the program I'm `cabal run`ing
2024-09-22 22:54:17 +0200 <tomsmeding> `cabal run` takes an executable name (to build and run) and, after `--`, arguments to said executable
2024-09-22 22:54:23 +0200 <haskellbridge> <sm> when I want to run anything in the context of a project's package environment, I'm doing stack exec -- ... or cabal exec -- ...
2024-09-22 22:54:25 +0200 <gwern> `cabal run foo --abc` doesn't automatically turn that into running `foo --abc`?
2024-09-22 22:54:52 +0200 <tomsmeding> I mean, even if that did work, that wouldn't make fish's completion any more functional :p
2024-09-22 22:55:17 +0200 <gwern> just sounds odd. I would expect cabal run to only take its options if they came before 'foo', or before 'run' even
2024-09-22 22:55:40 +0200 <tomsmeding> it also takes them after the executable name -- not sure why
2024-09-22 22:55:42 +0200 <gwern> a wrapper like that doesn't usually *need* the ' -- ' guard
2024-09-22 22:55:57 +0200 <haskellbridge> <sm> gwern: that's a possible convention, but would be surprising to some people. Robust command line processing is quite hard
2024-09-22 22:56:29 +0200 <gwern> (ie. 'cabal run --option foo' obviously means that '--option' is for 'cabal run' and not for 'foo', and so 'cabal run --option1 foo --option2' is not ambiguous and doesn't need any guarding)
2024-09-22 22:57:01 +0200 <tomsmeding> it's not what cabal does, for better or for worse
2024-09-22 22:57:08 +0200 <tomsmeding> `cabal run foo xyz` does run `foo xyz`
2024-09-22 23:00:18 +0200 <haskellbridge> <sm> I think that kind of position sensitivity in clis is uncommon because it requires custom logic (or more flexibility than exists in the vast majority of parsing libs)
2024-09-22 23:01:24 +0200 <haskellbridge> <sm> it also gets more complicated if you want your tool to run external exes as subcommands, as recent cabal does
2024-09-22 23:03:07 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 23:08:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-22 23:16:47 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 23:21:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-22 23:24:46 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-22 23:32:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 23:37:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-22 23:38:24 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-09-22 23:48:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-22 23:50:41 +0200uli-fem(~uli-fem@user/uli-fem) (Ping timeout: 248 seconds)
2024-09-22 23:53:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)