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