2025/12/02

Newest at the top

2025-12-02 15:11:24 +0100tt123160(~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Ping timeout: 260 seconds)
2025-12-02 15:10:51 +0100Googulator13(~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-12-02 15:10:45 +0100Googulator7(~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-12-02 14:58:55 +0100adamCS(~adamCS@70.19.85.77) adamCS
2025-12-02 14:57:09 +0100adamCS(~adamCS@70.19.85.77) (Remote host closed the connection)
2025-12-02 14:54:52 +0100sindu(~sindu@2.148.32.207.tmi.telenormobil.no)
2025-12-02 14:54:07 +0100tromp(~textual@2001:1c00:3487:1b00:4073:6a24:b181:8b56)
2025-12-02 14:43:33 +0100 <lambdabot> (Traversable t, Monad m) => (s -> a -> m (s, b)) -> s -> t a -> m (s, t b)
2025-12-02 14:43:30 +0100 <ski> @type let mapAccumLM :: (Traversable t,Monad m) => (s -> a -> m (s,b)) -> s -> t a -> m (s,t b); mapAccumLM f s0 = fmap swap . flip runStateT s0 . traverse (StateT . (fmap swap .) . flip f) in mapAccumLM -- `mapAccumLM' ~= `traverse' on `StateT'
2025-12-02 14:41:05 +0100adamCS(~adamCS@70.19.85.77) adamCS
2025-12-02 14:39:19 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-02 14:36:38 +0100trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-02 14:30:46 +0100AlexZenon(~alzenon@85.174.183.216)
2025-12-02 14:23:25 +0100 <[exa]> no clue tbh
2025-12-02 14:21:21 +0100adamCS(~adamCS@70.19.85.77) (Remote host closed the connection)
2025-12-02 14:20:13 +0100 <kuribas> [exa]: how does conduit take care of exceptions?
2025-12-02 14:18:03 +0100__monty__(~toonn@user/toonn) toonn
2025-12-02 14:17:02 +0100AlexNoo(~AlexNoo@85.174.183.216)
2025-12-02 14:13:45 +0100 <[exa]> ah ok
2025-12-02 14:13:38 +0100 <lucabtz> if you want you can pm me to avoid the spoilers!
2025-12-02 14:13:16 +0100 <lucabtz> tbh i havent measured but you have it basically instantly
2025-12-02 14:12:26 +0100 <lucabtz> its the other part which is slow
2025-12-02 14:12:15 +0100 <lucabtz> i must say though the part cutting them in half is not slow
2025-12-02 14:12:10 +0100 <[exa]> <possible spoilers start>
2025-12-02 14:11:58 +0100 <lucabtz> yep
2025-12-02 14:11:40 +0100 <[exa]> okay so if I read the code right, you're taking all the numbers one by one, cut them in half and compare the halves, right?
2025-12-02 14:11:06 +0100 <lucabtz> no the hint, the list walk i understand
2025-12-02 14:10:53 +0100 <[exa]> lucabtz: with the 1 list walk, or with the above hint?
2025-12-02 14:10:41 +0100 <lucabtz> [exa] im not sure exactly what you mean
2025-12-02 14:10:14 +0100 <[exa]> yeah it saves 1 list walk
2025-12-02 14:09:55 +0100 <lucabtz> i suppose it can do two operations at once right
2025-12-02 14:09:35 +0100trickard_trickard
2025-12-02 14:09:24 +0100 <Rembane> lucabtz: Yeah, and it should be faster, but I haven't measured.
2025-12-02 14:09:01 +0100 <lucabtz> Rembane thanks, i replace takeWhile and dropWhile with break which seemed more appropriate
2025-12-02 14:08:07 +0100X-Scale(~ARM@6.67.114.89.rev.vodafone.pt) X-Scale
2025-12-02 14:08:03 +0100Enrico63(~Enrico63@host-212-171-79-170.pool212171.interbusiness.it) Enrico63
2025-12-02 14:07:23 +0100 <[exa]> man, streamly is huge
2025-12-02 14:04:37 +0100 <kuribas> ListT seems simpler, while Streamly is focussed on performance.
2025-12-02 14:04:36 +0100 <[exa]> kuribas: https://paste.tomsmeding.com/L7EFsnUc
2025-12-02 14:04:27 +0100 <kuribas> Streaming, ListT and Streamly all look similar.
2025-12-02 14:03:47 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-02 14:03:45 +0100 <[exa]> kuribas: sec, I'll show a piece of code that does something similar with streaming
2025-12-02 14:03:34 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-02 14:03:29 +0100 <[exa]> kuribas: probably
2025-12-02 14:03:19 +0100 <kuribas> [exa]: would bracket help?
2025-12-02 14:03:13 +0100 <[exa]> lucabtz: in which case you should be able to avoid scanning through the whole range
2025-12-02 14:02:48 +0100 <Rembane> lucabtz: I meant the split! :)
2025-12-02 14:02:43 +0100 <[exa]> lucabtz: not sure how much I'd spoil here if I give hints... but have you considered pre-splitting the numbers on input and looking at them like at pairs of intervals?
2025-12-02 14:02:40 +0100 <lucabtz> wait or you mean the split i posted earlier
2025-12-02 14:02:19 +0100 <lucabtz> part 2 is a bit slow