2024-10-04 00:01:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-04 00:06:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-04 00:10:36 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 00:12:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 00:14:58 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
2024-10-04 00:17:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 00:28:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 00:28:49 +0200 | thegeekinside | (~thegeekin@189.217.93.202) thegeekinside |
2024-10-04 00:29:48 +0200 | thegeekinside | (~thegeekin@189.217.93.202) (Remote host closed the connection) |
2024-10-04 00:30:52 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-10-04 00:31:08 +0200 | hgolden_ | (~hgolden@169.150.203.23) hgolden |
2024-10-04 00:31:35 +0200 | thegeekinside | (~thegeekin@189.217.93.202) thegeekinside |
2024-10-04 00:32:25 +0200 | thegeekinside | (~thegeekin@189.217.93.202) (Remote host closed the connection) |
2024-10-04 00:33:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-04 00:34:02 +0200 | hgolden__ | (~hgolden@23.162.40.69) (Ping timeout: 265 seconds) |
2024-10-04 00:36:24 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
2024-10-04 00:39:59 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
2024-10-04 00:43:27 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb63d87029be15e343a0.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2024-10-04 00:43:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 00:48:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-04 00:50:44 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2024-10-04 00:59:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 01:03:54 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 246 seconds) |
2024-10-04 01:04:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-04 01:07:28 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
2024-10-04 01:08:47 +0200 | AWizzArd | (~code@user/awizzard) (Read error: Connection reset by peer) |
2024-10-04 01:11:28 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
2024-10-04 01:11:41 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
2024-10-04 01:14:11 +0200 | AWizzArd | (~code@gehrels.uberspace.de) |
2024-10-04 01:14:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 01:16:45 +0200 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
2024-10-04 01:17:11 +0200 | spew | (~spew@201.141.99.170) spew |
2024-10-04 01:18:43 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 01:19:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 01:30:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 01:35:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-04 01:36:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 01:41:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 01:43:17 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-10-04 01:43:27 +0200 | ario | (~ario@159.65.220.102) () |
2024-10-04 01:48:28 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2024-10-04 01:52:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 01:53:55 +0200 | gentauro | (~gentauro@user/gentauro) gentauro |
2024-10-04 01:57:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-04 02:05:06 +0200 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Ping timeout: 252 seconds) |
2024-10-04 02:05:31 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
2024-10-04 02:07:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 02:09:50 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-10-04 02:12:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 02:12:47 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-10-04 02:23:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 02:26:03 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-10-04 02:27:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 02:29:39 +0200 | hammond | (proscan@gateway04.insomnia247.nl) (Ping timeout: 246 seconds) |
2024-10-04 02:30:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 02:32:06 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-10-04 02:34:19 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:a9cc:355d:4963:1655) (Ping timeout: 264 seconds) |
2024-10-04 02:34:52 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-10-04 02:38:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 02:43:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 02:45:37 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
2024-10-04 02:48:30 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
2024-10-04 02:49:58 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1c0c:a36e:c661:24b2) (Ping timeout: 245 seconds) |
2024-10-04 02:54:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 02:58:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-04 03:09:27 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 03:09:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 03:11:16 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
2024-10-04 03:13:18 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 252 seconds) |
2024-10-04 03:13:40 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-10-04 03:14:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 03:14:16 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
2024-10-04 03:15:00 +0200 | Pixi | (~Pixi@user/pixi) Pixi |
2024-10-04 03:24:27 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 03:24:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 03:26:21 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Ping timeout: 246 seconds) |
2024-10-04 03:28:48 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-10-04 03:29:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-04 03:40:15 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 276 seconds) |
2024-10-04 03:40:42 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2024-10-04 03:40:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 03:42:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 03:45:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-04 03:45:41 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
2024-10-04 03:47:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-10-04 03:48:09 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-04 03:49:29 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
2024-10-04 03:56:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 03:56:18 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-04 04:01:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-04 04:01:48 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
2024-10-04 04:06:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-04 04:11:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 04:12:07 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 264 seconds) |
2024-10-04 04:12:26 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
2024-10-04 04:16:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-04 04:17:04 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 04:17:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-10-04 04:18:18 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 265 seconds) |
2024-10-04 04:18:18 +0200 | td_ | (~td@i5387091A.versanet.de) (Ping timeout: 265 seconds) |
2024-10-04 04:19:41 +0200 | td_ | (~td@83.135.9.0) td_ |
2024-10-04 04:25:24 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
2024-10-04 04:27:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 04:27:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-04 04:30:09 +0200 | liamzy__ | (~Inst@user/Inst) (Remote host closed the connection) |
2024-10-04 04:30:36 +0200 | liamzy__ | (~Inst@user/Inst) Inst |
2024-10-04 04:30:40 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
2024-10-04 04:31:45 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
2024-10-04 04:31:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-04 04:37:18 +0200 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) libertyprime |
2024-10-04 04:37:57 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
2024-10-04 04:39:23 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1022:436a:8000::) |
2024-10-04 04:40:06 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1022:436a:8000::) (Remote host closed the connection) |
2024-10-04 04:40:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-10-04 04:42:17 +0200 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
2024-10-04 04:42:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 04:43:59 +0200 | terrorjack4 | (~terrorjac@static.48.15.202.116.clients.your-server.de) terrorjack |
2024-10-04 04:47:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 04:58:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 05:02:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-04 05:12:31 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-10-04 05:13:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 05:18:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-04 05:23:05 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
2024-10-04 05:27:53 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) sp1ff |
2024-10-04 05:29:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 05:33:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-10-04 05:33:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 05:34:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 05:38:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-10-04 05:43:13 +0200 | spew | (~spew@201.141.99.170) spew |
2024-10-04 05:43:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
2024-10-04 05:44:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 05:44:53 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-04 05:48:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-04 05:49:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 05:59:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 06:04:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-04 06:09:24 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
2024-10-04 06:09:25 +0200 | synchromesh | (~john@2406:5a00:241a:5600:c4f0:795f:9391:8816) (Read error: Connection reset by peer) |
2024-10-04 06:09:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 06:09:36 +0200 | liamzy__ | Inst |
2024-10-04 06:10:42 +0200 | synchromesh | (~john@2406:5a00:241a:5600:c4f0:795f:9391:8816) synchromesh |
2024-10-04 06:11:28 +0200 | <Inst> | tomsmeding: is the reason you're talking monoids is because blaze etc aren't parallelized by default? |
2024-10-04 06:11:47 +0200 | <Inst> | they're not parallelized by default, right? |
2024-10-04 06:12:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 06:12:33 +0200 | ghoulpine | (xfnw@user/meow/xfnw) (Ping timeout: 248 seconds) |
2024-10-04 06:13:48 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-10-04 06:15:04 +0200 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2024-10-04 06:16:47 +0200 | neuroevolutus | (~neuroevol@146.70.211.110) neuroevolutus |
2024-10-04 06:16:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-04 06:17:08 +0200 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
2024-10-04 06:17:11 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
2024-10-04 06:18:54 +0200 | Axma61810 | (~Axman6@user/axman6) Axman6 |
2024-10-04 06:20:09 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
2024-10-04 06:20:36 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
2024-10-04 06:21:24 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:8757:488:1b7d:9c52) |
2024-10-04 06:26:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-10-04 06:27:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 06:28:55 +0200 | morb | (~morb@108.41.100.120) |
2024-10-04 06:29:20 +0200 | michalz | (~michalz@185.246.207.222) |
2024-10-04 06:30:22 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:8757:488:1b7d:9c52) (Remote host closed the connection) |
2024-10-04 06:33:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 06:33:59 +0200 | <haskellbridge> | <thirdofmay18081814goya> given any endofunctor F over an inductive type and a non-initial F algebra (1) can we prove a catamorphism exists, and (2) can it be automatically computed? |
2024-10-04 06:36:04 +0200 | morb | (~morb@108.41.100.120) (Ping timeout: 252 seconds) |
2024-10-04 06:41:35 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Remote host closed the connection) |
2024-10-04 06:41:39 +0200 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
2024-10-04 06:44:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 06:48:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 06:50:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 06:50:34 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
2024-10-04 06:56:35 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-10-04 06:56:42 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-10-04 06:59:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 07:02:04 +0200 | <Inst> | score, stack overflow! |
2024-10-04 07:03:12 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
2024-10-04 07:03:47 +0200 | <Inst> | i'm trying to hand memoize ackermann :( |
2024-10-04 07:03:56 +0200 | <Inst> | is 4 2 supposed to stack overflow in haskell? |
2024-10-04 07:04:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 07:06:09 +0200 | <Inst> | https://resources.saylor.org/wwwresources/archived/site/wp-content/uploads/2011/06/Ackermann-Funct… |
2024-10-04 07:06:41 +0200 | <Inst> | A(4,2) is an integer of 19729 digits |
2024-10-04 07:06:49 +0200 | <Inst> | so this should be expected, right? |
2024-10-04 07:10:36 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 07:14:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-10-04 07:15:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 07:15:57 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
2024-10-04 07:16:17 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
2024-10-04 07:16:18 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-10-04 07:19:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 07:25:34 +0200 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Ping timeout: 252 seconds) |
2024-10-04 07:30:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 07:34:46 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 07:35:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 07:36:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-04 07:39:22 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-10-04 07:40:31 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
2024-10-04 07:42:03 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
2024-10-04 07:45:14 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-04 07:46:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 07:48:46 +0200 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) libertyprime |
2024-10-04 07:50:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-04 07:52:43 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb8358da9a990534962a.dip0.t-ipconnect.de) acidjnk |
2024-10-04 07:57:15 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-04 07:59:29 +0200 | neuroevolutus | (~neuroevol@146.70.211.110) (Ping timeout: 256 seconds) |
2024-10-04 08:01:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 08:07:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 08:07:57 +0200 | dontdieych2 | (~a@user/dontdieych2) dontdieych2 |
2024-10-04 08:10:02 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 08:13:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 08:17:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 08:23:00 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 276 seconds) |
2024-10-04 08:24:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-04 08:27:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
2024-10-04 08:28:33 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-10-04 08:28:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 08:29:33 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-04 08:29:37 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
2024-10-04 08:30:06 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-10-04 08:30:28 +0200 | califax | (~califax@user/califx) califx |
2024-10-04 08:33:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 08:39:46 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2024-10-04 08:40:28 +0200 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Quit: leaving) |
2024-10-04 08:41:30 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 08:44:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-10-04 08:44:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 08:45:05 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2024-10-04 08:45:50 +0200 | neuroevolutus | (~neuroevol@146.70.211.110) neuroevolutus |
2024-10-04 08:47:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-10-04 08:48:10 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-10-04 08:48:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-04 08:59:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 09:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-10-04 09:00:35 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-10-04 09:00:56 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-10-04 09:02:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 09:04:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-04 09:06:27 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
2024-10-04 09:07:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-10-04 09:14:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 09:18:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-04 09:19:39 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2024-10-04 09:20:44 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 09:23:36 +0200 | chele | (~chele@user/chele) chele |
2024-10-04 09:29:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 09:34:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-04 09:35:39 +0200 | vulpine | (xfnw@user/meow/xfnw) xfnw |
2024-10-04 09:37:23 +0200 | neuroevolutus | (~neuroevol@146.70.211.110) (Quit: Client closed) |
2024-10-04 09:38:45 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:8757:488:1b7d:9c52) |
2024-10-04 09:41:58 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-10-04 09:44:27 +0200 | vulpine | (xfnw@user/meow/xfnw) (Ping timeout: 252 seconds) |
2024-10-04 09:45:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 09:47:39 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2024-10-04 09:47:50 +0200 | akspecs_ | akspecs |
2024-10-04 09:47:54 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-10-04 09:48:17 +0200 | akspecs | (00cc8321af@2a03:6000:1812:100::11a) (Changing host) |
2024-10-04 09:48:17 +0200 | akspecs | (00cc8321af@sourcehut/user/akspecs) akspecs |
2024-10-04 09:51:46 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-10-04 09:54:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 09:55:02 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
2024-10-04 09:56:36 +0200 | vanced | (~Vengeance@2.219.56.221) (Ping timeout: 276 seconds) |
2024-10-04 09:56:43 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 10:00:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 10:02:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-10-04 10:04:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 10:04:58 +0200 | xal | (~xal@mx1.xal.systems) (Quit: No Ping reply in 180 seconds.) |
2024-10-04 10:06:12 +0200 | xal | (~xal@mx1.xal.systems) xal |
2024-10-04 10:10:05 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
2024-10-04 10:10:18 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-10-04 10:15:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 10:18:19 +0200 | synchromesh | (~john@2406:5a00:241a:5600:c4f0:795f:9391:8816) (Read error: Connection reset by peer) |
2024-10-04 10:19:20 +0200 | synchromesh | (~john@2406:5a00:241a:5600:869:c396:b278:a7fe) synchromesh |
2024-10-04 10:20:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-04 10:20:39 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
2024-10-04 10:21:55 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-04 10:24:28 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-04 10:26:18 +0200 | rosco | (~rosco@183.171.73.250) rosco |
2024-10-04 10:29:33 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 10:30:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 10:35:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 10:35:18 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-10-04 10:37:39 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
2024-10-04 10:38:14 +0200 | <tomsmeding> | Inst: ... was I talking about monoids? |
2024-10-04 10:38:29 +0200 | <Inst> | in relation to HTML libraries |
2024-10-04 10:38:44 +0200 | <Inst> | and performance |
2024-10-04 10:38:57 +0200 | <tomsmeding> | I forget lol |
2024-10-04 10:39:04 +0200 | <tomsmeding> | was this about association direction? |
2024-10-04 10:39:29 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-04 10:40:05 +0200 | <Inst> | "yet another HTML library" |
2024-10-04 10:40:23 +0200 | <tomsmeding> | I'm fairly sure I didn't have any kind of parallelisation in mind, in any case |
2024-10-04 10:42:19 +0200 | <tomsmeding> | Inst: about that stack overflow, I see that there's a call A(m, A(m+1, n)); does it help if you seq that A(m+1, n) call before calling into A(m, _)? |
2024-10-04 10:43:40 +0200 | <Inst> | i'm currently trying to rewrite everything in point free, i.e, i screwed up the recursion because the memoized version is nightmarish |
2024-10-04 10:44:06 +0200 | <Inst> | all of the functions are returning a tuple of a value and a new cache (Map Integer (Map Integer Integer)) |
2024-10-04 10:44:26 +0200 | <Inst> | and i'm point-freeing it all |
2024-10-04 10:44:29 +0200 | <tomsmeding> | sounds like a state monad |
2024-10-04 10:45:03 +0200 | <Inst> | i'm psised because python, besides likely overflowing the integer, is doing it in under 20 seconds |
2024-10-04 10:45:11 +0200 | <Inst> | so i must have screwed up somewhere, I just want to see how far I can get with map |
2024-10-04 10:45:23 +0200 | <Inst> | before trying to redo it with vector |
2024-10-04 10:45:25 +0200 | <tomsmeding> | python integers are bigints |
2024-10-04 10:46:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 10:48:39 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-10-04 10:48:50 +0200 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
2024-10-04 10:49:06 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
2024-10-04 10:50:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 10:56:07 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-10-04 10:56:13 +0200 | <tomsmeding> | Inst: perhaps not what you wanted, but this section https://en.wikipedia.org/wiki/Ackermann_function#Table_of_values lists formulas for small m and arbitrary n |
2024-10-04 10:56:22 +0200 | <tomsmeding> | if you hardcode those, things will speed up enormously |
2024-10-04 10:56:23 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2024-10-04 10:57:16 +0200 | <Inst> | it's just an exercise for manually memoizing |
2024-10-04 10:58:09 +0200 | CiaoSen | (~Jura@2a05:5800:20b:200:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-04 11:01:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 11:02:03 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
2024-10-04 11:02:44 +0200 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
2024-10-04 11:03:08 +0200 | Inst | (~Inst@user/Inst) Inst |
2024-10-04 11:03:08 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-04 11:06:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-04 11:07:38 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 11:07:51 +0200 | hsw_ | (~hsw@112-104-139-62.adsl.dynamic.seed.net.tw) hsw |
2024-10-04 11:09:15 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
2024-10-04 11:10:19 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 252 seconds) |
2024-10-04 11:11:15 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-04 11:12:29 +0200 | <Inst> | thanks for being helpful, though, tomsmeding |
2024-10-04 11:14:04 +0200 | dontdieych2 | (~a@user/dontdieych2) (Quit: WeeChat 4.4.2) |
2024-10-04 11:14:29 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-10-04 11:16:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 11:17:00 +0200 | califax | (~califax@user/califx) califx |
2024-10-04 11:17:41 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
2024-10-04 11:19:39 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-04 11:19:46 +0200 | <tomsmeding> | cheers :) |
2024-10-04 11:20:10 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
2024-10-04 11:20:29 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-10-04 11:20:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 11:21:36 +0200 | califax | (~califax@user/califx) califx |
2024-10-04 11:22:31 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-10-04 11:24:17 +0200 | califax | (~califax@user/califx) califx |
2024-10-04 11:27:18 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2024-10-04 11:28:21 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
2024-10-04 11:28:30 +0200 | wanted | (~wanted@2.219.56.221) |
2024-10-04 11:28:41 +0200 | JamesMowery4 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
2024-10-04 11:29:27 +0200 | <Inst> | https://paste.tomsmeding.com/Brl9demS |
2024-10-04 11:30:03 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 246 seconds) |
2024-10-04 11:30:03 +0200 | JamesMowery4 | JamesMowery |
2024-10-04 11:31:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |