Newest at the top
| 2024-10-04 07:16:18 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-04 07:16:17 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 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:15:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 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:10:36 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 07:06:49 +0200 | <Inst> | so this should be expected, right? |
| 2024-10-04 07:06:41 +0200 | <Inst> | A(4,2) is an integer of 19729 digits |
| 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:04:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 07:03:56 +0200 | <Inst> | is 4 2 supposed to stack overflow in haskell? |
| 2024-10-04 07:03:47 +0200 | <Inst> | i'm trying to hand memoize ackermann :( |
| 2024-10-04 07:03:12 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-10-04 07:02:04 +0200 | <Inst> | score, stack overflow! |
| 2024-10-04 06:59:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 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:56:35 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-04 06:50:34 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
| 2024-10-04 06:50:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 06:48:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 06:44:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 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: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:36:04 +0200 | morb | (~morb@108.41.100.120) (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:33:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 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:29:20 +0200 | michalz | (~michalz@185.246.207.222) |
| 2024-10-04 06:28:55 +0200 | morb | (~morb@108.41.100.120) |
| 2024-10-04 06:27:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 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:21:24 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:8757:488:1b7d:9c52) |
| 2024-10-04 06:20:36 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-10-04 06:20:09 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2024-10-04 06:18:54 +0200 | Axma61810 | (~Axman6@user/axman6) Axman6 |
| 2024-10-04 06:17:11 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-10-04 06:17:08 +0200 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
| 2024-10-04 06:16:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-04 06:16:47 +0200 | neuroevolutus | (~neuroevol@146.70.211.110) neuroevolutus |
| 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:13:48 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 06:12:33 +0200 | ghoulpine | (xfnw@user/meow/xfnw) (Ping timeout: 248 seconds) |
| 2024-10-04 06:12:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 06:11:47 +0200 | <Inst> | they're not parallelized by default, right? |
| 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:10:42 +0200 | synchromesh | (~john@2406:5a00:241a:5600:c4f0:795f:9391:8816) synchromesh |
| 2024-10-04 06:09:36 +0200 | liamzy__ | Inst |
| 2024-10-04 06:09:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 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:24 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |