2024/09/27

2024-09-27 00:02:08 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 00:02:40 +0200krei-se(~krei-se@p57af2362.dip0.t-ipconnect.de) krei-se
2024-09-27 00:07:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-27 00:17:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 00:19:55 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2024-09-27 00:20:58 +0200synchromesh(~john@2406:5a00:241a:5600:2de5:ba26:2eef:9155) (Read error: Connection reset by peer)
2024-09-27 00:21:06 +0200synchromesh(~john@2406:5a00:241a:5600:2de5:ba26:2eef:9155) synchromesh
2024-09-27 00:23:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-27 00:23:07 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-27 00:23:22 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-27 00:28:37 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-27 00:31:39 +0200Misosabbe(~Misosabbe@2a00:801:4f3:fb9c:22d2:cc07:9cb3:2)
2024-09-27 00:33:43 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 00:35:28 +0200morb(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-27 00:40:36 +0200demcgovern(~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 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) athan
2024-09-27 00:42:17 +0200CrunchyFlakes(~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 +0200arahael(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 00:53:34 +0200Square3(~Square4@user/square) Square
2024-09-27 00:54:15 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-09-27 00:54:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-27 00:56:50 +0200Square(~Square@user/square) (Ping timeout: 244 seconds)
2024-09-27 00:58:59 +0200troojg(~troojg@user/troojg) (Ping timeout: 260 seconds)
2024-09-27 00:59:15 +0200CrunchyFlakes(~CrunchyFl@31.19.233.78)
2024-09-27 01:01:06 +0200demcgovern(~demcgover@216.106.58.132.reverse.socket.net) (Quit: Client closed)
2024-09-27 01:04:04 +0200CrunchyFlakes(~CrunchyFl@31.19.233.78) (Ping timeout: 265 seconds)
2024-09-27 01:05:18 +0200merijn(~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 +0200remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2024-09-27 01:10:46 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-27 01:11:42 +0200remedan(~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 +0200merijn(~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 +0200acidjnk(~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 +0200tt123109783243(~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 +0200tt123109783243(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-27 01:26:55 +0200tt123109783243(~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 +0200tt123109783243(~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 +0200smhas +1 chaos
2024-09-27 01:34:58 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds)
2024-09-27 01:35:22 +0200sourcetarius(~sourcetar@user/sourcetarius) sourcetarius
2024-09-27 01:44:31 +0200morb(~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 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2024-09-27 01:49:01 +0200morb(~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 +0200merijn(~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 +0200weary-traveler(~user@user/user363627) user363627
2024-09-27 01:52:50 +0200todi(~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 +0200morb(~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 +0200merijn(~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 +0200geekosauris 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 +0200morb(~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 +0200geekosaurwonders 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 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-09-27 02:06:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 02:08:50 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds)
2024-09-27 02:10:05 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 02:11:51 +0200arahael(~arahael@user/arahael) arahael
2024-09-27 02:12:13 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-27 02:12:30 +0200polyphem(~rod@p4fc2c857.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2024-09-27 02:14:39 +0200polyphem(~rod@p4fc2ccf6.dip0.t-ipconnect.de) polyphem
2024-09-27 02:15:23 +0200morb(~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 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-27 02:22:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 02:23:51 +0200gdr3941(~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) gdr3941
2024-09-27 02:27:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-27 02:36:34 +0200xff0x(~xff0x@2405:6580:b080:900:edb3:3e3f:7e00:b65b) (Ping timeout: 260 seconds)
2024-09-27 02:36:41 +0200gdr3941(~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) (Quit: Fading out...)
2024-09-27 02:38:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 02:39:45 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 02:40:15 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2024-09-27 02:43:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-27 02:46:13 +0200morb(~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 +0200Misosabbe(~Misosabbe@2a00:801:4f3:fb9c:22d2:cc07:9cb3:2) (Quit: Client closed)
2024-09-27 02:54:18 +0200merijn(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-27 03:00:41 +0200user363627(~user@user/user363627) user363627
2024-09-27 03:03:04 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-27 03:04:54 +0200weary-traveler(~user@user/user363627) (Ping timeout: 265 seconds)
2024-09-27 03:10:05 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 03:10:24 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 03:10:31 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-09-27 03:11:28 +0200 <dibblego> it should be init . tails
2024-09-27 03:12:20 +0200identity(~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2024-09-27 03:15:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-27 03:18:53 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-09-27 03:19:17 +0200pavonia(~user@user/siracusa) siracusa
2024-09-27 03:19:51 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Quit: Lost terminal)
2024-09-27 03:24:34 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2024-09-27 03:24:38 +0200troojg(~troojg@user/troojg) troojg
2024-09-27 03:25:52 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 03:26:56 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2024-09-27 03:31:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-27 03:31:40 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 03:32:14 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-09-27 03:32:38 +0200troojg(~troojg@user/troojg) (Remote host closed the connection)
2024-09-27 03:33:33 +0200troojg(~troojg@user/troojg) troojg
2024-09-27 03:36:29 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-27 03:40:11 +0200arahael(~arahael@user/arahael) (Ping timeout: 265 seconds)
2024-09-27 03:41:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 03:44:51 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-27 03:46:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-27 03:48:39 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 03:54:12 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-27 03:54:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 03:55:04 +0200mxs(~mxs@user/mxs) mxs
2024-09-27 03:59:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-27 04:00:58 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2024-09-27 04:03:15 +0200CrunchyFlakes(~CrunchyFl@31.19.233.78)
2024-09-27 04:08:13 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 04:10:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 04:13:24 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-27 04:14:29 +0200td_(~td@i53870912.versanet.de) (Ping timeout: 252 seconds)
2024-09-27 04:15:34 +0200troojg(~troojg@user/troojg) (Ping timeout: 260 seconds)
2024-09-27 04:15:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-27 04:16:18 +0200td_(~td@i5387092C.versanet.de)
2024-09-27 04:26:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 04:26:43 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 04:29:28 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) (Quit: The Lounge - https://thelounge.chat)
2024-09-27 04:31:19 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-27 04:31:50 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd
2024-09-27 04:31:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-27 04:42:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 04:44:17 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 04:46:59 +0200mxs(~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat)
2024-09-27 04:47:07 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-27 04:48:11 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) smalltalkman
2024-09-27 04:56:43 +0200skylord5816(~skylord58@user/skylord5816) skylord5816
2024-09-27 04:57:02 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-27 04:58:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 05:03:11 +0200skylord5816(~skylord58@user/skylord5816) (Quit: bye)
2024-09-27 05:03:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-27 05:03:29 +0200skylord5816(~skylord58@user/skylord5816) skylord5816
2024-09-27 05:13:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 05:18:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-27 05:29:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 05:34:25 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-27 05:37:19 +0200alp_(~alp@2001:861:e3d6:8f80:538:d7bb:b13e:aad) (Ping timeout: 264 seconds)
2024-09-27 05:40:14 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-09-27 05:41:09 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2024-09-27 05:41:37 +0200Lord_of_Life_Lord_of_Life
2024-09-27 05:41:41 +0200dolio(~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in)
2024-09-27 05:43:15 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 05:45:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 05:47:44 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-27 05:47:52 +0200spew(~spew@201.141.99.170) (Quit: spew)
2024-09-27 05:50:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-27 05:51:05 +0200dolio(~dolio@130.44.140.168) dolio
2024-09-27 05:54:15 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-09-27 05:55:51 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-09-27 05:55:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 05:58:53 +0200weary-traveler(~user@user/user363627) user363627
2024-09-27 06:00:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-27 06:02:46 +0200user363627(~user@user/user363627) (Ping timeout: 265 seconds)
2024-09-27 06:09:23 +0200stiell(~stiell@gateway/tor-sasl/stiell) stiell
2024-09-27 06:11:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 06:12:25 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 06:16:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-27 06:18:29 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-27 06:20:10 +0200polyphem(~rod@p4fc2ccf6.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2024-09-27 06:20:15 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-27 06:25:04 +0200shapr(~user@2601:19c:417e:5434:7fbe:b5f1:8fe7:ea47) (Ping timeout: 260 seconds)
2024-09-27 06:26:06 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 06:27:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 06:32:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-27 06:33:42 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-27 06:41:24 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2024-09-27 06:43:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 06:47:26 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 06:48:07 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-27 06:52:05 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-27 06:56:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 06:59:26 +0200michalz(~michalz@185.246.207.222)
2024-09-27 07:01:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-27 07:06:12 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 07:12:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 07:15:08 +0200alp_(~alp@2001:861:e3d6:8f80:e37c:11d0:d9af:37f2)
2024-09-27 07:17:01 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-09-27 07:18:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-27 07:18:24 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-27 07:28:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 07:30:07 +0200Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-09-27 07:32:07 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 07:33:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-27 07:34:34 +0200benjaminl(~benjaminl@user/benjaminl) (Read error: Connection reset by peer)
2024-09-27 07:34:50 +0200benjaminl(~benjaminl@user/benjaminl) benjaminl
2024-09-27 07:37:28 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds)
2024-09-27 07:44:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 07:49:22 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-27 07:49:41 +0200synchromesh(~john@2406:5a00:241a:5600:2de5:ba26:2eef:9155) (Quit: WeeChat 4.0.5)
2024-09-27 07:50:21 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2024-09-27 07:51:21 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 07:55:52 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-27 07:57:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 08:03:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-27 08:07:01 +0200ft(~ft@p4fc2acce.dip0.t-ipconnect.de) (Quit: leaving)
2024-09-27 08:09:17 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 08:09:18 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-09-27 08:10:28 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-27 08:12:30 +0200synchromesh(~john@2406:5a00:241a:5600:18b:90b7:734:b475) synchromesh
2024-09-27 08:13:23 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-27 08:13:42 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-27 08:13:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 08:18:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-27 08:19:46 +0200CiaoSen(~Jura@2a05:5800:2ec:5e00:ca4b:d6ff:fec1:99da) CiaoSen
2024-09-27 08:21:10 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds)
2024-09-27 08:24:47 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-09-27 08:27:42 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-27 08:28:28 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 08:29:46 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 08:33:16 +0200Digitteknohippie(~user@77.47.7.51.dyn.plus.net) (Changing host)
2024-09-27 08:33:16 +0200Digitteknohippie(~user@user/digit) Digit
2024-09-27 08:33:16 +0200DigitteknohippieDigit
2024-09-27 08:34:57 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-27 08:35:22 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-27 08:40:53 +0200Square3(~Square4@user/square) (Ping timeout: 248 seconds)
2024-09-27 08:45:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 08:47:31 +0200enikar(~enikar@user/enikar) (Remote host closed the connection)
2024-09-27 08:48:21 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 08:48:51 +0200enikar(~enikar@user/enikar) enikar
2024-09-27 08:51:43 +0200Square(~Square@user/square) Square
2024-09-27 08:52:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-27 08:58:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 09:00:01 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-09-27 09:00:38 +0200caconym(~caconym@user/caconym) caconym
2024-09-27 09:03:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-27 09:07:28 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-27 09:08:42 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2024-09-27 09:12:29 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 260 seconds)
2024-09-27 09:14:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 09:14:50 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2024-09-27 09:17:30 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-27 09:18:01 +0200misterfish(~misterfis@84.53.85.146) misterfish
2024-09-27 09:21:31 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-27 09:21:57 +0200ubert(~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Ping timeout: 276 seconds)
2024-09-27 09:22:36 +0200merijn(~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 +0200acidjnk(~acidjnk@p200300d6e72cfb641041a00b3f8f8460.dip0.t-ipconnect.de) acidjnk
2024-09-27 09:32:23 +0200Square(~Square@user/square) (Ping timeout: 255 seconds)
2024-09-27 09:34:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 09:36:54 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 252 seconds)
2024-09-27 09:41:09 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds)
2024-09-27 09:41:51 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 252 seconds)
2024-09-27 09:42:11 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2024-09-27 09:49:59 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 260 seconds)
2024-09-27 09:52:20 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-09-27 09:56:59 +0200misterfish(~misterfis@046044172198.static.ipv4.heldenvannu.net) misterfish
2024-09-27 09:58:39 +0200mceresa(~mceresa@user/mceresa) mceresa
2024-09-27 10:03:48 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 10:04:02 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-09-27 10:04:59 +0200poxel(~lennart@2a02:908:1472:4f60::720)
2024-09-27 10:09:21 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-27 10:11:58 +0200causal(~eric@50.35.88.207) causal
2024-09-27 10:17:27 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-09-27 10:26:50 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 10:31:11 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-27 10:32:21 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-27 10:33:18 +0200euandreh(~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 +0200wizardng(uid599328@id-599328.hampstead.irccloud.com)
2024-09-27 10:41:17 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-09-27 10:42:34 +0200poxel(~lennart@2a02:908:1472:4f60::720) (Changing host)
2024-09-27 10:42:34 +0200poxel(~lennart@user/poxel) poxel
2024-09-27 10:43:18 +0200pointlessslippe1(~pointless@62.106.85.17) (Quit: ZNC - http://znc.in)
2024-09-27 10:45:29 +0200pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2024-09-27 10:47:08 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 10:51:14 +0200poxel(~lennart@user/poxel) (Quit: WeeChat 4.4.2)
2024-09-27 10:51:56 +0200poxel(~lennart@user/poxel) poxel
2024-09-27 10:52:57 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds)
2024-09-27 10:55:27 +0200poxel(~lennart@user/poxel) (Client Quit)
2024-09-27 10:55:46 +0200poxel(~lennart@user/poxel) poxel
2024-09-27 10:58:00 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-27 11:01:52 +0200poscat(~poscat@user/poscat) (Ping timeout: 252 seconds)
2024-09-27 11:03:50 +0200arahael(~arahael@user/arahael) arahael
2024-09-27 11:04:07 +0200auri_(~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 +0200auri(~auri@fsf/member/auri) auri
2024-09-27 11:05:32 +0200poscat(~poscat@user/poscat) poscat
2024-09-27 11:07:01 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 11:08:11 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-09-27 11:09:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-27 11:11:39 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-27 11:14:20 +0200drdo(~drdo@bl5-29-74.dsl.telepac.pt) (Ping timeout: 272 seconds)
2024-09-27 11:25:06 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 11:25:43 +0200kimiamania2(~65804703@user/kimiamania) kimiamania
2024-09-27 11:27:13 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in)
2024-09-27 11:27:15 +0200kimiamania(~65804703@user/kimiamania) (Ping timeout: 246 seconds)
2024-09-27 11:27:15 +0200kimiamania2kimiamania
2024-09-27 11:29:14 +0200p3n(~p3n@217.198.124.246) p3n
2024-09-27 11:30:17 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-09-27 11:35:59 +0200pabs3(~pabs3@user/pabs3) pabs3
2024-09-27 11:45:23 +0200morb(~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 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-09-27 11:51:05 +0200driib318(~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 +0200sourcetarius(~sourcetar@user/sourcetarius) (Quit: sourcetarius)
2024-09-27 11:51:44 +0200driib318(~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 +0200morb(~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 +0200misterfish(~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 252 seconds)
2024-09-27 12:01:54 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 12:02:37 +0200tromp(~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 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-27 12:07:55 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-27 12:09:20 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 12:09:49 +0200ubert(~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert
2024-09-27 12:11:58 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds)
2024-09-27 12:13:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-27 12:13:54 +0200CiaoSen(~Jura@2a05:5800:2ec:5e00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds)
2024-09-27 12:13:58 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-27 12:16:15 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds)
2024-09-27 12:21:05 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2024-09-27 12:21:41 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2024-09-27 12:22:00 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-27 12:22:41 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2024-09-27 12:22:57 +0200chexum(~quassel@gateway/tor-sasl/chexum) chexum
2024-09-27 12:25:59 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-09-27 12:26:25 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 12:26:45 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 12:32:17 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-27 12:33:07 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds)
2024-09-27 12:35:31 +0200merijn(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 12:47:13 +0200ubert(~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Quit: ubert)
2024-09-27 12:47:16 +0200morb(~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 +0200lortabac(~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 +0200morb(~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 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-27 12:56:56 +0200wizardng(uid599328@id-599328.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-27 13:03:39 +0200morb(~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 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-27 13:14:21 +0200ubert(~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert
2024-09-27 13:15:28 +0200ubert(~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 +0200shapr(~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 +0200morb(~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 +0200morb(~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 +0200morb(~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 +0200misterfish(~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 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-27 13:51:49 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-09-27 13:52:22 +0200CrunchyFlakes(~CrunchyFl@31.19.233.78) (Quit: ZNC 1.8.2 - https://znc.in)
2024-09-27 13:52:54 +0200identity(~identity@user/ZharMeny) identity
2024-09-27 13:55:48 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 245 seconds)
2024-09-27 13:56:39 +0200CrunchyFlakes(~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 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 264 seconds)
2024-09-27 14:01:48 +0200misterfish(~misterfis@84.53.85.146) misterfish
2024-09-27 14:03:05 +0200 <ski> Inst ^
2024-09-27 14:04:29 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 14:09:57 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-27 14:10:26 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-27 14:13:20 +0200alp_(~alp@2001:861:e3d6:8f80:e37c:11d0:d9af:37f2) (Remote host closed the connection)
2024-09-27 14:13:38 +0200alp_(~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 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 248 seconds)
2024-09-27 14:24:13 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 14:28:33 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-27 14:32:56 +0200marinelli(~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 +0200billchenchina-(~billchenc@103.152.35.21) billchenchina
2024-09-27 14:39:15 +0200morb(~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 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-09-27 14:43:09 +0200rvalue(~rvalue@user/rvalue) rvalue
2024-09-27 14:43:30 +0200morb(~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 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 14:58:07 +0200youthlic1(~Thunderbi@user/youthlic) youthlic
2024-09-27 14:59:29 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-27 15:00:26 +0200youthlic(~Thunderbi@user/youthlic) (Ping timeout: 272 seconds)
2024-09-27 15:00:27 +0200youthlic1youthlic
2024-09-27 15:01:34 +0200weary-traveler(~user@user/user363627) user363627
2024-09-27 15:05:51 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 15:13:02 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-27 15:20:05 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-09-27 15:21:57 +0200Everything(~Everythin@static.208.206.21.65.clients.your-server.de)
2024-09-27 15:22:51 +0200shapr`(~user@2601:19c:417e:5434:eb39:1b12:d1f:659d)
2024-09-27 15:24:12 +0200shapr(~user@2601:19c:417e:5434:bdc6:ec2e:c291:3d0a) (Ping timeout: 246 seconds)
2024-09-27 15:27:40 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 15:29:02 +0200polyphem(~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 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2024-09-27 15:33:00 +0200ft(~ft@p4fc2acce.dip0.t-ipconnect.de) ft
2024-09-27 15:34:50 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2024-09-27 15:35:13 +0200machinedgod(~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 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2024-09-27 15:41:13 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds)
2024-09-27 15:46:42 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-09-27 15:48:42 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-09-27 15:48:57 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-09-27 15:49:39 +0200youthlic(~Thunderbi@user/youthlic) (Client Quit)
2024-09-27 15:51:18 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-09-27 15:51:47 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 15:58:29 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-09-27 15:59:35 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-27 16:06:28 +0200lucy(~lucy@user/lucy) lucy
2024-09-27 16:14:45 +0200shapr`shapr
2024-09-27 16:14:53 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2024-09-27 16:16:33 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2024-09-27 16:19:02 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-27 16:28:41 +0200synchromesh(~john@2406:5a00:241a:5600:18b:90b7:734:b475) (Read error: Connection reset by peer)
2024-09-27 16:28:46 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 16:30:06 +0200synchromesh(~john@2406:5a00:241a:5600:18b:90b7:734:b475) synchromesh
2024-09-27 16:35:10 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-27 16:36:59 +0200cpressey(~weechat@176.254.119.170) cpressey
2024-09-27 16:37:38 +0200dontdieych2(~quassel@user/dontdieych2) dontdieych2
2024-09-27 16:37:52 +0200dontdieych2_(~quassel@user/dontdieych2) dontdieych2
2024-09-27 16:38:41 +0200synchrom1(~john@2406:5a00:241a:5600:18b:90b7:734:b475) synchromesh
2024-09-27 16:40:13 +0200dontdieych2(~quassel@user/dontdieych2) (Client Quit)
2024-09-27 16:40:42 +0200dontdieych2(~quassel@user/dontdieych2) dontdieych2
2024-09-27 16:40:49 +0200dontdieych2(~quassel@user/dontdieych2) (Client Quit)
2024-09-27 16:41:08 +0200synchromesh(~john@2406:5a00:241a:5600:18b:90b7:734:b475) (Ping timeout: 272 seconds)
2024-09-27 16:42:42 +0200lucy(~lucy@user/lucy) (Ping timeout: 265 seconds)
2024-09-27 16:45:36 +0200dontdieych2_(~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-09-27 16:57:47 +0200spew(~spew@201.141.99.170) spew
2024-09-27 17:03:37 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 17:11:50 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-27 17:12:25 +0200causal(~eric@50.35.88.207) (Quit: WeeChat 4.3.1)
2024-09-27 17:14:52 +0200xff0x(~xff0x@2405:6580:b080:900:9334:d416:507d:a2f5)
2024-09-27 17:20:24 +0200alp_(~alp@2001:861:e3d6:8f80:fd9b:ad9e:2406:5420) (Ping timeout: 272 seconds)
2024-09-27 17:32:30 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2024-09-27 17:32:49 +0200Everything(~Everythin@static.208.206.21.65.clients.your-server.de) (Quit: leaving)
2024-09-27 17:38:13 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-27 17:39:51 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 17:49:41 +0200jkoshy1(~jkoshy@20.1.187.81.in-addr.arpa)
2024-09-27 17:50:29 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-27 17:54:16 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 17:58:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-27 17:58:46 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-27 18:00:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 18:02:30 +0200billchenchina-(~billchenc@103.152.35.21) (Remote host closed the connection)
2024-09-27 18:04:34 +0200jkoshy1(~jkoshy@20.1.187.81.in-addr.arpa) (Quit: leaving)
2024-09-27 18:06:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-27 18:12:06 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 18:16:10 +0200alp_(~alp@2001:861:e3d6:8f80:995f:117d:7c12:db9c)
2024-09-27 18:16:24 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-27 18:16:44 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 260 seconds)
2024-09-27 18:18:05 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 18:29:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-27 18:32:17 +0200cpressey(~weechat@176.254.119.170) (Ping timeout: 248 seconds)
2024-09-27 18:33:18 +0200infinity0(~infinity0@pwned.gg) (Ping timeout: 245 seconds)
2024-09-27 18:36:53 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2024-09-27 18:40:16 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 18:46:44 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 18:47:13 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-27 18:52:57 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-27 18:54:18 +0200EvanR(~EvanR@user/evanr) EvanR
2024-09-27 18:54:40 +0200infinity0(~infinity0@pwned.gg) infinity0
2024-09-27 18:55:38 +0200spew(~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 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-27 18:58:57 +0200merijn(~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 +0200fgaz_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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-27 19:11:49 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 19:12:14 +0200Square(~Square@user/square) Square
2024-09-27 19:13:13 +0200Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Quit: o/)
2024-09-27 19:16:19 +0200Sciencentistguy(~sciencent@hacksoc/ordinary-member) sciencentistguy
2024-09-27 19:17:34 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2024-09-27 19:19:53 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-27 19:20:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 19:22:31 +0200misterfish(~misterfis@84.53.85.146) misterfish
2024-09-27 19:27:18 +0200youthlic(~Thunderbi@user/youthlic) (Quit: youthlic)
2024-09-27 19:27:50 +0200cattieskitties
2024-09-27 19:27:58 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-09-27 19:31:28 +0200fun-safe-math(~fun-safe-@24.21.106.247) fun-safe-math
2024-09-27 19:36:55 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-09-27 19:38:28 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 272 seconds)
2024-09-27 19:40:23 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-27 19:42:34 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-09-27 19:43:08 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Quit: Lost terminal)
2024-09-27 19:43:38 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod
2024-09-27 19:46:55 +0200sprout_sprout
2024-09-27 19:48:47 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-27 19:49:09 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2024-09-27 19:50:54 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 19:59:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 19:59:44 +0200briandaed(~root@185.234.210.211)
2024-09-27 20:00:53 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-27 20:01:43 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-27 20:04:01 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-09-27 20:04:06 +0200Luj96(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) Luj
2024-09-27 20:04:25 +0200bsima1_(9d7e39c8ad@2a03:6000:1812:100::dd)
2024-09-27 20:04:26 +0200titibandit_(e33ffbab65@user/titibandit) titibandit
2024-09-27 20:04:26 +0200lane_(809450f172@2a03:6000:1812:100::1300)
2024-09-27 20:04:27 +0200probie_(cc0b34050a@user/probie) probie
2024-09-27 20:04:27 +0200evanrelf_(3addc196af@2a03:6000:1812:100::f0) evanrelf
2024-09-27 20:04:28 +0200jmcantrell_(644f1bed9a@user/jmcantrell) jmcantrell
2024-09-27 20:04:29 +0200ursa-major_(114efe6c39@2a03:6000:1812:100::11f3) ursa-major
2024-09-27 20:04:29 +0200sus_(1b7af6299f@user/zeromomentum) zeromomentum
2024-09-27 20:04:29 +0200duncan__(c6181279e3@user/meow/duncan) duncan
2024-09-27 20:04:29 +0200whereiseveryone_(206ba86c98@2a03:6000:1812:100::2e4) whereiseveryone
2024-09-27 20:04:29 +0200aniketd_(32aa4844cd@2a03:6000:1812:100::dcb) aniketd
2024-09-27 20:04:30 +0200chaitlatte0_(ea29c0bb16@2a03:6000:1812:100::1124)
2024-09-27 20:04:30 +0200ymherklotz_(cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz
2024-09-27 20:04:30 +0200sm2n_(ae95cb1267@user/sm2n) sm2n
2024-09-27 20:04:30 +0200JoelMcCracken_(5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken
2024-09-27 20:04:30 +0200akspecs_(00cc8321af@2a03:6000:1812:100::11a)
2024-09-27 20:04:31 +0200pounce_(~pounce@user/cute/pounce) pounce
2024-09-27 20:04:44 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) hackager
2024-09-27 20:04:44 +0200ChanServ+v haskellbridge
2024-09-27 20:04:56 +0200sa1_(sid7690@id-7690.ilkley.irccloud.com) sa1
2024-09-27 20:04:56 +0200tapas_(sid467876@id-467876.ilkley.irccloud.com) tapas
2024-09-27 20:04:57 +0200shawwwn_(sid6132@id-6132.helmsley.irccloud.com) shawwwn
2024-09-27 20:04:57 +0200berberman(~berberman@user/berberman) berberman
2024-09-27 20:04:57 +0200hamishmack_(sid389057@id-389057.hampstead.irccloud.com) hamishmack
2024-09-27 20:04:59 +0200astra_(sid289983@id-289983.hampstead.irccloud.com)
2024-09-27 20:04:59 +0200jonrh_(sid5185@id-5185.ilkley.irccloud.com) jonrh
2024-09-27 20:05:01 +0200rubin55_(sid666177@id-666177.lymington.irccloud.com) rubin55
2024-09-27 20:05:05 +0200siers(~ij@user/ij) ij
2024-09-27 20:05:07 +0200Hobbyboy|BNC(Hobbyboy@hobbyboy.co.uk) Hobbyboy
2024-09-27 20:05:07 +0200tomsmeding_(~tomsmedin@2a01:4f8:c0c:5e5e::2) tomsmeding
2024-09-27 20:05:11 +0200PotatoGim_(sid99505@id-99505.lymington.irccloud.com)
2024-09-27 20:05:13 +0200sa_(sid1055@id-1055.tinside.irccloud.com) sa
2024-09-27 20:05:20 +0200dmj`_(sid72307@id-72307.hampstead.irccloud.com) dmj`
2024-09-27 20:05:38 +0200SrPx_(sid108780@id-108780.uxbridge.irccloud.com) SrPx
2024-09-27 20:06:09 +0200 <briandaed> what happened here...
2024-09-27 20:06:24 +0200robobub_(uid248673@id-248673.uxbridge.irccloud.com) robobub
2024-09-27 20:06:28 +0200V_(~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 +0200remsen(ianremsen@tilde.team) remsense
2024-09-27 20:07:50 +0200merijn(~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 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (*.net *.split)
2024-09-27 20:10:29 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (*.net *.split)
2024-09-27 20:10:29 +0200CrunchyFlakes(~CrunchyFl@31.19.233.78) (*.net *.split)
2024-09-27 20:10:29 +0200identity(~identity@user/ZharMeny) (*.net *.split)
2024-09-27 20:10:29 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) (*.net *.split)
2024-09-27 20:10:29 +0200TonyStone(~TonyStone@user/TonyStone) (*.net *.split)
2024-09-27 20:10:29 +0200tomsmeding(~tomsmedin@2a01:4f8:c0c:5e5e::2) (*.net *.split)
2024-09-27 20:10:29 +0200cns(~Vengeance@2.219.56.221) (*.net *.split)
2024-09-27 20:10:29 +0200spenat(~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) (*.net *.split)
2024-09-27 20:10:29 +0200jove_(~quassel@user/jove) (*.net *.split)
2024-09-27 20:10:29 +0200tapas(sid467876@id-467876.ilkley.irccloud.com) (*.net *.split)
2024-09-27 20:10:29 +0200shawwwn(sid6132@id-6132.helmsley.irccloud.com) (*.net *.split)
2024-09-27 20:10:29 +0200sa1(sid7690@id-7690.ilkley.irccloud.com) (*.net *.split)
2024-09-27 20:10:29 +0200hololeap(~quassel@user/hololeap) (*.net *.split)
2024-09-27 20:10:29 +0200rubin55(sid666177@id-666177.lymington.irccloud.com) (*.net *.split)
2024-09-27 20:10:29 +0200mauke(~mauke@user/mauke) (*.net *.split)
2024-09-27 20:10:30 +0200sm2n(ae95cb1267@user/sm2n) (*.net *.split)
2024-09-27 20:10:30 +0200chaitlatte0(ea29c0bb16@user/chaitlatte0) (*.net *.split)
2024-09-27 20:10:31 +0200lane(809450f172@2a03:6000:1812:100::1300) (*.net *.split)
2024-09-27 20:10:31 +0200aniketd(32aa4844cd@2a03:6000:1812:100::dcb) (*.net *.split)
2024-09-27 20:10:31 +0200probie(cc0b34050a@user/probie) (*.net *.split)
2024-09-27 20:10:31 +0200titibandit(e33ffbab65@user/titibandit) (*.net *.split)
2024-09-27 20:10:31 +0200ymherklotz(cb2c9cfbdd@2a03:6000:1812:100::29a) (*.net *.split)
2024-09-27 20:10:31 +0200jmcantrell(644f1bed9a@user/jmcantrell) (*.net *.split)
2024-09-27 20:10:31 +0200evanrelf(3addc196af@2a03:6000:1812:100::f0) (*.net *.split)
2024-09-27 20:10:31 +0200ursa-major(114efe6c39@2a03:6000:1812:100::11f3) (*.net *.split)
2024-09-27 20:10:31 +0200duncan(c6181279e3@user/meow/duncan) (*.net *.split)
2024-09-27 20:10:31 +0200whereiseveryone(206ba86c98@2a03:6000:1812:100::2e4) (*.net *.split)
2024-09-27 20:10:32 +0200JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) (*.net *.split)
2024-09-27 20:10:32 +0200akspecs(00cc8321af@sourcehut/user/akspecs) (*.net *.split)
2024-09-27 20:10:32 +0200bsima1(9d7e39c8ad@2a03:6000:1812:100::dd) (*.net *.split)
2024-09-27 20:10:32 +0200sus(1b7af6299f@user/zeromomentum) (*.net *.split)
2024-09-27 20:10:32 +0200SrPx(sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split)
2024-09-27 20:10:32 +0200fr33domlover(~fr33domlo@towards.vision) (*.net *.split)
2024-09-27 20:10:32 +0200end(~end@user/end/x-0094621) (*.net *.split)
2024-09-27 20:10:32 +0200cross(~cross@spitfire.i.gajendra.net) (*.net *.split)
2024-09-27 20:10:32 +0200berberman_(~berberman@user/berberman) (*.net *.split)
2024-09-27 20:10:32 +0200jonrh(sid5185@id-5185.ilkley.irccloud.com) (*.net *.split)
2024-09-27 20:10:32 +0200pounce(~pounce@user/cute/pounce) (*.net *.split)
2024-09-27 20:10:32 +0200siers69(~ij@user/ij) (*.net *.split)
2024-09-27 20:10:32 +0200remmie(ianremsen@tilde.team) (*.net *.split)
2024-09-27 20:10:32 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (*.net *.split)
2024-09-27 20:10:32 +0200shachaf(~shachaf@user/shachaf) (*.net *.split)
2024-09-27 20:10:32 +0200ent(entgod@kapsi.fi) (*.net *.split)
2024-09-27 20:10:33 +0200int-e(~noone@int-e.eu) (*.net *.split)
2024-09-27 20:10:33 +0200Hobbyboy(Hobbyboy@hobbyboy.co.uk) (*.net *.split)
2024-09-27 20:10:33 +0200V(~v@ircpuzzles/2022/april/winner/V) (*.net *.split)
2024-09-27 20:10:33 +0200kitties(~catties@user/meow/catties) (*.net *.split)
2024-09-27 20:10:33 +0200tjbc(~tjbc@user/fliife) (*.net *.split)
2024-09-27 20:10:33 +0200pie_(~pie_bnc@user/pie/x-2818909) (*.net *.split)
2024-09-27 20:10:33 +0200stefan-__(~m-yh2rcc@42dots.de) (*.net *.split)
2024-09-27 20:10:33 +0200sa(sid1055@id-1055.tinside.irccloud.com) (*.net *.split)
2024-09-27 20:10:33 +0200fernando-basso(~fernando-@2a01:4f9:c012:63d3::1) (*.net *.split)
2024-09-27 20:10:33 +0200astra(sid289983@id-289983.hampstead.irccloud.com) (*.net *.split)
2024-09-27 20:10:33 +0200dmj`(sid72307@id-72307.hampstead.irccloud.com) (*.net *.split)
2024-09-27 20:10:33 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com) (*.net *.split)
2024-09-27 20:10:34 +0200farn_(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split)
2024-09-27 20:10:34 +0200ringo___(~ringo@157.230.117.128) (*.net *.split)
2024-09-27 20:10:34 +0200jess(meow@libera/staff/cat/jess) (*.net *.split)
2024-09-27 20:10:34 +0200tureba(~tureba@tureba.org) (*.net *.split)
2024-09-27 20:10:34 +0200hamishmack(sid389057@id-389057.hampstead.irccloud.com) (*.net *.split)
2024-09-27 20:10:34 +0200koz(~koz@121.99.240.58) (*.net *.split)
2024-09-27 20:10:34 +0200sa1_sa1
2024-09-27 20:10:34 +0200duncan__duncan
2024-09-27 20:10:34 +0200Hobbyboy|BNCHobbyboy
2024-09-27 20:10:34 +0200JoelMcCracken_JoelMcCracken
2024-09-27 20:10:35 +0200shawwwn_shawwwn
2024-09-27 20:10:35 +0200tapas_tapas
2024-09-27 20:10:35 +0200chaitlatte0_chaitlatte0
2024-09-27 20:10:35 +0200Luj96Luj9
2024-09-27 20:10:35 +0200jmcantrell_jmcantrell
2024-09-27 20:10:35 +0200remsenremmie
2024-09-27 20:10:35 +0200jonrh_jonrh
2024-09-27 20:10:36 +0200evanrelf_evanrelf
2024-09-27 20:10:36 +0200pounce_pounce
2024-09-27 20:10:36 +0200robobub_robobub
2024-09-27 20:10:36 +0200titibandit_titibandit
2024-09-27 20:10:36 +0200hamishmack_hamishmack
2024-09-27 20:10:36 +0200dmj`_dmj`
2024-09-27 20:10:36 +0200astra_astra
2024-09-27 20:10:36 +0200whereiseveryone_whereiseveryone
2024-09-27 20:10:36 +0200SrPx_SrPx
2024-09-27 20:10:36 +0200rubin55_rubin55
2024-09-27 20:10:36 +0200aniketd_aniketd
2024-09-27 20:10:36 +0200bsima1_bsima1
2024-09-27 20:10:36 +0200ymherklotz_ymherklotz
2024-09-27 20:10:36 +0200sus_sus
2024-09-27 20:10:36 +0200probie_probie
2024-09-27 20:10:36 +0200sm2n_sm2n
2024-09-27 20:10:37 +0200sa_sa
2024-09-27 20:10:38 +0200ursa-major_ursa-major
2024-09-27 20:11:08 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2024-09-27 20:11:08 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2024-09-27 20:11:08 +0200CrunchyFlakes(~CrunchyFl@31.19.233.78)
2024-09-27 20:11:08 +0200identity(~identity@user/ZharMeny) identity
2024-09-27 20:11:08 +0200TonyStone(~TonyStone@user/TonyStone) TonyStone
2024-09-27 20:11:08 +0200cns(~Vengeance@2.219.56.221)
2024-09-27 20:11:08 +0200spenat(~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) spenat
2024-09-27 20:11:08 +0200jove_(~quassel@user/jove) jove
2024-09-27 20:11:08 +0200hololeap(~quassel@user/hololeap) hololeap
2024-09-27 20:11:08 +0200mauke(~mauke@user/mauke) mauke
2024-09-27 20:11:08 +0200fr33domlover(~fr33domlo@towards.vision) fr33domlover
2024-09-27 20:11:08 +0200end(~end@user/end/x-0094621) end^
2024-09-27 20:11:08 +0200cross(~cross@spitfire.i.gajendra.net) cross
2024-09-27 20:11:08 +0200shachaf(~shachaf@user/shachaf) shachaf
2024-09-27 20:11:08 +0200ent(entgod@kapsi.fi) ent
2024-09-27 20:11:08 +0200int-e(~noone@int-e.eu) int-e
2024-09-27 20:11:08 +0200kitties(~catties@user/meow/catties) catties
2024-09-27 20:11:08 +0200tjbc(~tjbc@user/fliife) fliife
2024-09-27 20:11:08 +0200pie_(~pie_bnc@user/pie/x-2818909) __
2024-09-27 20:11:08 +0200stefan-__(~m-yh2rcc@42dots.de) stefan-__
2024-09-27 20:11:08 +0200jess(meow@libera/staff/cat/jess) jess
2024-09-27 20:11:08 +0200fernando-basso(~fernando-@2a01:4f9:c012:63d3::1) fernando-basso
2024-09-27 20:11:08 +0200farn_(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) farn
2024-09-27 20:11:08 +0200ringo___(~ringo@157.230.117.128) ringo_
2024-09-27 20:11:08 +0200tureba(~tureba@tureba.org) tureba
2024-09-27 20:11:08 +0200koz(~koz@121.99.240.58)
2024-09-27 20:11:29 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-27 20:11:51 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Max SendQ exceeded)
2024-09-27 20:11:51 +0200cns(~Vengeance@2.219.56.221) (Max SendQ exceeded)
2024-09-27 20:11:51 +0200cross(~cross@spitfire.i.gajendra.net) (Max SendQ exceeded)
2024-09-27 20:12:35 +0200todi(~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 +0200vgtw(~vgtw@user/vgtw) (Quit: ZNC - https://znc.in)
2024-09-27 20:14:17 +0200 <Clint> good work
2024-09-27 20:14:25 +0200cns(~Vengeance@2.219.56.221)
2024-09-27 20:14:42 +0200m1dnight(~christoph@d8D861908.access.telenet.be) (Ping timeout: 246 seconds)
2024-09-27 20:14:52 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 20:15:08 +0200vgtw(~vgtw@user/vgtw) vgtw
2024-09-27 20:15:32 +0200Pixi`(~Pixi@user/pixi) (Quit: Leaving)
2024-09-27 20:17:25 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-09-27 20:17:27 +0200cross(~cross@spitfire.i.gajendra.net) cross
2024-09-27 20:18:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 20:21:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-27 20:22:23 +0200euphores(~SASL_euph@user/euphores) euphores
2024-09-27 20:24:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-27 20:25:35 +0200gioyik(~gioyik@gateway/tor-sasl/gioyik) gioyik
2024-09-27 20:26:14 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-09-27 20:28:09 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-27 20:31:47 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-27 20:32:43 +0200kittiescatties
2024-09-27 20:32:58 +0200cpressey(~weechat@176.254.119.170) cpressey
2024-09-27 20:36:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 20:36:38 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds)
2024-09-27 20:36:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2024-09-27 20:39:54 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 20:41:13 +0200merijn(~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 +0200morb(~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 +0200platao(~mirc-rc@177.100.68.254) Platao
2024-09-27 20:50:22 +0200tromp(~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 +0200weary-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 +0200merijn(~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 +0200misterfish(~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 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 20:57:57 +0200merijn(~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 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-09-27 21:00:32 +0200 <EvanR> that's a good one
2024-09-27 21:00:43 +0200caconym(~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 +0200Smiles(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 +0200tromp(~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 +0200merijn(~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 +0200AlexZenon(~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 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-27 21:14:23 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-27 21:14:31 +0200athan(~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 +0200AlexZenon(~alzenon@178.34.162.53)
2024-09-27 21:18:54 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds)
2024-09-27 21:19:44 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-27 21:24:16 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-27 21:24:34 +0200m1dnight(~christoph@d8D861908.access.telenet.be) m1dnight
2024-09-27 21:24:47 +0200vanishingideal(~vanishing@user/vanishingideal) (Client Quit)
2024-09-27 21:25:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 21:25:27 +0200weary-traveler(~user@user/user363627) user363627
2024-09-27 21:25:34 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-27 21:31:00 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 21:34:32 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-27 21:37:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-27 21:42:04 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2024-09-27 21:43:50 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-27 21:47:47 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-27 21:48:22 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 21:51:35 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 252 seconds)
2024-09-27 21:52:19 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 264 seconds)
2024-09-27 21:52:21 +0200morb(~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 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-27 21:56:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-09-27 21:57:21 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 21:59:44 +0200lxsameer(~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 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds)
2024-09-27 22:03:12 +0200tromp(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 22:11:41 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-27 22:11:49 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-09-27 22:12:14 +0200ChaiTRex(~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 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-09-27 22:13:14 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2024-09-27 22:13:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-27 22:15:07 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 22:19:01 +0200shapr(~user@2601:19c:417e:5434:eb39:1b12:d1f:659d) (Ping timeout: 248 seconds)
2024-09-27 22:19:05 +0200spew(~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 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2024-09-27 22:24:02 +0200Pixi(~Pixi@user/pixi) Pixi
2024-09-27 22:24:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 22:25:24 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds)
2024-09-27 22:25:54 +0200briandaed(~root@185.234.210.211) (Remote host closed the connection)
2024-09-27 22:26:35 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-09-27 22:28:17 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-09-27 22:35:35 +0200son0p(~ff@152.203.113.149) son0p
2024-09-27 22:35:59 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-27 22:37:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-27 22:37:11 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-27 22:44:00 +0200michalz(~michalz@185.246.207.222) (Remote host closed the connection)
2024-09-27 22:48:11 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 22:50:27 +0200morb(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-09-27 22:57:03 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds)
2024-09-27 22:59:08 +0200pavonia(~user@user/siracusa) siracusa
2024-09-27 22:59:17 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 23:01:15 +0200cpressey(~weechat@176.254.119.170) (Ping timeout: 252 seconds)
2024-09-27 23:02:34 +0200kimiamania(~65804703@user/kimiamania) (Quit: PegeLinux)
2024-09-27 23:02:56 +0200kimiamania(~924ba01d@user/kimiamania) kimiamania
2024-09-27 23:03:49 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-27 23:03:57 +0200merijn(~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 +0200hgolden__(~hgolden@23.162.40.69) hgolden
2024-09-27 23:10:09 +0200merijn(~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 +0200hgolden_(~hgolden@204.152.216.106) (Ping timeout: 260 seconds)
2024-09-27 23:12:44 +0200raehik(~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 +0200morb(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 23:22:29 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-27 23:26:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-27 23:35:28 +0200AlexZenon(~alzenon@178.34.162.53) (Ping timeout: 265 seconds)
2024-09-27 23:36:19 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 23:37:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 23:39:14 +0200AlexZenon(~alzenon@178.34.162.53)
2024-09-27 23:39:54 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2024-09-27 23:41:49 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-27 23:44:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-27 23:48:43 +0200takuan(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 23:55:42 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-27 23:55:59 +0200platao(~mirc-rc@177.100.68.254) (Quit: pop!_os channel on irc #pop!_os)
2024-09-27 23:56:49 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 23:58:56 +0200 <EvanR> what's a Naperian Functor again