Newest at the top
| 2025-12-02 15:23:49 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-02 15:18:22 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-12-02 15:11:24 +0100 | tt123160 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Ping timeout: 260 seconds) |
| 2025-12-02 15:10:51 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 15:10:45 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 14:58:55 +0100 | adamCS | (~adamCS@70.19.85.77) adamCS |
| 2025-12-02 14:57:09 +0100 | adamCS | (~adamCS@70.19.85.77) (Remote host closed the connection) |
| 2025-12-02 14:54:52 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-12-02 14:54:07 +0100 | tromp | (~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 +0100 | adamCS | (~adamCS@70.19.85.77) adamCS |
| 2025-12-02 14:39:19 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-02 14:36:38 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-02 14:30:46 +0100 | AlexZenon | (~alzenon@85.174.183.216) |
| 2025-12-02 14:23:25 +0100 | <[exa]> | no clue tbh |
| 2025-12-02 14:21:21 +0100 | adamCS | (~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 +0100 | AlexNoo | (~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 +0100 | trickard_ | 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 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-12-02 14:08:03 +0100 | Enrico63 | (~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 +0100 | trickard_ | (~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 +0100 | trickard_ | (~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? |