| 2024-09-27 00:00:18 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 00:00:49 +0000 | <Inst> | i was using !_ = assert (9 > length neighbors) () as the checkpoint |
| 2024-09-27 00:02:40 +0000 | geekosaur | wonders if you really want `guard` |
| 2024-09-27 00:03:19 +0000 | <Inst> | am i misusing guard? |
| 2024-09-27 00:03:33 +0000 | <geekosaur> | :t guard |
| 2024-09-27 00:03:34 +0000 | <Inst> | it's in a do block over list with guard forcing termination |
| 2024-09-27 00:03:34 +0000 | <lambdabot> | Alternative f => Bool -> f () |
| 2024-09-27 00:03:58 +0000 | <geekosaur> | oh, I thought you meant what int-e was talking about |
| 2024-09-27 00:04:07 +0000 | <geekosaur> | case guards |
| 2024-09-27 00:04:08 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-27 00:06:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 00:08:50 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2024-09-27 00:10:05 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 00:11:51 +0000 | arahael | (~arahael@user/arahael) arahael |
| 2024-09-27 00:12:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 00:12:30 +0000 | polyphem | (~rod@p4fc2c857.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-09-27 00:14:39 +0000 | polyphem | (~rod@p4fc2ccf6.dip0.t-ipconnect.de) polyphem |
| 2024-09-27 00:15:23 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-27 00:17:05 +0000 | <Inst> | also int-e, your way is better because it always executes on the top-level, whereas let / where with bang patterns only executes in the particular branch of the function |
| 2024-09-27 00:17:19 +0000 | <Inst> | although there's definitely cases where the scoping is what you want |
| 2024-09-27 00:17:26 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-27 00:22:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 00:23:51 +0000 | gdr3941 | (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) gdr3941 |
| 2024-09-27 00:27:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-27 00:36:34 +0000 | xff0x | (~xff0x@2405:6580:b080:900:edb3:3e3f:7e00:b65b) (Ping timeout: 260 seconds) |
| 2024-09-27 00:36:41 +0000 | gdr3941 | (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) (Quit: Fading out...) |
| 2024-09-27 00:38:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 00:39:45 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 00:40:15 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-09-27 00:43:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 00:46:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 00:53:04 +0000 | <Inst> | whoa, is it me or is the duplicate instance for NonEmpty pretty psychedelic? |
| 2024-09-27 00:54:05 +0000 | Misosabbe | (~Misosabbe@2a00:801:4f3:fb9c:22d2:cc07:9cb3:2) (Quit: Client closed) |
| 2024-09-27 00:54:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 00:55:06 +0000 | <Inst> | it's basically tails :: [a] -> [[a]] |
| 2024-09-27 00:59:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 01:00:41 +0000 | user363627 | (~user@user/user363627) user363627 |
| 2024-09-27 01:03:04 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-27 01:04:54 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 265 seconds) |
| 2024-09-27 01:10:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 01:10:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 01:10:31 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-09-27 01:11:28 +0000 | <dibblego> | it should be init . tails |
| 2024-09-27 01:12:20 +0000 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-27 01:15:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-27 01:18:53 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-27 01:19:17 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2024-09-27 01:19:51 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2024-09-27 01:24:34 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2024-09-27 01:24:38 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-09-27 01:25:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 01:26:56 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-27 01:31:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-27 01:31:40 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 01:32:14 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-27 01:32:38 +0000 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
| 2024-09-27 01:33:33 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-09-27 01:36:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-27 01:40:11 +0000 | arahael | (~arahael@user/arahael) (Ping timeout: 265 seconds) |
| 2024-09-27 01:41:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 01:44:51 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-27 01:46:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-27 01:48:39 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 01:54:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-27 01:54:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 01:55:04 +0000 | mxs | (~mxs@user/mxs) mxs |
| 2024-09-27 01:59:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-27 02:00:58 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-09-27 02:03:15 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-09-27 02:08:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 02:10:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 02:13:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 02:14:29 +0000 | td_ | (~td@i53870912.versanet.de) (Ping timeout: 252 seconds) |
| 2024-09-27 02:15:34 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 2024-09-27 02:15:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 02:16:18 +0000 | td_ | (~td@i5387092C.versanet.de) |
| 2024-09-27 02:26:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 02:26:43 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 02:29:28 +0000 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-27 02:31:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-27 02:31:50 +0000 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd |
| 2024-09-27 02:31:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-27 02:42:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 02:44:17 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 02:46:59 +0000 | mxs | (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-27 02:47:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-27 02:48:11 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2024-09-27 02:56:43 +0000 | skylord5816 | (~skylord58@user/skylord5816) skylord5816 |
| 2024-09-27 02:57:02 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-27 02:58:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 03:03:11 +0000 | skylord5816 | (~skylord58@user/skylord5816) (Quit: bye) |
| 2024-09-27 03:03:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 03:03:29 +0000 | skylord5816 | (~skylord58@user/skylord5816) skylord5816 |
| 2024-09-27 03:13:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 03:18:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-27 03:29:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 03:34:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-27 03:37:19 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:538:d7bb:b13e:aad) (Ping timeout: 264 seconds) |
| 2024-09-27 03:40:14 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-09-27 03:41:09 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2024-09-27 03:41:37 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2024-09-27 03:41:41 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-27 03:43:15 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 03:45:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 03:47:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-27 03:47:52 +0000 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-09-27 03:50:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-27 03:51:05 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2024-09-27 03:54:15 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-09-27 03:55:51 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-09-27 03:55:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 03:58:53 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-27 04:00:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-27 04:02:46 +0000 | user363627 | (~user@user/user363627) (Ping timeout: 265 seconds) |
| 2024-09-27 04:09:23 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-09-27 04:11:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 04:12:25 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 04:16:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-27 04:18:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 04:20:10 +0000 | polyphem | (~rod@p4fc2ccf6.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2024-09-27 04:20:15 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-27 04:25:04 +0000 | shapr | (~user@2601:19c:417e:5434:7fbe:b5f1:8fe7:ea47) (Ping timeout: 260 seconds) |
| 2024-09-27 04:26:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 04:27:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 04:32:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-27 04:33:42 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-27 04:41:24 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-09-27 04:43:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 04:47:26 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 04:48:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-27 04:52:05 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 04:56:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 04:59:26 +0000 | michalz | (~michalz@185.246.207.222) |
| 2024-09-27 05:01:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-27 05:06:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 05:12:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 05:15:08 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:e37c:11d0:d9af:37f2) |
| 2024-09-27 05:17:01 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-27 05:18:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-27 05:18:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-27 05:28:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 05:30:07 +0000 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-27 05:32:07 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 05:33:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 05:34:34 +0000 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2024-09-27 05:34:50 +0000 | benjaminl | (~benjaminl@user/benjaminl) benjaminl |
| 2024-09-27 05:37:28 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-27 05:44:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 05:49:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-27 05:49:41 +0000 | synchromesh | (~john@2406:5a00:241a:5600:2de5:ba26:2eef:9155) (Quit: WeeChat 4.0.5) |
| 2024-09-27 05:50:21 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-27 05:51:21 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 05:55:52 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-27 05:57:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 06:03:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-27 06:07:01 +0000 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-09-27 06:09:17 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 06:09:18 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-27 06:10:28 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-27 06:12:30 +0000 | synchromesh | (~john@2406:5a00:241a:5600:18b:90b7:734:b475) synchromesh |
| 2024-09-27 06:13:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 06:13:42 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-27 06:13:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 06:18:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-27 06:19:46 +0000 | CiaoSen | (~Jura@2a05:5800:2ec:5e00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-09-27 06:21:10 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
| 2024-09-27 06:24:47 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-27 06:27:42 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-27 06:28:28 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 06:29:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 06:33:16 +0000 | Digitteknohippie | (~user@77.47.7.51.dyn.plus.net) (Changing host) |
| 2024-09-27 06:33:16 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-09-27 06:33:16 +0000 | Digitteknohippie | Digit |
| 2024-09-27 06:34:57 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 06:35:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-27 06:40:53 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2024-09-27 06:45:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 06:47:31 +0000 | enikar | (~enikar@user/enikar) (Remote host closed the connection) |
| 2024-09-27 06:48:21 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 06:48:51 +0000 | enikar | (~enikar@user/enikar) enikar |
| 2024-09-27 06:51:43 +0000 | Square | (~Square@user/square) Square |
| 2024-09-27 06:52:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-27 06:58:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 07:00:01 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-27 07:00:38 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-09-27 07:03:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-27 07:07:28 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 07:08:42 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-09-27 07:12:29 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 260 seconds) |
| 2024-09-27 07:14:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 07:14:50 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-09-27 07:17:30 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-27 07:18:01 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-09-27 07:21:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 07:21:57 +0000 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Ping timeout: 276 seconds) |
| 2024-09-27 07:22:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-27 07:28:27 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-09-27 07:29:07 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb641041a00b3f8f8460.dip0.t-ipconnect.de) acidjnk |
| 2024-09-27 07:32:23 +0000 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2024-09-27 07:34:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 07:36:54 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 252 seconds) |
| 2024-09-27 07:41:09 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2024-09-27 07:41:51 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-09-27 07:42:11 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-27 07:49:59 +0000 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 260 seconds) |
| 2024-09-27 07:52:20 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-27 07:56:59 +0000 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) misterfish |
| 2024-09-27 07:58:39 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-09-27 08:03:48 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 08:04:02 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-09-27 08:04:59 +0000 | poxel | (~lennart@2a02:908:1472:4f60::720) |
| 2024-09-27 08:09:21 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 08:11:58 +0000 | causal | (~eric@50.35.88.207) causal |
| 2024-09-27 08:17:27 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-09-27 08:26:50 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 08:31:11 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-27 08:32:21 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 08:33:18 +0000 | euandreh | (~Thunderbi@189.6.105.228) (Quit: euandreh) |
| 2024-09-27 08:35:05 +0000 | <Inst> | dibblego: yes, since nonempty can't admit an empty element |
| 2024-09-27 08:37:20 +0000 | wizardng | (uid599328@id-599328.hampstead.irccloud.com) |
| 2024-09-27 08:41:17 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-27 08:42:34 +0000 | poxel | (~lennart@2a02:908:1472:4f60::720) (Changing host) |
| 2024-09-27 08:42:34 +0000 | poxel | (~lennart@user/poxel) poxel |
| 2024-09-27 08:43:18 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 2024-09-27 08:45:29 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2024-09-27 08:47:08 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 08:51:14 +0000 | poxel | (~lennart@user/poxel) (Quit: WeeChat 4.4.2) |
| 2024-09-27 08:51:56 +0000 | poxel | (~lennart@user/poxel) poxel |
| 2024-09-27 08:52:57 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-27 08:55:27 +0000 | poxel | (~lennart@user/poxel) (Client Quit) |
| 2024-09-27 08:55:46 +0000 | poxel | (~lennart@user/poxel) poxel |
| 2024-09-27 08:58:00 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-27 09:01:52 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2024-09-27 09:03:50 +0000 | arahael | (~arahael@user/arahael) arahael |
| 2024-09-27 09:04:07 +0000 | auri_ | (~auri@fsf/member/auri) () |
| 2024-09-27 09:04:18 +0000 | <Inst> | i'm wondering if other comonads for NonEmpty exist |
| 2024-09-27 09:04:37 +0000 | auri | (~auri@fsf/member/auri) auri |
| 2024-09-27 09:05:32 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2024-09-27 09:07:01 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 09:08:11 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-27 09:09:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 09:11:39 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-27 09:14:20 +0000 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) (Ping timeout: 272 seconds) |
| 2024-09-27 09:25:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 09:25:43 +0000 | kimiamania2 | (~65804703@user/kimiamania) kimiamania |
| 2024-09-27 09:27:13 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-27 09:27:15 +0000 | kimiamania | (~65804703@user/kimiamania) (Ping timeout: 246 seconds) |
| 2024-09-27 09:27:15 +0000 | kimiamania2 | kimiamania |
| 2024-09-27 09:29:14 +0000 | p3n | (~p3n@217.198.124.246) p3n |
| 2024-09-27 09:30:17 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-27 09:35:59 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2024-09-27 09:45:23 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 09:48:58 +0000 | <Inst> | this is cute, Monoid a => (a,) is a monad, (->) r is also a monad, (a,) is a comonad without the Monoid constraint, but Monoid r => (->) r is a comonad that requires the Monoid constraint |
| 2024-09-27 09:50:46 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-27 09:51:05 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-27 09:51:36 +0000 | <ncf> | it's dual |
| 2024-09-27 09:51:43 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
| 2024-09-27 09:51:44 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2024-09-27 09:52:14 +0000 | <ncf> | writer monad → monoid; reader monad → comonoid; writer comonad → comonoid; reader comonad → monoid |
| 2024-09-27 09:52:23 +0000 | <ncf> | (and comonoids are trivial in haskell) |
| 2024-09-27 09:52:32 +0000 | <Inst> | yeah i know |
| 2024-09-27 09:52:35 +0000 | <Inst> | product sum type duality |
| 2024-09-27 09:57:18 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-27 09:57:42 +0000 | <Inst> | is it meaningful to turn DOM into a comonad? |
| 2024-09-27 09:57:53 +0000 | <Inst> | https://dev.to/mikesol/frontend-comonad-backend-monad-1hfm |
| 2024-09-27 09:58:10 +0000 | <Inst> | although I suspect it's already been tried, and maybe coapplicative is better |
| 2024-09-27 09:59:35 +0000 | <Inst> | and yeah the duplicate here sucks, it should be duplicate term@(Stream _ rest) = Stream term $ duplicate rest |
| 2024-09-27 10:00:32 +0000 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 252 seconds) |
| 2024-09-27 10:01:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 10:02:37 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 10:03:23 +0000 | <Inst> | also, isn't non-empty with an infinite list just Stream? Interesting |
| 2024-09-27 10:06:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-27 10:07:55 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 10:09:20 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 10:09:49 +0000 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
| 2024-09-27 10:11:58 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds) |
| 2024-09-27 10:13:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-27 10:13:54 +0000 | CiaoSen | (~Jura@2a05:5800:2ec:5e00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-09-27 10:13:58 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-27 10:16:15 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
| 2024-09-27 10:21:05 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-09-27 10:21:41 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-09-27 10:22:00 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-27 10:22:41 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-09-27 10:22:57 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-09-27 10:25:59 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-27 10:26:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 10:26:45 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 10:32:17 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 10:33:07 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2024-09-27 10:35:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-27 10:39:23 +0000 | __monty__ | (~toonn@user/toonn) (Ping timeout: 252 seconds) |
| 2024-09-27 10:43:54 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-09-27 10:46:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 10:47:13 +0000 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Quit: ubert) |
| 2024-09-27 10:47:16 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 10:48:48 +0000 | __monty__ | (~toonn@user/toonn) (Ping timeout: 244 seconds) |
| 2024-09-27 10:50:45 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-09-27 10:51:29 +0000 | <Inst> | wow, this is silly |
| 2024-09-27 10:51:41 +0000 | <Inst> | newtype Silly = MkSilly Silly |
| 2024-09-27 10:52:09 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-27 10:52:47 +0000 | <Inst> | but you can also define a stream as a newtype |
| 2024-09-27 10:53:06 +0000 | <Inst> | newtype Stream a = MkStream (a, Stream a) |
| 2024-09-27 10:53:39 +0000 | <Inst> | so not that useless! |
| 2024-09-27 10:54:27 +0000 | <Rembane> | That's Haskell at its finest |
| 2024-09-27 10:54:44 +0000 | <Rembane> | That `a` makes it a functor and then only the sky is the limit |
| 2024-09-27 10:56:33 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-27 10:56:56 +0000 | wizardng | (uid599328@id-599328.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-27 11:03:39 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 11:07:01 +0000 | <mauke> | Silly ~ Void |
| 2024-09-27 11:07:59 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 11:14:21 +0000 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
| 2024-09-27 11:15:28 +0000 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Client Quit) |
| 2024-09-27 11:17:47 +0000 | <opqdonut> | the derived functor instance for newtype Stream a = MkStream (a, Stream a) is pretty funny though |
| 2024-09-27 11:18:33 +0000 | <Inst> | what is it? |
| 2024-09-27 11:19:19 +0000 | <Inst> | i suspect newtype Silly = MkSilly Silly was the definition of Void at some hypothetical stage of haskell where nullary data declarations didn't exist |
| 2024-09-27 11:19:51 +0000 | <opqdonut> | hmm, I'm wrong, the derived functor instance is actually ok. it's not using the Functor (,) a instance |
| 2024-09-27 11:20:59 +0000 | shapr | (~user@2601:19c:417e:5434:bdc6:ec2e:c291:3d0a) shapr |
| 2024-09-27 11:21:07 +0000 | <opqdonut> | right, it wouldn't even type |
| 2024-09-27 11:21:08 +0000 | <opqdonut> | nevermind |
| 2024-09-27 11:23:09 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 11:24:43 +0000 | <int-e> | :t fmap (fmap ?f) . first ?f |
| 2024-09-27 11:24:45 +0000 | <lambdabot> | (Functor f, ?f::b -> c) => (b, f b) -> (c, f c) |
| 2024-09-27 11:25:16 +0000 | <int-e> | (that would use (a,) Functor instance but there's no way a compiler would derive that) |
| 2024-09-27 11:25:46 +0000 | <ski> | Inst : it's how you define `Void' in SML |
| 2024-09-27 11:28:34 +0000 | <ski> | (`datatype void = AbsurdVoid of void', gives `val AbsurdVoid : void -> void'. then `fun absurd (AbsurdVoid v) = absurd v' gives val absurd : void -> 'a as eliminator/fold) |
| 2024-09-27 11:29:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-27 11:32:29 +0000 | <Inst> | diagonalized stream applicative is not valid, right? |
| 2024-09-27 11:32:43 +0000 | <Inst> | (lawful) |
| 2024-09-27 11:32:49 +0000 | <ski> | huh ? |
| 2024-09-27 11:33:23 +0000 | <Inst> | https://paste.tomsmeding.com/LKfGIhwI |
| 2024-09-27 11:34:03 +0000 | <Inst> | seek :: Int -> Stream a -> a; seek n (Stream a cont) = if n <=0 then a else seek (n-1) cont |
| 2024-09-27 11:34:41 +0000 | <ncf> | that's isomorphic to Reader ℕ |
| 2024-09-27 11:37:08 +0000 | <ski> | i don't think that's associative |
| 2024-09-27 11:38:02 +0000 | <Inst> | yeah, tbh, if it were lawful you'd probably expect it to the default instance for Applicative [a] to get it to tolerate infinite lists |
| 2024-09-27 11:38:09 +0000 | <ski> | ncf : it uses ⌜ℕ² ≃ ℕ⌝ |
| 2024-09-27 11:39:18 +0000 | <ncf> | does it? |
| 2024-09-27 11:39:40 +0000 | <ski> | yes, it traverses every element of the cartesian product of the two streams |
| 2024-09-27 11:40:00 +0000 | <Inst> | hence diagonalization |
| 2024-09-27 11:40:30 +0000 | <ncf> | diagonalise sometimes means f x = g x x |
| 2024-09-27 11:40:49 +0000 | <Inst> | is it possible to get an implementation of <*> for Stream that traverses every element and is lawful? |
| 2024-09-27 11:41:05 +0000 | <ski> | given `[0,1,2,3,...]' and `[0,1,2,3,...]', it would produce (if used with `liftA2 (,)') `[(0,0),(1,0),(0,1),(2,0),(1,1),(0,2),(3,0),(2,1),(1,2),(0,3),...]' |
| 2024-09-27 11:41:57 +0000 | <ski> | Inst : every element of what ? the two streams ? the cartesian product of them ? |
| 2024-09-27 11:41:59 +0000 | <Inst> | i mean the lazy way is just to clone list applicative which makes sense for finite lists |
| 2024-09-27 11:42:15 +0000 | <ski> | you can do `ZipList' on streams |
| 2024-09-27 11:42:22 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 11:42:32 +0000 | <ski> | (which is what ncf was talking about) |
| 2024-09-27 11:42:38 +0000 | <Inst> | ah |
| 2024-09-27 11:43:20 +0000 | <Inst> | but of t he product, i'm screwed, right? |
| 2024-09-27 11:43:31 +0000 | <ski> | can't parse, retry |
| 2024-09-27 11:44:47 +0000 | <Inst> | if say, for a <*> b, creating a product of every element in a applied to every element in b, reachable in finite time for any pair |
| 2024-09-27 11:44:50 +0000 | <Inst> | can't be done? |
| 2024-09-27 11:45:04 +0000 | <ski> | (btw, you should be able to do `(<*>)' on your `Stream' there, without involving `seek' and indices) |
| 2024-09-27 11:45:32 +0000 | <ski> | Inst : i'm pretty sure it can't be associative |
| 2024-09-27 11:46:22 +0000 | <Inst> | thanks for the help |
| 2024-09-27 11:48:05 +0000 | <ncf> | i guess the question is is there an associative isomorphism e : ℕ² ≃ ℕ |
| 2024-09-27 11:48:16 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-09-27 11:48:33 +0000 | <ncf> | actually it can't possibly be unital, right |
| 2024-09-27 11:49:48 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 11:51:49 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-09-27 11:52:22 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-27 11:52:54 +0000 | identity | (~identity@user/ZharMeny) identity |
| 2024-09-27 11:55:48 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 245 seconds) |
| 2024-09-27 11:56:39 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-09-27 11:59:06 +0000 | <ski> | magine given three `[0,1,2,3,...]'s. if we combine the first two, we get `[(0,0),(1,0),(0,1),(2,0),(1,1),(0,2),(3,0),(2,1),(1,2),(0,3),...]', which, if we combine it with the remaining `[0,1,2,3,...]', we get `[(0,0,0),(1,0,0),(0,0,1),(0,1,0),(1,0,1),(0,0,2),(2,0,0),(0,1,1),(1,0,2),(0,0,3),...]' |
| 2024-09-27 11:59:43 +0000 | <ski> | but if you instead combine `[0,1,2,3,...]' with the result of combining the latter two (being `[(0,0),(1,0),(0,1),(2,0),(1,1),(0,2),(3,0),(2,1),(1,2),(0,3),...]'), you get `[(0,0,0),(1,0,0),(0,1,0),(2,0,0),(1,1,0),(0,0,1),(3,0,0),(2,1,0),(1,0,1),(0,2,0),...]' |
| 2024-09-27 12:00:06 +0000 | <ski> | (and these two streams of triplets are different) |
| 2024-09-27 12:00:07 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2024-09-27 12:01:48 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-09-27 12:03:05 +0000 | <ski> | Inst ^ |
| 2024-09-27 12:04:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 12:09:57 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 12:10:26 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-27 12:13:20 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:e37c:11d0:d9af:37f2) (Remote host closed the connection) |
| 2024-09-27 12:13:38 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:fd9b:ad9e:2406:5420) |
| 2024-09-27 12:14:36 +0000 | <ski> | ncf : it couldn't, because it's injective. so you can't have a single column (or row) in the Cayley table that also mentions every inhabitant (is surjective) (there'd be none left to occur in the other entries in the table) |
| 2024-09-27 12:19:01 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 248 seconds) |
| 2024-09-27 12:24:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 12:28:33 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-27 12:32:56 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2024-09-27 12:38:44 +0000 | <shapr> | @quote ski |
| 2024-09-27 12:38:44 +0000 | <lambdabot> | ski says: ("unique among types, `Void -> X' has its own charm. tourists should definitly pay a visit") |
| 2024-09-27 12:38:55 +0000 | <shapr> | hej ski, god morgon |
| 2024-09-27 12:38:58 +0000 | billchenchina- | (~billchenc@103.152.35.21) billchenchina |
| 2024-09-27 12:39:15 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 12:40:08 +0000 | <ski> | mod gorgon |
| 2024-09-27 12:42:32 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-09-27 12:43:09 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-09-27 12:43:30 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-27 12:45:58 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-09-27 12:54:08 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 12:58:07 +0000 | youthlic1 | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-27 12:59:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 13:00:26 +0000 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 272 seconds) |
| 2024-09-27 13:00:27 +0000 | youthlic1 | youthlic |
| 2024-09-27 13:01:34 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-27 13:05:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 13:13:02 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 13:20:05 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-27 13:21:57 +0000 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) |
| 2024-09-27 13:22:51 +0000 | shapr` | (~user@2601:19c:417e:5434:eb39:1b12:d1f:659d) |
| 2024-09-27 13:24:12 +0000 | shapr | (~user@2601:19c:417e:5434:bdc6:ec2e:c291:3d0a) (Ping timeout: 246 seconds) |
| 2024-09-27 13:27:40 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 13:29:02 +0000 | polyphem | (~rod@p4fc2ccf6.dip0.t-ipconnect.de) polyphem |
| 2024-09-27 13:30:17 +0000 | <Inst> | i see @ ski |
| 2024-09-27 13:30:26 +0000 | <Inst> | probably going to try to master the comonad interface again |
| 2024-09-27 13:30:32 +0000 | <Inst> | but i get the sneaky feeling it's just alt-lens |
| 2024-09-27 13:31:22 +0000 | <Inst> | with the tradeoffs being better guaranteed performance, vs not being linked to a particular data structure |
| 2024-09-27 13:32:28 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-09-27 13:33:00 +0000 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) ft |
| 2024-09-27 13:34:50 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-09-27 13:35:13 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-09-27 13:36:15 +0000 | <Inst> | hmmm, semimonad exists |
| 2024-09-27 13:40:12 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-09-27 13:41:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-27 13:46:42 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-27 13:48:42 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-27 13:48:57 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-27 13:49:39 +0000 | youthlic | (~Thunderbi@user/youthlic) (Client Quit) |
| 2024-09-27 13:51:18 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-27 13:51:47 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 13:58:29 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-27 13:59:35 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 14:06:28 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-27 14:14:45 +0000 | shapr` | shapr |
| 2024-09-27 14:14:53 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2024-09-27 14:16:33 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-09-27 14:19:02 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-27 14:28:41 +0000 | synchromesh | (~john@2406:5a00:241a:5600:18b:90b7:734:b475) (Read error: Connection reset by peer) |
| 2024-09-27 14:28:46 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 14:30:06 +0000 | synchromesh | (~john@2406:5a00:241a:5600:18b:90b7:734:b475) synchromesh |
| 2024-09-27 14:35:10 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 14:36:59 +0000 | cpressey | (~weechat@176.254.119.170) cpressey |
| 2024-09-27 14:37:38 +0000 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2024-09-27 14:37:52 +0000 | dontdieych2_ | (~quassel@user/dontdieych2) dontdieych2 |
| 2024-09-27 14:38:41 +0000 | synchrom1 | (~john@2406:5a00:241a:5600:18b:90b7:734:b475) synchromesh |
| 2024-09-27 14:40:13 +0000 | dontdieych2 | (~quassel@user/dontdieych2) (Client Quit) |
| 2024-09-27 14:40:42 +0000 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2024-09-27 14:40:49 +0000 | dontdieych2 | (~quassel@user/dontdieych2) (Client Quit) |
| 2024-09-27 14:41:08 +0000 | synchromesh | (~john@2406:5a00:241a:5600:18b:90b7:734:b475) (Ping timeout: 272 seconds) |
| 2024-09-27 14:42:42 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 265 seconds) |
| 2024-09-27 14:45:36 +0000 | dontdieych2_ | (~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-09-27 14:57:47 +0000 | spew | (~spew@201.141.99.170) spew |
| 2024-09-27 15:03:37 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 15:11:50 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 15:12:25 +0000 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 2024-09-27 15:14:52 +0000 | xff0x | (~xff0x@2405:6580:b080:900:9334:d416:507d:a2f5) |
| 2024-09-27 15:20:24 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:fd9b:ad9e:2406:5420) (Ping timeout: 272 seconds) |
| 2024-09-27 15:32:30 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-09-27 15:32:49 +0000 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) (Quit: leaving) |
| 2024-09-27 15:38:13 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-27 15:39:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 15:49:41 +0000 | jkoshy1 | (~jkoshy@20.1.187.81.in-addr.arpa) |
| 2024-09-27 15:50:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-27 15:54:16 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 15:58:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 15:58:46 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 16:00:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 16:02:30 +0000 | billchenchina- | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2024-09-27 16:04:34 +0000 | jkoshy1 | (~jkoshy@20.1.187.81.in-addr.arpa) (Quit: leaving) |
| 2024-09-27 16:06:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-27 16:12:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 16:16:10 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:995f:117d:7c12:db9c) |
| 2024-09-27 16:16:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-27 16:16:44 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-09-27 16:18:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 16:29:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 16:32:17 +0000 | cpressey | (~weechat@176.254.119.170) (Ping timeout: 248 seconds) |
| 2024-09-27 16:33:18 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 2024-09-27 16:36:53 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-09-27 16:40:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 16:46:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 16:47:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-27 16:52:57 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 16:54:18 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2024-09-27 16:54:40 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2024-09-27 16:55:38 +0000 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-09-27 16:57:53 +0000 | <monochrom> | As a plot twist, the "g x x" kind of diagonalization is how to make Stream a monad. When downgrading this monad to applicative, you get the ZipList applicative. |
| 2024-09-27 16:58:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 16:58:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 16:59:35 +0000 | <monochrom> | Here it goes: If you accept the syntax "s !! n" to mean the nth item of s, then join s = [ s !! n !! n | n <- [0..] ] |
| 2024-09-27 17:00:14 +0000 | <ski> | @src (->) (>>=) |
| 2024-09-27 17:00:15 +0000 | <lambdabot> | f >>= k = \ r -> k (f r) r |
| 2024-09-27 17:00:22 +0000 | <ski> | ap rab ra r = rab r (ra r) |
| 2024-09-27 17:00:26 +0000 | <ski> | join rra r = rra r r |
| 2024-09-27 17:01:15 +0000 | <monochrom> | Yeah it is also the (->) ℕ monad. |
| 2024-09-27 17:02:09 +0000 | <monochrom> | You can also prove that there is no other choice, join and >>= must do that. |
| 2024-09-27 17:02:21 +0000 | fgaz_ | fgaz |
| 2024-09-27 17:06:13 +0000 | <monochrom> | I have a beautiful proof that just needs to consider [[0..], [0..], ...], then appeal to naturality for arbitrary content. :) |
| 2024-09-27 17:08:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-27 17:11:49 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 17:12:14 +0000 | Square | (~Square@user/square) Square |
| 2024-09-27 17:13:13 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 2024-09-27 17:16:19 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) sciencentistguy |
| 2024-09-27 17:17:34 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-09-27 17:19:53 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 17:20:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 17:22:31 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-09-27 17:27:18 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-27 17:27:50 +0000 | catties | kitties |
| 2024-09-27 17:27:58 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-27 17:31:28 +0000 | fun-safe-math | (~fun-safe-@24.21.106.247) fun-safe-math |
| 2024-09-27 17:36:55 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-09-27 17:38:28 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 272 seconds) |
| 2024-09-27 17:40:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 17:42:34 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-27 17:43:08 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Quit: Lost terminal) |
| 2024-09-27 17:43:38 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-09-27 17:46:55 +0000 | sprout_ | sprout |
| 2024-09-27 17:48:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 17:49:09 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2024-09-27 17:50:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 17:59:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 17:59:44 +0000 | briandaed | (~root@185.234.210.211) |
| 2024-09-27 18:00:53 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 18:01:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 18:04:01 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-27 18:04:06 +0000 | Luj96 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) Luj |
| 2024-09-27 18:04:25 +0000 | bsima1_ | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2024-09-27 18:04:26 +0000 | titibandit_ | (e33ffbab65@user/titibandit) titibandit |
| 2024-09-27 18:04:26 +0000 | lane_ | (809450f172@2a03:6000:1812:100::1300) |
| 2024-09-27 18:04:27 +0000 | probie_ | (cc0b34050a@user/probie) probie |
| 2024-09-27 18:04:27 +0000 | evanrelf_ | (3addc196af@2a03:6000:1812:100::f0) evanrelf |
| 2024-09-27 18:04:28 +0000 | jmcantrell_ | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2024-09-27 18:04:29 +0000 | ursa-major_ | (114efe6c39@2a03:6000:1812:100::11f3) ursa-major |
| 2024-09-27 18:04:29 +0000 | sus_ | (1b7af6299f@user/zeromomentum) zeromomentum |
| 2024-09-27 18:04:29 +0000 | duncan__ | (c6181279e3@user/meow/duncan) duncan |
| 2024-09-27 18:04:29 +0000 | whereiseveryone_ | (206ba86c98@2a03:6000:1812:100::2e4) whereiseveryone |
| 2024-09-27 18:04:29 +0000 | aniketd_ | (32aa4844cd@2a03:6000:1812:100::dcb) aniketd |
| 2024-09-27 18:04:30 +0000 | chaitlatte0_ | (ea29c0bb16@2a03:6000:1812:100::1124) |
| 2024-09-27 18:04:30 +0000 | ymherklotz_ | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
| 2024-09-27 18:04:30 +0000 | sm2n_ | (ae95cb1267@user/sm2n) sm2n |
| 2024-09-27 18:04:30 +0000 | JoelMcCracken_ | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
| 2024-09-27 18:04:30 +0000 | akspecs_ | (00cc8321af@2a03:6000:1812:100::11a) |
| 2024-09-27 18:04:31 +0000 | pounce_ | (~pounce@user/cute/pounce) pounce |
| 2024-09-27 18:04:44 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2024-09-27 18:04:44 +0000 | ChanServ | +v haskellbridge |
| 2024-09-27 18:04:56 +0000 | sa1_ | (sid7690@id-7690.ilkley.irccloud.com) sa1 |
| 2024-09-27 18:04:56 +0000 | tapas_ | (sid467876@id-467876.ilkley.irccloud.com) tapas |
| 2024-09-27 18:04:57 +0000 | shawwwn_ | (sid6132@id-6132.helmsley.irccloud.com) shawwwn |
| 2024-09-27 18:04:57 +0000 | berberman | (~berberman@user/berberman) berberman |
| 2024-09-27 18:04:57 +0000 | hamishmack_ | (sid389057@id-389057.hampstead.irccloud.com) hamishmack |
| 2024-09-27 18:04:59 +0000 | astra_ | (sid289983@id-289983.hampstead.irccloud.com) |
| 2024-09-27 18:04:59 +0000 | jonrh_ | (sid5185@id-5185.ilkley.irccloud.com) jonrh |
| 2024-09-27 18:05:01 +0000 | rubin55_ | (sid666177@id-666177.lymington.irccloud.com) rubin55 |
| 2024-09-27 18:05:05 +0000 | siers | (~ij@user/ij) ij |
| 2024-09-27 18:05:07 +0000 | Hobbyboy|BNC | (Hobbyboy@hobbyboy.co.uk) Hobbyboy |
| 2024-09-27 18:05:07 +0000 | tomsmeding_ | (~tomsmedin@2a01:4f8:c0c:5e5e::2) tomsmeding |
| 2024-09-27 18:05:11 +0000 | PotatoGim_ | (sid99505@id-99505.lymington.irccloud.com) |
| 2024-09-27 18:05:13 +0000 | sa_ | (sid1055@id-1055.tinside.irccloud.com) sa |
| 2024-09-27 18:05:20 +0000 | dmj`_ | (sid72307@id-72307.hampstead.irccloud.com) dmj` |
| 2024-09-27 18:05:38 +0000 | SrPx_ | (sid108780@id-108780.uxbridge.irccloud.com) SrPx |
| 2024-09-27 18:06:09 +0000 | <briandaed> | what happened here... |
| 2024-09-27 18:06:24 +0000 | robobub_ | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2024-09-27 18:06:28 +0000 | V_ | (~v@ircpuzzles/2022/april/winner/V) V |
| 2024-09-27 18:07:00 +0000 | <geekosaur> | looks like a netsplit tp me |
| 2024-09-27 18:07:40 +0000 | <glguy> | what looks like a netsplit? |
| 2024-09-27 18:07:43 +0000 | remsen | (ianremsen@tilde.team) remsense |
| 2024-09-27 18:07:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-27 18:08:05 +0000 | <geekosaur> | hm, no, I don't see any part messages, just a bunch of joins looking like a reconnection |
| 2024-09-27 18:08:21 +0000 | <glguy> | oh. we might get one in a moment but it's not split, yet :) |
| 2024-09-27 18:08:25 +0000 | <geekosaur> | (haskellbridge doesn't count though, I just happened to restart docker) |
| 2024-09-27 18:09:45 +0000 | <Clint> | only a bunch from the same ipv6 subnet |
| 2024-09-27 18:10:28 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (*.net *.split) |
| 2024-09-27 18:10:29 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (*.net *.split) |
| 2024-09-27 18:10:29 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (*.net *.split) |
| 2024-09-27 18:10:29 +0000 | identity | (~identity@user/ZharMeny) (*.net *.split) |
| 2024-09-27 18:10:29 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (*.net *.split) |
| 2024-09-27 18:10:29 +0000 | TonyStone | (~TonyStone@user/TonyStone) (*.net *.split) |
| 2024-09-27 18:10:29 +0000 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) (*.net *.split) |
| 2024-09-27 18:10:29 +0000 | cns | (~Vengeance@2.219.56.221) (*.net *.split) |
| 2024-09-27 18:10:29 +0000 | spenat | (~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) (*.net *.split) |
| 2024-09-27 18:10:29 +0000 | jove_ | (~quassel@user/jove) (*.net *.split) |
| 2024-09-27 18:10:29 +0000 | tapas | (sid467876@id-467876.ilkley.irccloud.com) (*.net *.split) |
| 2024-09-27 18:10:29 +0000 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (*.net *.split) |
| 2024-09-27 18:10:29 +0000 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) (*.net *.split) |
| 2024-09-27 18:10:29 +0000 | hololeap | (~quassel@user/hololeap) (*.net *.split) |
| 2024-09-27 18:10:29 +0000 | rubin55 | (sid666177@id-666177.lymington.irccloud.com) (*.net *.split) |
| 2024-09-27 18:10:29 +0000 | mauke | (~mauke@user/mauke) (*.net *.split) |
| 2024-09-27 18:10:30 +0000 | sm2n | (ae95cb1267@user/sm2n) (*.net *.split) |
| 2024-09-27 18:10:30 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (*.net *.split) |
| 2024-09-27 18:10:31 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) (*.net *.split) |
| 2024-09-27 18:10:31 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (*.net *.split) |
| 2024-09-27 18:10:31 +0000 | probie | (cc0b34050a@user/probie) (*.net *.split) |
| 2024-09-27 18:10:31 +0000 | titibandit | (e33ffbab65@user/titibandit) (*.net *.split) |
| 2024-09-27 18:10:31 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (*.net *.split) |
| 2024-09-27 18:10:31 +0000 | jmcantrell | (644f1bed9a@user/jmcantrell) (*.net *.split) |
| 2024-09-27 18:10:31 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (*.net *.split) |
| 2024-09-27 18:10:31 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (*.net *.split) |
| 2024-09-27 18:10:31 +0000 | duncan | (c6181279e3@user/meow/duncan) (*.net *.split) |
| 2024-09-27 18:10:31 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (*.net *.split) |
| 2024-09-27 18:10:32 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (*.net *.split) |
| 2024-09-27 18:10:32 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) (*.net *.split) |
| 2024-09-27 18:10:32 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (*.net *.split) |
| 2024-09-27 18:10:32 +0000 | sus | (1b7af6299f@user/zeromomentum) (*.net *.split) |
| 2024-09-27 18:10:32 +0000 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split) |
| 2024-09-27 18:10:32 +0000 | fr33domlover | (~fr33domlo@towards.vision) (*.net *.split) |
| 2024-09-27 18:10:32 +0000 | end | (~end@user/end/x-0094621) (*.net *.split) |
| 2024-09-27 18:10:32 +0000 | cross | (~cross@spitfire.i.gajendra.net) (*.net *.split) |
| 2024-09-27 18:10:32 +0000 | berberman_ | (~berberman@user/berberman) (*.net *.split) |
| 2024-09-27 18:10:32 +0000 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split) |
| 2024-09-27 18:10:32 +0000 | pounce | (~pounce@user/cute/pounce) (*.net *.split) |
| 2024-09-27 18:10:32 +0000 | siers69 | (~ij@user/ij) (*.net *.split) |
| 2024-09-27 18:10:32 +0000 | remmie | (ianremsen@tilde.team) (*.net *.split) |
| 2024-09-27 18:10:32 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (*.net *.split) |
| 2024-09-27 18:10:32 +0000 | shachaf | (~shachaf@user/shachaf) (*.net *.split) |
| 2024-09-27 18:10:32 +0000 | ent | (entgod@kapsi.fi) (*.net *.split) |
| 2024-09-27 18:10:33 +0000 | int-e | (~noone@int-e.eu) (*.net *.split) |
| 2024-09-27 18:10:33 +0000 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (*.net *.split) |
| 2024-09-27 18:10:33 +0000 | V | (~v@ircpuzzles/2022/april/winner/V) (*.net *.split) |
| 2024-09-27 18:10:33 +0000 | kitties | (~catties@user/meow/catties) (*.net *.split) |
| 2024-09-27 18:10:33 +0000 | tjbc | (~tjbc@user/fliife) (*.net *.split) |
| 2024-09-27 18:10:33 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) (*.net *.split) |
| 2024-09-27 18:10:33 +0000 | stefan-__ | (~m-yh2rcc@42dots.de) (*.net *.split) |
| 2024-09-27 18:10:33 +0000 | sa | (sid1055@id-1055.tinside.irccloud.com) (*.net *.split) |
| 2024-09-27 18:10:33 +0000 | fernando-basso | (~fernando-@2a01:4f9:c012:63d3::1) (*.net *.split) |
| 2024-09-27 18:10:33 +0000 | astra | (sid289983@id-289983.hampstead.irccloud.com) (*.net *.split) |
| 2024-09-27 18:10:33 +0000 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) (*.net *.split) |
| 2024-09-27 18:10:33 +0000 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (*.net *.split) |
| 2024-09-27 18:10:34 +0000 | farn_ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split) |
| 2024-09-27 18:10:34 +0000 | ringo___ | (~ringo@157.230.117.128) (*.net *.split) |
| 2024-09-27 18:10:34 +0000 | jess | (meow@libera/staff/cat/jess) (*.net *.split) |
| 2024-09-27 18:10:34 +0000 | tureba | (~tureba@tureba.org) (*.net *.split) |
| 2024-09-27 18:10:34 +0000 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) (*.net *.split) |
| 2024-09-27 18:10:34 +0000 | koz | (~koz@121.99.240.58) (*.net *.split) |
| 2024-09-27 18:10:34 +0000 | sa1_ | sa1 |
| 2024-09-27 18:10:34 +0000 | duncan__ | duncan |
| 2024-09-27 18:10:34 +0000 | Hobbyboy|BNC | Hobbyboy |
| 2024-09-27 18:10:34 +0000 | JoelMcCracken_ | JoelMcCracken |
| 2024-09-27 18:10:35 +0000 | shawwwn_ | shawwwn |
| 2024-09-27 18:10:35 +0000 | tapas_ | tapas |
| 2024-09-27 18:10:35 +0000 | chaitlatte0_ | chaitlatte0 |
| 2024-09-27 18:10:35 +0000 | Luj96 | Luj9 |
| 2024-09-27 18:10:35 +0000 | jmcantrell_ | jmcantrell |
| 2024-09-27 18:10:35 +0000 | remsen | remmie |
| 2024-09-27 18:10:35 +0000 | jonrh_ | jonrh |
| 2024-09-27 18:10:36 +0000 | evanrelf_ | evanrelf |
| 2024-09-27 18:10:36 +0000 | pounce_ | pounce |
| 2024-09-27 18:10:36 +0000 | robobub_ | robobub |
| 2024-09-27 18:10:36 +0000 | titibandit_ | titibandit |
| 2024-09-27 18:10:36 +0000 | hamishmack_ | hamishmack |
| 2024-09-27 18:10:36 +0000 | dmj`_ | dmj` |
| 2024-09-27 18:10:36 +0000 | astra_ | astra |
| 2024-09-27 18:10:36 +0000 | whereiseveryone_ | whereiseveryone |
| 2024-09-27 18:10:36 +0000 | SrPx_ | SrPx |
| 2024-09-27 18:10:36 +0000 | rubin55_ | rubin55 |
| 2024-09-27 18:10:36 +0000 | aniketd_ | aniketd |
| 2024-09-27 18:10:36 +0000 | bsima1_ | bsima1 |
| 2024-09-27 18:10:36 +0000 | ymherklotz_ | ymherklotz |
| 2024-09-27 18:10:36 +0000 | sus_ | sus |
| 2024-09-27 18:10:36 +0000 | probie_ | probie |
| 2024-09-27 18:10:36 +0000 | sm2n_ | sm2n |
| 2024-09-27 18:10:37 +0000 | sa_ | sa |
| 2024-09-27 18:10:38 +0000 | ursa-major_ | ursa-major |
| 2024-09-27 18:11:08 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-09-27 18:11:08 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-09-27 18:11:08 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-09-27 18:11:08 +0000 | identity | (~identity@user/ZharMeny) identity |
| 2024-09-27 18:11:08 +0000 | TonyStone | (~TonyStone@user/TonyStone) TonyStone |
| 2024-09-27 18:11:08 +0000 | cns | (~Vengeance@2.219.56.221) |
| 2024-09-27 18:11:08 +0000 | spenat | (~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) spenat |
| 2024-09-27 18:11:08 +0000 | jove_ | (~quassel@user/jove) jove |
| 2024-09-27 18:11:08 +0000 | hololeap | (~quassel@user/hololeap) hololeap |
| 2024-09-27 18:11:08 +0000 | mauke | (~mauke@user/mauke) mauke |
| 2024-09-27 18:11:08 +0000 | fr33domlover | (~fr33domlo@towards.vision) fr33domlover |
| 2024-09-27 18:11:08 +0000 | end | (~end@user/end/x-0094621) end^ |
| 2024-09-27 18:11:08 +0000 | cross | (~cross@spitfire.i.gajendra.net) cross |
| 2024-09-27 18:11:08 +0000 | shachaf | (~shachaf@user/shachaf) shachaf |
| 2024-09-27 18:11:08 +0000 | ent | (entgod@kapsi.fi) ent |
| 2024-09-27 18:11:08 +0000 | int-e | (~noone@int-e.eu) int-e |
| 2024-09-27 18:11:08 +0000 | kitties | (~catties@user/meow/catties) catties |
| 2024-09-27 18:11:08 +0000 | tjbc | (~tjbc@user/fliife) fliife |
| 2024-09-27 18:11:08 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2024-09-27 18:11:08 +0000 | stefan-__ | (~m-yh2rcc@42dots.de) stefan-__ |
| 2024-09-27 18:11:08 +0000 | jess | (meow@libera/staff/cat/jess) jess |
| 2024-09-27 18:11:08 +0000 | fernando-basso | (~fernando-@2a01:4f9:c012:63d3::1) fernando-basso |
| 2024-09-27 18:11:08 +0000 | farn_ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) farn |
| 2024-09-27 18:11:08 +0000 | ringo___ | (~ringo@157.230.117.128) ringo_ |
| 2024-09-27 18:11:08 +0000 | tureba | (~tureba@tureba.org) tureba |
| 2024-09-27 18:11:08 +0000 | koz | (~koz@121.99.240.58) |
| 2024-09-27 18:11:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 18:11:51 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Max SendQ exceeded) |
| 2024-09-27 18:11:51 +0000 | cns | (~Vengeance@2.219.56.221) (Max SendQ exceeded) |
| 2024-09-27 18:11:51 +0000 | cross | (~cross@spitfire.i.gajendra.net) (Max SendQ exceeded) |
| 2024-09-27 18:12:35 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-09-27 18:13:59 +0000 | <glguy> | There, that was a split :) |
| 2024-09-27 18:14:10 +0000 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2024-09-27 18:14:17 +0000 | <Clint> | good work |
| 2024-09-27 18:14:25 +0000 | cns | (~Vengeance@2.219.56.221) |
| 2024-09-27 18:14:42 +0000 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Ping timeout: 246 seconds) |
| 2024-09-27 18:14:52 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 18:15:08 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2024-09-27 18:15:32 +0000 | Pixi` | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-09-27 18:17:25 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-09-27 18:17:27 +0000 | cross | (~cross@spitfire.i.gajendra.net) cross |
| 2024-09-27 18:18:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 18:21:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 18:22:23 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-09-27 18:24:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-27 18:25:35 +0000 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) gioyik |
| 2024-09-27 18:26:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-27 18:28:09 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-27 18:31:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 18:32:43 +0000 | kitties | catties |
| 2024-09-27 18:32:58 +0000 | cpressey | (~weechat@176.254.119.170) cpressey |
| 2024-09-27 18:36:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 18:36:38 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
| 2024-09-27 18:36:54 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-09-27 18:39:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 18:41:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-27 18:44:44 +0000 | <monochrom> | Wait, now you can forecast netsplits?! |
| 2024-09-27 18:45:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 18:47:38 +0000 | [exa] | hides the big red netsplit button |
| 2024-09-27 18:47:40 +0000 | <[exa]> | yes |
| 2024-09-27 18:47:58 +0000 | <monochrom> | :) |
| 2024-09-27 18:48:08 +0000 | <monochrom> | b |
| 2024-09-27 18:48:48 +0000 | <[exa]> | anyway, is there a name for "unixy" uniq/nub which would work in O(1) on pre-sorted stuff? |
| 2024-09-27 18:49:09 +0000 | <[exa]> | could go (map head.group) but that's 10 characters more than I imagined |
| 2024-09-27 18:49:39 +0000 | platao | (~mirc-rc@177.100.68.254) Platao |
| 2024-09-27 18:50:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 18:50:36 +0000 | <geekosaur> | @index nubOrd |
| 2024-09-27 18:50:36 +0000 | <lambdabot> | bzzt |
| 2024-09-27 18:51:01 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-27 18:51:20 +0000 | <geekosaur> | Data.Containers.ListUtils in `containers` |
| 2024-09-27 18:52:01 +0000 | <monochrom> | There was a long thread on a forum where everyone competed^W shared their overpowered solutions. But I don't know of anyone who actually packaged it up and put it on hackage. |
| 2024-09-27 18:52:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 18:52:31 +0000 | <geekosaur> | psst! https://downloads.haskell.org/ghc/latest/docs/libraries/containers-0.7-cfc3/Data-Containers-ListUt… |
| 2024-09-27 18:52:38 +0000 | <geekosaur> | it's even a bootlib! |
| 2024-09-27 18:53:06 +0000 | <monochrom> | OK but if you know it's pre-sorted and don't want to sort again... |
| 2024-09-27 18:54:13 +0000 | misterfish | (~misterfis@87.215.131.102) misterfish |
| 2024-09-27 18:55:09 +0000 | <glguy> | monochrom: If I was paying attention to the status messages I'd have known that split was coming, but... |
| 2024-09-27 18:55:18 +0000 | <[exa]> | nubOrd needs Ord for sorting, I only have Eq |
| 2024-09-27 18:57:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 18:57:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-27 18:58:09 +0000 | <dmj`> | :t map head . group |
| 2024-09-27 18:58:11 +0000 | <lambdabot> | Eq b => [b] -> [b] |
| 2024-09-27 19:00:05 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-27 19:00:32 +0000 | <EvanR> | that's a good one |
| 2024-09-27 19:00:43 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-09-27 19:00:51 +0000 | <EvanR> | a use of head which is not wrong |
| 2024-09-27 19:00:55 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-27 19:01:05 +0000 | <EvanR> | not wrongheaded at all |
| 2024-09-27 19:01:45 +0000 | <EvanR> | it's stuff like this that makes haskell still feel like a dynamic language, stuff you can do that works but slightly different crashes everything |
| 2024-09-27 19:02:25 +0000 | <EvanR> | and no compiler or linter can save you |
| 2024-09-27 19:03:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 19:04:38 +0000 | <dmj`> | :t catMaybes . map listToMaybe . group |
| 2024-09-27 19:04:39 +0000 | <lambdabot> | Eq a => [a] -> [a] |
| 2024-09-27 19:05:09 +0000 | <monochrom> | There is another group in Data.List.NonEmpty that gives [NonEmpty a] so you don't have to worry about head. |
| 2024-09-27 19:05:40 +0000 | <dmj`> | :t \xs -> [ x | x : _ <- group xs ] |
| 2024-09-27 19:05:43 +0000 | <lambdabot> | Eq a => [a] -> [a] |
| 2024-09-27 19:07:54 +0000 | <EvanR> | uh huh |
| 2024-09-27 19:08:51 +0000 | <monochrom> | At least it is not Scheme Any -> Any |
| 2024-09-27 19:09:03 +0000 | <EvanR> | map head . group works, but if you put a bunch more work into it and use this stuff hidden in a modular somewhere, and download a safeHead, it will still work xD |
| 2024-09-27 19:09:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 19:10:10 +0000 | <monochrom> | @quote safeFromJust |
| 2024-09-27 19:10:10 +0000 | <lambdabot> | monochrom says: I use safeFromJust :: Maybe a -> Maybe a |
| 2024-09-27 19:10:25 +0000 | <EvanR> | another function that works |
| 2024-09-27 19:11:31 +0000 | AlexZenon | (~alzenon@178.34.162.53) (Ping timeout: 244 seconds) |
| 2024-09-27 19:11:51 +0000 | <dmj`> | safeMaybe x = case x of { Nothing -> Nothing; Just y -> Just y; } |
| 2024-09-27 19:13:08 +0000 | <EvanR> | to make a function safe, make it return a Maybe |
| 2024-09-27 19:13:26 +0000 | <EvanR> | safeFromJust lampoons the idea properly, but this idea comes up all the time in other languages for serious |
| 2024-09-27 19:13:39 +0000 | <EvanR> | sometimes with resistance sometimes not |
| 2024-09-27 19:13:44 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-27 19:14:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-27 19:14:31 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-27 19:14:53 +0000 | <EvanR> | usually because it would be too inconvenient |
| 2024-09-27 19:17:36 +0000 | AlexZenon | (~alzenon@178.34.162.53) |
| 2024-09-27 19:18:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-27 19:19:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 19:24:16 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-27 19:24:34 +0000 | m1dnight | (~christoph@d8D861908.access.telenet.be) m1dnight |
| 2024-09-27 19:24:47 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Client Quit) |
| 2024-09-27 19:25:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 19:25:27 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-27 19:25:34 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-27 19:31:00 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 19:34:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 19:37:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-27 19:42:04 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-09-27 19:43:50 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-27 19:47:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 19:48:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 19:51:35 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 252 seconds) |
| 2024-09-27 19:52:19 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2024-09-27 19:52:21 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 19:52:21 +0000 | <ski> | or restrict the domain of the function |
| 2024-09-27 19:53:52 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-27 19:56:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-27 19:57:21 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 19:59:44 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-09-27 20:02:00 +0000 | <Inst> | monochrom: so the join method for stream is O(n^3)? |
| 2024-09-27 20:03:07 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-09-27 20:03:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 20:04:20 +0000 | <Inst> | n2, actually |
| 2024-09-27 20:08:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 20:11:41 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 20:11:49 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-09-27 20:12:14 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-09-27 20:12:22 +0000 | <ski> | <ski> (btw, you should be able to do `(<*>)' on your `Stream' there, without involving `seek' and indices) |
| 2024-09-27 20:12:52 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-09-27 20:13:14 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-09-27 20:13:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-27 20:15:07 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 20:19:01 +0000 | shapr | (~user@2601:19c:417e:5434:eb39:1b12:d1f:659d) (Ping timeout: 248 seconds) |
| 2024-09-27 20:19:05 +0000 | spew | (~spew@201.141.99.170) spew |
| 2024-09-27 20:19:49 +0000 | <Inst> | yeah, i just did the ziplist implementation |
| 2024-09-27 20:20:06 +0000 | <Inst> | wanted to write instances for something that was both a monad and a comonad |
| 2024-09-27 20:20:27 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-09-27 20:24:02 +0000 | Pixi | (~Pixi@user/pixi) Pixi |
| 2024-09-27 20:24:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 20:25:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-27 20:25:54 +0000 | briandaed | (~root@185.234.210.211) (Remote host closed the connection) |
| 2024-09-27 20:26:35 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-09-27 20:28:17 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-27 20:35:35 +0000 | son0p | (~ff@152.203.113.149) son0p |
| 2024-09-27 20:35:59 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 20:37:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-27 20:37:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 20:44:00 +0000 | michalz | (~michalz@185.246.207.222) (Remote host closed the connection) |
| 2024-09-27 20:48:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 20:50:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 20:52:35 +0000 | <ski> | but did you do the diagonal that visits each combination, without indices ? |
| 2024-09-27 20:53:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-27 20:57:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-27 20:59:08 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2024-09-27 20:59:17 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 21:01:15 +0000 | cpressey | (~weechat@176.254.119.170) (Ping timeout: 252 seconds) |
| 2024-09-27 21:02:34 +0000 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-09-27 21:02:56 +0000 | kimiamania | (~924ba01d@user/kimiamania) kimiamania |
| 2024-09-27 21:03:49 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 21:03:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 21:08:39 +0000 | <monochrom> | "s !! n !! n" is designed to show beauty not efficiency. |
| 2024-09-27 21:08:39 +0000 | hgolden__ | (~hgolden@23.162.40.69) hgolden |
| 2024-09-27 21:10:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-27 21:10:23 +0000 | <int-e> | it'll be quadratic for the first n elements anyway |
| 2024-09-27 21:11:29 +0000 | hgolden_ | (~hgolden@204.152.216.106) (Ping timeout: 260 seconds) |
| 2024-09-27 21:12:44 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-09-27 21:12:49 +0000 | <monochrom> | It is an exercise for the reader to realize that the least you can do for efficiency is zipWith (!!) s [0..n]. |
| 2024-09-27 21:12:55 +0000 | <monochrom> | err, [0..] |
| 2024-09-27 21:14:19 +0000 | <monochrom> | and also recognize how, though more efficient, it is also less clear about the central idea. |
| 2024-09-27 21:15:48 +0000 | <int-e> | all I was saying is that despite being designed for beauty its efficiency really isn't terrible |
| 2024-09-27 21:17:09 +0000 | <int-e> | (well, unless n gets big and you start noticing the "leaked" memory) |
| 2024-09-27 21:18:06 +0000 | <monochrom> | Hrm I may be wrong, zipWith (!!) s [0..] shows a different beauty. It's saying join s = liftA2 (!!) s [0..]. It is not everyday that join is expressible as <*>. >:) |
| 2024-09-27 21:18:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 21:20:02 +0000 | <monochrom> | This may actually generalize to all Naperian functors... |
| 2024-09-27 21:21:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 21:22:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 21:26:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-27 21:35:28 +0000 | AlexZenon | (~alzenon@178.34.162.53) (Ping timeout: 265 seconds) |
| 2024-09-27 21:36:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 21:37:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 21:39:14 +0000 | AlexZenon | (~alzenon@178.34.162.53) |
| 2024-09-27 21:39:54 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-09-27 21:41:49 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-27 21:44:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-27 21:48:43 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-09-27 21:52:29 +0000 | <ncf> | ski: check your PMs lately? |
| 2024-09-27 21:55:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 21:55:42 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-27 21:55:59 +0000 | platao | (~mirc-rc@177.100.68.254) (Quit: pop!_os channel on irc #pop!_os) |
| 2024-09-27 21:56:49 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 21:58:56 +0000 | <EvanR> | what's a Naperian Functor again |
| 2024-09-27 22:01:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-27 22:03:12 +0000 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2024-09-27 22:05:07 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-27 22:06:03 +0000 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) ft |
| 2024-09-27 22:06:46 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-09-27 22:09:30 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 22:09:53 +0000 | ski | . o O ( "What is a Naperian Container?" by Peter Hancock in 2005-06-19 at <https://web.archive.org/web/20170313140037/http://sneezy.cs.nott.ac.uk/containers/blog/?p=14> ) |
| 2024-09-27 22:12:43 +0000 | polyphem | (~rod@p4fc2ccf6.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-09-27 22:12:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 22:15:45 +0000 | Rembane | (~Rembane@user/Rembane) (Quit: WeeChat 4.1.1) |
| 2024-09-27 22:16:11 +0000 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 4.4.2) |
| 2024-09-27 22:19:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 22:19:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-27 22:20:06 +0000 | irssi | (~Rembane@user/Rembane) Rembane |
| 2024-09-27 22:21:09 +0000 | irssi | Rembane |
| 2024-09-27 22:23:50 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-27 22:24:10 +0000 | <monochrom> | A functor F that is isomorphic to (->)I for some index set/type I. The most familiar example is Stream as (->)ℕ. Another one is a finite example like "data Pair a = P a a" being (->)Bool. |
| 2024-09-27 22:26:56 +0000 | <monochrom> | Bool->X (for example) is like X^Bool, exponentiation, so going from Bool->X to X is like logarithm. Logarithm is from Napier, so "Naperian". |
| 2024-09-27 22:27:53 +0000 | <monochrom> | Err no, going from Bool->X to Bool is logarithm. |
| 2024-09-27 22:29:07 +0000 | <EvanR> | ok there's an index type or space |
| 2024-09-27 22:29:26 +0000 | <monochrom> | or in general, given F X, you ask what's I, and the answer is log(F X) = log(X^I) = I. |
| 2024-09-27 22:29:29 +0000 | symdrome | (~user@2804:1e78:2202:2220::416) symdrome |
| 2024-09-27 22:29:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 22:30:02 +0000 | <monochrom> | If you say "but that's just Reader" or "but that's just representable functor", you're right. :) |
| 2024-09-27 22:31:37 +0000 | <EvanR> | dependency injection functor |
| 2024-09-27 22:31:49 +0000 | <monochrom> | But in practice, people use the special name "Naperian" to emphasize that they also provide you with the type I and the functions going between F X and I->X. |
| 2024-09-27 22:33:12 +0000 | <monochrom> | https://www.cs.ox.ac.uk/publications/publication10857-abstract.html is a paper I particularly like about this (and some other stuff). |
| 2024-09-27 22:34:24 +0000 | <monochrom> | or simply code on hackage: https://hackage.haskell.org/package/naperian or https://hackage.haskell.org/package/Naperian |
| 2024-09-27 22:35:45 +0000 | <int-e> | all you need for memoization (that wheel must have been reinvented a million times) |
| 2024-09-27 22:35:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-27 22:36:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 22:38:27 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2024-09-27 22:40:20 +0000 | poxel | (~lennart@user/poxel) (Quit: WeeChat 4.4.2) |
| 2024-09-27 22:40:39 +0000 | symdrome | (~user@2804:1e78:2202:2220::416) (Remote host closed the connection) |
| 2024-09-27 22:41:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-27 22:52:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 22:54:37 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 22:54:43 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-09-27 22:55:03 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-27 22:58:43 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-27 23:00:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-27 23:06:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 23:09:44 +0000 | Inst | (~Inst@user/Inst) (Ping timeout: 255 seconds) |
| 2024-09-27 23:11:26 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-27 23:11:48 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 23:11:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 23:14:21 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-09-27 23:17:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-27 23:21:46 +0000 | <monochrom> | And https://www.vex.net/~trebla/tmp/Loeb.hs is me linking up the "memoFix" kind of memoization with the Löb kind by taking log and changing argument order. :) |
| 2024-09-27 23:22:51 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:995f:117d:7c12:db9c) (Remote host closed the connection) |
| 2024-09-27 23:27:26 +0000 | <monochrom> | This is a bad dad joke? We have tab :: (I -> a) -> F a, can I call its inverse bat :: F a -> I -> a ? |
| 2024-09-27 23:28:29 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-27 23:28:37 +0000 | <int-e> | memoize = lookup . tabulate -- my own boring pet names |
| 2024-09-27 23:29:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 23:31:10 +0000 | <monochrom> | They are too long. :) |
| 2024-09-27 23:31:33 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2024-09-27 23:32:04 +0000 | <EvanR> | tabulate is a good word |
| 2024-09-27 23:32:25 +0000 | <EvanR> | for a common or should be commonly understood operation |
| 2024-09-27 23:32:38 +0000 | <monochrom> | I stole it from the Hutton paper. :) But probably Hutton stole in from prior work, too. |
| 2024-09-27 23:32:40 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2024-09-27 23:32:59 +0000 | <monochrom> | I will settle for infix (!) for the inverse. |
| 2024-09-27 23:33:33 +0000 | <EvanR> | I always felt like ! and !! meant the lookup was liable to crash |
| 2024-09-27 23:33:41 +0000 | <EvanR> | which isn't the case here |
| 2024-09-27 23:33:48 +0000 | <monochrom> | (which is also very guessable for people who have used Map and Vector etc) |
| 2024-09-27 23:34:06 +0000 | <monochrom> | Right, this is a safe total lookup :) |
| 2024-09-27 23:34:47 +0000 | <EvanR> | a roadsign for something totally safe ... probably not a thing |
| 2024-09-27 23:34:56 +0000 | <monochrom> | haha |
| 2024-09-27 23:35:08 +0000 | <EvanR> | empty sign |
| 2024-09-27 23:35:28 +0000 | <int-e> | . o O ( sign reading "eyes on the road" ) |
| 2024-09-27 23:35:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-27 23:35:51 +0000 | <EvanR> | if you're close enough to read this back the hell off |
| 2024-09-27 23:39:06 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-09-27 23:41:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 23:43:19 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb641041a00b3f8f8460.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-09-27 23:43:27 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) sourcetarius |
| 2024-09-27 23:46:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 23:46:32 +0000 | troydm | (~troydm@user/troydm) troydm |
| 2024-09-27 23:48:26 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-27 23:57:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |