| 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 |
| 2024-10-04 11:33:46 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2024-10-04 11:34:02 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 11:34:16 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2024-10-04 11:36:08 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds) |
| 2024-10-04 11:36:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-04 11:38:54 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-10-04 11:40:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-10-04 11:40:37 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds) |
| 2024-10-04 11:41:46 +0200 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2024-10-04 11:42:32 +0200 | califax | (~califax@user/califx) califx |
| 2024-10-04 11:46:27 +0200 | vulpine | (xfnw@user/meow/xfnw) (Ping timeout: 276 seconds) |
| 2024-10-04 11:47:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 11:47:39 +0200 | CiaoSen | (~Jura@2a05:5800:20b:200:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-10-04 11:48:00 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-10-04 11:49:12 +0200 | califax | (~califax@user/califx) califx |
| 2024-10-04 11:51:09 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-04 11:51:41 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 11:51:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 11:51:48 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2024-10-04 11:57:00 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 11:59:25 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-04 12:02:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 12:02:59 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2024-10-04 12:06:46 +0200 | <Inst> | i see, this is embarrassing |
| 2024-10-04 12:06:50 +0200 | <Inst> | the py is so fast because it tabulates |
| 2024-10-04 12:07:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 12:12:39 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 2024-10-04 12:17:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 12:17:47 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 12:22:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-04 12:23:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-10-04 12:27:11 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 12:31:13 +0200 | rosco | (~rosco@183.171.73.250) (Quit: Lost terminal) |
| 2024-10-04 12:32:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 12:35:10 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2024-10-04 12:36:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 12:36:43 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 12:37:37 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-04 12:40:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-04 12:41:16 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 12:44:28 +0200 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 12:45:43 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2024-10-04 12:48:06 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 246 seconds) |
| 2024-10-04 12:48:22 +0200 | hsw__ | (~hsw@112-104-11-250.adsl.dynamic.seed.net.tw) hsw |
| 2024-10-04 12:49:53 +0200 | rosco | (~rosco@183.171.73.250) rosco |
| 2024-10-04 12:50:40 +0200 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2024-10-04 12:50:57 +0200 | hsw_ | (~hsw@112-104-139-62.adsl.dynamic.seed.net.tw) (Ping timeout: 248 seconds) |
| 2024-10-04 12:51:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 12:55:10 +0200 | <kqr> | I'm creating a simple hello world-type application in Yesod, but which selects the response message at random (by lifting getStdGen in a handler.) However, every time I refresh I get the same message. I sense some sort of caching goes on, but it's not in my browser. What would be the next step to check? |
| 2024-10-04 12:55:16 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 12:55:18 +0200 | vulpine | (xfnw@user/meow/xfnw) (Ping timeout: 252 seconds) |
| 2024-10-04 12:55:45 +0200 | <kqr> | Oh, no, of course. Everytime I getStdGen I get the same generator, right? |
| 2024-10-04 12:55:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-04 12:58:58 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-10-04 13:01:12 +0200 | <ghoulguy> | Right |
| 2024-10-04 13:01:39 +0200 | <ghoulguy> | newStdGen |
| 2024-10-04 13:02:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-10-04 13:03:00 +0200 | <kqr> | Thanks. Yeah, that seems to have been it. (Although in my case I realised replicateM 3 randomIO is more convenient than breaking off a newStdGen.) |
| 2024-10-04 13:06:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 13:11:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-04 13:15:35 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 13:18:06 +0200 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2024-10-04 13:18:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 13:19:57 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-04 13:21:34 +0200 | turlando_ | (~turlando@user/turlando) () |
| 2024-10-04 13:21:59 +0200 | turlando | (~turlando@user/turlando) turlando |
| 2024-10-04 13:22:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 13:26:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 13:33:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 13:33:39 +0200 | vulpine | (xfnw@user/meow/xfnw) (Ping timeout: 265 seconds) |
| 2024-10-04 13:33:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 13:34:21 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
| 2024-10-04 13:35:27 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-04 13:36:28 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-04 13:37:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 13:38:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 13:42:30 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 13:43:59 +0200 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in) |
| 2024-10-04 13:47:36 +0200 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2024-10-04 13:49:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 13:52:23 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-04 13:54:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 14:00:09 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-10-04 14:02:33 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 14:04:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 14:07:04 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-10-04 14:08:50 +0200 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in) |
| 2024-10-04 14:09:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 14:10:46 +0200 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2024-10-04 14:16:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 14:16:18 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-04 14:17:21 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2024-10-04 14:19:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 14:20:08 +0200 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-10-04 14:20:12 +0200 | xff0x | (~xff0x@2405:6580:b080:900:858f:f870:90c:1b39) |
| 2024-10-04 14:23:31 +0200 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2024-10-04 14:23:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-04 14:26:27 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-04 14:27:54 +0200 | synchromesh | (~john@2406:5a00:241a:5600:869:c396:b278:a7fe) (Read error: Connection reset by peer) |
| 2024-10-04 14:29:00 +0200 | synchromesh | (~john@2406:5a00:241a:5600:869:c396:b278:a7fe) synchromesh |
| 2024-10-04 14:34:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 14:39:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-04 14:47:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 14:50:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 14:50:30 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2024-10-04 14:51:52 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-10-04 14:52:58 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 14:54:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-04 14:55:44 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-04 14:57:44 +0200 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2024-10-04 14:59:30 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-10-04 15:03:21 +0200 | vulpine | ghoulpine |
| 2024-10-04 15:05:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 15:10:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 15:10:23 +0200 | ababaiem | (~igloo@94-225-18-207.access.telenet.be) |
| 2024-10-04 15:14:45 +0200 | ababaiem | (~igloo@94-225-18-207.access.telenet.be) (Ping timeout: 246 seconds) |
| 2024-10-04 15:16:47 +0200 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-10-04 15:20:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 15:25:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-04 15:28:17 +0200 | gdr3941 | (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) gdr3941 |
| 2024-10-04 15:30:02 +0200 | gdr3941 | (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) (Client Quit) |
| 2024-10-04 15:32:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 15:36:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 15:36:31 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 15:39:00 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-04 15:40:28 +0200 | dolio | (~dolio@130.44.140.168) dolio |
| 2024-10-04 15:40:36 +0200 | dolio | (~dolio@130.44.140.168) (Remote host closed the connection) |
| 2024-10-04 15:40:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 15:41:38 +0200 | hgolden__ | (~hgolden@169.150.203.23) hgolden |
| 2024-10-04 15:41:44 +0200 | dolio | (~dolio@130.44.140.168) dolio |
| 2024-10-04 15:43:03 +0200 | youthlic1 | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-04 15:43:52 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 252 seconds) |
| 2024-10-04 15:43:52 +0200 | sm | (~znc@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 2024-10-04 15:43:52 +0200 | youthlic1 | youthlic |
| 2024-10-04 15:44:06 +0200 | sm | (~znc@plaintextaccounting/sm) sm |
| 2024-10-04 15:44:14 +0200 | hgolden_ | (~hgolden@169.150.203.23) (Ping timeout: 252 seconds) |
| 2024-10-04 15:48:06 +0200 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) ft |
| 2024-10-04 15:50:14 +0200 | swamp_ | (~zmt00@user/zmt00) zmt00 |
| 2024-10-04 15:51:23 +0200 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) (Quit: leaving) |
| 2024-10-04 15:51:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 15:53:14 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-10-04 15:53:43 +0200 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2024-10-04 15:55:02 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:8757:488:1b7d:9c52) (Ping timeout: 272 seconds) |
| 2024-10-04 15:55:39 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-04 15:56:09 +0200 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-10-04 15:56:10 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 15:56:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 16:02:18 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
| 2024-10-04 16:02:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-10-04 16:04:40 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 16:06:04 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-10-04 16:07:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 16:09:10 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 16:12:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-04 16:15:38 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-04 16:21:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 16:23:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 16:23:19 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-10-04 16:24:46 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-04 16:27:31 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-10-04 16:28:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-04 16:28:39 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-04 16:33:02 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-04 16:36:18 +0200 | vanishing | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2024-10-04 16:38:13 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 16:39:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 16:39:44 +0200 | son0p | (~ff@186.121.100.73) (Ping timeout: 265 seconds) |
| 2024-10-04 16:41:27 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 16:42:05 +0200 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-04 16:42:11 +0200 | <kqr> | If I want to deploy a simple Haskell binary to a server that does not have the same glibc version, how would I go about it? I'd prefer not to compile on the server because it is a very weak server. I'd prefer not to have to keep my system's glibc versions in sync. |
| 2024-10-04 16:42:26 +0200 | <dminuoso> | kqr: You can statically link against musl. |
| 2024-10-04 16:42:47 +0200 | <kqr> | I did read about that but it did not seem obvious how to do it. Is that preferable to either Docker (?) or nix (?) |
| 2024-10-04 16:42:58 +0200 | <dminuoso> | Well you can do it *with* docker or nix |
| 2024-10-04 16:43:04 +0200 | <dminuoso> | Though nix in itself is an alternate solution |
| 2024-10-04 16:43:14 +0200 | <dminuoso> | (And docker in principle too, though I would not recommend that at all) |
| 2024-10-04 16:43:38 +0200 | <kqr> | How would nix help, come to think of it? Is it by giving the build host the glibc version of the target? |
| 2024-10-04 16:43:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-04 16:44:05 +0200 | <dminuoso> | Well if you deploy it as a nix closure, the nix closure would come with its own glibc. |
| 2024-10-04 16:45:11 +0200 | <dminuoso> | kqr: If you just want to statically link against musl, the simplest way is to spin up an alpine docker image and just compile your project inside. |
| 2024-10-04 16:45:28 +0200 | <dminuoso> | And then exfiltrate the (statically linked) binary. |
| 2024-10-04 16:45:28 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 252 seconds) |
| 2024-10-04 16:45:48 +0200 | <dminuoso> | (Or you can statically link against musl *using* nix too) |
| 2024-10-04 16:46:12 +0200 | <dminuoso> | Deploy as nix closure, statically link against musl *with* nix, deploy as docker container, statically link against musl *with* docker. |
| 2024-10-04 16:46:19 +0200 | <dminuoso> | All combinatinos exist. :) |
| 2024-10-04 16:46:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 16:48:23 +0200 | <kqr> | I'm guessing a bare Alpine docker image does not come with cabal-install, so I'd either have to go with an Alpine-based Haskell image, or add the necessary build tools myself? And does simply making a regular cabal build inside that image automatically result in a binary statically linked against musl? |
| 2024-10-04 16:48:49 +0200 | <kqr> | If it is that easy, that certainly sounds like the alternative I'd like to explore first. |
| 2024-10-04 16:48:51 +0200 | <dminuoso> | You can just build up the image with ghcup |
| 2024-10-04 16:48:53 +0200 | <dminuoso> | https://github.com/utdemir/ghc-musl/blob/main/Earthfile |
| 2024-10-04 16:48:56 +0200 | <dminuoso> | Take some inspiration here if you like |
| 2024-10-04 16:49:35 +0200 | <kqr> | Interesting... Thanks! |
| 2024-10-04 16:49:45 +0200 | <dminuoso> | (If you insist and blindly trust you can use the images uploaded to docker hub linked on the repos readme, but I would rather just fork/use this Earthfile to build it yourself) |
| 2024-10-04 16:50:06 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-04 16:54:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 16:56:08 +0200 | <EvanR> | ghc-musl -- depends on SDL_mixer xD |
| 2024-10-04 16:56:48 +0200 | <EvanR> | I do want to hear every source file as it gets compiled |
| 2024-10-04 16:59:51 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-04 17:00:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-04 17:05:23 +0200 | biberu\ | (~biberu@user/biberu) biberu |
| 2024-10-04 17:05:39 +0200 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-04 17:06:15 +0200 | spew | (~spew@201.141.99.170) spew |
| 2024-10-04 17:06:38 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2024-10-04 17:07:02 +0200 | myxokephale | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2024-10-04 17:07:07 +0200 | mceresa_ | (~mceresa@user/mceresa) mceresa |
| 2024-10-04 17:07:32 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 17:07:35 +0200 | TheCoffeMaker_ | (~TheCoffeM@186.136.173.70) |
| 2024-10-04 17:07:55 +0200 | user363627 | (~user@user/user363627) user363627 |
| 2024-10-04 17:07:58 +0200 | FragByte_ | (~christian@user/fragbyte) FragByte |
| 2024-10-04 17:08:40 +0200 | gvg_ | (~dcd@user/gvg) gvg |
| 2024-10-04 17:09:52 +0200 | sudden | (~cat@user/sudden) sudden |
| 2024-10-04 17:09:59 +0200 | __monty_1 | (~toonn@user/toonn) toonn |
| 2024-10-04 17:10:03 +0200 | philopso1 | (~caecilius@pool-71-183-97-38.nycmny.fios.verizon.net) |
| 2024-10-04 17:10:15 +0200 | df | (~ben@justworks.xyz) |
| 2024-10-04 17:10:25 +0200 | Guest3971 | (~ubuntu@ec2-35-163-144-64.us-west-2.compute.amazonaws.com) pdxleif |
| 2024-10-04 17:10:38 +0200 | mewra | (~aranea@wireguard/contributorcat/mira) aranea |
| 2024-10-04 17:10:38 +0200 | machined1od | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-04 17:10:45 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 248 seconds) |
| 2024-10-04 17:11:30 +0200 | driib3182 | (~driib@vmi931078.contaboserver.net) driib |
| 2024-10-04 17:11:40 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2024-10-04 17:12:07 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2024-10-04 17:12:58 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 17:13:06 +0200 | AlexZenon_2 | (~alzenon@178.34.162.53) |
| 2024-10-04 17:13:29 +0200 | mari-estel | (~mari-este@2a02:3032:30a:4c3b:216:3eff:fe65:4eef) |
| 2024-10-04 17:15:21 +0200 | raym_ | (~ray@user/raym) raym |
| 2024-10-04 17:15:37 +0200 | weary-traveler | (~user@user/user363627) (*.net *.split) |
| 2024-10-04 17:15:37 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (*.net *.split) |
| 2024-10-04 17:15:37 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (*.net *.split) |
| 2024-10-04 17:15:37 +0200 | __monty__ | (~toonn@user/toonn) (*.net *.split) |
| 2024-10-04 17:15:37 +0200 | AlexZenon | (~alzenon@178.34.162.53) (*.net *.split) |
| 2024-10-04 17:15:37 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (*.net *.split) |
| 2024-10-04 17:15:37 +0200 | raym | (~ray@user/raym) (*.net *.split) |
| 2024-10-04 17:15:38 +0200 | yoneda | (~mike@193.206.102.122) (*.net *.split) |
| 2024-10-04 17:15:38 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (*.net *.split) |
| 2024-10-04 17:15:38 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (*.net *.split) |
| 2024-10-04 17:15:38 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2024-10-04 17:15:38 +0200 | gvg | (~dcd@user/gvg) (*.net *.split) |
| 2024-10-04 17:15:38 +0200 | mceresa | (~mceresa@user/mceresa) (*.net *.split) |
| 2024-10-04 17:15:38 +0200 | biberu | (~biberu@user/biberu) (*.net *.split) |
| 2024-10-04 17:15:38 +0200 | philopsos | (~caecilius@user/philopsos) (*.net *.split) |
| 2024-10-04 17:15:39 +0200 | some02 | (~cat@user/sudden) (*.net *.split) |
| 2024-10-04 17:15:39 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (*.net *.split) |
| 2024-10-04 17:15:39 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (*.net *.split) |
| 2024-10-04 17:15:39 +0200 | FragByte | (~christian@user/fragbyte) (*.net *.split) |
| 2024-10-04 17:15:39 +0200 | forell | (~forell@user/forell) (*.net *.split) |
| 2024-10-04 17:15:39 +0200 | df_ | (~ben@justworks.xyz) (*.net *.split) |
| 2024-10-04 17:15:39 +0200 | mira | (~aranea@wireguard/contributorcat/mira) (*.net *.split) |
| 2024-10-04 17:15:39 +0200 | pdxleif | (~ubuntu@ec2-35-163-144-64.us-west-2.compute.amazonaws.com) (*.net *.split) |
| 2024-10-04 17:15:39 +0200 | mceresa_ | mceresa |
| 2024-10-04 17:15:39 +0200 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
| 2024-10-04 17:15:39 +0200 | FragByte_ | FragByte |
| 2024-10-04 17:15:43 +0200 | driib3182 | driib318 |
| 2024-10-04 17:15:43 +0200 | biberu\ | biberu |
| 2024-10-04 17:16:22 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2024-10-04 17:16:22 +0200 | ChanServ | +v yahb2 |
| 2024-10-04 17:18:55 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 17:18:55 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2024-10-04 17:20:30 +0200 | yoneda | (~mike@193.206.102.122) |
| 2024-10-04 17:22:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 17:22:12 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2024-10-04 17:22:36 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-10-04 17:23:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-10-04 17:23:31 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 17:23:43 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2024-10-04 17:24:02 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2024-10-04 17:25:29 +0200 | jrm | (~jrm@user/jrm) jrm |
| 2024-10-04 17:26:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-04 17:28:08 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-04 17:29:35 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Remote host closed the connection) |
| 2024-10-04 17:29:42 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) ggb |
| 2024-10-04 17:30:34 +0200 | rosco | (~rosco@183.171.73.250) (Remote host closed the connection) |
| 2024-10-04 17:36:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 17:37:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 17:42:00 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-10-04 17:42:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-04 17:45:54 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-10-04 17:50:29 +0200 | polyphem | (~rod@p4fc2c4e0.dip0.t-ipconnect.de) polyphem |
| 2024-10-04 17:51:17 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 17:53:02 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-10-04 17:53:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 17:54:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-04 17:55:52 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-10-04 17:56:27 +0200 | mari-estel | (~mari-este@2a02:3032:30a:4c3b:216:3eff:fe65:4eef) () |
| 2024-10-04 17:57:35 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 17:57:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-04 18:01:02 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-10-04 18:02:45 +0200 | machined1od | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-10-04 18:03:36 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-10-04 18:04:36 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-04 18:05:35 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-10-04 18:06:30 +0200 | TheCoffeMaker_ | (~TheCoffeM@186.136.173.70) (Quit: So long and thanks for all the fish) |
| 2024-10-04 18:08:03 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-10-04 18:08:05 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-10-04 18:09:27 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-04 18:09:41 +0200 | synchromesh | (~john@2406:5a00:241a:5600:869:c396:b278:a7fe) (Remote host closed the connection) |
| 2024-10-04 18:13:48 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:4d79:5042:d048:a6a2) |
| 2024-10-04 18:16:36 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 18:17:18 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-04 18:21:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-10-04 18:21:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 18:24:10 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-10-04 18:27:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-04 18:36:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 18:37:39 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-10-04 18:38:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 18:39:04 +0200 | kmein | (~weechat@user/kmein) (Ping timeout: 260 seconds) |
| 2024-10-04 18:40:58 +0200 | kmein | (~weechat@user/kmein) kmein |
| 2024-10-04 18:42:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-04 18:43:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-04 18:52:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-04 18:53:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-04 18:54:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 18:56:20 +0200 | michalz_ | (~michalz@185.246.207.218) |
| 2024-10-04 18:57:25 +0200 | michalz | (~michalz@185.246.207.222) (Ping timeout: 248 seconds) |
| 2024-10-04 18:58:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-04 18:59:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 19:00:51 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-04 19:02:38 +0200 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2024-10-04 19:04:56 +0200 | euphores | (~SASL_euph@user/euphores) (Remote host closed the connection) |
| 2024-10-04 19:05:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-10-04 19:05:54 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-04 19:09:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 19:14:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-04 19:15:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-04 19:24:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 19:24:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-04 19:25:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-10-04 19:26:19 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-10-04 19:26:36 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-04 19:28:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-04 19:29:52 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-04 19:30:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-04 19:31:29 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 248 seconds) |
| 2024-10-04 19:31:54 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-10-04 19:32:43 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-04 19:34:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 19:34:37 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-10-04 19:35:11 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-10-04 19:35:47 +0200 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-04 19:36:42 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
| 2024-10-04 19:37:31 +0200 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-04 19:38:10 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
| 2024-10-04 19:38:24 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 2024-10-04 19:39:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 19:40:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-04 19:40:51 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-04 19:42:37 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-04 19:44:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-04 19:44:49 +0200 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (Ping timeout: 248 seconds) |
| 2024-10-04 19:45:00 +0200 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) taktoa[c] |
| 2024-10-04 19:51:09 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-10-04 19:54:57 +0200 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (Ping timeout: 248 seconds) |
| 2024-10-04 19:55:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 19:56:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-04 19:58:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-10-04 19:58:42 +0200 | neuroevolutus | (~neuroevol@146.70.211.46) neuroevolutus |
| 2024-10-04 19:59:23 +0200 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) alanz |
| 2024-10-04 19:59:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 20:00:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 20:02:15 +0200 | <monochrom> | Inst: Map (Integer, Integer) Integer should be faster then two levels of Map. You should also put it in the state of a State monad---write correct code first, make it pointfree after you understand it. It is not like pointfreeness is why the Python version is faster. |
| 2024-10-04 20:02:45 +0200 | <monochrom> | ugh s/faster then/faster than/ # I hate English |
| 2024-10-04 20:05:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-04 20:06:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 20:06:31 +0200 | neuroevolutus | (~neuroevol@146.70.211.46) (Ping timeout: 256 seconds) |
| 2024-10-04 20:06:34 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2024-10-04 20:07:08 +0200 | AlexZenon_2 | AlexZenon |
| 2024-10-04 20:10:16 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-10-04 20:11:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-04 20:11:52 +0200 | <c_wraith> | monochrom: don't worry, English is intended to annoy everyone |
| 2024-10-04 20:12:24 +0200 | <monochrom> | :) |
| 2024-10-04 20:13:18 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-10-04 20:14:17 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-10-04 20:15:25 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 20:15:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-04 20:16:16 +0200 | <geekosaur> | Norman soldiers, Saxon barmaids, etc. |
| 2024-10-04 20:17:29 +0200 | <Rembane> | Bloody vikings |
| 2024-10-04 20:21:05 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 248 seconds) |
| 2024-10-04 20:22:01 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-10-04 20:22:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 20:22:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-10-04 20:23:45 +0200 | systemfault | (sid267009@about/typescript/member/systemfault) (Ping timeout: 248 seconds) |
| 2024-10-04 20:24:35 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-04 20:24:44 +0200 | systemfault | (sid267009@about/typescript/member/systemfault) systemfault |
| 2024-10-04 20:26:05 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2024-10-04 20:29:37 +0200 | edm | (sid147314@id-147314.hampstead.irccloud.com) (Ping timeout: 248 seconds) |
| 2024-10-04 20:29:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-04 20:31:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-04 20:33:38 +0200 | edm | (sid147314@id-147314.hampstead.irccloud.com) |
| 2024-10-04 20:37:37 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2024-10-04 20:39:47 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 20:40:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 20:40:45 +0200 | danza | (~danza@user/danza) danza |
| 2024-10-04 20:41:40 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2024-10-04 20:42:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-04 20:45:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 20:45:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 20:45:37 +0200 | KicksonButt | (~quassel@187.21.174.221) |
| 2024-10-04 20:46:59 +0200 | <KicksonButt> | Hello, world |
| 2024-10-04 20:47:31 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-04 20:50:25 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-04 20:52:43 +0200 | <KicksonButt> | I'm trying to print 1/16 as 0.0625 but Haskell gives me 6.25e-2 |
| 2024-10-04 20:53:15 +0200 | EvanR | (~EvanR@user/evanr) (Read error: Connection reset by peer) |
| 2024-10-04 20:53:39 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2024-10-04 20:54:17 +0200 | <geekosaur> | > Numeric.showFFloat (Just 4) (1/16) "" |
| 2024-10-04 20:54:18 +0200 | <lambdabot> | "0.0625" |
| 2024-10-04 20:54:51 +0200 | <geekosaur> | you can't change the format used by the `Show` instance, though; you have to format it explicitly instead |
| 2024-10-04 20:55:24 +0200 | <geekosaur> | > Text.Printf.printf "%.4f" (1/16) |
| 2024-10-04 20:55:25 +0200 | <lambdabot> | error: |
| 2024-10-04 20:55:25 +0200 | <lambdabot> | • Ambiguous type variable ‘a0’ arising from a use of ‘show_M143143463937... |
| 2024-10-04 20:55:25 +0200 | <lambdabot> | prevents the constraint ‘(Show a0)’ from being solved. |
| 2024-10-04 20:55:31 +0200 | <geekosaur> | > Text.Printf.printf "%.4f" (1/16) :: String |
| 2024-10-04 20:55:32 +0200 | <lambdabot> | "0.0625" |
| 2024-10-04 20:56:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 20:56:38 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 20:59:37 +0200 | <EvanR> | > 1/16 |
| 2024-10-04 20:59:38 +0200 | <lambdabot> | 6.25e-2 |
| 2024-10-04 20:59:40 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 272 seconds) |
| 2024-10-04 20:59:42 +0200 | <EvanR> | smh |
| 2024-10-04 21:00:03 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-04 21:00:19 +0200 | <EvanR> | > printf "%g" (1/16) :: String |
| 2024-10-04 21:00:21 +0200 | <lambdabot> | "6.25e-2" |
| 2024-10-04 21:00:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-04 21:00:28 +0200 | <EvanR> | > printf "%a" (1/16) :: String |
| 2024-10-04 21:00:29 +0200 | <lambdabot> | "*Exception: printf: bad formatting char 'a' |
| 2024-10-04 21:00:38 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-04 21:00:44 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-04 21:01:14 +0200 | <EvanR> | that's unfortunate |
| 2024-10-04 21:02:40 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-04 21:03:33 +0200 | xyres137 | (~xyres137@85.73.110.232) |
| 2024-10-04 21:07:16 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds) |
| 2024-10-04 21:11:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 21:14:51 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.60)) |
| 2024-10-04 21:16:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-04 21:16:31 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 21:17:48 +0200 | simendsjo | (~user@84.211.91.108) simendsjo |
| 2024-10-04 21:19:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-10-04 21:19:23 +0200 | xyres137 | (~xyres137@85.73.110.232) (Remote host closed the connection) |
| 2024-10-04 21:19:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-04 21:21:57 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-10-04 21:26:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 21:28:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-04 21:28:45 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2024-10-04 21:30:02 +0200 | neuroevolutus | (~neuroevol@146.70.211.46) neuroevolutus |
| 2024-10-04 21:30:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |