2025/08/20

Newest at the top

2025-08-20 17:17:34 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 256 seconds)
2025-08-20 17:16:26 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-08-20 17:16:09 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-08-20 17:12:40 +0200jackdk(uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity)
2025-08-20 17:10:17 +0200qqe(~qqq@185.54.20.59)
2025-08-20 17:09:48 +0200qqe(~qqq@185.54.20.59) (Read error: Connection reset by peer)
2025-08-20 17:07:13 +0200chele(~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 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-20 16:36:17 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-08-20 16:34:47 +0200srk_(~sorki@user/srk) srk
2025-08-20 16:34:03 +0200srk_(~sorki@user/srk) (Remote host closed the connection)
2025-08-20 16:33:55 +0200Lord_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 +0200tromp(~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-20 16:27:07 +0200Square(~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 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-20 16:23:46 +0200Square2(~Square@user/square) Square
2025-08-20 16:15:06 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-08-20 16:13:54 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 252 seconds)
2025-08-20 16:10:07 +0200poscat0x04(~poscat@user/poscat) (Ping timeout: 256 seconds)
2025-08-20 16:08:58 +0200troydm(~troydm@user/troydm) troydm
2025-08-20 16:08:36 +0200poscat(~poscat@user/poscat) poscat
2025-08-20 16:08:35 +0200troydm(~troydm@user/troydm) (Server closed connection)
2025-08-20 16:05:25 +0200weary-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 +0200notzmv(~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