IRCBrowse

2023/08/19

2023-08-19 00:00:55 +0200 <shapr> stefan-_: Yeah, I made good money with HXT once or twice decades ago
2023-08-19 00:02:47 +0200 <EvanR> XM£
2023-08-19 00:04:57 +0200jero98772(~jero98772@2800:484:1d84:300::2) (Ping timeout: 258 seconds)
2023-08-19 00:08:58 +0200NewtonTrendy(uid282092@user/bopqod)
2023-08-19 00:09:41 +0200 <stefan-_> shapr, nowadays mostly JSON?
2023-08-19 00:10:12 +0200 <stefan-_> at $work we use "the best technology of the 90s" ;)
2023-08-19 00:10:52 +0200mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 240 seconds)
2023-08-19 00:12:57 +0200 <geekosaur> some 90s tech is a vast improvement over its successors…
2023-08-19 00:12:58 +0200mikoto-chan(~mikoto-ch@85-76-86-24-nat.elisa-mobile.fi)
2023-08-19 00:13:00 +0200mvk(~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 245 seconds)
2023-08-19 00:13:43 +0200 <darkling> ... and some is just a less efficient tedious rehash. As always.
2023-08-19 00:13:59 +0200 <darkling> I'm fed up of RPC implementations. :)
2023-08-19 00:18:12 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
2023-08-19 00:18:21 +0200mikoto-chan(~mikoto-ch@85-76-86-24-nat.elisa-mobile.fi) (Ping timeout: 245 seconds)
2023-08-19 00:21:32 +0200caryhartline(~caryhartl@168.182.58.169) (Quit: caryhartline)
2023-08-19 00:21:47 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-08-19 00:24:45 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-19 00:24:45 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-19 00:24:45 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-19 00:26:18 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-08-19 00:27:51 +0200 <shapr> stefan-_: yeah, nowadays it's mostly JSON and some CBOR
2023-08-19 00:34:26 +0200danza(~francesco@151.43.236.78) (Read error: Connection reset by peer)
2023-08-19 00:34:28 +0200danza_(~francesco@151.37.240.1)
2023-08-19 00:34:48 +0200arahael(~arahael@124.170.239.247) (Ping timeout: 246 seconds)
2023-08-19 00:47:58 +0200caryhartline(~caryhartl@168.182.58.169)
2023-08-19 00:50:57 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 00:51:04 +0200wroathe(~wroathe@96.88.30.181)
2023-08-19 00:51:04 +0200wroathe(~wroathe@96.88.30.181) (Changing host)
2023-08-19 00:51:04 +0200wroathe(~wroathe@user/wroathe)
2023-08-19 00:54:30 +0200 <wroathe> Hey guys, I just generated a profile for my program, and while the text file is cool and all do you guys know of any good GUIs that can make the data a little clearer?
2023-08-19 00:56:29 +0200 <EvanR> you can convert the data into a postscript document... with a command... https://downloads.haskell.org/~ghc/7.2.1/docs/html/users_guide/hp2ps.html
2023-08-19 00:59:42 +0200 <stefan-_> wroathe, there are also: https://github.com/portnov/ghcprofview-hs and https://github.com/jaspervdj/profiteur
2023-08-19 01:11:45 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds)
2023-08-19 01:13:06 +0200ulysses4ever(~artem@73.145.241.238)
2023-08-19 01:13:25 +0200caryhartline(~caryhartl@168.182.58.169) (Quit: caryhartline)
2023-08-19 01:15:41 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-08-19 01:16:46 +0200artem(~artem@73.145.241.238)
2023-08-19 01:16:47 +0200ulysses4ever(~artem@73.145.241.238) (Read error: Connection reset by peer)
2023-08-19 01:21:21 +0200caryhartline(~caryhartl@168.182.58.169)
2023-08-19 01:21:26 +0200artem(~artem@73.145.241.238) (Ping timeout: 256 seconds)
2023-08-19 01:21:47 +0200 <wroathe> Thanks guys
2023-08-19 01:23:56 +0200mud(~mud@user/kadoban) (Quit: quit)
2023-08-19 01:25:12 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2023-08-19 01:27:08 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 248 seconds)
2023-08-19 01:27:44 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-08-19 01:33:27 +0200kupi(uid212005@2a03:5180:f:4::3:3c25) (Quit: Connection closed for inactivity)
2023-08-19 01:34:32 +0200Lycurgus(~juan@user/Lycurgus)
2023-08-19 01:36:23 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Read error: Connection reset by peer)
2023-08-19 01:36:29 +0200BigKozlo_(~BigKozlow@84.21.165.226)
2023-08-19 01:41:34 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds)
2023-08-19 01:42:24 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-08-19 01:51:14 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8)
2023-08-19 01:53:14 +0200Guest73(~Guest73@c-73-158-239-55.hsd1.ca.comcast.net)
2023-08-19 01:54:25 +0200 <Guest73> Does anyone know why (fmap . fmap) sum Just [1,2,3] returns 6?  My understanding of (fmap . fmap) sum is that the first argument to the resulting function should be a functor within a functor that contains a foldable, yet Just [1,2,3] is a functor within a functor that contains numerical values.
2023-08-19 01:55:05 +0200 <hpc> :t fmap
2023-08-19 01:55:06 +0200 <lambdabot> Functor f => (a -> b) -> f a -> f b
2023-08-19 01:55:09 +0200 <hpc> :t (.)
2023-08-19 01:55:10 +0200 <lambdabot> (b -> c) -> (a -> b) -> a -> c
2023-08-19 01:55:28 +0200 <hpc> so, fmap is in the position of (b -> c) and (a -> b)
2023-08-19 01:55:44 +0200 <hpc> to make that type fit, we can look at it like Functor f => (a -> b) -> (f a -> f b), because currying
2023-08-19 01:56:02 +0200 <hpc> which fits the patatern of some sort of (x -> y) thing
2023-08-19 01:56:17 +0200 <hpc> doing some substitution for a/b/c, we might get
2023-08-19 01:56:20 +0200 <hpc> :t fmap . fmap
2023-08-19 01:56:21 +0200 <lambdabot> (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b)
2023-08-19 01:56:41 +0200 <hpc> sum is the (a -> b)
2023-08-19 01:57:24 +0200 <hpc> and then the parens aren't right, so f1 is actually ((a -> Maybe a) -> [Int])
2023-08-19 01:57:50 +0200 <hpc> er
2023-08-19 01:58:04 +0200 <hpc> :t (fmap . fmap) sum Just [1,2,3]
2023-08-19 01:58:05 +0200 <lambdabot> Num a => Maybe a
2023-08-19 01:58:17 +0200 <hpc> oh, yes
2023-08-19 01:58:24 +0200 <hpc> derp
2023-08-19 01:58:30 +0200 <hpc> f1 is (a ->)
2023-08-19 01:58:33 +0200 <hpc> f2 is Maybe
2023-08-19 01:58:45 +0200 <hpc> because Just :: a -> Maybe a, and that has to fit f1 (f2 a)
2023-08-19 01:58:54 +0200 <hpc> so finally we end up with...
2023-08-19 01:58:59 +0200 <hpc> :t (fmap . fmap) sum
2023-08-19 01:59:00 +0200 <lambdabot> (Functor f1, Functor f2, Foldable t, Num b) => f1 (f2 (t b)) -> f1 (f2 b)
2023-08-19 01:59:04 +0200 <hpc> :t (fmap . fmap) sum Just
2023-08-19 01:59:05 +0200 <lambdabot> (Foldable t, Num b) => t b -> Maybe b
2023-08-19 01:59:19 +0200 <hpc> and that function gets [1, 2, 3] applied to it
2023-08-19 01:59:35 +0200 <hpc> summing the list and Just-ing it
2023-08-19 02:00:50 +0200 <Guest73> So the part that I was missing was that (a ->) is the outer functor here
2023-08-19 02:01:04 +0200 <Guest73> But why is it a valid functor to begin with
2023-08-19 02:01:13 +0200 <hpc> because fmap = (.)
2023-08-19 02:01:20 +0200 <hpc> making (fmap . fmap) extra fun :D
2023-08-19 02:01:26 +0200 <hpc> :t fmap fmap fmap
2023-08-19 02:01:27 +0200 <lambdabot> (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b)
2023-08-19 02:01:35 +0200 <hpc> :t fmap fmap fmap fmap fmap fmap fmap fmap fmap fmap fmap fmap
2023-08-19 02:01:36 +0200 <lambdabot> (Functor f1, Functor f2, Functor f3) => (a -> b) -> f1 (f2 (f3 a)) -> f1 (f2 (f3 b))
2023-08-19 02:01:42 +0200 <hpc> :t fmap fmap fmap fmap fmap fmap fmap fmap fmap fmap fmap fmap fmap
2023-08-19 02:01:43 +0200 <lambdabot> (Functor f1, Functor f2, Functor f3, Functor f4) => f1 (f2 (f3 (a -> b))) -> f1 (f2 (f3 (f4 a -> f4 b)))
2023-08-19 02:02:55 +0200 <hpc> as for why it's actually useful to have that generalization, it's because you need that Functor instance to have the Applicative instance to have the Monad instance to have Reader
2023-08-19 02:02:58 +0200 <hpc> @src Reader
2023-08-19 02:02:59 +0200 <lambdabot> type Reader r = ReaderT r Identity
2023-08-19 02:02:59 +0200 <lambdabot> --OR
2023-08-19 02:02:59 +0200 <lambdabot> data Reader r a = Reader { runReader :: r -> a }
2023-08-19 02:06:30 +0200 <Guest73> "To answer your original question about why (->) a is a valid functor: The (->) a type can be thought of as a container that holds functions from type a to some result type. Applying a function b -> c to a function a -> b inside this "container" corresponds to function composition, which is a valid operation and satisfies the functor laws."
2023-08-19 02:06:31 +0200 <Guest73> -ChatGPT
2023-08-19 02:06:38 +0200 <Guest73> So this is what you meant by fmap = (.) in this case?
2023-08-19 02:06:44 +0200 <Guest73> Thanks for pointing me in the right direction there
2023-08-19 02:06:59 +0200 <Guest73> The reader monad is the subject of the very next chapter in the book I'm reading so I'll take a look at that as well
2023-08-19 02:07:11 +0200Guest73(~Guest73@c-73-158-239-55.hsd1.ca.comcast.net) (Quit: Client closed)
2023-08-19 02:08:39 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-08-19 02:09:07 +0200mima(~mmh@net-93-148-97-236.cust.dsl.teletu.it) (Ping timeout: 245 seconds)
2023-08-19 02:12:01 +0200ulysses4ever(~artem@73.145.240.54)
2023-08-19 02:15:26 +0200ski(~ski@ext-1-303.eduroam.chalmers.se)
2023-08-19 02:18:24 +0200ulysses4ever(~artem@73.145.240.54) (Ping timeout: 250 seconds)
2023-08-19 02:23:47 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Tschüss)
2023-08-19 02:24:57 +0200oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 245 seconds)
2023-08-19 02:26:40 +0200ulysses4ever(~artem@73.145.240.54)
2023-08-19 02:30:05 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds)
2023-08-19 02:34:11 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-08-19 02:36:40 +0200ulysses4ever(~artem@73.145.240.54) (Read error: Connection reset by peer)
2023-08-19 02:38:30 +0200NewtonTrendy(uid282092@user/bopqod) (Quit: Connection closed for inactivity)
2023-08-19 02:38:39 +0200shapr(~user@2600:1700:c640:3100:c5ff:3965:4f0:3341) (Remote host closed the connection)
2023-08-19 02:38:52 +0200shapr(~user@2600:1700:c640:3100:806c:53f5:75c9:d1ac)
2023-08-19 02:42:20 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 02:43:32 +0200Feuermagier_(~Feuermagi@user/feuermagier)
2023-08-19 02:43:32 +0200Feuermagier(~Feuermagi@user/feuermagier) (Killed (silver.libera.chat (Nickname regained by services)))
2023-08-19 02:43:32 +0200Feuermagier_Feuermagier
2023-08-19 03:05:48 +0200BigKozlo_(~BigKozlow@84.21.165.226) (Read error: Connection reset by peer)
2023-08-19 03:05:53 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-19 03:10:31 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-08-19 03:10:59 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-08-19 03:10:59 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-08-19 03:10:59 +0200wroathe(~wroathe@user/wroathe)
2023-08-19 03:14:16 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: WeeChat 4.0.2)
2023-08-19 03:14:46 +0200jero98772(~jero98772@2800:484:1d84:300::2)
2023-08-19 03:15:23 +0200hyvoid(~hyenavoid@222-0-178-69.static.gci.net)
2023-08-19 03:16:20 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-08-19 03:17:06 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-08-19 03:19:07 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-08-19 03:22:04 +0200caryhartline(~caryhartl@168.182.58.169) (Quit: caryhartline)
2023-08-19 03:22:54 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-08-19 03:24:51 +0200ulysses4ever(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671)
2023-08-19 03:26:51 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
2023-08-19 03:27:27 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-08-19 03:29:37 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 03:34:12 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2023-08-19 03:38:13 +0200hugo(znc@verdigris.lysator.liu.se)
2023-08-19 03:39:24 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds)
2023-08-19 03:41:50 +0200ulysses4ever(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Ping timeout: 246 seconds)
2023-08-19 03:42:54 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8)
2023-08-19 03:45:33 +0200Buggys(Buggys@Buggy.shelltalk.net) (Ping timeout: 246 seconds)
2023-08-19 03:51:08 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds)
2023-08-19 03:53:17 +0200Buggys(Buggys@shelltalk.net)
2023-08-19 03:55:00 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 256 seconds)
2023-08-19 04:04:47 +0200zmt01(~zmt00@user/zmt00)
2023-08-19 04:07:44 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 246 seconds)
2023-08-19 04:11:09 +0200jmcantrell(~weechat@user/jmcantrell)
2023-08-19 04:13:29 +0200 <monochrom> The problem with the "container" story is that you would be hard pressed to count the State monad as a "container".
2023-08-19 04:14:07 +0200td_(~td@i5387092B.versanet.de) (Ping timeout: 246 seconds)
2023-08-19 04:15:14 +0200 <monochrom> At which point either you simply axiomatize "State is also a container, I don't care" therefore words mean nothing, or you accept that intuitions always unravel.
2023-08-19 04:16:05 +0200td_(~td@i5387090E.versanet.de)
2023-08-19 04:16:15 +0200 <dolio> The pasted text doesn't make any sense.
2023-08-19 04:16:45 +0200 <dolio> Which is unsurprising, of course.
2023-08-19 04:17:19 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-08-19 04:17:41 +0200 <monochrom> 10 years before chatgpt I already predicted "express in your own words to show that you're making it up" :)
2023-08-19 04:17:42 +0200 <dolio> I mean, some of it is okay, but the "container" part is garbage.
2023-08-19 04:18:34 +0200 <monochrom> If it said "holds values of type b, using keys of type a for look up" I would not complain.
2023-08-19 04:18:51 +0200 <dolio> Yeah, but it didn't.
2023-08-19 04:18:57 +0200 <monochrom> But then I still haven't seen a good story that paints State as a container.
2023-08-19 04:19:17 +0200gastus(~gastus@185.6.123.210)
2023-08-19 04:22:46 +0200gastus_(~gastus@5.83.191.16) (Ping timeout: 256 seconds)
2023-08-19 04:23:25 +0200mud(~mud@user/kadoban)
2023-08-19 04:33:00 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
2023-08-19 04:34:28 +0200danza__(~francesco@151.19.245.9)
2023-08-19 04:35:14 +0200merijn(~merijn@83.128.129.88)
2023-08-19 04:37:04 +0200danza_(~francesco@151.37.240.1) (Ping timeout: 250 seconds)
2023-08-19 04:39:40 +0200merijn(~merijn@83.128.129.88) (Ping timeout: 248 seconds)
2023-08-19 04:40:37 +0200 <EvanR> @unmtl State
2023-08-19 04:40:37 +0200 <lambdabot> err: `State' is not applied to enough arguments, giving `/\A B. A -> (B, A)'
2023-08-19 04:43:11 +0200 <EvanR> i appreciate attributing that the quote is from chatgpt, but not presenting something from chatgpt as a justification for something from a position of ignorance. As if chatgpt is your lawyer who works for you and is responsible for knowledge
2023-08-19 04:46:36 +0200 <EvanR> and yeah you can and Cale has stretched container to apply to anything you want. A value of type State s a is a container that you put an s in, turn a crank, then find a different s and side a inside
2023-08-19 04:46:55 +0200hugo(znc@verdigris.lysator.liu.se)
2023-08-19 04:47:29 +0200 <EvanR> can't make heads or tails of (->) though
2023-08-19 04:48:27 +0200 <EvanR> a function is a container which has a possibly finite set of bs, one for each a
2023-08-19 04:48:33 +0200 <EvanR> possibly infinite
2023-08-19 04:51:32 +0200flounders(~flounders@24.246.133.1) (Ping timeout: 240 seconds)
2023-08-19 04:52:34 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-08-19 04:52:34 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-08-19 04:52:34 +0200finn_elijaFinnElija
2023-08-19 04:52:39 +0200 <monochrom> A reason why "A->B is a container of B indexed by A" is helpful is that it helps the equivalence between "data P a = P a a" and "Bool -> a".
2023-08-19 04:54:36 +0200 <monochrom> The most cunning aspect of that equivalence is that each bijection is a monad isomorphism too, i..e., it is not just a random bijection with no extra niceness.
2023-08-19 04:55:07 +0200 <EvanR> unrelated, equivalence between s -> (a, s) and (s -> a, s -> s)
2023-08-19 04:55:35 +0200 <EvanR> State is two containers
2023-08-19 05:01:18 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds)
2023-08-19 05:08:54 +0200aforemny_(~aforemny@89.245.22.230)
2023-08-19 05:09:46 +0200aforemny(~aforemny@2001:9e8:6cd7:8900:b425:74af:bd09:ff1c) (Ping timeout: 260 seconds)
2023-08-19 05:11:26 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2023-08-19 05:12:52 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
2023-08-19 05:18:30 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2023-08-19 05:19:00 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-19 05:19:01 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-19 05:19:01 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-19 05:19:35 +0200jero98772(~jero98772@2800:484:1d84:300::2) (Remote host closed the connection)
2023-08-19 05:37:29 +0200razetime(~quassel@117.254.37.199)
2023-08-19 05:37:50 +0200shapr(~user@2600:1700:c640:3100:806c:53f5:75c9:d1ac) (Remote host closed the connection)
2023-08-19 05:38:04 +0200shapr(~user@2600:1700:c640:3100:dfdf:cd4b:5fe0:16d3)
2023-08-19 05:40:00 +0200 <probie> I think "functors are containers" completely falls apart at things like `Const`
2023-08-19 05:41:23 +0200 <probie> well, that's a bit too container like, so why not `data Unit1 a = Unit1`
2023-08-19 05:42:00 +0200 <probie> s/that's a bit too/that's still a bit too/
2023-08-19 05:42:06 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds)
2023-08-19 05:42:39 +0200 <probie> `Unit1` is definitely a functor, but I don't think even ChatGPT can explain how it's a container
2023-08-19 05:46:11 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-19 05:46:11 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-19 05:46:11 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-19 05:47:54 +0200abrantesasf(~abrantesa@179.217.48.72) (Remote host closed the connection)
2023-08-19 05:48:24 +0200razetime(~quassel@117.254.37.199) (Ping timeout: 246 seconds)
2023-08-19 05:57:57 +0200 <monochrom> functor, monad : shoehorning into "container", "computation", "context" :: quantum field : shoehorning into "particle", "wave", "random"
2023-08-19 06:01:13 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
2023-08-19 06:03:00 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-19 06:03:00 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-19 06:03:00 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-19 06:04:54 +0200 <[Leary]> EvanR: Fun fact: if you actually implement State that way, the monoidal structure of Applicative is revealed to arise from a semidirect product: `State sf g <*> State sx h = State (sf <*> (g >>> sx)) (g >>> h)`. :)
2023-08-19 06:09:07 +0200vglfr(~vglfr@188.239.201.89) (Ping timeout: 245 seconds)
2023-08-19 06:09:43 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:d189:f4be:247a:f4eb)
2023-08-19 06:12:07 +0200 <wroathe> Hey guys, I've got some code for parsing a TSV file that looks basically like parseFile = do; x <- parseRow; xs <- parseRemaining; pure (x : xs), and I'm seeing that it's taking an awful lot of memory. Is there a trick to reducing memory usage of code like this?
2023-08-19 06:13:23 +0200 <wroathe> If I understand the semantics here I think it must be waiting to reduce the entire thing until it gets to the terminating case that evaluates to the [] on the right hand side
2023-08-19 06:14:04 +0200 <wroathe> Or maybe one of you knows a trick to better isolate what the problem is? The report from --enabling-profiling is a bit cryptic to me
2023-08-19 06:16:39 +0200 <wroathe> Actually it's more like parseRows = do; atEnd < eof; if atEnd then [] else do; x <- parseRow; xs <- parseRows; pure (x : xs)
2023-08-19 06:17:03 +0200 <wroathe> atEnd <- eof*
2023-08-19 06:21:21 +0200 <institor> wroathe: you can compile your program with profiling to get an idea of the major allocation cost centers in your program
2023-08-19 06:21:46 +0200 <institor> but loosely speaking you might want to look at strict evaluation to avoid the buildup of thunks in memory
2023-08-19 06:22:07 +0200 <institor> oh, you've already enabled profiling
2023-08-19 06:22:19 +0200 <institor> what is the `COST CENTRE` with the largest %alloc?
2023-08-19 06:23:00 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 06:23:02 +0200 <monochrom> [Leary]: I didn't think of that. That looks nice.
2023-08-19 06:23:55 +0200 <wroathe> institor: one sec
2023-08-19 06:24:51 +0200 <institor> > let x = 2; let xs = [1, 0]; pure (x:xs)
2023-08-19 06:24:52 +0200 <lambdabot> <hint>:1:40: error:
2023-08-19 06:24:52 +0200 <lambdabot> parse error (possibly incorrect indentation or mismatched brackets)
2023-08-19 06:24:56 +0200 <institor> uhh...
2023-08-19 06:25:36 +0200 <monochrom> s/;/ in /
2023-08-19 06:25:38 +0200 <mauke> > do let {x = 2}; let {xs = [1, 0]}; pure (x : xs)
2023-08-19 06:25:40 +0200 <lambdabot> error:
2023-08-19 06:25:40 +0200 <lambdabot> • Ambiguous type variable ‘f0’ arising from a use of ‘show_M632240727658...
2023-08-19 06:25:40 +0200 <lambdabot> prevents the constraint ‘(Show (f0 [Integer]))’ from being solved.
2023-08-19 06:25:48 +0200 <institor> it's been a while
2023-08-19 06:25:52 +0200 <wroathe> institor: https://gist.github.com/JustinChristensen/962698a717c3cc5903a6453a17938bc9
2023-08-19 06:26:08 +0200 <monochrom> In fact, s/pure//
2023-08-19 06:26:14 +0200 <institor> > do let {x = 2}; let {xs = [1, 0]}; pure ((x : xs) :: [Int])
2023-08-19 06:26:15 +0200 <lambdabot> error:
2023-08-19 06:26:15 +0200 <lambdabot> • Ambiguous type variable ‘f0’ arising from a use of ‘show_M781669833189...
2023-08-19 06:26:15 +0200 <lambdabot> prevents the constraint ‘(Show (f0 [Int]))’ from being solved.
2023-08-19 06:26:26 +0200 <institor> > do let {x = 2}; let {xs = [1, 0]}; pure ((x : xs) :: IO [Int])
2023-08-19 06:26:28 +0200 <lambdabot> error:
2023-08-19 06:26:28 +0200 <lambdabot> • Couldn't match expected type ‘IO [Int]’ with actual type ‘[a0]’
2023-08-19 06:26:28 +0200 <lambdabot> • In the first argument of ‘pure’, namely ‘((x : xs) :: IO [Int])’
2023-08-19 06:27:01 +0200 <mauke> > do let {x = 2}; let {xs = [1, 0]}; pure (x : xs) :: Maybe [Int]
2023-08-19 06:27:02 +0200 <lambdabot> Just [2,1,0]
2023-08-19 06:27:13 +0200 <institor> > do let {x = 2}; let {xs = [1, 0]}; pure $! (x : xs) :: Maybe [Int]
2023-08-19 06:27:15 +0200 <lambdabot> Just [2,1,0]
2023-08-19 06:27:29 +0200 <institor> wroathe: as a quick experiment what if you replaced `pure (x : xs)` with `pure $! (x : xs)`
2023-08-19 06:27:35 +0200 <mauke> that does nothing
2023-08-19 06:27:45 +0200 <institor> no?
2023-08-19 06:28:00 +0200 <mauke> $! forces the RHS when the whole thing is evaluated
2023-08-19 06:28:12 +0200 <mauke> but this right-hand side is a call to a constructor
2023-08-19 06:28:18 +0200 <mauke> so it already is evaluated
2023-08-19 06:28:39 +0200 <institor> @t seq
2023-08-19 06:28:40 +0200 <lambdabot> Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? .
2023-08-19 06:28:46 +0200 <mauke> :t seq
2023-08-19 06:28:46 +0200 <lambdabot> a -> b -> b
2023-08-19 06:29:24 +0200 <wroathe> does `seq` work for the a : b : c : ... : [] case too? the article I just read made it sound like a : b had to be reducable for that work
2023-08-19 06:29:26 +0200 <monochrom> "SYSTEM" can mean the stack.
2023-08-19 06:29:28 +0200 <wroathe> that to work*
2023-08-19 06:30:18 +0200 <monochrom> Also I have seen programs that run in O(1) space, but once you turn on space profiling, it takes linear space, and it's shown as "SYSTEM".
2023-08-19 06:31:33 +0200 <monochrom> To be sure, there are also programs for which space profiling is trustworthy.
2023-08-19 06:31:35 +0200Flow(~none@gentoo/developer/flow) (Ping timeout: 246 seconds)
2023-08-19 06:33:54 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
2023-08-19 06:35:57 +0200 <probie> wroathe: Out of curiosity, do you get much different performance with `parseRows = go id where go appendRows = do { atEnd <- eof; if atEnd then appendRows [] else do { x <- parseRow; go (appendRows . (x:)) } }`?
2023-08-19 06:36:23 +0200Flow(~none@gentoo/developer/flow)
2023-08-19 06:36:58 +0200 <monochrom> > seq (undefined : undefined) ()
2023-08-19 06:36:59 +0200 <lambdabot> ()
2023-08-19 06:37:07 +0200 <monochrom> seq is very shallow.
2023-08-19 06:37:36 +0200 <monochrom> rnf and deepseq would be the one that can dig deeper.
2023-08-19 06:38:13 +0200 <wroathe> probie: I'll give that a shot, thanks
2023-08-19 06:38:22 +0200Marcel2(~Midjak@82.66.147.146) (Quit: Leaving)
2023-08-19 06:39:21 +0200 <monochrom> But do not think that killing laziness saves space. It cuts both ways. "print [0..n]" stays in O(1) space because of laziness.
2023-08-19 06:43:10 +0200hugo(znc@verdigris.lysator.liu.se)
2023-08-19 06:45:11 +0200 <mauke> did you mean: O(log n) space
2023-08-19 06:45:47 +0200 <monochrom> :)
2023-08-19 06:46:54 +0200wroathe(~wroathe@user/wroathe) ()
2023-08-19 06:51:36 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Remote host closed the connection)
2023-08-19 06:57:10 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-08-19 06:59:56 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-19 07:02:21 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds)
2023-08-19 07:02:38 +0200gleostocha(~runic@2600:1700:3bdd:9810::3b)
2023-08-19 07:04:03 +0200shapr(~user@2600:1700:c640:3100:dfdf:cd4b:5fe0:16d3) (Remote host closed the connection)
2023-08-19 07:04:04 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2023-08-19 07:04:16 +0200shapr(~user@2600:1700:c640:3100:ab39:d2fb:a612:d413)
2023-08-19 07:04:24 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 250 seconds)
2023-08-19 07:25:32 +0200mikoto-chan(~mikoto-ch@85-76-21-194-nat.elisa-mobile.fi)
2023-08-19 07:27:22 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-19 07:31:57 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 244 seconds)
2023-08-19 07:35:54 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-19 07:38:39 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-19 07:41:06 +0200kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 256 seconds)
2023-08-19 07:44:08 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-08-19 07:49:32 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 245 seconds)
2023-08-19 07:50:29 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-19 07:56:30 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-08-19 08:00:14 +0200Arsen(arsen@gentoo/developer/managarm.dev.Arsen) (Read error: Connection reset by peer)
2023-08-19 08:00:33 +0200Arsen(arsen@gentoo/developer/managarm.dev.Arsen)
2023-08-19 08:09:50 +0200dean61(~dean61@2603-8080-4900-cbb1-0000-0000-0000-1410.res6.spectrum.com)
2023-08-19 08:10:05 +0200 <dean61> hello
2023-08-19 08:10:28 +0200billchenchina(~billchenc@117.136.116.128)
2023-08-19 08:10:46 +0200 <dean61> I have this haskell code
2023-08-19 08:10:47 +0200 <dean61> https://pastebin.com/WChRQ1XW
2023-08-19 08:10:47 +0200Alleria(~JohnGalt@user/alleria)
2023-08-19 08:11:05 +0200 <dean61> it solves the problem "find/count pairs (p,q) such that p^2 + q^3 contains all digits exactly once"
2023-08-19 08:11:13 +0200 <dean61> is there a better way to do it
2023-08-19 08:11:16 +0200NewtonTrendy(uid282092@user/bopqod)
2023-08-19 08:11:42 +0200 <dean61> like maybe using an infinite list of primes and doing some sort of merge to get them ordered by p^2+q^3
2023-08-19 08:11:52 +0200 <dean61> alternatively is there a way to speed up the computation
2023-08-19 08:12:18 +0200kritzefitz(~kritzefit@debian/kritzefitz)
2023-08-19 08:13:54 +0200 <dean61> https://paste.tomsmeding.com/WgGMngkU
2023-08-19 08:14:20 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 08:17:09 +0200gmg(~user@user/gehmehgeh)
2023-08-19 08:18:46 +0200mikoto-chan(~mikoto-ch@85-76-21-194-nat.elisa-mobile.fi) (Ping timeout: 246 seconds)
2023-08-19 08:21:37 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 245 seconds)
2023-08-19 08:23:49 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-08-19 08:26:09 +0200mikoto-chan(~mikoto-ch@85-76-21-194-nat.elisa-mobile.fi)
2023-08-19 08:26:43 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-08-19 08:27:29 +0200 <probie> Where's the majority of time spent?
2023-08-19 08:28:45 +0200 <probie> `containsEveryDigitOnce` can be made quite a bit faster, but is that a bottleneck?
2023-08-19 08:30:58 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-19 08:34:06 +0200danza__(~francesco@151.19.245.9) (Read error: Connection reset by peer)
2023-08-19 08:34:28 +0200danza__(~francesco@151.19.224.6)
2023-08-19 08:34:51 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
2023-08-19 08:35:13 +0200jonathan_(~jonathan@193.203.13.30)
2023-08-19 08:36:24 +0200 <dean61> I get that it spends about 98% of the time in that function
2023-08-19 08:36:35 +0200 <dean61> probie
2023-08-19 08:37:02 +0200 <dean61> https://paste.tomsmeding.com/Qh3D5mnm
2023-08-19 08:38:48 +0200 <dean61> yes avoiding the sort speeds it up
2023-08-19 08:42:27 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Remote host closed the connection)
2023-08-19 08:43:20 +0200ripspin(~chatzilla@1.145.156.21)
2023-08-19 08:44:31 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2023-08-19 08:44:56 +0200 <probie> When compiled with `-O2` https://paste.tomsmeding.com/YHCUENKK seems to make it about 3 times faster (on my computer), but it's about half the speed when run in GHCi
2023-08-19 08:46:48 +0200hgolden(~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection)
2023-08-19 08:47:43 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-19 08:48:18 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2023-08-19 08:49:09 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:fc05:5499:f77c:fbe5)
2023-08-19 08:49:16 +0200gleostocha(~runic@2600:1700:3bdd:9810::3b) (Ping timeout: 248 seconds)
2023-08-19 08:51:52 +0200acidjnk(~acidjnk@p200300d6e7072f5000828a9f1d7339ed.dip0.t-ipconnect.de)
2023-08-19 08:52:18 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 250 seconds)
2023-08-19 08:52:48 +0200crazazy(~user@130.89.171.133)
2023-08-19 08:55:36 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-19 08:55:49 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-08-19 08:57:26 +0200dean61(~dean61@2603-8080-4900-cbb1-0000-0000-0000-1410.res6.spectrum.com) (Quit: Client closed)
2023-08-19 08:58:59 +0200sm(~sm@plaintextaccounting/sm)
2023-08-19 09:00:02 +0200hugo(znc@verdigris.lysator.liu.se)
2023-08-19 09:01:20 +0200simikando(~simikando@bband-dyn179.95-103-254.t-com.sk)
2023-08-19 09:03:32 +0200simikando(~simikando@bband-dyn179.95-103-254.t-com.sk) (Client Quit)
2023-08-19 09:04:01 +0200simikando(~simikando@bband-dyn179.95-103-254.t-com.sk)
2023-08-19 09:04:34 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-19 09:07:34 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-19 09:11:35 +0200fendor(~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3)
2023-08-19 09:12:27 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 260 seconds)
2023-08-19 09:13:09 +0200Pickchea(~private@user/pickchea)
2023-08-19 09:15:24 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 09:15:59 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-19 09:16:48 +0200mima(~mmh@net-93-148-96-78.cust.dsl.teletu.it)
2023-08-19 09:18:45 +0200euandreh(~Thunderbi@189.6.18.7) (Ping timeout: 246 seconds)
2023-08-19 09:19:17 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-08-19 09:19:40 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-19 09:20:16 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds)
2023-08-19 09:21:13 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-08-19 09:21:41 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds)
2023-08-19 09:22:20 +0200Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 248 seconds)
2023-08-19 09:24:13 +0200mikoto-chan(~mikoto-ch@85-76-21-194-nat.elisa-mobile.fi) (Ping timeout: 246 seconds)
2023-08-19 09:24:24 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-08-19 09:25:21 +0200bilegeek(~bilegeek@2600:1008:b06f:9cf9:f684:76cd:d659:2987)
2023-08-19 09:26:49 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-08-19 09:28:41 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-08-19 09:29:15 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-08-19 09:29:31 +0200simikando(~simikando@bband-dyn179.95-103-254.t-com.sk) (Quit: Leaving)
2023-08-19 09:30:47 +0200jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.0.3)
2023-08-19 09:32:03 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:d189:f4be:247a:f4eb) (Ping timeout: 246 seconds)
2023-08-19 09:32:56 +0200vglfr(~vglfr@cli-188-239-201-89.bbn.slav.dn.ua)
2023-08-19 09:33:33 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
2023-08-19 09:37:38 +0200billchenchina-(~billchenc@210.28.139.54)
2023-08-19 09:38:38 +0200Lycurgus(~juan@user/Lycurgus)
2023-08-19 09:40:06 +0200billchenchina(~billchenc@117.136.116.128) (Ping timeout: 246 seconds)
2023-08-19 09:43:26 +0200fendor(~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection)
2023-08-19 09:51:39 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-19 09:57:39 +0200shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 244 seconds)
2023-08-19 09:58:59 +0200notzmv(~zmv@user/notzmv)
2023-08-19 10:00:46 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-08-19 10:02:18 +0200thegeekinside(~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
2023-08-19 10:04:15 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 10:11:57 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-08-19 10:12:44 +0200shapr(~user@2600:1700:c640:3100:ab39:d2fb:a612:d413) (Remote host closed the connection)
2023-08-19 10:12:58 +0200shapr(~user@2600:1700:c640:3100:f56e:d924:65b8:b795)
2023-08-19 10:13:44 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Remote host closed the connection)
2023-08-19 10:17:35 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:6085:9764:49dd:5dc5) (Remote host closed the connection)
2023-08-19 10:17:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-19 10:24:21 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds)
2023-08-19 10:24:58 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-19 10:31:06 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-08-19 10:33:05 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
2023-08-19 10:33:48 +0200ursa-major(~ursa-majo@static-198-44-128-183.cust.tzulo.com) (Quit: WeeChat 4.0.3)
2023-08-19 10:36:30 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Tschüss)
2023-08-19 10:45:19 +0200anandprabhu(~anandprab@185.65.135.224)
2023-08-19 10:46:35 +0200hugo(znc@verdigris.lysator.liu.se)
2023-08-19 10:48:21 +0200bilegeek(~bilegeek@2600:1008:b06f:9cf9:f684:76cd:d659:2987) (Quit: Leaving)
2023-08-19 10:49:47 +0200billchenchina-(~billchenc@210.28.139.54) (Remote host closed the connection)
2023-08-19 10:51:15 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-08-19 10:53:33 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Remote host closed the connection)
2023-08-19 11:00:21 +0200anselmschueler(~anselmsch@user/schuelermine)
2023-08-19 11:01:20 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2023-08-19 11:07:22 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds)
2023-08-19 11:18:15 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-19 11:18:28 +0200eggplantade(~Eggplanta@104.55.37.220)
2023-08-19 11:22:27 +0200Tuplanolla(~Tuplanoll@91.159.68.236)
2023-08-19 11:22:52 +0200eggplantade(~Eggplanta@104.55.37.220) (Ping timeout: 248 seconds)
2023-08-19 11:24:27 +0200anandprabhu(~anandprab@185.65.135.224) (Ping timeout: 244 seconds)
2023-08-19 11:27:05 +0200anandprabhu(~anandprab@94.201.237.158)
2023-08-19 11:27:24 +0200danza__(~francesco@151.19.224.6) (Ping timeout: 246 seconds)
2023-08-19 11:30:21 +0200xff0x(~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 246 seconds)
2023-08-19 11:32:31 +0200xff0x(~xff0x@178.255.149.135)
2023-08-19 11:34:31 +0200mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be)
2023-08-19 11:37:22 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 11:38:11 +0200danza__(~francesco@151.19.224.6)
2023-08-19 11:41:54 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2023-08-19 11:42:02 +0200crazazy(~user@130.89.171.133) (Ping timeout: 246 seconds)
2023-08-19 11:44:41 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-19 11:46:04 +0200xff0x(~xff0x@178.255.149.135) (Ping timeout: 252 seconds)
2023-08-19 11:47:56 +0200bonz060(~quassel@2001:bc8:640:f07::1)
2023-08-19 11:48:17 +0200xff0x(~xff0x@138.64.86.45)
2023-08-19 11:51:50 +0200tromp(~textual@92.110.219.57)
2023-08-19 11:53:26 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 11:54:22 +0200anselmschueler(~anselmsch@user/schuelermine) (Ping timeout: 246 seconds)
2023-08-19 11:57:51 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2023-08-19 12:02:57 +0200actioninja6302(~actioninj@user/actioninja) (Quit: see ya mane)
2023-08-19 12:03:20 +0200actioninja6302(~actioninj@user/actioninja)
2023-08-19 12:03:21 +0200actioninja6302actioninja
2023-08-19 12:08:00 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 245 seconds)
2023-08-19 12:11:04 +0200ripspin(~chatzilla@1.145.156.21) (Remote host closed the connection)
2023-08-19 12:20:02 +0200oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
2023-08-19 12:25:39 +0200Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-08-19 12:28:17 +0200Techcable(~Techcable@user/Techcable) (Ping timeout: 245 seconds)
2023-08-19 12:33:41 +0200misterfish(~misterfis@84.53.85.146)
2023-08-19 12:34:25 +0200danza__(~francesco@151.19.224.6) (Read error: Connection reset by peer)
2023-08-19 12:35:04 +0200danza__(~francesco@151.37.241.220)
2023-08-19 12:37:35 +0200npmania(~Thunderbi@45.8.223.243)
2023-08-19 12:42:50 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-08-19 12:46:49 +0200simikando(~simikando@bband-dyn179.95-103-254.t-com.sk)
2023-08-19 12:51:59 +0200masterbuilder(~masterbui@user/masterbuilder) (Quit: leaving)
2023-08-19 12:54:31 +0200masterbuilder(~masterbui@user/masterbuilder)
2023-08-19 12:56:10 +0200acidjnk(~acidjnk@p200300d6e7072f5000828a9f1d7339ed.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2023-08-19 13:05:16 +0200danza__(~francesco@151.37.241.220) (Ping timeout: 248 seconds)
2023-08-19 13:06:05 +0200npmania(~Thunderbi@45.8.223.243) (Quit: npmania)
2023-08-19 13:07:18 +0200euandreh(~Thunderbi@189.6.18.7)
2023-08-19 13:08:33 +0200dcoutts(~duncan@188.164.224.156)
2023-08-19 13:15:47 +0200Lycurgus(~juan@user/Lycurgus)
2023-08-19 13:23:31 +0200anandprabhu(~anandprab@94.201.237.158) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2023-08-19 13:24:25 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Tschüss)
2023-08-19 13:24:36 +0200acidjnk(~acidjnk@p200300d6e7072f50fc6d50d58f49c7f1.dip0.t-ipconnect.de)
2023-08-19 13:27:40 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 13:34:57 +0200mima(~mmh@net-93-148-96-78.cust.dsl.teletu.it) (Ping timeout: 260 seconds)
2023-08-19 13:36:15 +0200tromp(~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-19 13:37:26 +0200shapr(~user@2600:1700:c640:3100:f56e:d924:65b8:b795) (Remote host closed the connection)
2023-08-19 13:37:39 +0200shapr(~user@2600:1700:c640:3100:b729:84c1:96af:363e)
2023-08-19 13:47:24 +0200dcoutts(~duncan@188.164.224.156) (Ping timeout: 250 seconds)
2023-08-19 13:51:33 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
2023-08-19 13:53:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-19 14:00:51 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-08-19 14:02:15 +0200phma(~phma@2001:5b0:210d:fa8:a608:8ba6:f080:fd9b) (Read error: Connection reset by peer)
2023-08-19 14:02:41 +0200phma(phma@2001:5b0:210d:fa8:9f82:cebd:52a4:eb8d)
2023-08-19 14:10:24 +0200fendor(~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3)
2023-08-19 14:10:56 +0200ulysses4ever(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671)
2023-08-19 14:14:13 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 14:15:33 +0200anandprabhu(~anandprab@94.201.237.158)
2023-08-19 14:18:50 +0200simikando(~simikando@bband-dyn179.95-103-254.t-com.sk) (Ping timeout: 246 seconds)
2023-08-19 14:18:55 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2023-08-19 14:21:16 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:6085:9764:49dd:5dc5)
2023-08-19 14:25:33 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:6085:9764:49dd:5dc5) (Ping timeout: 246 seconds)
2023-08-19 14:28:06 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-08-19 14:29:00 +0200hdggxin(~hdggxin@122.175.41.19) (Ping timeout: 248 seconds)
2023-08-19 14:31:22 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-08-19 14:31:43 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-08-19 14:38:15 +0200razetime(~quassel@117.254.37.116)
2023-08-19 14:42:22 +0200dextaa3(~DV@user/dextaa)
2023-08-19 14:43:20 +0200dextaa(~DV@user/dextaa) (Ping timeout: 246 seconds)
2023-08-19 14:43:20 +0200dextaa3dextaa
2023-08-19 14:43:52 +0200merijn(~merijn@83.128.129.88)
2023-08-19 14:46:45 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2023-08-19 14:47:16 +0200dextaa(~DV@user/dextaa)
2023-08-19 14:49:37 +0200shapr(~user@2600:1700:c640:3100:b729:84c1:96af:363e) (Remote host closed the connection)
2023-08-19 14:49:47 +0200Alleria(~JohnGalt@user/alleria) (Read error: Connection reset by peer)
2023-08-19 14:49:51 +0200shapr(~user@2600:1700:c640:3100:3c58:3630:ffc6:7bdc)
2023-08-19 14:49:56 +0200codaraxis___(~codaraxis@user/codaraxis)
2023-08-19 14:50:04 +0200AlexNoo_(~AlexNoo@178.34.161.177)
2023-08-19 14:50:37 +0200AlexNoo(~AlexNoo@178.34.161.177) (Read error: Connection reset by peer)
2023-08-19 14:50:41 +0200Alleria(~JohnGalt@user/alleria)
2023-08-19 14:51:24 +0200merijn(~merijn@83.128.129.88) (Ping timeout: 248 seconds)
2023-08-19 14:51:47 +0200hdggxin(~hdggxin@122.175.41.19)
2023-08-19 14:53:28 +0200codaraxis__(~codaraxis@user/codaraxis) (Ping timeout: 256 seconds)
2023-08-19 15:07:50 +0200razetime(~quassel@117.254.37.116) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-08-19 15:08:26 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-08-19 15:18:06 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 15:27:11 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-19 15:35:22 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:fc05:5499:f77c:fbe5) (Remote host closed the connection)
2023-08-19 15:49:34 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds)
2023-08-19 15:56:32 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 250 seconds)
2023-08-19 15:57:36 +0200travisb_(~tabemann@2600:1700:7990:24e0:8106:70ee:7ed9:7eae) (Quit: Leaving)
2023-08-19 16:15:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-19 16:16:09 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 16:16:55 +0200Simikando(~Simikando@91.127.51.1)
2023-08-19 16:20:22 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2023-08-19 16:22:04 +0200Simikando(~Simikando@91.127.51.1) (Ping timeout: 248 seconds)
2023-08-19 16:25:16 +0200ulysses4ever(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Ping timeout: 248 seconds)
2023-08-19 16:27:43 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-08-19 16:29:27 +0200euandreh(~Thunderbi@189.6.18.7) (Ping timeout: 246 seconds)
2023-08-19 16:32:27 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 16:34:45 +0200ulysses4ever(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671)
2023-08-19 16:36:50 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2023-08-19 16:40:53 +0200extor(~extor@ns3018124.ip-149-202-82.eu) (Remote host closed the connection)
2023-08-19 16:50:41 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-19 16:54:33 +0200mima(~mmh@93.148.96.78)
2023-08-19 16:58:18 +0200Buggys(Buggys@shelltalk.net) (Ping timeout: 246 seconds)
2023-08-19 16:59:47 +0200Alleria(~JohnGalt@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2023-08-19 17:00:13 +0200Alleria(~JohnGalt@user/alleria)
2023-08-19 17:08:21 +0200artem(~artem@172.58.146.179)
2023-08-19 17:08:26 +0200ulysses4ever(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Read error: Connection reset by peer)
2023-08-19 17:10:26 +0200ulysses4ever(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671)
2023-08-19 17:10:28 +0200artem(~artem@172.58.146.179) (Read error: Connection reset by peer)
2023-08-19 17:11:27 +0200fendor(~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection)
2023-08-19 17:11:41 +0200artem(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671)
2023-08-19 17:11:42 +0200ulysses4ever(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Read error: Connection reset by peer)
2023-08-19 17:16:36 +0200ulysses4ever(~artem@172.58.146.179)
2023-08-19 17:16:37 +0200artem(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Read error: Connection reset by peer)
2023-08-19 17:17:59 +0200artem(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671)
2023-08-19 17:18:01 +0200ulysses4ever(~artem@172.58.146.179) (Read error: Connection reset by peer)
2023-08-19 17:18:19 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 17:19:23 +0200ulysses4ever(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671)
2023-08-19 17:19:24 +0200artem(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Read error: Connection reset by peer)
2023-08-19 17:23:19 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:6085:9764:49dd:5dc5)
2023-08-19 17:27:02 +0200Lycurgus(~juan@user/Lycurgus)
2023-08-19 17:27:36 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:6085:9764:49dd:5dc5) (Ping timeout: 256 seconds)
2023-08-19 17:27:48 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-08-19 17:36:39 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Remote host closed the connection)
2023-08-19 17:37:00 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-08-19 17:38:17 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-19 17:40:14 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Tschüss)
2023-08-19 17:45:46 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-08-19 17:48:28 +0200shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 248 seconds)
2023-08-19 17:48:46 +0200Pickchea(~private@user/pickchea)
2023-08-19 17:49:43 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Remote host closed the connection)
2023-08-19 17:50:05 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-08-19 17:50:42 +0200Buggys(Buggys@Buggy.shelltalk.net)
2023-08-19 17:52:32 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds)
2023-08-19 17:53:58 +0200mvk(~mvk@2607:fea8:5c9a:a600::1c6d)
2023-08-19 17:57:43 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:6085:9764:49dd:5dc5)
2023-08-19 17:58:57 +0200crazazy(~user@130.89.171.133)
2023-08-19 17:59:33 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 246 seconds)
2023-08-19 18:00:20 +0200hgolden(~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com)
2023-08-19 18:02:54 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-08-19 18:05:42 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds)
2023-08-19 18:08:06 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-08-19 18:13:02 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-08-19 18:13:36 +0200Alleria(~JohnGalt@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2023-08-19 18:16:19 +0200Alleria(~JohnGalt@user/alleria)
2023-08-19 18:23:13 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-08-19 18:24:00 +0200gabiruh(~gabiruh@191.252.222.55)
2023-08-19 18:27:20 +0200mvk(~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 246 seconds)
2023-08-19 18:31:23 +0200Alleria(~JohnGalt@user/alleria) (Quit: Textual IRC Client: www.textualapp.com)
2023-08-19 18:32:57 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 18:33:50 +0200crazazy(~user@130.89.171.133) (Ping timeout: 250 seconds)
2023-08-19 18:35:57 +0200doyougnu-(~doyougnu@45.46.170.68) (Ping timeout: 246 seconds)
2023-08-19 18:38:00 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-08-19 18:45:23 +0200ripspin(~chatzilla@1.145.161.50)
2023-08-19 18:46:20 +0200vglfr(~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 245 seconds)
2023-08-19 18:46:55 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:5ee:83ed:dacf:8d0c)
2023-08-19 18:49:06 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:5ee:83ed:dacf:8d0c) (Read error: Connection reset by peer)
2023-08-19 18:49:20 +0200vglfr(~vglfr@145.224.100.231)
2023-08-19 18:49:21 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-08-19 18:50:05 +0200vglfr(~vglfr@145.224.100.231)
2023-08-19 18:50:06 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-08-19 18:50:26 +0200vglfr(~vglfr@145.224.100.231)
2023-08-19 18:51:12 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 18:53:35 +0200thegeekinside(~thegeekin@189.217.90.224)
2023-08-19 18:53:39 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-08-19 18:54:00 +0200vglfr(~vglfr@145.224.100.231)
2023-08-19 18:54:03 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-08-19 18:54:16 +0200vglfr(~vglfr@145.224.100.231)
2023-08-19 18:54:19 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-08-19 18:54:57 +0200vglfr(~vglfr@145.224.100.231)
2023-08-19 18:58:36 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-08-19 18:59:06 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:5ee:83ed:dacf:8d0c)
2023-08-19 19:00:19 +0200shapr(~user@2600:1700:c640:3100:3c58:3630:ffc6:7bdc) (Remote host closed the connection)
2023-08-19 19:00:55 +0200shapr(~user@2600:1700:c640:3100:2cd6:c1ec:e956:309c)
2023-08-19 19:01:43 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds)
2023-08-19 19:03:00 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2023-08-19 19:04:09 +0200thegeekinside(~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
2023-08-19 19:09:48 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:5ee:83ed:dacf:8d0c) (Read error: Connection reset by peer)
2023-08-19 19:10:01 +0200vglfr(~vglfr@145.224.100.231)
2023-08-19 19:12:20 +0200Simikando(~Simikando@91.127.51.1)
2023-08-19 19:13:24 +0200crazazy(~user@130.89.171.133)
2023-08-19 19:17:53 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-19 19:20:56 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 256 seconds)
2023-08-19 19:23:49 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-08-19 19:25:30 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2023-08-19 19:26:45 +0200extor(~extor@ns3018124.ip-149-202-82.eu)
2023-08-19 19:28:17 +0200 <albet70> why there's no Data.ByteString.splitOn? for god's sake it's 2023!
2023-08-19 19:29:10 +0200 <shapr> I thought there was?
2023-08-19 19:29:32 +0200crazazy(~user@130.89.171.133) (Ping timeout: 240 seconds)
2023-08-19 19:29:46 +0200 <shapr> :t splitWith
2023-08-19 19:29:47 +0200 <lambdabot> error:
2023-08-19 19:29:47 +0200 <lambdabot> • Variable not in scope: splitWith
2023-08-19 19:29:47 +0200 <lambdabot> • Perhaps you meant one of these:
2023-08-19 19:30:01 +0200 <shapr> Oh, that's not really it
2023-08-19 19:30:40 +0200 <geekosaur> https://hackage.haskell.org/package/bytestring-0.12.0.2/docs/Data-ByteString.html#v:split
2023-08-19 19:31:26 +0200 <shapr> That splits on a single Word8
2023-08-19 19:31:47 +0200 <geekosaur> for anything else you want a parser, see flatparse
2023-08-19 19:31:53 +0200 <shapr> I think albet70 wants `splitOn "abc" "123abcdef" -> ["123","def"]`
2023-08-19 19:32:24 +0200 <geekosaur> ByteString, not Text
2023-08-19 19:33:44 +0200 <shapr> Yeah, but split still takes one byte, and I think albet70 wants to split on and consume multiple byte separators.
2023-08-19 19:33:55 +0200 <albet70> for what reason, it doesn't exist yet?
2023-08-19 19:36:33 +0200tabaqui(~root@88.238.9.97) (Quit: WeeChat 4.0.2)
2023-08-19 19:38:52 +0200mima(~mmh@93.148.96.78) (Ping timeout: 248 seconds)
2023-08-19 19:39:23 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 19:42:20 +0200ripspin(~chatzilla@1.145.161.50) (Remote host closed the connection)
2023-08-19 19:43:42 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-08-19 19:44:22 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-19 19:45:29 +0200AlexNoo_AlexNoo
2023-08-19 19:46:32 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 19:50:51 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-08-19 19:51:32 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2023-08-19 19:55:03 +0200 <EvanR> back when I noticed there was no bytestring split, I found this on hackage https://hackage.haskell.org/package/stringsearch
2023-08-19 19:55:22 +0200 <EvanR> like the split package is comes with a bunch of other stuff than what you wanted
2023-08-19 19:55:57 +0200 <EvanR> albet70, ^
2023-08-19 19:56:12 +0200 <EvanR> Fast overlapping Boyer-Moore search of strict ByteString values. Breaking, splitting and replacing using the Boyer-Moore algorithm.
2023-08-19 19:58:47 +0200chexum_(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-08-19 19:59:02 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2023-08-19 19:59:51 +0200 <EvanR> other algorithms are included for tuning performance
2023-08-19 20:08:44 +0200Simikando(~Simikando@91.127.51.1) (Ping timeout: 248 seconds)
2023-08-19 20:11:56 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 256 seconds)
2023-08-19 20:15:08 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-08-19 20:15:54 +0200ulysses4ever(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Ping timeout: 256 seconds)
2023-08-19 20:16:49 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-08-19 20:18:52 +0200vglfr(~vglfr@145.224.100.231) (Ping timeout: 240 seconds)
2023-08-19 20:19:52 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-08-19 20:20:04 +0200vglfr(~vglfr@cli-188-239-201-89.bbn.slav.dn.ua)
2023-08-19 20:20:45 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds)
2023-08-19 20:21:21 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-19 20:21:27 +0200ulysses4ever(~artem@73.145.241.63)
2023-08-19 20:21:59 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-08-19 20:23:14 +0200artem(~artem@73.145.241.63)
2023-08-19 20:23:15 +0200ulysses4ever(~artem@73.145.241.63) (Read error: Connection reset by peer)
2023-08-19 20:24:32 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
2023-08-19 20:25:30 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 246 seconds)
2023-08-19 20:26:00 +0200sm(~sm@plaintextaccounting/sm)
2023-08-19 20:32:25 +0200Pickchea(~private@user/pickchea)
2023-08-19 20:33:39 +0200Techcable(~Techcable@user/Techcable)
2023-08-19 20:39:30 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 20:41:02 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-19 20:45:19 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 246 seconds)
2023-08-19 20:46:30 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-08-19 20:48:44 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
2023-08-19 20:49:21 +0200anandprabhu(~anandprab@94.201.237.158) (Quit: Textual IRC Client: www.textualapp.com)
2023-08-19 20:49:34 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-19 20:50:28 +0200emma-underscores(~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net)
2023-08-19 20:53:20 +0200Sgeo(~Sgeo@user/sgeo)
2023-08-19 20:54:12 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 260 seconds)
2023-08-19 20:55:23 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds)
2023-08-19 20:55:30 +0200shriekingnoise(~shrieking@186.137.175.87) (Quit: Quit)
2023-08-19 20:57:22 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-08-19 21:01:25 +0200EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2023-08-19 21:02:47 +0200EvanR(~EvanR@user/evanr)
2023-08-19 21:04:41 +0200Marcel2(~Midjak@82.66.147.146)
2023-08-19 21:07:33 +0200Marcel2(~Midjak@82.66.147.146) (Client Quit)
2023-08-19 21:13:40 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2023-08-19 21:15:08 +0200 <dsal> I suddenly get `>>=` and `>=>` confused. I could just put them next to each other and stare, or I can keep doing one and then if it doesn't work do the other one because I'm tired.
2023-08-19 21:16:06 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-19 21:16:28 +0200 <shapr> :t (>=>)
2023-08-19 21:16:29 +0200 <lambdabot> Monad m => (a -> m b) -> (b -> m c) -> a -> m c
2023-08-19 21:16:39 +0200 <shapr> dsal: it's that the a and b are different
2023-08-19 21:16:58 +0200 <geekosaur> >=> is . for monads 😛
2023-08-19 21:17:48 +0200 <ncf> (and >>= is & for monads)
2023-08-19 21:18:03 +0200 <[Leary]> >>>, technically, which ought to help you remember.
2023-08-19 21:18:28 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-19 21:18:55 +0200 <dsal> In particular, I was going the other direction, where I'd normally do something like `f =<< g a` and it was like, "nah" so I changed it to `f <=< g a` and decided I should probably sit down and think instead of just flailing.
2023-08-19 21:19:40 +0200 <dsal> I was flailing on a different thing, though… this just kind of floated off.
2023-08-19 21:20:19 +0200hugo(znc@verdigris.lysator.liu.se)
2023-08-19 21:20:26 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 245 seconds)
2023-08-19 21:20:57 +0200 <dsal> Someone sent me a PR doing `unsafeIOToSTM` which feels pretty dirty, but seems fine. I wanted to write some tests and the intersection of tasty, quickcheck, and IO was making the strategy a bit non-obvious.
2023-08-19 21:22:06 +0200edwtjo(~edwtjo@fsf/member/edwtjo) (Ping timeout: 252 seconds)
2023-08-19 21:28:08 +0200 <EvanR> the difference between composition and application, gets em every time!
2023-08-19 21:28:46 +0200artem(~artem@73.145.241.63) (Ping timeout: 245 seconds)
2023-08-19 21:29:16 +0200 <EvanR> I noticed at elixir meet up they call both composition
2023-08-19 21:29:38 +0200 <EvanR> f $ g $ h x is composition
2023-08-19 21:29:58 +0200 <davean> dsal: I'd call that rather questionable. Why did they do that?
2023-08-19 21:30:33 +0200 <dsal> davean: It's a map that loses information over time.
2023-08-19 21:31:02 +0200 <davean> inside STM? ... questions
2023-08-19 21:31:12 +0200mvk(~mvk@2607:fea8:5c9a:a600::1c6d)
2023-08-19 21:31:45 +0200 <dsal> The inside STM part is that the map is updated in STM and records the time it updates. The effect is "get a timestamp."
2023-08-19 21:32:46 +0200 <dsal> I'm currently using it as an exercise for how to test such a thing. I think I have a better strategy in this app for that kind of thing, though.
2023-08-19 21:33:14 +0200 <davean> Thats ugly, it should get the timestamp at the return point of the atomic IMO
2023-08-19 21:34:29 +0200 <dsal> I might be able to get rid of it. Right now, it's just an interesting test exercise. :)
2023-08-19 21:34:40 +0200 <davean> Sure, sure
2023-08-19 21:34:45 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-19 21:35:07 +0200 <davean> I often times find difficulty testing is because the code is wrong and just fix the code :-p
2023-08-19 21:35:34 +0200 <davean> (what you're presenting here would definately be one of them given how I'd test it)
2023-08-19 21:36:47 +0200 <dminuoso> EvanR: To be fair, the lines are quite blurry. Given that (.) is in most scenarios (rightfully expected to be) inlined anyway, and also that composition with (.) is only useful if you eventually intend to apply it anyway.
2023-08-19 21:37:31 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 245 seconds)
2023-08-19 21:38:00 +0200 <dsal> davean: Yeah. I don't think, in general, it's wrong to write a property test that uses STM. I do it in another project with a slightly different arrangement of test frameworks. Right now, I'm just trying to figure out what this thing actually wants.
2023-08-19 21:38:14 +0200 <EvanR> unless it's category theory, then it's all point free
2023-08-19 21:39:12 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 246 seconds)
2023-08-19 21:42:23 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-19 21:57:54 +0200shapr(~user@2600:1700:c640:3100:2cd6:c1ec:e956:309c) (Remote host closed the connection)
2023-08-19 21:58:08 +0200shapr(~user@2600:1700:c640:3100:32f1:35fd:5274:796e)
2023-08-19 21:59:57 +0200emma-underscores(~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net) (Quit: emma-underscores)
2023-08-19 22:00:07 +0200emma-underscores(~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net)
2023-08-19 22:01:36 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-19 22:05:49 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 246 seconds)
2023-08-19 22:07:49 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2023-08-19 22:08:14 +0200edwtjo(~edwtjo@h-155-4-52-185.A213.priv.bahnhof.se)
2023-08-19 22:08:14 +0200edwtjo(~edwtjo@h-155-4-52-185.A213.priv.bahnhof.se) (Changing host)
2023-08-19 22:08:14 +0200edwtjo(~edwtjo@fsf/member/edwtjo)
2023-08-19 22:12:06 +0200jonathan_(~jonathan@193.203.13.30) (Ping timeout: 246 seconds)
2023-08-19 22:18:23 +0200anselmschueler(~anselmsch@user/schuelermine)
2023-08-19 22:20:17 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-19 22:21:50 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds)
2023-08-19 22:24:36 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-08-19 22:24:40 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 245 seconds)
2023-08-19 22:26:49 +0200jonathan_(~jonathan@193.203.13.30)
2023-08-19 22:30:04 +0200titibandit(~titibandi@user/titibandit)
2023-08-19 22:32:24 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-19 22:33:25 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 245 seconds)
2023-08-19 22:34:51 +0200ulysses4ever(~artem@2601:408:c405:6370:f474:e3f8:9806:671)
2023-08-19 22:36:33 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-08-19 22:38:16 +0200son0p(~ff@191.104.6.44) (Quit: Bye)
2023-08-19 22:47:07 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-19 22:48:20 +0200bramhaag(~bramhaag@134.195.121.39) (Quit: Ping timeout (120 seconds))
2023-08-19 22:51:19 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 246 seconds)
2023-08-19 22:51:22 +0200bramhaag(~bramhaag@134.195.121.39)
2023-08-19 22:53:22 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-08-19 22:54:01 +0200Pickchea(~private@user/pickchea)
2023-08-19 22:54:36 +0200mvk(~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 246 seconds)
2023-08-19 22:54:47 +0200Pickchea(~private@user/pickchea) (Client Quit)
2023-08-19 23:01:28 +0200jonathan_(~jonathan@193.203.13.30) (Ping timeout: 252 seconds)
2023-08-19 23:02:59 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2023-08-19 23:05:45 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-19 23:05:45 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-08-19 23:06:12 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
2023-08-19 23:06:36 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2023-08-19 23:06:56 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-19 23:06:56 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-19 23:06:56 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-19 23:08:02 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
2023-08-19 23:10:13 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 244 seconds)
2023-08-19 23:14:38 +0200edwtjo(~edwtjo@fsf/member/edwtjo) (Read error: Connection reset by peer)
2023-08-19 23:15:14 +0200mvk(~mvk@2607:fea8:5c9a:a600::1c6d)
2023-08-19 23:15:45 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-08-19 23:20:52 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 240 seconds)
2023-08-19 23:24:13 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-08-19 23:27:31 +0200emma-underscores(~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net) (Ping timeout: 245 seconds)
2023-08-19 23:29:40 +0200anselmschueler(~anselmsch@user/schuelermine) (Ping timeout: 245 seconds)
2023-08-19 23:30:22 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 245 seconds)
2023-08-19 23:32:27 +0200pavonia(~user@user/siracusa)
2023-08-19 23:32:38 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-19 23:35:45 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-08-19 23:37:32 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 260 seconds)
2023-08-19 23:39:24 +0200ulysses4ever(~artem@2601:408:c405:6370:f474:e3f8:9806:671) (Ping timeout: 248 seconds)
2023-08-19 23:39:45 +0200jargon(~jargon@174-22-213-62.phnx.qwest.net)
2023-08-19 23:40:28 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 256 seconds)
2023-08-19 23:48:42 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-08-19 23:50:22 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 260 seconds)
2023-08-19 23:51:03 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-19 23:55:22 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 245 seconds)
2023-08-19 23:59:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)