Newest at the top
| 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? |
| 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 |
| 2025-12-02 14:02:14 +0100 | <lucabtz> | Rembane thanks |
| 2025-12-02 14:01:40 +0100 | <Rembane> | lucabtz: I like that one! Nice! |
| 2025-12-02 14:00:37 +0100 | <[exa]> | yeah partially exceptions and partially having to watch who's doing what with the global ioref |
| 2025-12-02 13:59:58 +0100 | <kuribas> | [exa]: you mean exceptions? |
| 2025-12-02 13:58:52 +0100 | <[exa]> | anyway I did this recently with streaming (few days back in scrollback), it's essentially this idea, except without the unnecessary ioref |
| 2025-12-02 13:57:54 +0100 | <[exa]> | yeah, if you don't mind losing the safety net of the streaming library around it it's IMO quite the way to go |
| 2025-12-02 13:57:11 +0100 | <kuribas> | Now that I think of it (ListT IO) or (ListT (ST s)), stored in a IORef or STRef makes for an excelent coroutine. |
| 2025-12-02 13:56:10 +0100 | <kuribas> | [exa]: arbitrary number or types of streams. |
| 2025-12-02 13:55:42 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2025-12-02 13:54:20 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-02 13:51:37 +0100 | AlexNoo | (~AlexNoo@85.174.183.216) (Quit: Leaving) |
| 2025-12-02 13:50:15 +0100 | AlexZenon | (~alzenon@85.174.183.216) (Quit: ;-) |
| 2025-12-02 13:48:07 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-02 13:48:00 +0100 | <lucabtz> | (spoiler advent of code) someone wants to comment my solution so i can improve https://paste.tomsmeding.com/0wThIO6g |
| 2025-12-02 13:39:29 +0100 | merijn | (~merijn@77.242.116.146) merijn |