| 2024-09-27 00:02:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 00:02:40 +0200 | krei-se | (~krei-se@p57af2362.dip0.t-ipconnect.de) krei-se |
| 2024-09-27 00:07:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 00:17:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 00:19:55 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2024-09-27 00:20:58 +0200 | synchromesh | (~john@2406:5a00:241a:5600:2de5:ba26:2eef:9155) (Read error: Connection reset by peer) |
| 2024-09-27 00:21:06 +0200 | synchromesh | (~john@2406:5a00:241a:5600:2de5:ba26:2eef:9155) synchromesh |
| 2024-09-27 00:23:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-27 00:23:07 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-27 00:23:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 00:28:37 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 00:31:39 +0200 | Misosabbe | (~Misosabbe@2a00:801:4f3:fb9c:22d2:cc07:9cb3:2) |
| 2024-09-27 00:33:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 00:35:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 00:37:30 +0200 | <Misosabbe> | Hej, I'm trying to install GHC with stack with `stack setup`, however it fails with Network GetAddrInfo does not exist, for stackage-haddock.haskell.org:443 |
| 2024-09-27 00:37:30 +0200 | <Misosabbe> | I'd post a log but my IRC is on another computer, currently trying to install Xmonad on a fresh install of Archlinux. |
| 2024-09-27 00:38:24 +0200 | <Misosabbe> | stackage-haddock.haskell.org is a 404, so maybe someone done goofed up, or am I doing something wrong? |
| 2024-09-27 00:38:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 00:40:36 +0200 | demcgovern | (~demcgover@216.106.58.132.reverse.socket.net) demcgovern |
| 2024-09-27 00:40:51 +0200 | <Rembane> | Misosabbe: I don't know more than I also get the HTTP 404 |
| 2024-09-27 00:41:40 +0200 | <geekosaur> | I recall hearing that stackage was being migrated over to HF control, I wonder if something got updated a little before it was supposed to? |
| 2024-09-27 00:41:44 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-09-27 00:42:17 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Ping timeout: 255 seconds) |
| 2024-09-27 00:42:58 +0200 | <Misosabbe> | I also tried to install the stack-static package from AUR as an alternative, but it failed as it needed a gpg key I couldn't find on anyservers... |
| 2024-09-27 00:42:58 +0200 | <Misosabbe> | Any ideas for alternative routes? I would like to try not to use the arch maintained haskell packages, but I'm a bit blocked here :S |
| 2024-09-27 00:46:03 +0200 | <Rembane> | Misosabbe: Have you tried gchup? |
| 2024-09-27 00:48:27 +0200 | <Misosabbe> | aha no, I will look that up, thanks for the tip |
| 2024-09-27 00:48:28 +0200 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
| 2024-09-27 00:48:57 +0200 | <Rembane> | No worries, good luck! |
| 2024-09-27 00:49:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 00:53:34 +0200 | Square3 | (~Square4@user/square) Square |
| 2024-09-27 00:54:15 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-09-27 00:54:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 00:56:50 +0200 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2024-09-27 00:58:59 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 2024-09-27 00:59:15 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-09-27 01:01:06 +0200 | demcgovern | (~demcgover@216.106.58.132.reverse.socket.net) (Quit: Client closed) |
| 2024-09-27 01:04:04 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Ping timeout: 265 seconds) |
| 2024-09-27 01:05:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 01:05:32 +0200 | <Misosabbe> | Really wish Haskell was a bit more stable / user friendly :( Every time I have to fix something with Xmonad I always have to go through a bunch of hoops to just try and get Haskell to work |
| 2024-09-27 01:08:38 +0200 | <Misosabbe> | Stack felt like a step forward, but now it's not working when I need it :/ |
| 2024-09-27 01:10:16 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-09-27 01:10:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-27 01:11:42 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-09-27 01:14:35 +0200 | <haskellbridge> | <sm> Misosabbe: sorry you're having trouble. Can you access matrix ? Stack's maintainer is there, https://matrix.to/#/#haskell-stack:matrix.org |
| 2024-09-27 01:16:46 +0200 | <Misosabbe> | Ah thanks for the tip! :) I can see if I can get on matrix |
| 2024-09-27 01:20:13 +0200 | <haskellbridge> | <sm> and yes, "ghcup tui" is especially useful, many stack users use ghcup instead of stack's built-in GHC installer |
| 2024-09-27 01:21:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 01:21:19 +0200 | <haskellbridge> | <sm> possibly upgrading to the latest stack will help ? IIRC some hard-coded urls were changed without redirects when stackage moved to HF |
| 2024-09-27 01:21:25 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb33a563052759f358da.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-09-27 01:22:31 +0200 | <geekosaur> | the broken URL appears to be one of the new ones |
| 2024-09-27 01:23:18 +0200 | <Misosabbe> | sm So is it possible to use ghcup tui with stack? Is there a how to on that anywhere? :) |
| 2024-09-27 01:23:20 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-27 01:23:47 +0200 | <Misosabbe> | And thanks for notifying the maintainers, I managed to join the matrix |
| 2024-09-27 01:23:56 +0200 | <geekosaur> | if you install stack with ghcup (whether command line or tui) it will ask you whether you want to use its stack integration |
| 2024-09-27 01:24:18 +0200 | <geekosaur> | actually, it should do that when you install ghcup |
| 2024-09-27 01:24:35 +0200 | <geekosaur> | since it will auto-install the recommended versions of ghc, cabal, and stack |
| 2024-09-27 01:25:03 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2024-09-27 01:25:09 +0200 | <geekosaur> | "ghcup tui" then lets you install and make default other versions (and if the latest stack is throwing that error, try an older one) |
| 2024-09-27 01:26:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-27 01:26:55 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Client Quit) |
| 2024-09-27 01:26:59 +0200 | <haskellbridge> | <sm> would this be a #haskell-infrastructure issue now ? |
| 2024-09-27 01:27:31 +0200 | <geekosaur> | presumably |
| 2024-09-27 01:27:43 +0200 | <Misosabbe> | Thanks for the support, I will keep playing <3 |
| 2024-09-27 01:28:03 +0200 | <haskellbridge> | <sm> I'll mention it |
| 2024-09-27 01:28:12 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2024-09-27 01:29:52 +0200 | <sm> | hey all.. cc'ing from #haskell: a stack user is experiencing failures due to stackage-haddock.haskell.org:443 being unreachable |
| 2024-09-27 01:30:00 +0200 | <sm> | oops |
| 2024-09-27 01:30:26 +0200 | sm | has +1 chaos |
| 2024-09-27 01:34:58 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-27 01:35:22 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) sourcetarius |
| 2024-09-27 01:44:31 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 01:45:14 +0200 | <Inst> | okay... |
| 2024-09-27 01:45:24 +0200 | <Inst> | there's no assert_ :: (a -> Bool) -> a -> a? |
| 2024-09-27 01:47:40 +0200 | <Inst> | assert_ f a = assert (f a) a or (\a -> assert (_myFun a) a |
| 2024-09-27 01:48:53 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-09-27 01:49:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-27 01:49:57 +0200 | <monochrom> | https://hackage.haskell.org/package/base-4.20.0.1/docs/Control-Exception.html#v:assert |
| 2024-09-27 01:51:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 01:51:25 +0200 | <geekosaur> | easy enough to write yourself; doesn't meet the Fairbairn threshold IMO |
| 2024-09-27 01:52:28 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-27 01:52:50 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-09-27 01:53:26 +0200 | <Inst> | yeah i guess, i ran it as a debug function since traceShowId was providing too much information |
| 2024-09-27 01:54:53 +0200 | <geekosaur> | I don't consider that one to meet Fairbairn either tbh |
| 2024-09-27 01:55:03 +0200 | <geekosaur> | I just use `trace` |
| 2024-09-27 01:55:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 01:55:08 +0200 | <monochrom> | Also I would find things like "assert (n < length xs) (xs !! n)" the dominant use case, generally the condition is not simply a predicate over the answer. |
| 2024-09-27 01:56:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-27 01:56:03 +0200 | <monochrom> | We need a derogatory name for the opposite of the Fairbairn threshold. |
| 2024-09-27 01:56:25 +0200 | <monochrom> | I.e., a name for "yes, it's just you, no one else wants that function". |
| 2024-09-27 01:56:32 +0200 | geekosaur | is not so much with the "derogatory" |
| 2024-09-27 01:56:36 +0200 | <int-e> | I like `traceShow`, it feels useful. |
| 2024-09-27 01:56:56 +0200 | <int-e> | but I can't say the same about `traceShowId` |
| 2024-09-27 01:57:53 +0200 | <int-e> | usually with the guard trick; I'll do | traceShow ("label", val1, val2) False = undefined |
| 2024-09-27 01:58:48 +0200 | <haskellbridge> | <sm> traceShowId is handy sometimes |
| 2024-09-27 01:59:27 +0200 | <Inst> | let !_ = traceShow ("label", val1, val2) () in |
| 2024-09-27 01:59:34 +0200 | <haskellbridge> | <sm> as usual I'll mention my Hledger.Utils.Debug for more trace helper ideas |
| 2024-09-27 02:00:18 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 02:00:49 +0200 | <Inst> | i was using !_ = assert (9 > length neighbors) () as the checkpoint |
| 2024-09-27 02:02:40 +0200 | geekosaur | wonders if you really want `guard` |
| 2024-09-27 02:03:19 +0200 | <Inst> | am i misusing guard? |
| 2024-09-27 02:03:33 +0200 | <geekosaur> | :t guard |
| 2024-09-27 02:03:34 +0200 | <Inst> | it's in a do block over list with guard forcing termination |
| 2024-09-27 02:03:34 +0200 | <lambdabot> | Alternative f => Bool -> f () |
| 2024-09-27 02:03:58 +0200 | <geekosaur> | oh, I thought you meant what int-e was talking about |
| 2024-09-27 02:04:07 +0200 | <geekosaur> | case guards |
| 2024-09-27 02:04:08 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-27 02:06:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 02:08:50 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2024-09-27 02:10:05 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 02:11:51 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2024-09-27 02:12:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 02:12:30 +0200 | polyphem | (~rod@p4fc2c857.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-09-27 02:14:39 +0200 | polyphem | (~rod@p4fc2ccf6.dip0.t-ipconnect.de) polyphem |
| 2024-09-27 02:15:23 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-27 02:17:05 +0200 | <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 02:17:19 +0200 | <Inst> | although there's definitely cases where the scoping is what you want |
| 2024-09-27 02:17:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-27 02:22:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 02:23:51 +0200 | gdr3941 | (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) gdr3941 |
| 2024-09-27 02:27:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-27 02:36:34 +0200 | xff0x | (~xff0x@2405:6580:b080:900:edb3:3e3f:7e00:b65b) (Ping timeout: 260 seconds) |
| 2024-09-27 02:36:41 +0200 | gdr3941 | (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) (Quit: Fading out...) |
| 2024-09-27 02:38:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 02:39:45 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 02:40:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-09-27 02:43:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 02:46:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 02:53:04 +0200 | <Inst> | whoa, is it me or is the duplicate instance for NonEmpty pretty psychedelic? |
| 2024-09-27 02:54:05 +0200 | Misosabbe | (~Misosabbe@2a00:801:4f3:fb9c:22d2:cc07:9cb3:2) (Quit: Client closed) |
| 2024-09-27 02:54:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 02:55:06 +0200 | <Inst> | it's basically tails :: [a] -> [[a]] |
| 2024-09-27 02:59:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 03:00:41 +0200 | user363627 | (~user@user/user363627) user363627 |
| 2024-09-27 03:03:04 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-27 03:04:54 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 265 seconds) |
| 2024-09-27 03:10:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 03:10:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 03:10:31 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-09-27 03:11:28 +0200 | <dibblego> | it should be init . tails |
| 2024-09-27 03:12:20 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-27 03:15:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-27 03:18:53 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-27 03:19:17 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2024-09-27 03:19:51 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2024-09-27 03:24:34 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2024-09-27 03:24:38 +0200 | troojg | (~troojg@user/troojg) troojg |
| 2024-09-27 03:25:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 03:26:56 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-27 03:31:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-27 03:31:40 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 03:32:14 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-27 03:32:38 +0200 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
| 2024-09-27 03:33:33 +0200 | troojg | (~troojg@user/troojg) troojg |
| 2024-09-27 03:36:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-27 03:40:11 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 265 seconds) |
| 2024-09-27 03:41:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 03:44:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-27 03:46:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-27 03:48:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 03:54:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-27 03:54:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 03:55:04 +0200 | mxs | (~mxs@user/mxs) mxs |
| 2024-09-27 03:59:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-27 04:00:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-09-27 04:03:15 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-09-27 04:08:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 04:10:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 04:13:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 04:14:29 +0200 | td_ | (~td@i53870912.versanet.de) (Ping timeout: 252 seconds) |
| 2024-09-27 04:15:34 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 2024-09-27 04:15:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 04:16:18 +0200 | td_ | (~td@i5387092C.versanet.de) |
| 2024-09-27 04:26:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 04:26:43 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 04:29:28 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-27 04:31:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-27 04:31:50 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd |
| 2024-09-27 04:31:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-27 04:42:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 04:44:17 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 04:46:59 +0200 | mxs | (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-27 04:47:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-27 04:48:11 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2024-09-27 04:56:43 +0200 | skylord5816 | (~skylord58@user/skylord5816) skylord5816 |
| 2024-09-27 04:57:02 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-27 04:58:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 05:03:11 +0200 | skylord5816 | (~skylord58@user/skylord5816) (Quit: bye) |
| 2024-09-27 05:03:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 05:03:29 +0200 | skylord5816 | (~skylord58@user/skylord5816) skylord5816 |
| 2024-09-27 05:13:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 05:18:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-27 05:29:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 05:34:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-27 05:37:19 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:538:d7bb:b13e:aad) (Ping timeout: 264 seconds) |
| 2024-09-27 05:40:14 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-09-27 05:41:09 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2024-09-27 05:41:37 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-09-27 05:41:41 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-27 05:43:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 05:45:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 05:47:44 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-27 05:47:52 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-09-27 05:50:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-27 05:51:05 +0200 | dolio | (~dolio@130.44.140.168) dolio |
| 2024-09-27 05:54:15 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-09-27 05:55:51 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-09-27 05:55:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 05:58:53 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-27 06:00:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-27 06:02:46 +0200 | user363627 | (~user@user/user363627) (Ping timeout: 265 seconds) |
| 2024-09-27 06:09:23 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-09-27 06:11:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 06:12:25 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 06:16:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-27 06:18:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 06:20:10 +0200 | polyphem | (~rod@p4fc2ccf6.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2024-09-27 06:20:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-27 06:25:04 +0200 | shapr | (~user@2601:19c:417e:5434:7fbe:b5f1:8fe7:ea47) (Ping timeout: 260 seconds) |
| 2024-09-27 06:26:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 06:27:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 06:32:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-27 06:33:42 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-27 06:41:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-09-27 06:43:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 06:47:26 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 06:48:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-27 06:52:05 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 06:56:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 06:59:26 +0200 | michalz | (~michalz@185.246.207.222) |
| 2024-09-27 07:01:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-27 07:06:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 07:12:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 07:15:08 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e37c:11d0:d9af:37f2) |
| 2024-09-27 07:17:01 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-27 07:18:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-27 07:18:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-27 07:28:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 07:30:07 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-27 07:32:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 07:33:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 07:34:34 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2024-09-27 07:34:50 +0200 | benjaminl | (~benjaminl@user/benjaminl) benjaminl |
| 2024-09-27 07:37:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-27 07:44:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 07:49:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-27 07:49:41 +0200 | synchromesh | (~john@2406:5a00:241a:5600:2de5:ba26:2eef:9155) (Quit: WeeChat 4.0.5) |
| 2024-09-27 07:50:21 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-27 07:51:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 07:55:52 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-27 07:57:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 08:03:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-27 08:07:01 +0200 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-09-27 08:09:17 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 08:09:18 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-27 08:10:28 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-27 08:12:30 +0200 | synchromesh | (~john@2406:5a00:241a:5600:18b:90b7:734:b475) synchromesh |
| 2024-09-27 08:13:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 08:13:42 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-27 08:13:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 08:18:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-27 08:19:46 +0200 | CiaoSen | (~Jura@2a05:5800:2ec:5e00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-09-27 08:21:10 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
| 2024-09-27 08:24:47 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-27 08:27:42 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-27 08:28:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 08:29:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 08:33:16 +0200 | Digitteknohippie | (~user@77.47.7.51.dyn.plus.net) (Changing host) |
| 2024-09-27 08:33:16 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-09-27 08:33:16 +0200 | Digitteknohippie | Digit |
| 2024-09-27 08:34:57 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 08:35:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-27 08:40:53 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2024-09-27 08:45:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 08:47:31 +0200 | enikar | (~enikar@user/enikar) (Remote host closed the connection) |
| 2024-09-27 08:48:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 08:48:51 +0200 | enikar | (~enikar@user/enikar) enikar |
| 2024-09-27 08:51:43 +0200 | Square | (~Square@user/square) Square |
| 2024-09-27 08:52:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-27 08:58:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 09:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-27 09:00:38 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-09-27 09:03:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-27 09:07:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 09:08:42 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-09-27 09:12:29 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 260 seconds) |
| 2024-09-27 09:14:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 09:14:50 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-09-27 09:17:30 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-27 09:18:01 +0200 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-09-27 09:21:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 09:21:57 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Ping timeout: 276 seconds) |
| 2024-09-27 09:22:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-27 09:28:27 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-09-27 09:29:07 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb641041a00b3f8f8460.dip0.t-ipconnect.de) acidjnk |
| 2024-09-27 09:32:23 +0200 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2024-09-27 09:34:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 09:36:54 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 252 seconds) |
| 2024-09-27 09:41:09 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2024-09-27 09:41:51 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-09-27 09:42:11 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-27 09:49:59 +0200 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 260 seconds) |
| 2024-09-27 09:52:20 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-27 09:56:59 +0200 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) misterfish |
| 2024-09-27 09:58:39 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-09-27 10:03:48 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 10:04:02 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-09-27 10:04:59 +0200 | poxel | (~lennart@2a02:908:1472:4f60::720) |
| 2024-09-27 10:09:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 10:11:58 +0200 | causal | (~eric@50.35.88.207) causal |
| 2024-09-27 10:17:27 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-09-27 10:26:50 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 10:31:11 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-27 10:32:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 10:33:18 +0200 | euandreh | (~Thunderbi@189.6.105.228) (Quit: euandreh) |
| 2024-09-27 10:35:05 +0200 | <Inst> | dibblego: yes, since nonempty can't admit an empty element |
| 2024-09-27 10:37:20 +0200 | wizardng | (uid599328@id-599328.hampstead.irccloud.com) |
| 2024-09-27 10:41:17 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-27 10:42:34 +0200 | poxel | (~lennart@2a02:908:1472:4f60::720) (Changing host) |
| 2024-09-27 10:42:34 +0200 | poxel | (~lennart@user/poxel) poxel |
| 2024-09-27 10:43:18 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 2024-09-27 10:45:29 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2024-09-27 10:47:08 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 10:51:14 +0200 | poxel | (~lennart@user/poxel) (Quit: WeeChat 4.4.2) |
| 2024-09-27 10:51:56 +0200 | poxel | (~lennart@user/poxel) poxel |
| 2024-09-27 10:52:57 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-27 10:55:27 +0200 | poxel | (~lennart@user/poxel) (Client Quit) |
| 2024-09-27 10:55:46 +0200 | poxel | (~lennart@user/poxel) poxel |
| 2024-09-27 10:58:00 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-27 11:01:52 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2024-09-27 11:03:50 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2024-09-27 11:04:07 +0200 | auri_ | (~auri@fsf/member/auri) () |
| 2024-09-27 11:04:18 +0200 | <Inst> | i'm wondering if other comonads for NonEmpty exist |
| 2024-09-27 11:04:37 +0200 | auri | (~auri@fsf/member/auri) auri |
| 2024-09-27 11:05:32 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2024-09-27 11:07:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 11:08:11 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-27 11:09:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 11:11:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-27 11:14:20 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) (Ping timeout: 272 seconds) |
| 2024-09-27 11:25:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 11:25:43 +0200 | kimiamania2 | (~65804703@user/kimiamania) kimiamania |
| 2024-09-27 11:27:13 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-27 11:27:15 +0200 | kimiamania | (~65804703@user/kimiamania) (Ping timeout: 246 seconds) |
| 2024-09-27 11:27:15 +0200 | kimiamania2 | kimiamania |
| 2024-09-27 11:29:14 +0200 | p3n | (~p3n@217.198.124.246) p3n |
| 2024-09-27 11:30:17 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-27 11:35:59 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2024-09-27 11:45:23 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 11:48:58 +0200 | <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 11:50:46 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-27 11:51:05 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-27 11:51:36 +0200 | <ncf> | it's dual |
| 2024-09-27 11:51:43 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
| 2024-09-27 11:51:44 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2024-09-27 11:52:14 +0200 | <ncf> | writer monad → monoid; reader monad → comonoid; writer comonad → comonoid; reader comonad → monoid |
| 2024-09-27 11:52:23 +0200 | <ncf> | (and comonoids are trivial in haskell) |
| 2024-09-27 11:52:32 +0200 | <Inst> | yeah i know |
| 2024-09-27 11:52:35 +0200 | <Inst> | product sum type duality |
| 2024-09-27 11:57:18 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-27 11:57:42 +0200 | <Inst> | is it meaningful to turn DOM into a comonad? |
| 2024-09-27 11:57:53 +0200 | <Inst> | https://dev.to/mikesol/frontend-comonad-backend-monad-1hfm |
| 2024-09-27 11:58:10 +0200 | <Inst> | although I suspect it's already been tried, and maybe coapplicative is better |
| 2024-09-27 11:59:35 +0200 | <Inst> | and yeah the duplicate here sucks, it should be duplicate term@(Stream _ rest) = Stream term $ duplicate rest |
| 2024-09-27 12:00:32 +0200 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 252 seconds) |
| 2024-09-27 12:01:54 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 12:02:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 12:03:23 +0200 | <Inst> | also, isn't non-empty with an infinite list just Stream? Interesting |
| 2024-09-27 12:06:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-27 12:07:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 12:09:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 12:09:49 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
| 2024-09-27 12:11:58 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds) |
| 2024-09-27 12:13:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-27 12:13:54 +0200 | CiaoSen | (~Jura@2a05:5800:2ec:5e00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-09-27 12:13:58 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-27 12:16:15 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
| 2024-09-27 12:21:05 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-09-27 12:21:41 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-09-27 12:22:00 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-27 12:22:41 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-09-27 12:22:57 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-09-27 12:25:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-27 12:26:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 12:26:45 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 12:32:17 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 12:33:07 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2024-09-27 12:35:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-27 12:39:23 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 252 seconds) |
| 2024-09-27 12:43:54 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-09-27 12:46:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 12:47:13 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Quit: ubert) |
| 2024-09-27 12:47:16 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 12:48:48 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 244 seconds) |
| 2024-09-27 12:50:45 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-09-27 12:51:29 +0200 | <Inst> | wow, this is silly |
| 2024-09-27 12:51:41 +0200 | <Inst> | newtype Silly = MkSilly Silly |
| 2024-09-27 12:52:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-27 12:52:47 +0200 | <Inst> | but you can also define a stream as a newtype |
| 2024-09-27 12:53:06 +0200 | <Inst> | newtype Stream a = MkStream (a, Stream a) |
| 2024-09-27 12:53:39 +0200 | <Inst> | so not that useless! |
| 2024-09-27 12:54:27 +0200 | <Rembane> | That's Haskell at its finest |
| 2024-09-27 12:54:44 +0200 | <Rembane> | That `a` makes it a functor and then only the sky is the limit |
| 2024-09-27 12:56:33 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-27 12:56:56 +0200 | wizardng | (uid599328@id-599328.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-27 13:03:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 13:07:01 +0200 | <mauke> | Silly ~ Void |
| 2024-09-27 13:07:59 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 13:14:21 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
| 2024-09-27 13:15:28 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Client Quit) |
| 2024-09-27 13:17:47 +0200 | <opqdonut> | the derived functor instance for newtype Stream a = MkStream (a, Stream a) is pretty funny though |
| 2024-09-27 13:18:33 +0200 | <Inst> | what is it? |
| 2024-09-27 13:19:19 +0200 | <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 13:19:51 +0200 | <opqdonut> | hmm, I'm wrong, the derived functor instance is actually ok. it's not using the Functor (,) a instance |
| 2024-09-27 13:20:59 +0200 | shapr | (~user@2601:19c:417e:5434:bdc6:ec2e:c291:3d0a) shapr |
| 2024-09-27 13:21:07 +0200 | <opqdonut> | right, it wouldn't even type |
| 2024-09-27 13:21:08 +0200 | <opqdonut> | nevermind |
| 2024-09-27 13:23:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 13:24:43 +0200 | <int-e> | :t fmap (fmap ?f) . first ?f |
| 2024-09-27 13:24:45 +0200 | <lambdabot> | (Functor f, ?f::b -> c) => (b, f b) -> (c, f c) |
| 2024-09-27 13:25:16 +0200 | <int-e> | (that would use (a,) Functor instance but there's no way a compiler would derive that) |
| 2024-09-27 13:25:46 +0200 | <ski> | Inst : it's how you define `Void' in SML |
| 2024-09-27 13:28:34 +0200 | <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 13:29:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-27 13:32:29 +0200 | <Inst> | diagonalized stream applicative is not valid, right? |
| 2024-09-27 13:32:43 +0200 | <Inst> | (lawful) |
| 2024-09-27 13:32:49 +0200 | <ski> | huh ? |
| 2024-09-27 13:33:23 +0200 | <Inst> | https://paste.tomsmeding.com/LKfGIhwI |
| 2024-09-27 13:34:03 +0200 | <Inst> | seek :: Int -> Stream a -> a; seek n (Stream a cont) = if n <=0 then a else seek (n-1) cont |
| 2024-09-27 13:34:41 +0200 | <ncf> | that's isomorphic to Reader ℕ |
| 2024-09-27 13:37:08 +0200 | <ski> | i don't think that's associative |
| 2024-09-27 13:38:02 +0200 | <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 13:38:09 +0200 | <ski> | ncf : it uses ⌜ℕ² ≃ ℕ⌝ |
| 2024-09-27 13:39:18 +0200 | <ncf> | does it? |
| 2024-09-27 13:39:40 +0200 | <ski> | yes, it traverses every element of the cartesian product of the two streams |
| 2024-09-27 13:40:00 +0200 | <Inst> | hence diagonalization |
| 2024-09-27 13:40:30 +0200 | <ncf> | diagonalise sometimes means f x = g x x |
| 2024-09-27 13:40:49 +0200 | <Inst> | is it possible to get an implementation of <*> for Stream that traverses every element and is lawful? |
| 2024-09-27 13:41:05 +0200 | <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 13:41:57 +0200 | <ski> | Inst : every element of what ? the two streams ? the cartesian product of them ? |
| 2024-09-27 13:41:59 +0200 | <Inst> | i mean the lazy way is just to clone list applicative which makes sense for finite lists |
| 2024-09-27 13:42:15 +0200 | <ski> | you can do `ZipList' on streams |
| 2024-09-27 13:42:22 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 13:42:32 +0200 | <ski> | (which is what ncf was talking about) |
| 2024-09-27 13:42:38 +0200 | <Inst> | ah |
| 2024-09-27 13:43:20 +0200 | <Inst> | but of t he product, i'm screwed, right? |
| 2024-09-27 13:43:31 +0200 | <ski> | can't parse, retry |
| 2024-09-27 13:44:47 +0200 | <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 13:44:50 +0200 | <Inst> | can't be done? |
| 2024-09-27 13:45:04 +0200 | <ski> | (btw, you should be able to do `(<*>)' on your `Stream' there, without involving `seek' and indices) |
| 2024-09-27 13:45:32 +0200 | <ski> | Inst : i'm pretty sure it can't be associative |
| 2024-09-27 13:46:22 +0200 | <Inst> | thanks for the help |
| 2024-09-27 13:48:05 +0200 | <ncf> | i guess the question is is there an associative isomorphism e : ℕ² ≃ ℕ |
| 2024-09-27 13:48:16 +0200 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-09-27 13:48:33 +0200 | <ncf> | actually it can't possibly be unital, right |
| 2024-09-27 13:49:48 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 13:51:49 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-09-27 13:52:22 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-27 13:52:54 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-09-27 13:55:48 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 245 seconds) |
| 2024-09-27 13:56:39 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-09-27 13:59:06 +0200 | <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 13:59:43 +0200 | <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 14:00:06 +0200 | <ski> | (and these two streams of triplets are different) |
| 2024-09-27 14:00:07 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2024-09-27 14:01:48 +0200 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-09-27 14:03:05 +0200 | <ski> | Inst ^ |
| 2024-09-27 14:04:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 14:09:57 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 14:10:26 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-27 14:13:20 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e37c:11d0:d9af:37f2) (Remote host closed the connection) |
| 2024-09-27 14:13:38 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:fd9b:ad9e:2406:5420) |
| 2024-09-27 14:14:36 +0200 | <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 14:19:01 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 248 seconds) |
| 2024-09-27 14:24:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 14:28:33 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-27 14:32:56 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2024-09-27 14:38:44 +0200 | <shapr> | @quote ski |
| 2024-09-27 14:38:44 +0200 | <lambdabot> | ski says: ("unique among types, `Void -> X' has its own charm. tourists should definitly pay a visit") |
| 2024-09-27 14:38:55 +0200 | <shapr> | hej ski, god morgon |
| 2024-09-27 14:38:58 +0200 | billchenchina- | (~billchenc@103.152.35.21) billchenchina |
| 2024-09-27 14:39:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 14:40:08 +0200 | <ski> | mod gorgon |
| 2024-09-27 14:42:32 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-09-27 14:43:09 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-09-27 14:43:30 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-27 14:45:58 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-09-27 14:54:08 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 14:58:07 +0200 | youthlic1 | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-27 14:59:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 15:00:26 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 272 seconds) |
| 2024-09-27 15:00:27 +0200 | youthlic1 | youthlic |
| 2024-09-27 15:01:34 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-27 15:05:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 15:13:02 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 15:20:05 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-27 15:21:57 +0200 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) |
| 2024-09-27 15:22:51 +0200 | shapr` | (~user@2601:19c:417e:5434:eb39:1b12:d1f:659d) |
| 2024-09-27 15:24:12 +0200 | shapr | (~user@2601:19c:417e:5434:bdc6:ec2e:c291:3d0a) (Ping timeout: 246 seconds) |
| 2024-09-27 15:27:40 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 15:29:02 +0200 | polyphem | (~rod@p4fc2ccf6.dip0.t-ipconnect.de) polyphem |
| 2024-09-27 15:30:17 +0200 | <Inst> | i see @ ski |
| 2024-09-27 15:30:26 +0200 | <Inst> | probably going to try to master the comonad interface again |
| 2024-09-27 15:30:32 +0200 | <Inst> | but i get the sneaky feeling it's just alt-lens |
| 2024-09-27 15:31:22 +0200 | <Inst> | with the tradeoffs being better guaranteed performance, vs not being linked to a particular data structure |
| 2024-09-27 15:32:28 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-09-27 15:33:00 +0200 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) ft |
| 2024-09-27 15:34:50 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-09-27 15:35:13 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-09-27 15:36:15 +0200 | <Inst> | hmmm, semimonad exists |
| 2024-09-27 15:40:12 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-09-27 15:41:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-27 15:46:42 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-27 15:48:42 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-27 15:48:57 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-27 15:49:39 +0200 | youthlic | (~Thunderbi@user/youthlic) (Client Quit) |
| 2024-09-27 15:51:18 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-27 15:51:47 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 15:58:29 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-27 15:59:35 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 16:06:28 +0200 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-27 16:14:45 +0200 | shapr` | shapr |
| 2024-09-27 16:14:53 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2024-09-27 16:16:33 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-09-27 16:19:02 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-27 16:28:41 +0200 | synchromesh | (~john@2406:5a00:241a:5600:18b:90b7:734:b475) (Read error: Connection reset by peer) |
| 2024-09-27 16:28:46 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 16:30:06 +0200 | synchromesh | (~john@2406:5a00:241a:5600:18b:90b7:734:b475) synchromesh |
| 2024-09-27 16:35:10 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 16:36:59 +0200 | cpressey | (~weechat@176.254.119.170) cpressey |
| 2024-09-27 16:37:38 +0200 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2024-09-27 16:37:52 +0200 | dontdieych2_ | (~quassel@user/dontdieych2) dontdieych2 |
| 2024-09-27 16:38:41 +0200 | synchrom1 | (~john@2406:5a00:241a:5600:18b:90b7:734:b475) synchromesh |
| 2024-09-27 16:40:13 +0200 | dontdieych2 | (~quassel@user/dontdieych2) (Client Quit) |
| 2024-09-27 16:40:42 +0200 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2024-09-27 16:40:49 +0200 | dontdieych2 | (~quassel@user/dontdieych2) (Client Quit) |
| 2024-09-27 16:41:08 +0200 | synchromesh | (~john@2406:5a00:241a:5600:18b:90b7:734:b475) (Ping timeout: 272 seconds) |
| 2024-09-27 16:42:42 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 265 seconds) |
| 2024-09-27 16:45:36 +0200 | dontdieych2_ | (~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-09-27 16:57:47 +0200 | spew | (~spew@201.141.99.170) spew |
| 2024-09-27 17:03:37 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 17:11:50 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 17:12:25 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 2024-09-27 17:14:52 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9334:d416:507d:a2f5) |
| 2024-09-27 17:20:24 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:fd9b:ad9e:2406:5420) (Ping timeout: 272 seconds) |
| 2024-09-27 17:32:30 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-09-27 17:32:49 +0200 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) (Quit: leaving) |
| 2024-09-27 17:38:13 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-27 17:39:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 17:49:41 +0200 | jkoshy1 | (~jkoshy@20.1.187.81.in-addr.arpa) |
| 2024-09-27 17:50:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-27 17:54:16 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 17:58:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 17:58:46 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 18:00:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 18:02:30 +0200 | billchenchina- | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2024-09-27 18:04:34 +0200 | jkoshy1 | (~jkoshy@20.1.187.81.in-addr.arpa) (Quit: leaving) |
| 2024-09-27 18:06:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-27 18:12:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 18:16:10 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:995f:117d:7c12:db9c) |
| 2024-09-27 18:16:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-27 18:16:44 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-09-27 18:18:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 18:29:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 18:32:17 +0200 | cpressey | (~weechat@176.254.119.170) (Ping timeout: 248 seconds) |
| 2024-09-27 18:33:18 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 2024-09-27 18:36:53 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-09-27 18:40:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 18:46:44 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 18:47:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-27 18:52:57 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 18:54:18 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2024-09-27 18:54:40 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2024-09-27 18:55:38 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-09-27 18:57:53 +0200 | <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 18:58:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 18:58:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 18:59:35 +0200 | <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 19:00:14 +0200 | <ski> | @src (->) (>>=) |
| 2024-09-27 19:00:15 +0200 | <lambdabot> | f >>= k = \ r -> k (f r) r |
| 2024-09-27 19:00:22 +0200 | <ski> | ap rab ra r = rab r (ra r) |
| 2024-09-27 19:00:26 +0200 | <ski> | join rra r = rra r r |
| 2024-09-27 19:01:15 +0200 | <monochrom> | Yeah it is also the (->) ℕ monad. |
| 2024-09-27 19:02:09 +0200 | <monochrom> | You can also prove that there is no other choice, join and >>= must do that. |
| 2024-09-27 19:02:21 +0200 | fgaz_ | fgaz |
| 2024-09-27 19:06:13 +0200 | <monochrom> | I have a beautiful proof that just needs to consider [[0..], [0..], ...], then appeal to naturality for arbitrary content. :) |
| 2024-09-27 19:08:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-27 19:11:49 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 19:12:14 +0200 | Square | (~Square@user/square) Square |
| 2024-09-27 19:13:13 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 2024-09-27 19:16:19 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) sciencentistguy |
| 2024-09-27 19:17:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-09-27 19:19:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 19:20:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 19:22:31 +0200 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-09-27 19:27:18 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-27 19:27:50 +0200 | catties | kitties |
| 2024-09-27 19:27:58 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-27 19:31:28 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) fun-safe-math |
| 2024-09-27 19:36:55 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-09-27 19:38:28 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 272 seconds) |
| 2024-09-27 19:40:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 19:42:34 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-27 19:43:08 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Quit: Lost terminal) |
| 2024-09-27 19:43:38 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-09-27 19:46:55 +0200 | sprout_ | sprout |
| 2024-09-27 19:48:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 19:49:09 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2024-09-27 19:50:54 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 19:59:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 19:59:44 +0200 | briandaed | (~root@185.234.210.211) |
| 2024-09-27 20:00:53 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 20:01:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 20:04:01 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-27 20:04:06 +0200 | Luj96 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) Luj |
| 2024-09-27 20:04:25 +0200 | bsima1_ | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2024-09-27 20:04:26 +0200 | titibandit_ | (e33ffbab65@user/titibandit) titibandit |
| 2024-09-27 20:04:26 +0200 | lane_ | (809450f172@2a03:6000:1812:100::1300) |
| 2024-09-27 20:04:27 +0200 | probie_ | (cc0b34050a@user/probie) probie |
| 2024-09-27 20:04:27 +0200 | evanrelf_ | (3addc196af@2a03:6000:1812:100::f0) evanrelf |
| 2024-09-27 20:04:28 +0200 | jmcantrell_ | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2024-09-27 20:04:29 +0200 | ursa-major_ | (114efe6c39@2a03:6000:1812:100::11f3) ursa-major |
| 2024-09-27 20:04:29 +0200 | sus_ | (1b7af6299f@user/zeromomentum) zeromomentum |
| 2024-09-27 20:04:29 +0200 | duncan__ | (c6181279e3@user/meow/duncan) duncan |
| 2024-09-27 20:04:29 +0200 | whereiseveryone_ | (206ba86c98@2a03:6000:1812:100::2e4) whereiseveryone |
| 2024-09-27 20:04:29 +0200 | aniketd_ | (32aa4844cd@2a03:6000:1812:100::dcb) aniketd |
| 2024-09-27 20:04:30 +0200 | chaitlatte0_ | (ea29c0bb16@2a03:6000:1812:100::1124) |
| 2024-09-27 20:04:30 +0200 | ymherklotz_ | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
| 2024-09-27 20:04:30 +0200 | sm2n_ | (ae95cb1267@user/sm2n) sm2n |
| 2024-09-27 20:04:30 +0200 | JoelMcCracken_ | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
| 2024-09-27 20:04:30 +0200 | akspecs_ | (00cc8321af@2a03:6000:1812:100::11a) |
| 2024-09-27 20:04:31 +0200 | pounce_ | (~pounce@user/cute/pounce) pounce |
| 2024-09-27 20:04:44 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2024-09-27 20:04:44 +0200 | ChanServ | +v haskellbridge |
| 2024-09-27 20:04:56 +0200 | sa1_ | (sid7690@id-7690.ilkley.irccloud.com) sa1 |
| 2024-09-27 20:04:56 +0200 | tapas_ | (sid467876@id-467876.ilkley.irccloud.com) tapas |
| 2024-09-27 20:04:57 +0200 | shawwwn_ | (sid6132@id-6132.helmsley.irccloud.com) shawwwn |
| 2024-09-27 20:04:57 +0200 | berberman | (~berberman@user/berberman) berberman |
| 2024-09-27 20:04:57 +0200 | hamishmack_ | (sid389057@id-389057.hampstead.irccloud.com) hamishmack |
| 2024-09-27 20:04:59 +0200 | astra_ | (sid289983@id-289983.hampstead.irccloud.com) |
| 2024-09-27 20:04:59 +0200 | jonrh_ | (sid5185@id-5185.ilkley.irccloud.com) jonrh |
| 2024-09-27 20:05:01 +0200 | rubin55_ | (sid666177@id-666177.lymington.irccloud.com) rubin55 |
| 2024-09-27 20:05:05 +0200 | siers | (~ij@user/ij) ij |
| 2024-09-27 20:05:07 +0200 | Hobbyboy|BNC | (Hobbyboy@hobbyboy.co.uk) Hobbyboy |
| 2024-09-27 20:05:07 +0200 | tomsmeding_ | (~tomsmedin@2a01:4f8:c0c:5e5e::2) tomsmeding |
| 2024-09-27 20:05:11 +0200 | PotatoGim_ | (sid99505@id-99505.lymington.irccloud.com) |
| 2024-09-27 20:05:13 +0200 | sa_ | (sid1055@id-1055.tinside.irccloud.com) sa |
| 2024-09-27 20:05:20 +0200 | dmj`_ | (sid72307@id-72307.hampstead.irccloud.com) dmj` |
| 2024-09-27 20:05:38 +0200 | SrPx_ | (sid108780@id-108780.uxbridge.irccloud.com) SrPx |
| 2024-09-27 20:06:09 +0200 | <briandaed> | what happened here... |
| 2024-09-27 20:06:24 +0200 | robobub_ | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2024-09-27 20:06:28 +0200 | V_ | (~v@ircpuzzles/2022/april/winner/V) V |
| 2024-09-27 20:07:00 +0200 | <geekosaur> | looks like a netsplit tp me |
| 2024-09-27 20:07:40 +0200 | <glguy> | what looks like a netsplit? |
| 2024-09-27 20:07:43 +0200 | remsen | (ianremsen@tilde.team) remsense |
| 2024-09-27 20:07:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-27 20:08:05 +0200 | <geekosaur> | hm, no, I don't see any part messages, just a bunch of joins looking like a reconnection |
| 2024-09-27 20:08:21 +0200 | <glguy> | oh. we might get one in a moment but it's not split, yet :) |
| 2024-09-27 20:08:25 +0200 | <geekosaur> | (haskellbridge doesn't count though, I just happened to restart docker) |
| 2024-09-27 20:09:45 +0200 | <Clint> | only a bunch from the same ipv6 subnet |
| 2024-09-27 20:10:28 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (*.net *.split) |
| 2024-09-27 20:10:29 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (*.net *.split) |
| 2024-09-27 20:10:29 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (*.net *.split) |
| 2024-09-27 20:10:29 +0200 | identity | (~identity@user/ZharMeny) (*.net *.split) |
| 2024-09-27 20:10:29 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (*.net *.split) |
| 2024-09-27 20:10:29 +0200 | TonyStone | (~TonyStone@user/TonyStone) (*.net *.split) |
| 2024-09-27 20:10:29 +0200 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) (*.net *.split) |
| 2024-09-27 20:10:29 +0200 | cns | (~Vengeance@2.219.56.221) (*.net *.split) |
| 2024-09-27 20:10:29 +0200 | spenat | (~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) (*.net *.split) |
| 2024-09-27 20:10:29 +0200 | jove_ | (~quassel@user/jove) (*.net *.split) |
| 2024-09-27 20:10:29 +0200 | tapas | (sid467876@id-467876.ilkley.irccloud.com) (*.net *.split) |
| 2024-09-27 20:10:29 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (*.net *.split) |
| 2024-09-27 20:10:29 +0200 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) (*.net *.split) |
| 2024-09-27 20:10:29 +0200 | hololeap | (~quassel@user/hololeap) (*.net *.split) |
| 2024-09-27 20:10:29 +0200 | rubin55 | (sid666177@id-666177.lymington.irccloud.com) (*.net *.split) |
| 2024-09-27 20:10:29 +0200 | mauke | (~mauke@user/mauke) (*.net *.split) |
| 2024-09-27 20:10:30 +0200 | sm2n | (ae95cb1267@user/sm2n) (*.net *.split) |
| 2024-09-27 20:10:30 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (*.net *.split) |
| 2024-09-27 20:10:31 +0200 | lane | (809450f172@2a03:6000:1812:100::1300) (*.net *.split) |
| 2024-09-27 20:10:31 +0200 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (*.net *.split) |
| 2024-09-27 20:10:31 +0200 | probie | (cc0b34050a@user/probie) (*.net *.split) |
| 2024-09-27 20:10:31 +0200 | titibandit | (e33ffbab65@user/titibandit) (*.net *.split) |
| 2024-09-27 20:10:31 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (*.net *.split) |
| 2024-09-27 20:10:31 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) (*.net *.split) |
| 2024-09-27 20:10:31 +0200 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (*.net *.split) |
| 2024-09-27 20:10:31 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (*.net *.split) |
| 2024-09-27 20:10:31 +0200 | duncan | (c6181279e3@user/meow/duncan) (*.net *.split) |
| 2024-09-27 20:10:31 +0200 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (*.net *.split) |
| 2024-09-27 20:10:32 +0200 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (*.net *.split) |
| 2024-09-27 20:10:32 +0200 | akspecs | (00cc8321af@sourcehut/user/akspecs) (*.net *.split) |
| 2024-09-27 20:10:32 +0200 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (*.net *.split) |
| 2024-09-27 20:10:32 +0200 | sus | (1b7af6299f@user/zeromomentum) (*.net *.split) |
| 2024-09-27 20:10:32 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split) |
| 2024-09-27 20:10:32 +0200 | fr33domlover | (~fr33domlo@towards.vision) (*.net *.split) |
| 2024-09-27 20:10:32 +0200 | end | (~end@user/end/x-0094621) (*.net *.split) |
| 2024-09-27 20:10:32 +0200 | cross | (~cross@spitfire.i.gajendra.net) (*.net *.split) |
| 2024-09-27 20:10:32 +0200 | berberman_ | (~berberman@user/berberman) (*.net *.split) |
| 2024-09-27 20:10:32 +0200 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split) |
| 2024-09-27 20:10:32 +0200 | pounce | (~pounce@user/cute/pounce) (*.net *.split) |
| 2024-09-27 20:10:32 +0200 | siers69 | (~ij@user/ij) (*.net *.split) |
| 2024-09-27 20:10:32 +0200 | remmie | (ianremsen@tilde.team) (*.net *.split) |
| 2024-09-27 20:10:32 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (*.net *.split) |
| 2024-09-27 20:10:32 +0200 | shachaf | (~shachaf@user/shachaf) (*.net *.split) |
| 2024-09-27 20:10:32 +0200 | ent | (entgod@kapsi.fi) (*.net *.split) |
| 2024-09-27 20:10:33 +0200 | int-e | (~noone@int-e.eu) (*.net *.split) |
| 2024-09-27 20:10:33 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (*.net *.split) |
| 2024-09-27 20:10:33 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (*.net *.split) |
| 2024-09-27 20:10:33 +0200 | kitties | (~catties@user/meow/catties) (*.net *.split) |
| 2024-09-27 20:10:33 +0200 | tjbc | (~tjbc@user/fliife) (*.net *.split) |
| 2024-09-27 20:10:33 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) (*.net *.split) |
| 2024-09-27 20:10:33 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) (*.net *.split) |
| 2024-09-27 20:10:33 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) (*.net *.split) |
| 2024-09-27 20:10:33 +0200 | fernando-basso | (~fernando-@2a01:4f9:c012:63d3::1) (*.net *.split) |
| 2024-09-27 20:10:33 +0200 | astra | (sid289983@id-289983.hampstead.irccloud.com) (*.net *.split) |
| 2024-09-27 20:10:33 +0200 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) (*.net *.split) |
| 2024-09-27 20:10:33 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (*.net *.split) |
| 2024-09-27 20:10:34 +0200 | farn_ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split) |
| 2024-09-27 20:10:34 +0200 | ringo___ | (~ringo@157.230.117.128) (*.net *.split) |
| 2024-09-27 20:10:34 +0200 | jess | (meow@libera/staff/cat/jess) (*.net *.split) |
| 2024-09-27 20:10:34 +0200 | tureba | (~tureba@tureba.org) (*.net *.split) |
| 2024-09-27 20:10:34 +0200 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) (*.net *.split) |
| 2024-09-27 20:10:34 +0200 | koz | (~koz@121.99.240.58) (*.net *.split) |
| 2024-09-27 20:10:34 +0200 | sa1_ | sa1 |
| 2024-09-27 20:10:34 +0200 | duncan__ | duncan |
| 2024-09-27 20:10:34 +0200 | Hobbyboy|BNC | Hobbyboy |
| 2024-09-27 20:10:34 +0200 | JoelMcCracken_ | JoelMcCracken |
| 2024-09-27 20:10:35 +0200 | shawwwn_ | shawwwn |
| 2024-09-27 20:10:35 +0200 | tapas_ | tapas |
| 2024-09-27 20:10:35 +0200 | chaitlatte0_ | chaitlatte0 |
| 2024-09-27 20:10:35 +0200 | Luj96 | Luj9 |
| 2024-09-27 20:10:35 +0200 | jmcantrell_ | jmcantrell |
| 2024-09-27 20:10:35 +0200 | remsen | remmie |
| 2024-09-27 20:10:35 +0200 | jonrh_ | jonrh |
| 2024-09-27 20:10:36 +0200 | evanrelf_ | evanrelf |
| 2024-09-27 20:10:36 +0200 | pounce_ | pounce |
| 2024-09-27 20:10:36 +0200 | robobub_ | robobub |
| 2024-09-27 20:10:36 +0200 | titibandit_ | titibandit |
| 2024-09-27 20:10:36 +0200 | hamishmack_ | hamishmack |
| 2024-09-27 20:10:36 +0200 | dmj`_ | dmj` |
| 2024-09-27 20:10:36 +0200 | astra_ | astra |
| 2024-09-27 20:10:36 +0200 | whereiseveryone_ | whereiseveryone |
| 2024-09-27 20:10:36 +0200 | SrPx_ | SrPx |
| 2024-09-27 20:10:36 +0200 | rubin55_ | rubin55 |
| 2024-09-27 20:10:36 +0200 | aniketd_ | aniketd |
| 2024-09-27 20:10:36 +0200 | bsima1_ | bsima1 |
| 2024-09-27 20:10:36 +0200 | ymherklotz_ | ymherklotz |
| 2024-09-27 20:10:36 +0200 | sus_ | sus |
| 2024-09-27 20:10:36 +0200 | probie_ | probie |
| 2024-09-27 20:10:36 +0200 | sm2n_ | sm2n |
| 2024-09-27 20:10:37 +0200 | sa_ | sa |
| 2024-09-27 20:10:38 +0200 | ursa-major_ | ursa-major |
| 2024-09-27 20:11:08 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-09-27 20:11:08 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-09-27 20:11:08 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-09-27 20:11:08 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-09-27 20:11:08 +0200 | TonyStone | (~TonyStone@user/TonyStone) TonyStone |
| 2024-09-27 20:11:08 +0200 | cns | (~Vengeance@2.219.56.221) |
| 2024-09-27 20:11:08 +0200 | spenat | (~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) spenat |
| 2024-09-27 20:11:08 +0200 | jove_ | (~quassel@user/jove) jove |
| 2024-09-27 20:11:08 +0200 | hololeap | (~quassel@user/hololeap) hololeap |
| 2024-09-27 20:11:08 +0200 | mauke | (~mauke@user/mauke) mauke |
| 2024-09-27 20:11:08 +0200 | fr33domlover | (~fr33domlo@towards.vision) fr33domlover |
| 2024-09-27 20:11:08 +0200 | end | (~end@user/end/x-0094621) end^ |
| 2024-09-27 20:11:08 +0200 | cross | (~cross@spitfire.i.gajendra.net) cross |
| 2024-09-27 20:11:08 +0200 | shachaf | (~shachaf@user/shachaf) shachaf |
| 2024-09-27 20:11:08 +0200 | ent | (entgod@kapsi.fi) ent |
| 2024-09-27 20:11:08 +0200 | int-e | (~noone@int-e.eu) int-e |
| 2024-09-27 20:11:08 +0200 | kitties | (~catties@user/meow/catties) catties |
| 2024-09-27 20:11:08 +0200 | tjbc | (~tjbc@user/fliife) fliife |
| 2024-09-27 20:11:08 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2024-09-27 20:11:08 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) stefan-__ |
| 2024-09-27 20:11:08 +0200 | jess | (meow@libera/staff/cat/jess) jess |
| 2024-09-27 20:11:08 +0200 | fernando-basso | (~fernando-@2a01:4f9:c012:63d3::1) fernando-basso |
| 2024-09-27 20:11:08 +0200 | farn_ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) farn |
| 2024-09-27 20:11:08 +0200 | ringo___ | (~ringo@157.230.117.128) ringo_ |
| 2024-09-27 20:11:08 +0200 | tureba | (~tureba@tureba.org) tureba |
| 2024-09-27 20:11:08 +0200 | koz | (~koz@121.99.240.58) |
| 2024-09-27 20:11:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 20:11:51 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Max SendQ exceeded) |
| 2024-09-27 20:11:51 +0200 | cns | (~Vengeance@2.219.56.221) (Max SendQ exceeded) |
| 2024-09-27 20:11:51 +0200 | cross | (~cross@spitfire.i.gajendra.net) (Max SendQ exceeded) |
| 2024-09-27 20:12:35 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-09-27 20:13:59 +0200 | <glguy> | There, that was a split :) |
| 2024-09-27 20:14:10 +0200 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2024-09-27 20:14:17 +0200 | <Clint> | good work |
| 2024-09-27 20:14:25 +0200 | cns | (~Vengeance@2.219.56.221) |
| 2024-09-27 20:14:42 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Ping timeout: 246 seconds) |
| 2024-09-27 20:14:52 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 20:15:08 +0200 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2024-09-27 20:15:32 +0200 | Pixi` | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-09-27 20:17:25 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-09-27 20:17:27 +0200 | cross | (~cross@spitfire.i.gajendra.net) cross |
| 2024-09-27 20:18:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 20:21:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 20:22:23 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-09-27 20:24:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-27 20:25:35 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) gioyik |
| 2024-09-27 20:26:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-27 20:28:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-27 20:31:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 20:32:43 +0200 | kitties | catties |
| 2024-09-27 20:32:58 +0200 | cpressey | (~weechat@176.254.119.170) cpressey |
| 2024-09-27 20:36:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 20:36:38 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
| 2024-09-27 20:36:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-09-27 20:39:54 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 20:41:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-27 20:44:44 +0200 | <monochrom> | Wait, now you can forecast netsplits?! |
| 2024-09-27 20:45:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 20:47:38 +0200 | [exa] | hides the big red netsplit button |
| 2024-09-27 20:47:40 +0200 | <[exa]> | yes |
| 2024-09-27 20:47:58 +0200 | <monochrom> | :) |
| 2024-09-27 20:48:08 +0200 | <monochrom> | b |
| 2024-09-27 20:48:48 +0200 | <[exa]> | anyway, is there a name for "unixy" uniq/nub which would work in O(1) on pre-sorted stuff? |
| 2024-09-27 20:49:09 +0200 | <[exa]> | could go (map head.group) but that's 10 characters more than I imagined |
| 2024-09-27 20:49:39 +0200 | platao | (~mirc-rc@177.100.68.254) Platao |
| 2024-09-27 20:50:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 20:50:36 +0200 | <geekosaur> | @index nubOrd |
| 2024-09-27 20:50:36 +0200 | <lambdabot> | bzzt |
| 2024-09-27 20:51:01 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-27 20:51:20 +0200 | <geekosaur> | Data.Containers.ListUtils in `containers` |
| 2024-09-27 20:52:01 +0200 | <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 20:52:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 20:52:31 +0200 | <geekosaur> | psst! https://downloads.haskell.org/ghc/latest/docs/libraries/containers-0.7-cfc3/Data-Containers-ListUt… |
| 2024-09-27 20:52:38 +0200 | <geekosaur> | it's even a bootlib! |
| 2024-09-27 20:53:06 +0200 | <monochrom> | OK but if you know it's pre-sorted and don't want to sort again... |
| 2024-09-27 20:54:13 +0200 | misterfish | (~misterfis@87.215.131.102) misterfish |
| 2024-09-27 20:55:09 +0200 | <glguy> | monochrom: If I was paying attention to the status messages I'd have known that split was coming, but... |
| 2024-09-27 20:55:18 +0200 | <[exa]> | nubOrd needs Ord for sorting, I only have Eq |
| 2024-09-27 20:57:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 20:57:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-27 20:58:09 +0200 | <dmj`> | :t map head . group |
| 2024-09-27 20:58:11 +0200 | <lambdabot> | Eq b => [b] -> [b] |
| 2024-09-27 21:00:05 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-27 21:00:32 +0200 | <EvanR> | that's a good one |
| 2024-09-27 21:00:43 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-09-27 21:00:51 +0200 | <EvanR> | a use of head which is not wrong |
| 2024-09-27 21:00:55 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-27 21:01:05 +0200 | <EvanR> | not wrongheaded at all |
| 2024-09-27 21:01:45 +0200 | <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 21:02:25 +0200 | <EvanR> | and no compiler or linter can save you |
| 2024-09-27 21:03:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 21:04:38 +0200 | <dmj`> | :t catMaybes . map listToMaybe . group |
| 2024-09-27 21:04:39 +0200 | <lambdabot> | Eq a => [a] -> [a] |
| 2024-09-27 21:05:09 +0200 | <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 21:05:40 +0200 | <dmj`> | :t \xs -> [ x | x : _ <- group xs ] |
| 2024-09-27 21:05:43 +0200 | <lambdabot> | Eq a => [a] -> [a] |
| 2024-09-27 21:07:54 +0200 | <EvanR> | uh huh |
| 2024-09-27 21:08:51 +0200 | <monochrom> | At least it is not Scheme Any -> Any |
| 2024-09-27 21:09:03 +0200 | <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 21:09:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 21:10:10 +0200 | <monochrom> | @quote safeFromJust |
| 2024-09-27 21:10:10 +0200 | <lambdabot> | monochrom says: I use safeFromJust :: Maybe a -> Maybe a |
| 2024-09-27 21:10:25 +0200 | <EvanR> | another function that works |
| 2024-09-27 21:11:31 +0200 | AlexZenon | (~alzenon@178.34.162.53) (Ping timeout: 244 seconds) |
| 2024-09-27 21:11:51 +0200 | <dmj`> | safeMaybe x = case x of { Nothing -> Nothing; Just y -> Just y; } |
| 2024-09-27 21:13:08 +0200 | <EvanR> | to make a function safe, make it return a Maybe |
| 2024-09-27 21:13:26 +0200 | <EvanR> | safeFromJust lampoons the idea properly, but this idea comes up all the time in other languages for serious |
| 2024-09-27 21:13:39 +0200 | <EvanR> | sometimes with resistance sometimes not |
| 2024-09-27 21:13:44 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-27 21:14:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-27 21:14:31 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-27 21:14:53 +0200 | <EvanR> | usually because it would be too inconvenient |
| 2024-09-27 21:17:36 +0200 | AlexZenon | (~alzenon@178.34.162.53) |
| 2024-09-27 21:18:54 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-27 21:19:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 21:24:16 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-27 21:24:34 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) m1dnight |
| 2024-09-27 21:24:47 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Client Quit) |
| 2024-09-27 21:25:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 21:25:27 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-27 21:25:34 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-27 21:31:00 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 21:34:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 21:37:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-27 21:42:04 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-09-27 21:43:50 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-27 21:47:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 21:48:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 21:51:35 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 252 seconds) |
| 2024-09-27 21:52:19 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2024-09-27 21:52:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 21:52:21 +0200 | <ski> | or restrict the domain of the function |
| 2024-09-27 21:53:52 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-09-27 21:56:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-27 21:57:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 21:59:44 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-09-27 22:02:00 +0200 | <Inst> | monochrom: so the join method for stream is O(n^3)? |
| 2024-09-27 22:03:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-09-27 22:03:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 22:04:20 +0200 | <Inst> | n2, actually |
| 2024-09-27 22:08:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 22:11:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 22:11:49 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-09-27 22:12:14 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-09-27 22:12:22 +0200 | <ski> | <ski> (btw, you should be able to do `(<*>)' on your `Stream' there, without involving `seek' and indices) |
| 2024-09-27 22:12:52 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-09-27 22:13:14 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-09-27 22:13:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-27 22:15:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 22:19:01 +0200 | shapr | (~user@2601:19c:417e:5434:eb39:1b12:d1f:659d) (Ping timeout: 248 seconds) |
| 2024-09-27 22:19:05 +0200 | spew | (~spew@201.141.99.170) spew |
| 2024-09-27 22:19:49 +0200 | <Inst> | yeah, i just did the ziplist implementation |
| 2024-09-27 22:20:06 +0200 | <Inst> | wanted to write instances for something that was both a monad and a comonad |
| 2024-09-27 22:20:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-09-27 22:24:02 +0200 | Pixi | (~Pixi@user/pixi) Pixi |
| 2024-09-27 22:24:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 22:25:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-27 22:25:54 +0200 | briandaed | (~root@185.234.210.211) (Remote host closed the connection) |
| 2024-09-27 22:26:35 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-09-27 22:28:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-27 22:35:35 +0200 | son0p | (~ff@152.203.113.149) son0p |
| 2024-09-27 22:35:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-27 22:37:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-27 22:37:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 22:44:00 +0200 | michalz | (~michalz@185.246.207.222) (Remote host closed the connection) |
| 2024-09-27 22:48:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 22:50:27 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 22:52:35 +0200 | <ski> | but did you do the diagonal that visits each combination, without indices ? |
| 2024-09-27 22:53:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-27 22:57:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-27 22:59:08 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2024-09-27 22:59:17 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 23:01:15 +0200 | cpressey | (~weechat@176.254.119.170) (Ping timeout: 252 seconds) |
| 2024-09-27 23:02:34 +0200 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-09-27 23:02:56 +0200 | kimiamania | (~924ba01d@user/kimiamania) kimiamania |
| 2024-09-27 23:03:49 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 23:03:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 23:08:39 +0200 | <monochrom> | "s !! n !! n" is designed to show beauty not efficiency. |
| 2024-09-27 23:08:39 +0200 | hgolden__ | (~hgolden@23.162.40.69) hgolden |
| 2024-09-27 23:10:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-27 23:10:23 +0200 | <int-e> | it'll be quadratic for the first n elements anyway |
| 2024-09-27 23:11:29 +0200 | hgolden_ | (~hgolden@204.152.216.106) (Ping timeout: 260 seconds) |
| 2024-09-27 23:12:44 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-09-27 23:12:49 +0200 | <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 23:12:55 +0200 | <monochrom> | err, [0..] |
| 2024-09-27 23:14:19 +0200 | <monochrom> | and also recognize how, though more efficient, it is also less clear about the central idea. |
| 2024-09-27 23:15:48 +0200 | <int-e> | all I was saying is that despite being designed for beauty its efficiency really isn't terrible |
| 2024-09-27 23:17:09 +0200 | <int-e> | (well, unless n gets big and you start noticing the "leaked" memory) |
| 2024-09-27 23:18:06 +0200 | <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 23:18:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 23:20:02 +0200 | <monochrom> | This may actually generalize to all Naperian functors... |
| 2024-09-27 23:21:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 23:22:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 23:26:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-27 23:35:28 +0200 | AlexZenon | (~alzenon@178.34.162.53) (Ping timeout: 265 seconds) |
| 2024-09-27 23:36:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 23:37:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 23:39:14 +0200 | AlexZenon | (~alzenon@178.34.162.53) |
| 2024-09-27 23:39:54 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-09-27 23:41:49 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-27 23:44:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-27 23:48:43 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-09-27 23:52:29 +0200 | <ncf> | ski: check your PMs lately? |
| 2024-09-27 23:55:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 23:55:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-27 23:55:59 +0200 | platao | (~mirc-rc@177.100.68.254) (Quit: pop!_os channel on irc #pop!_os) |
| 2024-09-27 23:56:49 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 23:58:56 +0200 | <EvanR> | what's a Naperian Functor again |