| 2024-09-28 00:01:19 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 264 seconds) |
| 2024-09-28 00:08:21 +0000 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-28 00:09:26 +0000 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2024-09-28 00:15:18 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
| 2024-09-28 00:17:38 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 00:18:32 +0000 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-09-28 00:19:58 +0000 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-09-28 00:23:05 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-28 00:26:17 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-28 00:30:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 00:35:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 00:37:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 00:40:22 +0000 | <monochrom> | Yes! "join s = zipWith (!!) s [0..]" for the stream monad (representable by ℕ) is generalizable to all representable functors as: join m = liftA2 lookup m (tabulate id). |
| 2024-09-28 00:41:32 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-09-28 00:46:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 00:51:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-28 00:51:31 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-28 01:01:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 01:02:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 01:06:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 01:07:28 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-28 01:12:16 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 01:15:19 +0000 | arahael | (~arahael@user/arahael) (Ping timeout: 260 seconds) |
| 2024-09-28 01:17:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 01:22:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-28 01:24:55 +0000 | <jackdk> | monochrom: if package `bifunctors` can have `Biff` and `Tannen`, as well as `Clown`s to the left and `Joker`s to the right, then you can do whatever you want. |
| 2024-09-28 01:26:19 +0000 | <monochrom> | haha |
| 2024-09-28 01:32:03 +0000 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) |
| 2024-09-28 01:33:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 01:33:22 +0000 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) (Changing host) |
| 2024-09-28 01:33:22 +0000 | vincent42 | (uid574193@user/vincent42) vincent42 |
| 2024-09-28 01:37:58 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-28 01:37:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-28 01:43:13 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-28 01:49:10 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 01:49:55 +0000 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 264 seconds) |
| 2024-09-28 01:50:41 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-28 01:54:15 +0000 | <monochrom> | TIL: If two endofunctors are naturally isomophic, then monadness of one of them can be translated to monadness of the other by going through the isomorphism. |
| 2024-09-28 01:57:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-28 02:01:56 +0000 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-28 02:02:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 02:06:55 +0000 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-09-28 02:08:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 02:08:49 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-28 02:09:00 +0000 | hueso | (~root@user/hueso) hueso |
| 2024-09-28 02:12:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-28 02:13:29 +0000 | td_ | (~td@i5387092C.versanet.de) (Ping timeout: 260 seconds) |
| 2024-09-28 02:15:00 +0000 | td_ | (~td@i53870909.versanet.de) td_ |
| 2024-09-28 02:23:32 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-09-28 02:23:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 02:28:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-28 02:39:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 02:39:41 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 02:39:55 +0000 | <ski> | val tabulate : int * (int -> 'a) -> 'a vector (* in SML. also for lists, &c. *) |
| 2024-09-28 02:44:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 02:44:31 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-09-28 02:55:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 03:00:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-28 03:07:36 +0000 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-09-28 03:09:22 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2024-09-28 03:10:32 +0000 | mud | (~mud@user/kadoban) kadoban |
| 2024-09-28 03:12:07 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-09-28 03:17:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 03:18:50 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 03:20:46 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-28 03:22:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-28 03:23:05 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-28 03:24:33 +0000 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2024-09-28 03:25:10 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-28 03:25:32 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) (Ping timeout: 252 seconds) |
| 2024-09-28 03:29:07 +0000 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) libertyprime |
| 2024-09-28 03:30:02 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-09-28 03:32:56 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-28 03:33:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 03:38:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-28 03:41:56 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-09-28 03:42:19 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2024-09-28 03:43:20 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2024-09-28 03:46:31 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-28 03:48:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 03:54:55 +0000 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Quit: leaving) |
| 2024-09-28 03:58:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 03:58:51 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-09-28 04:00:01 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 04:01:39 +0000 | vincent42 | (uid574193@user/vincent42) (Quit: Connection closed for inactivity) |
| 2024-09-28 04:06:29 +0000 | td_ | (~td@i53870909.versanet.de) (Ping timeout: 265 seconds) |
| 2024-09-28 04:07:59 +0000 | td_ | (~td@83.135.9.0) td_ |
| 2024-09-28 04:09:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 04:11:10 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-09-28 04:14:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-28 04:19:19 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-28 04:22:26 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-28 04:24:27 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-28 04:25:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 04:25:18 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 04:27:43 +0000 | xff0x | (~xff0x@2405:6580:b080:900:9334:d416:507d:a2f5) (Ping timeout: 264 seconds) |
| 2024-09-28 04:29:21 +0000 | xff0x | (~xff0x@2405:6580:b080:900:9334:d416:507d:a2f5) |
| 2024-09-28 04:30:00 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-09-28 04:30:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-28 04:33:04 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-28 04:40:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 04:45:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-28 04:51:33 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2024-09-28 04:54:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 04:57:29 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-28 04:59:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-28 04:59:45 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-28 05:00:29 +0000 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-28 05:00:48 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-09-28 05:01:08 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 05:03:06 +0000 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-09-28 05:07:51 +0000 | synchrom1 | (~john@2406:5a00:241a:5600:18b:90b7:734:b475) (Read error: Connection reset by peer) |
| 2024-09-28 05:09:16 +0000 | synchromesh | (~john@2406:5a00:241a:5600:18b:90b7:734:b475) synchromesh |
| 2024-09-28 05:10:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 05:15:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 05:25:12 +0000 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) |
| 2024-09-28 05:26:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 05:28:21 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-28 05:31:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-28 05:41:05 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 05:41:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 05:46:18 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-28 05:47:21 +0000 | misterfish | (~misterfis@87.215.131.102) misterfish |
| 2024-09-28 05:47:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-28 05:49:54 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-09-28 05:52:19 +0000 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 264 seconds) |
| 2024-09-28 05:55:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 06:00:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 06:00:37 +0000 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) libertyprime |
| 2024-09-28 06:02:05 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 06:04:58 +0000 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 245 seconds) |
| 2024-09-28 06:06:41 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-28 06:11:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 06:16:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-28 06:19:32 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 06:24:48 +0000 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2024-09-28 06:27:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 06:30:45 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-28 06:31:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-28 06:32:02 +0000 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Quit: WeeChat 4.4.2) |
| 2024-09-28 06:32:48 +0000 | m1dnight | (~christoph@d8D861908.access.telenet.be) m1dnight |
| 2024-09-28 06:33:55 +0000 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Client Quit) |
| 2024-09-28 06:36:07 +0000 | m1dnight | (~christoph@d8D861908.access.telenet.be) m1dnight |
| 2024-09-28 06:42:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 06:45:25 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 06:47:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-28 06:48:03 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-28 06:48:18 +0000 | neuroevolutus | (~neuroevol@146.70.211.110) neuroevolutus |
| 2024-09-28 06:50:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-28 06:52:40 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-28 06:54:09 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2024-09-28 06:55:52 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-28 06:56:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 07:00:03 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-28 07:00:13 +0000 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Quit: Goodbye) |
| 2024-09-28 07:00:30 +0000 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
| 2024-09-28 07:00:41 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-09-28 07:01:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-28 07:01:38 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2024-09-28 07:03:40 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-28 07:04:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-28 07:08:32 +0000 | billchenchina- | (~billchenc@103.152.35.21) billchenchina |
| 2024-09-28 07:12:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 07:14:29 +0000 | simendsjo | (~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) simendsjo |
| 2024-09-28 07:14:29 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2024-09-28 07:16:12 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-28 07:17:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 07:19:08 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb1220772d8af485911b.dip0.t-ipconnect.de) acidjnk |
| 2024-09-28 07:23:24 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-28 07:23:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 07:24:26 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-28 07:26:56 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-28 07:28:02 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-28 07:28:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 07:33:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-28 07:36:14 +0000 | foul_owl | (~kerry@185.219.141.164) (Ping timeout: 260 seconds) |
| 2024-09-28 07:42:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 07:43:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 07:47:08 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-09-28 07:49:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-28 07:50:41 +0000 | foul_owl | (~kerry@174-21-143-250.tukw.qwest.net) foul_owl |
| 2024-09-28 07:57:08 +0000 | foul_owl | (~kerry@174-21-143-250.tukw.qwest.net) (Ping timeout: 255 seconds) |
| 2024-09-28 08:00:56 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 08:06:08 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-28 08:07:56 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
| 2024-09-28 08:08:31 +0000 | foul_owl | (~kerry@185.219.141.160) foul_owl |
| 2024-09-28 08:13:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 08:16:08 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-28 08:18:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-28 08:25:14 +0000 | leif | (~leif@210.54.33.112) |
| 2024-09-28 08:26:24 +0000 | leif | (~leif@210.54.33.112) () |
| 2024-09-28 08:26:56 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2024-09-28 08:27:06 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-09-28 08:27:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 08:32:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 08:32:36 +0000 | neuroevolutus | (~neuroevol@146.70.211.110) (Quit: Client closed) |
| 2024-09-28 08:34:39 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-28 08:35:57 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-28 08:36:36 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 08:43:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 08:44:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-28 08:44:32 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-28 08:44:52 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2024-09-28 08:46:43 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-09-28 08:47:18 +0000 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2024-09-28 08:48:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-28 08:50:39 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-28 08:52:43 +0000 | tomsmeding_ | tomsmeding |
| 2024-09-28 08:56:53 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 08:58:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 08:59:19 +0000 | <ncf> | monochrom: is that surprising? if two sets are isomorphic then a monoid on one is a monoid on the other |
| 2024-09-28 08:59:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-09-28 09:00:25 +0000 | <ncf> | in HoTT naturally isomorphic functors are equal so you can just transport the structure |
| 2024-09-28 09:01:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-28 09:03:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-28 09:09:58 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-09-28 09:14:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 09:15:00 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 09:19:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-28 09:20:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-28 09:20:30 +0000 | Digitteknohippie | Digit |
| 2024-09-28 09:34:15 +0000 | elnegro | (elnegro@r186-54-105-221.dialup.adsl.anteldata.net.uy) elnegro |
| 2024-09-28 09:35:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 09:36:08 +0000 | elnegro | (elnegro@r186-54-105-221.dialup.adsl.anteldata.net.uy) () |
| 2024-09-28 09:39:33 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-28 09:41:11 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-09-28 09:45:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 09:49:47 +0000 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-28 09:50:19 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-09-28 09:50:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-28 09:54:54 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-09-28 09:55:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 09:59:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 10:00:07 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-09-28 10:02:53 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 10:07:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-28 10:07:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-28 10:08:49 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-28 10:09:29 +0000 | <haskellbridge> | <aaron> monochrom: "join = (distribute id <*>)" |
| 2024-09-28 10:18:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 10:20:28 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 10:23:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-28 10:25:57 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-28 10:34:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 10:37:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-28 10:39:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-28 10:41:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 10:45:59 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-28 10:48:52 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-09-28 10:49:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 10:49:56 +0000 | <dminuoso> | Sigh. At work I'm rewriting some Haskell parts to Python for some operational reasons. By far the biggest price is not having pattern match exhaustiveness checks anymore. |
| 2024-09-28 10:50:52 +0000 | <tomsmeding> | dminuoso: write explicit eliminator functions |
| 2024-09-28 10:50:56 +0000 | <tomsmeding> | a la `maybe` |
| 2024-09-28 10:51:23 +0000 | <tomsmeding> | then the python type checker (if you use one, otherwise a runtime error) will at least alert you that you have the wrong number of matches :p |
| 2024-09-28 10:51:30 +0000 | <tomsmeding> | downside: unreadable cases |
| 2024-09-28 10:51:44 +0000 | <dminuoso> | tomsmeding: Well this is rather about union types, but regardless. Doing this at runtime just trades programmer time for production outages.. |
| 2024-09-28 10:52:01 +0000 | <dminuoso> | Hold on, maybe I misunderstand your suggestion |
| 2024-09-28 10:52:01 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2024-09-28 10:52:22 +0000 | <tomsmeding> | I mean instead of writing `case m of Nothing -> _ ; Just x -> _`, write `maybe m _ _` |
| 2024-09-28 10:52:50 +0000 | <tomsmeding> | advantage: exhaustiveness checking is now performed by "supplying the right number of arguments to the function" |
| 2024-09-28 10:52:51 +0000 | <dminuoso> | Oh, I see. |
| 2024-09-28 10:52:54 +0000 | <tomsmeding> | disadvantage: unreadable |
| 2024-09-28 10:53:09 +0000 | <tomsmeding> | disadvantage 2: if you remove _and_ add a case, or change the order, woe you |
| 2024-09-28 10:53:10 +0000 | <dminuoso> | I mean for `maybe` it kind of works, but for custom unions it would be.. horrid. |
| 2024-09-28 10:53:29 +0000 | <dminuoso> | Well, changing the order could be caught by a type checker |
| 2024-09-28 10:53:36 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-09-28 10:53:46 +0000 | <tomsmeding> | if you're fortunate and the union cases have differently-typed fields |
| 2024-09-28 10:53:46 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-28 10:53:51 +0000 | <tomsmeding> | but yeah, not sure how serious this suggestion is :p |
| 2024-09-28 10:54:04 +0000 | <dminuoso> | To be fair Haskell has the same problem with functions too. |
| 2024-09-28 10:54:10 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-28 10:54:14 +0000 | <dminuoso> | Mixing up two T arguments will be silently accepted. |
| 2024-09-28 10:54:18 +0000 | <dminuoso> | If only GHC had a crystal ball |
| 2024-09-28 10:54:21 +0000 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Remote host closed the connection) |
| 2024-09-28 10:54:23 +0000 | <tomsmeding> | indeed |
| 2024-09-28 10:55:05 +0000 | <dminuoso> | That said, Haskell stays in place for our core networking fabric SDN Compiler. |
| 2024-09-28 10:55:47 +0000 | <dminuoso> | Nearly 4 years and not a single production outage (caused by a compiler bug). :) |
| 2024-09-28 10:56:16 +0000 | <tomsmeding> | s/not/just/? |
| 2024-09-28 10:56:21 +0000 | <tomsmeding> | oh |
| 2024-09-28 10:56:24 +0000 | <Rembane> | What happens if you use keyword arguments and write a check in the function to see that all members of the dictionary are supplied? |
| 2024-09-28 10:56:26 +0000 | <tomsmeding> | compiler meaning your thing, not GHC |
| 2024-09-28 10:56:31 +0000 | <dminuoso> | Yes. |
| 2024-09-28 10:57:03 +0000 | <dminuoso> | Rembane: The type checker should take care of that. |
| 2024-09-28 10:57:05 +0000 | <dminuoso> | I hope? |
| 2024-09-28 10:57:22 +0000 | <Rembane> | dminuoso: I don't know, I don't write typed Python. :) |
| 2024-09-28 10:57:36 +0000 | <tomsmeding> | oh that would improve on the readability of my dumb suggestion |
| 2024-09-28 10:57:43 +0000 | <dminuoso> | I do write types, but I have no faith in python type checkers, they just serve documentation purposes for me. |
| 2024-09-28 10:57:47 +0000 | <Rembane> | And you can order things in any order |
| 2024-09-28 10:57:51 +0000 | <Rembane> | things = arguments |
| 2024-09-28 10:58:32 +0000 | <tomsmeding> | still the syntactic nuisance that the right-hand sides must be expressions, instead of a block |
| 2024-09-28 10:58:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-28 11:00:04 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-28 11:00:08 +0000 | <Rembane> | tomsmeding: That sounds like Python. :D |
| 2024-09-28 11:00:33 +0000 | <tomsmeding> | no `do` to turn a block into an expression :p |
| 2024-09-28 11:00:36 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2024-09-28 11:00:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 11:02:20 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-09-28 11:02:24 +0000 | <Rembane> | Exactly! |
| 2024-09-28 11:02:35 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-28 11:07:22 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 11:09:12 +0000 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) gioyik |
| 2024-09-28 11:10:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 11:11:56 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2024-09-28 11:12:53 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-28 11:15:36 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-09-28 11:21:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 11:21:39 +0000 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-28 11:24:23 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-09-28 11:26:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-28 11:27:52 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 11:34:59 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-09-28 11:37:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 11:41:13 +0000 | identity | (~identity@user/ZharMeny) identity |
| 2024-09-28 11:41:51 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-28 11:42:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 11:42:07 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-09-28 11:44:32 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-28 11:48:28 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-28 11:50:59 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-28 11:51:06 +0000 | arahael | (~arahael@user/arahael) arahael |
| 2024-09-28 11:52:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 11:54:13 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-28 11:56:50 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 11:57:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-28 12:01:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-28 12:01:40 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-28 12:02:57 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-09-28 12:03:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 12:03:45 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-09-28 12:13:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-28 12:16:11 +0000 | zlqrvx_ | (~zlqrvx@101.175.150.247) |
| 2024-09-28 12:17:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 12:19:24 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) (Ping timeout: 276 seconds) |
| 2024-09-28 12:22:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-28 12:24:16 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 12:27:05 +0000 | simendsjo | (~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) (Ping timeout: 252 seconds) |
| 2024-09-28 12:29:08 +0000 | kosmikus | (~kosmikus@nullzig.kosmikus.org) (Remote host closed the connection) |
| 2024-09-28 12:29:40 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-09-28 12:30:52 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-09-28 12:33:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 12:38:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-28 12:43:38 +0000 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) |
| 2024-09-28 12:44:50 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 12:52:02 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-28 12:53:51 +0000 | Cale | (~cale@2607:fea8:995f:f126:15c3:35a5:81ac:187c) Cale |
| 2024-09-28 12:59:30 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-28 13:02:00 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-28 13:02:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 13:05:18 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 13:06:31 +0000 | supercode | (~supercode@user/supercode) supercode |
| 2024-09-28 13:06:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-28 13:07:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-28 13:12:04 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-28 13:14:18 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-28 13:16:52 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 13:23:04 +0000 | <[exa]> | kinda weirdly unsettling that when searching for a good name for `flip const` by types, you only get `seq` and `par`. |
| 2024-09-28 13:32:03 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-28 13:32:03 +0000 | billchenchina- | (~billchenc@103.152.35.21) (Ping timeout: 245 seconds) |
| 2024-09-28 13:33:11 +0000 | billchenchina- | (~billchenc@103.118.42.229) billchenchina |
| 2024-09-28 13:34:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 13:35:45 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-09-28 13:35:46 +0000 | ljdarj1 | ljdarj |
| 2024-09-28 13:37:08 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-28 13:38:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 13:40:39 +0000 | ridcully | (~ridcully@pd951fe51.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-09-28 13:41:29 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-09-28 13:44:50 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-28 13:48:52 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-09-28 13:49:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 13:50:42 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 13:51:38 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2024-09-28 13:52:36 +0000 | <tomsmeding> | [exa]: perhaps people consider it to be below the fairbairn threshold? |
| 2024-09-28 13:54:10 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-28 13:54:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 13:55:49 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-28 13:58:00 +0000 | <tomsmeding> | (\_ x -> x) is quite short, and (\_ -> id) even shorter |
| 2024-09-28 13:58:25 +0000 | <__monty__> | I prefer `const id` |
| 2024-09-28 13:58:49 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-09-28 13:59:03 +0000 | <__monty__> | It hides the "flip" so people don't flip out ; ) |
| 2024-09-28 13:59:20 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-09-28 13:59:28 +0000 | <tomsmeding> | on the other hand, if the function one is looking for is "return the second argument", then that's clearly `flip` of "return the first argument" |
| 2024-09-28 14:00:14 +0000 | billchenchina- | (~billchenc@103.118.42.229) (Ping timeout: 252 seconds) |
| 2024-09-28 14:01:00 +0000 | <__monty__> | It's hard to fly under the radar when all you want is to be pointless. |
| 2024-09-28 14:01:31 +0000 | Inst | (~Inst@user/Inst) Inst |
| 2024-09-28 14:03:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 14:04:33 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2024-09-28 14:04:51 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-28 14:08:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-28 14:08:36 +0000 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina |
| 2024-09-28 14:18:40 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-28 14:19:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 14:20:36 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 14:22:31 +0000 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-09-28 14:23:03 +0000 | <[exa]> | __monty__: +1 insightful |
| 2024-09-28 14:23:32 +0000 | <[exa]> | anyway I made k'nst just to make my opinion completely obvious |
| 2024-09-28 14:23:34 +0000 | [exa] | hides |
| 2024-09-28 14:24:27 +0000 | hueso | (~root@user/hueso) hueso |
| 2024-09-28 14:24:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-28 14:24:47 +0000 | <tomsmeding> | "when in doubt between two suboptimal solutions, choose the third solution that is even worse than both; then at least everyone will be equally annoyed"? :p |
| 2024-09-28 14:26:50 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-28 14:26:51 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-28 14:32:30 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-09-28 14:34:45 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-28 14:34:47 +0000 | nshepperd25 | (~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd |
| 2024-09-28 14:34:53 +0000 | polyphem | (~rod@pd9fbf126.dip0.t-ipconnect.de) polyphem |
| 2024-09-28 14:35:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 14:35:25 +0000 | Luj95 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) Luj |
| 2024-09-28 14:35:41 +0000 | bsima1_ | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2024-09-28 14:35:41 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) lane |
| 2024-09-28 14:35:44 +0000 | probie_ | (cc0b34050a@user/probie) probie |
| 2024-09-28 14:35:44 +0000 | sus_ | (1b7af6299f@user/zeromomentum) zeromomentum |
| 2024-09-28 14:35:44 +0000 | chaitlatte0_ | (ea29c0bb16@2a03:6000:1812:100::1124) |
| 2024-09-28 14:35:45 +0000 | jmcantrell_ | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2024-09-28 14:35:45 +0000 | op_4_ | (~tslil@2a01:4f8:c0c:7952::1) |
| 2024-09-28 14:35:46 +0000 | jonrh_ | (sid5185@id-5185.ilkley.irccloud.com) jonrh |
| 2024-09-28 14:35:46 +0000 | meooow_ | (~meooow@165.232.184.169) meooow |
| 2024-09-28 14:35:48 +0000 | _d0t_ | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2024-09-28 14:35:58 +0000 | JSharp_ | (sid4580@user/JSharp) JSharp |
| 2024-09-28 14:36:04 +0000 | dmj`_ | (sid72307@id-72307.hampstead.irccloud.com) dmj` |
| 2024-09-28 14:36:04 +0000 | taktoa[c]_ | (sid282096@id-282096.tinside.irccloud.com) taktoa[c] |
| 2024-09-28 14:36:08 +0000 | edm_ | (sid147314@id-147314.hampstead.irccloud.com) |
| 2024-09-28 14:36:08 +0000 | tapas_ | (sid467876@id-467876.ilkley.irccloud.com) tapas |
| 2024-09-28 14:36:12 +0000 | _0xa_ | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) |
| 2024-09-28 14:36:13 +0000 | PotatoGim__ | (sid99505@id-99505.lymington.irccloud.com) |
| 2024-09-28 14:36:13 +0000 | alanz_ | (sid110616@id-110616.uxbridge.irccloud.com) alanz |
| 2024-09-28 14:36:14 +0000 | SanchayanMaity_ | (sid478177@id-478177.hampstead.irccloud.com) SanchayanMaity |
| 2024-09-28 14:36:15 +0000 | meinside_ | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2024-09-28 14:36:18 +0000 | wryishly | (~wryish@216.246.119.62) |
| 2024-09-28 14:36:19 +0000 | Roy_Mustang | (A_D@libera/staff/dragon) ad |
| 2024-09-28 14:36:22 +0000 | Philonous_ | (~Philonous@user/philonous) Philonous |
| 2024-09-28 14:36:50 +0000 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2024-09-28 14:37:06 +0000 | loonycyborg_ | (loonycybor@chat.chantal.wesnoth.org) |
| 2024-09-28 14:37:20 +0000 | remsen | (ianremsen@tilde.team) remsense |
| 2024-09-28 14:37:33 +0000 | turlando_ | (~turlando@user/turlando) turlando |
| 2024-09-28 14:37:38 +0000 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2024-09-28 14:37:47 +0000 | flocks_ | (~flocks@134.122.90.60) flocks |
| 2024-09-28 14:37:51 +0000 | ladyfriday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday |
| 2024-09-28 14:38:25 +0000 | nefercheprure | (tma@twin.jikos.cz) TMA |
| 2024-09-28 14:38:59 +0000 | mal1 | (~mal@ns2.wyrd.be) lieven |
| 2024-09-28 14:39:00 +0000 | sweater1 | (~sweater@206.81.18.26) sweater |
| 2024-09-28 14:39:03 +0000 | sviermsung | (4yqrolRHj5@user/s4msung) s4msung |
| 2024-09-28 14:39:04 +0000 | hacklsch1 | (~flo@2a01:4f9:3a:2296::2) |
| 2024-09-28 14:39:12 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-09-28 14:40:15 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-28 14:40:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-28 14:41:16 +0000 | remmie | (ianremsen@tilde.team) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:16 +0000 | PotatoGim_ | (sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:16 +0000 | chaitlatte0 | (ea29c0bb16@2a03:6000:1812:100::1124) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:17 +0000 | sus | (1b7af6299f@user/zeromomentum) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:17 +0000 | jmcantrell | (644f1bed9a@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:17 +0000 | probie | (cc0b34050a@user/probie) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:17 +0000 | lane_ | (809450f172@2a03:6000:1812:100::1300) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:17 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:17 +0000 | meooow | (~meooow@2400:6180:100:d0::ad9:e001) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:17 +0000 | edm | (sid147314@2a03:5180:f:4::2:3f72) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:17 +0000 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:17 +0000 | flocks | (~flocks@134.122.90.60) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:17 +0000 | SanchayanMaity | (sid478177@2a03:5180:f:4::7:4be1) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:17 +0000 | taktoa[c] | (sid282096@2a03:5180:f::4:4df0) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:17 +0000 | JSharp | (sid4580@user/JSharp) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:18 +0000 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:18 +0000 | TMA | (tma@twin.jikos.cz) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:18 +0000 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:18 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:18 +0000 | V_ | (~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:18 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:18 +0000 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:18 +0000 | turlando | (~turlando@user/turlando) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:19 +0000 | lieven | (~mal@ns2.wyrd.be) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:19 +0000 | lyxia | (~lyxia@poisson.chat) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:19 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:19 +0000 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:19 +0000 | sweater | (~sweater@206.81.18.26) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:19 +0000 | wryish | (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:19 +0000 | hacklschorsch | (~flo@vantaa.latfa.net) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:19 +0000 | s4msung | (u4jHfpaUni@user/s4msung) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:19 +0000 | _0xa | (~user@user/0xa/x-3134607) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:19 +0000 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:19 +0000 | tapas | (sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:19 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:19 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:20 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:20 +0000 | nisstyre | (wes@user/nisstyre) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:20 +0000 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:20 +0000 | remsen | remmie |
| 2024-09-28 14:41:20 +0000 | sus_ | sus |
| 2024-09-28 14:41:20 +0000 | probie_ | probie |
| 2024-09-28 14:41:20 +0000 | lyxia_ | (~lyxia@poisson.chat) |
| 2024-09-28 14:41:20 +0000 | taktoa[c]_ | taktoa[c] |
| 2024-09-28 14:41:20 +0000 | Luj95 | Luj9 |
| 2024-09-28 14:41:20 +0000 | bsima1_ | bsima1 |
| 2024-09-28 14:41:20 +0000 | edm_ | edm |
| 2024-09-28 14:41:20 +0000 | nshepperd25 | nshepperd2 |
| 2024-09-28 14:41:21 +0000 | SanchayanMaity_ | SanchayanMaity |
| 2024-09-28 14:41:21 +0000 | op_4_ | op_4 |
| 2024-09-28 14:41:21 +0000 | alanz_ | alanz |
| 2024-09-28 14:41:21 +0000 | dmj`_ | dmj` |
| 2024-09-28 14:41:21 +0000 | Philonous | (~Philonous@user/philonous) (Ping timeout: 265 seconds) |
| 2024-09-28 14:41:21 +0000 | jmcantrell_ | jmcantrell |
| 2024-09-28 14:41:21 +0000 | <ski> | whee |
| 2024-09-28 14:41:21 +0000 | chaitlatte0_ | chaitlatte0 |
| 2024-09-28 14:41:21 +0000 | jonrh_ | jonrh |
| 2024-09-28 14:41:22 +0000 | tapas_ | tapas |
| 2024-09-28 14:41:22 +0000 | _d0t_ | _d0t |
| 2024-09-28 14:41:22 +0000 | JSharp_ | JSharp |
| 2024-09-28 14:41:22 +0000 | meinside_ | meinside |
| 2024-09-28 14:42:46 +0000 | PotatoGim__ | (sid99505@id-99505.lymington.irccloud.com) () |
| 2024-09-28 14:43:18 +0000 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) |
| 2024-09-28 14:43:32 +0000 | A_Dragon | (A_D@libera/staff/dragon) (Ping timeout: 619 seconds) |
| 2024-09-28 14:44:01 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2024-09-28 14:44:33 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2024-09-28 14:46:26 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-09-28 14:46:41 +0000 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2024-09-28 14:50:23 +0000 | Flow | (~none@gentoo/developer/flow) flow |
| 2024-09-28 14:51:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 14:51:11 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) wz1000 |
| 2024-09-28 14:51:16 +0000 | ridcully | (~ridcully@p57b52b67.dip0.t-ipconnect.de) ridcully |
| 2024-09-28 14:51:28 +0000 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2024-09-28 14:51:31 +0000 | nisstyre | (wes@user/nisstyre) nisstyre |
| 2024-09-28 14:52:47 +0000 | Digitteknohippie | Digit |
| 2024-09-28 14:52:51 +0000 | gawen | (~gawen@user/gawen) gawen |
| 2024-09-28 14:53:17 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-28 14:55:56 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 14:56:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-28 14:57:39 +0000 | nefercheprure | TMA |
| 2024-09-28 15:02:23 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 266 seconds) |
| 2024-09-28 15:04:03 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-28 15:04:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 15:07:12 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2024-09-28 15:07:12 +0000 | ChanServ | +v haskellbridge |
| 2024-09-28 15:08:38 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
| 2024-09-28 15:09:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-28 15:09:40 +0000 | AlexZenon | (~alzenon@178.34.162.53) (Ping timeout: 244 seconds) |
| 2024-09-28 15:11:44 +0000 | AlexNoo | (~AlexNoo@178.34.162.53) (Ping timeout: 252 seconds) |
| 2024-09-28 15:13:22 +0000 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-28 15:20:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 15:20:40 +0000 | jinsun_ | (~jinsun@user/jinsun) jinsun |
| 2024-09-28 15:20:40 +0000 | jinsun | (~jinsun@user/jinsun) (Killed (tungsten.libera.chat (Nickname regained by services))) |
| 2024-09-28 15:20:40 +0000 | jinsun_ | jinsun |
| 2024-09-28 15:22:10 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 15:23:41 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-28 15:24:29 +0000 | AlexNoo | (~AlexNoo@178.34.162.53) |
| 2024-09-28 15:25:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-28 15:25:45 +0000 | AlexZenon | (~alzenon@178.34.162.53) |
| 2024-09-28 15:31:51 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-09-28 15:36:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 15:36:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-28 15:37:53 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2024-09-28 15:40:39 +0000 | Square | (~Square@user/square) Square |
| 2024-09-28 15:40:49 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 15:41:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-28 15:45:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-28 15:52:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 15:57:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-28 15:57:20 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-28 16:03:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 16:06:05 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 16:07:35 +0000 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-28 16:10:04 +0000 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-09-28 16:11:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-28 16:14:25 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-28 16:19:11 +0000 | Inst | (~Inst@user/Inst) (Ping timeout: 252 seconds) |
| 2024-09-28 16:21:10 +0000 | gioyik_ | (~gioyik@gateway/tor-sasl/gioyik) gioyik |
| 2024-09-28 16:21:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 16:24:31 +0000 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
| 2024-09-28 16:24:39 +0000 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2024-09-28 16:26:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 16:28:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 16:33:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-28 16:37:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 16:44:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-28 16:45:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 16:47:03 +0000 | polyphem | (~rod@pd9fbf126.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-09-28 16:47:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 16:49:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-28 16:51:48 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-09-28 16:56:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-28 17:00:06 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-09-28 17:01:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 17:05:47 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 17:05:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-28 17:09:55 +0000 | simendsjo | (~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) simendsjo |
| 2024-09-28 17:10:09 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-28 17:11:13 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-09-28 17:11:54 +0000 | michalz | (~michalz@185.246.207.203) |
| 2024-09-28 17:13:55 +0000 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2024-09-28 17:14:10 +0000 | benjaminl | (~benjaminl@user/benjaminl) benjaminl |
| 2024-09-28 17:15:59 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-09-28 17:16:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 17:17:59 +0000 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) mreh |
| 2024-09-28 17:20:02 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 17:21:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 17:25:19 +0000 | zetef | (~quassel@5.14.133.219) zetef |
| 2024-09-28 17:25:46 +0000 | zetef | (~quassel@5.14.133.219) (Client Quit) |
| 2024-09-28 17:27:52 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-28 17:32:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 17:34:40 +0000 | mal1 | lieven |
| 2024-09-28 17:34:40 +0000 | synchromesh | (~john@2406:5a00:241a:5600:18b:90b7:734:b475) (Read error: Connection reset by peer) |
| 2024-09-28 17:35:59 +0000 | synchromesh | (~john@2406:5a00:241a:5600:988d:bee0:a971:b921) synchromesh |
| 2024-09-28 17:36:29 +0000 | AlexZenon | (~alzenon@178.34.162.53) (Ping timeout: 260 seconds) |
| 2024-09-28 17:37:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-28 17:37:39 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2024-09-28 17:40:56 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-09-28 17:42:21 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-28 17:43:05 +0000 | Square | (~Square@user/square) (Read error: Connection reset by peer) |
| 2024-09-28 17:43:17 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 17:43:18 +0000 | AlexZenon | (~alzenon@178.34.162.53) |
| 2024-09-28 17:43:29 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-09-28 17:44:13 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-28 17:47:56 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-28 17:48:15 +0000 | simendsjo | (~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) (Remote host closed the connection) |
| 2024-09-28 17:48:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 17:50:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-28 17:53:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-28 17:59:17 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 248 seconds) |
| 2024-09-28 18:04:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 18:06:11 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-28 18:07:25 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 18:07:28 +0000 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Quit: Lost terminal) |
| 2024-09-28 18:08:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-28 18:11:51 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-28 18:15:42 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-09-28 18:18:54 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2024-09-28 18:18:57 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-09-28 18:19:50 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-28 18:20:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 18:20:47 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2024-09-28 18:22:34 +0000 | Roy_Mustang | A_Dragon |
| 2024-09-28 18:24:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 18:27:30 +0000 | Square3 | (~Square4@user/square) Square |
| 2024-09-28 18:27:40 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-28 18:33:28 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 18:35:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 18:37:23 +0000 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2024-09-28 18:40:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-28 18:42:07 +0000 | foul_owl | (~kerry@185.219.141.160) (Ping timeout: 264 seconds) |
| 2024-09-28 18:46:48 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-28 18:49:00 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-09-28 18:49:15 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 246 seconds) |
| 2024-09-28 18:49:38 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-28 18:51:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 18:54:57 +0000 | rvalue- | rvalue |
| 2024-09-28 18:56:12 +0000 | foul_owl | (~kerry@174-21-129-157.tukw.qwest.net) foul_owl |
| 2024-09-28 18:56:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 18:59:07 +0000 | Square3 | (~Square4@user/square) (Remote host closed the connection) |
| 2024-09-28 19:00:03 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-28 19:00:38 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-09-28 19:02:21 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 19:06:57 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-28 19:07:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 19:08:31 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 19:11:21 +0000 | ash3en1 | (~Thunderbi@146.70.124.222) ash3en |
| 2024-09-28 19:12:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-28 19:13:14 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
| 2024-09-28 19:13:15 +0000 | ash3en1 | ash3en |
| 2024-09-28 19:13:56 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-28 19:16:49 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-28 19:21:55 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-09-28 19:23:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 19:27:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-28 19:30:08 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 19:38:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 19:44:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-28 19:45:57 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-28 19:49:16 +0000 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2024-09-28 19:54:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 19:59:24 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-09-28 20:00:01 +0000 | hiecaq` | (~hiecaq@user/hiecaq) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-28 20:00:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-28 20:06:13 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 248 seconds) |
| 2024-09-28 20:07:00 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-28 20:10:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 20:11:15 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 20:15:09 +0000 | AlexZenon | (~alzenon@178.34.162.53) (Ping timeout: 260 seconds) |
| 2024-09-28 20:15:20 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2024-09-28 20:15:38 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-28 20:15:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-28 20:18:00 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-28 20:19:55 +0000 | AlexZenon | (~alzenon@178.34.162.53) |
| 2024-09-28 20:20:28 +0000 | foul_owl | (~kerry@174-21-129-157.tukw.qwest.net) (Ping timeout: 252 seconds) |
| 2024-09-28 20:20:59 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-28 20:23:58 +0000 | cpressey | (~weechat@176.254.119.170) cpressey |
| 2024-09-28 20:26:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 20:31:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 20:31:23 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 20:32:11 +0000 | cpressey | (~weechat@176.254.119.170) (Ping timeout: 252 seconds) |
| 2024-09-28 20:33:33 +0000 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2024-09-28 20:34:42 +0000 | foul_owl | (~kerry@185.219.141.160) foul_owl |
| 2024-09-28 20:35:50 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-28 20:36:18 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-28 20:40:34 +0000 | ash3en | (~Thunderbi@146.70.124.222) (Quit: ash3en) |
| 2024-09-28 20:42:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 20:42:15 +0000 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) libertyprime |
| 2024-09-28 20:42:35 +0000 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Client Quit) |
| 2024-09-28 20:45:52 +0000 | <haskellbridge> | <sm> entering this room on matrix always takes longer than others, because IRC channels have a lot more joins/leaves than matrix rooms I suspect |
| 2024-09-28 20:46:29 +0000 | <haskellbridge> | <sm> I supposed filtering those out would be a msitake |
| 2024-09-28 20:46:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 20:47:14 +0000 | <geekosaur> | it's not ideal but suspect it's necessary until/unless merijn fixes his setup |
| 2024-09-28 20:49:53 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-28 20:57:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 20:59:00 +0000 | Inst | (~Inst@user/Inst) Inst |
| 2024-09-28 21:01:47 +0000 | cpressey | (~weechat@176.254.119.170) cpressey |
| 2024-09-28 21:01:59 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 265 seconds) |
| 2024-09-28 21:02:32 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-09-28 21:02:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-28 21:04:46 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 21:05:07 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-09-28 21:07:42 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-09-28 21:07:47 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2024-09-28 21:12:09 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-28 21:13:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 21:14:31 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-28 21:15:45 +0000 | <cheater> | who tried static ls |
| 2024-09-28 21:15:55 +0000 | <cheater> | it's looking good |
| 2024-09-28 21:18:39 +0000 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) HarveyPwca |
| 2024-09-28 21:18:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-28 21:23:37 +0000 | masterbuilder | (~quassel@user/masterbuilder) masterbuilder |
| 2024-09-28 21:25:09 +0000 | cpressey | (~weechat@176.254.119.170) (Ping timeout: 248 seconds) |
| 2024-09-28 21:26:35 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 21:29:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 21:31:32 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-28 21:32:00 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-09-28 21:33:25 +0000 | Inst | (~Inst@user/Inst) (Ping timeout: 252 seconds) |
| 2024-09-28 21:33:50 +0000 | Inst | (~Inst@user/Inst) Inst |
| 2024-09-28 21:34:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-28 21:39:05 +0000 | cpressey | (~weechat@176.254.119.170) cpressey |
| 2024-09-28 21:39:45 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-28 21:43:34 +0000 | cpressey | (~weechat@176.254.119.170) (Client Quit) |
| 2024-09-28 21:53:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 21:54:54 +0000 | <haskellbridge> | <sm> wizardry: https://chrisdone.com/posts/tour-of-hell 's implementation |
| 2024-09-28 21:58:14 +0000 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-28 21:58:20 +0000 | Inst | (~Inst@user/Inst) (Ping timeout: 272 seconds) |
| 2024-09-28 22:01:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 22:01:16 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2024-09-28 22:05:23 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-28 22:06:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 22:06:18 +0000 | alp | (~alp@2001:861:e3d6:8f80:b4d:aea6:7f4e:74f8) |
| 2024-09-28 22:06:32 +0000 | alp | (~alp@2001:861:e3d6:8f80:b4d:aea6:7f4e:74f8) (Changing host) |
| 2024-09-28 22:06:32 +0000 | alp | (~alp@user/alp) alp |
| 2024-09-28 22:08:50 +0000 | Inst | (~Inst@user/Inst) Inst |
| 2024-09-28 22:09:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 22:09:29 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-09-28 22:11:21 +0000 | <Inst> | okay, screw comonads, i just don't see the advantage over lenses/optics besides not requiring TH / manual writing of lenses |
| 2024-09-28 22:12:00 +0000 | <Inst> | if there's an HTML library designed to use optics, would that be a substantial advantage over lucid / blaze? |
| 2024-09-28 22:13:46 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-28 22:16:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 22:18:45 +0000 | <dmj`> | @package type-of-html |
| 2024-09-28 22:18:45 +0000 | <lambdabot> | https://hackage.haskell.org/package/type-of-html |
| 2024-09-28 22:18:46 +0000 | dlock23 | (~dlock23@160.red-81-40-78.staticip.rima-tde.net) |
| 2024-09-28 22:19:17 +0000 | dlock23 | (~dlock23@160.red-81-40-78.staticip.rima-tde.net) (Remote host closed the connection) |
| 2024-09-28 22:19:31 +0000 | dlock23 | (~dlock23@160.red-81-40-78.staticip.rima-tde.net) |
| 2024-09-28 22:20:44 +0000 | <Inst> | i'm aware of it, but is it designed to use optics? |
| 2024-09-28 22:21:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-28 22:22:02 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-09-28 22:23:55 +0000 | bud | (~bud@user/bud) bud |
| 2024-09-28 22:24:04 +0000 | <bud> | hello haskell people! |
| 2024-09-28 22:24:37 +0000 | <geekosaur> | 👋 |
| 2024-09-28 22:25:23 +0000 | <bud> | i found this really cool, video editor built with haskell that i wanted to try, but the build fails. |
| 2024-09-28 22:25:53 +0000 | <bud> | https://owickstrom.github.io/komposition/ <- video editor, https://github.com/owickstrom/komposition <- repo |
| 2024-09-28 22:26:04 +0000 | <bud> | i use Arch btw |
| 2024-09-28 22:26:05 +0000 | <geekosaur> | sadly, the ground is littered with such cool projects that bitrotted when the author was promptly hired by someone and possibly under NDA |
| 2024-09-28 22:26:33 +0000 | <geekosaur> | that said, Arch is something of a warning sign. at minimum, try using `-dynamic` |
| 2024-09-28 22:26:56 +0000 | <geekosaur> | but you may have to toss Arch's ghc and libs and start over with ghcup: Arch's Haskell ecosystem is a mess |
| 2024-09-28 22:27:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 22:27:07 +0000 | <bud> | installation instruction say it is easiest installed with "stack" |
| 2024-09-28 22:27:56 +0000 | <bud> | i installed stack followed by `stack install` got errors on compiling "ffmpeg-light" |
| 2024-09-28 22:28:05 +0000 | <geekosaur> | I don't know off the top of my head how you would force stack to pass -dynamic to everything necessary |
| 2024-09-28 22:28:23 +0000 | <bud> | might be related to this: https://github.com/acowley/ffmpeg-light/issues/69 |
| 2024-09-28 22:28:54 +0000 | <bud> | install docs, also have this sidenote: >If you know your way around building Haskell programs, you might want to build it using Nix or regular Cabal, instead. |
| 2024-09-28 22:29:07 +0000 | <bud> | https://owickstrom.github.io/komposition/user-guide/installation/ |
| 2024-09-28 22:29:13 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-09-28 22:29:35 +0000 | <geekosaur> | do you get that exact build error? "error: ‘AVStream’ has no member named ‘codec’" |
| 2024-09-28 22:30:49 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2024-09-28 22:31:39 +0000 | <haskellbridge> | <sm> by our standards, getting that far is pretty good! :) (I didn't; ghc 8.6 is too old for macs) |
| 2024-09-28 22:32:28 +0000 | <bud> | geekosaur: https://0x0.st/XgTo.txt |
| 2024-09-28 22:32:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 22:32:54 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-09-28 22:33:11 +0000 | <haskellbridge> | <sm> internet says "AV_CODEC_CAP_TRUNCATED has been removed in ffmpeg 6" |
| 2024-09-28 22:33:22 +0000 | <geekosaur> | okay, your problem is that `ffmpeg-light` requires an older `ffmpeg` than Arch ships |
| 2024-09-28 22:34:06 +0000 | <geekosaur> | and apparently either nobody has updated it or other dependencies are preventing newer versions are being used |
| 2024-09-28 22:34:27 +0000 | <geekosaur> | were this a cabal build I'd try --allow-newer=ffmpeg-light |
| 2024-09-28 22:34:41 +0000 | <geekosaur> | not sure how you do that with stack, I don't use that much |
| 2024-09-28 22:34:56 +0000 | <bud> | i think it is possible to install with cabal also |
| 2024-09-28 22:35:14 +0000 | <bud> | https://github.com/owickstrom/komposition/blob/master/komposition.cabal |
| 2024-09-28 22:35:17 +0000 | <geekosaur> | make sure the instructions aren't as out of date as the software |
| 2024-09-28 22:35:30 +0000 | <geekosaur> | (stack uses .cabal files) |
| 2024-09-28 22:35:40 +0000 | <geekosaur> | cabal 1.x was a royal mess |
| 2024-09-28 22:35:48 +0000 | <bud> | maybe easiest for me would be to install nix |
| 2024-09-28 22:35:51 +0000 | <geekosaur> | and 2.x+ behave rather differently |
| 2024-09-28 22:36:01 +0000 | <bud> | and install with nix |
| 2024-09-28 22:36:03 +0000 | <haskellbridge> | <sm> for some value of "easiest" |
| 2024-09-28 22:38:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-28 22:38:39 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-28 22:39:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 22:41:07 +0000 | <haskellbridge> | <sm> or maybe you can install "ffmpeg5.1" package ? |
| 2024-09-28 22:41:38 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-09-28 22:41:53 +0000 | <bud> | too late, im nixing now |
| 2024-09-28 22:42:47 +0000 | <bud> | also arch has ffmpeg4.4 but no 5.1, 4.4 probably work, but again, im nixing now. |
| 2024-09-28 22:43:20 +0000 | <bud> | not exactly sure but i think it is compiling gtk3 now.. |
| 2024-09-28 22:43:37 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-09-28 22:44:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-28 22:45:07 +0000 | <haskellbridge> | <sm> soon this battle station will be fully operational |
| 2024-09-28 22:45:23 +0000 | <monochrom> | haha |
| 2024-09-28 22:48:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 22:51:14 +0000 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-09-28 22:53:35 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2024-09-28 22:53:49 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-09-28 22:55:21 +0000 | gioyik_ | (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
| 2024-09-28 22:58:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-28 23:00:39 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 2024-09-28 23:03:23 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-28 23:09:39 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-09-28 23:09:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 23:14:17 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 23:14:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-28 23:18:40 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-28 23:19:28 +0000 | gvg_ | (~dcd@user/gvg) gvg |
| 2024-09-28 23:20:59 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-28 23:21:04 +0000 | gvg | (~dcd@user/gvg) (Ping timeout: 260 seconds) |
| 2024-09-28 23:23:46 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-09-28 23:25:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 23:27:07 +0000 | <bud> | build failed in nix also, i give up. stay strong haskell people, thanks for help! |
| 2024-09-28 23:29:25 +0000 | bud | (~bud@user/bud) (Leaving.) |
| 2024-09-28 23:30:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-28 23:33:39 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2024-09-28 23:33:41 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb1220772d8af485911b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-09-28 23:41:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 23:46:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-28 23:52:53 +0000 | ell | (~ellie@user/ellie) (Read error: Connection reset by peer) |
| 2024-09-28 23:53:02 +0000 | ell3 | (~ellie@user/ellie) ellie |
| 2024-09-28 23:55:23 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 23:56:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |