Newest at the top
2025-08-20 17:17:34 +0200 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 256 seconds) |
2025-08-20 17:16:26 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
2025-08-20 17:16:09 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-08-20 17:12:40 +0200 | jackdk | (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
2025-08-20 17:10:17 +0200 | qqe | (~qqq@185.54.20.59) |
2025-08-20 17:09:48 +0200 | qqe | (~qqq@185.54.20.59) (Read error: Connection reset by peer) |
2025-08-20 17:07:13 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2025-08-20 17:00:45 +0200 | <kilt> | so is it |
2025-08-20 16:42:24 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-08-20 16:36:17 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-08-20 16:34:47 +0200 | srk_ | (~sorki@user/srk) srk |
2025-08-20 16:34:03 +0200 | srk_ | (~sorki@user/srk) (Remote host closed the connection) |
2025-08-20 16:33:55 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2025-08-20 16:32:32 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-20 16:27:07 +0200 | Square | (~Square4@user/square) (Ping timeout: 256 seconds) |
2025-08-20 16:27:02 +0200 | <int-e> | (same for the other two odd permutations) |
2025-08-20 16:26:10 +0200 | <int-e> | kilt: looks superficially correct. here's a problem in the details: \(x,y,z) -> (x,z,y) is a reflection |
2025-08-20 16:25:19 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-08-20 16:23:46 +0200 | Square2 | (~Square@user/square) Square |
2025-08-20 16:15:06 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
2025-08-20 16:13:54 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 252 seconds) |
2025-08-20 16:10:07 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 256 seconds) |
2025-08-20 16:08:58 +0200 | troydm | (~troydm@user/troydm) troydm |
2025-08-20 16:08:36 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-08-20 16:08:35 +0200 | troydm | (~troydm@user/troydm) (Server closed connection) |
2025-08-20 16:05:25 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-08-20 16:04:35 +0200 | <kilt> | wellm, trying to... |
2025-08-20 16:02:52 +0200 | <kilt> | i'm solving https://adventofcode.com/2021/day/19 : https://paste.tomsmeding.com/HHbUgiGp |
2025-08-20 16:00:31 +0200 | <int-e> | kilt: So two answers. 1) that code looks fine to me for what it is. 2) there's a good chance that this isn't the best algorithm for what you're actually doing, but I don't know what the task is. |
2025-08-20 15:59:23 +0200 | <kilt> | it feels so much like a scanl |
2025-08-20 15:59:00 +0200 | <yin> | yep i was wrong |
2025-08-20 15:58:46 +0200 | <int-e> | recursive calls of `go` can have non-singleton lists as arguments for ms, I think. |
2025-08-20 15:58:11 +0200 | <yin> | wait nvm |
2025-08-20 15:57:08 +0200 | <int-e> | well, `nub` is a bit of a red flag when it comes to performance, too |
2025-08-20 15:56:37 +0200 | <int-e> | kilt: without knowing anything about what `match` does this looks fine (though potentially expensive or even non-terminating) |
2025-08-20 15:56:01 +0200 | <yin> | kilt: that <> can turn into a : to get rid of the concat, i think |
2025-08-20 15:55:33 +0200 | <jreicher> | Someone has to write a "Fun with fixed points" blog entry after all this |
2025-08-20 15:55:06 +0200 | <kilt> | type Scan = [Point] ; match :: Scan -> Scan -> Either Scan Scan |
2025-08-20 15:54:06 +0200 | <yin> | what's Scan? |
2025-08-20 15:53:22 +0200 | <kilt> | it feels like this could be a foldl or at least a scanl but i'm fighting my brain at this point |
2025-08-20 15:52:32 +0200 | <kilt> | yes, but still my question is more about the general structure of the function |
2025-08-20 15:51:20 +0200 | <int-e> | (note the order of the results) |
2025-08-20 15:51:12 +0200 | <yin> | int-e: that's nice! |
2025-08-20 15:49:48 +0200 | <lambdabot> | [Either a b] -> ([a], [b]) |
2025-08-20 15:49:47 +0200 | <int-e> | :t Data.Either.partitionEithers |
2025-08-20 15:49:02 +0200 | <kilt> | https://paste.tomsmeding.com/cbKSu9qY |
2025-08-20 15:49:00 +0200 | <kilt> | here's a working version |
2025-08-20 15:46:55 +0200 | <kilt> | but the intention is clear i think |
2025-08-20 15:45:53 +0200 | notzmv | (~umar@user/notzmv) (Read error: Connection reset by peer) |
2025-08-20 15:45:13 +0200 | <kilt> | right now m and n don't typecheck |