2025/12/23

Newest at the top

2025-12-23 17:05:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-23 16:56:25 +0100 <haskellbridge> <Morj> Not pointfree enough, but oh well
2025-12-23 16:56:14 +0100 <haskellbridge> <Morj> Hm, pretty good!
2025-12-23 16:54:09 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-12-23 16:51:33 +0100xff0x(~xff0x@2405:6580:b080:900:1f2a:d9f9:9fbc:2d4)
2025-12-23 16:49:46 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-23 16:46:05 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-12-23 16:43:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-23 16:38:45 +0100xff0x(~xff0x@2405:6580:b080:900:c301:8873:661e:4742) (Ping timeout: 252 seconds)
2025-12-23 16:38:21 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-23 16:35:37 +0100 <yahb2> partitionEithers . map \case{ (a, []) -> Left a; (a, x:xs) -> Right (a, x:|xs) } ; :: [(a1, [a2])] -> ([a1], [(a1, NonEmpty a2)])
2025-12-23 16:35:37 +0100 <Leary> % :t partitionEithers . map \case{ (a, []) -> Left a; (a, x:xs) -> Right (a, x:|xs) }
2025-12-23 16:32:48 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-12-23 16:31:03 +0100FloorCalc(~user@user/FloorCalc) (Remote host closed the connection)
2025-12-23 16:30:40 +0100kayvank(~kayvan@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection)
2025-12-23 16:27:31 +0100 <haskellbridge> <Morj> Though ugh, currently I do two passes: first find empty lists in one, then the second to leave only non-empty. I doubt that I can partition in single pass with just combinators, without writing a recursion myself. Hm
2025-12-23 16:27:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-23 16:24:53 +0100LaurentH(~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca) (Ping timeout: 272 seconds)
2025-12-23 16:23:08 +0100poscat(~poscat@user/poscat) poscat
2025-12-23 16:22:52 +0100 <haskellbridge> <Morj> Though it warrants a comment for future readers for sure
2025-12-23 16:22:33 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-23 16:22:33 +0100 <haskellbridge> <Morj> And it's convenient to transform a [(ByteString, [ByteString])] into [(ByteString, NonEmpty ByteString)] via a simple `mapMaybe (traverse nonEmpty)`
2025-12-23 16:21:32 +0100 <haskellbridge> <Morj> I'm rewriting my code from lists to NonEmpty (because I updated base and now a bunch of prelude functions throw warnings about being partial, so this started a fire under my ass where I was lazy before)
2025-12-23 16:20:49 +0100 <haskellbridge> <Morj> I just used a traversable instance for 2-tuples
2025-12-23 16:20:35 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-12-23 16:20:23 +0100poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-12-23 16:16:29 +0100Googulator63(~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu)
2025-12-23 16:16:15 +0100Googulator63(~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed)
2025-12-23 16:16:12 +0100distopico(~cerdolibr@xvm-111-150.dc2.ghst.net) (Ping timeout: 252 seconds)
2025-12-23 16:11:50 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-12-23 16:11:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-12-23 16:09:50 +0100Pozyomka(~pyon@user/pyon) (Quit: bbl)
2025-12-23 16:06:47 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-23 16:02:20 +0100tromp(~textual@2001:1c00:3487:1b00:7dcc:b6c2:83dc:ef69)
2025-12-23 16:01:23 +0100Googulator63(~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu)
2025-12-23 16:01:03 +0100Googulator63(~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed)
2025-12-23 15:59:37 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-12-23 15:58:20 +0100LaurentH(~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca)
2025-12-23 15:55:20 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-12-23 15:51:08 +0100vanishingideal(~vanishing@user/vanishingideal) (Remote host closed the connection)
2025-12-23 15:48:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-23 15:47:04 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-12-23 15:44:24 +0100annamalai(~annamalai@157.32.209.107) annamalai
2025-12-23 15:44:03 +0100annamalai(~annamalai@157.32.209.107) (Ping timeout: 265 seconds)
2025-12-23 15:42:42 +0100Jackneill(~Jackneill@178-164-234-79.pool.digikabel.hu) Jackneill
2025-12-23 15:40:11 +0100lucabtz_lucabtz
2025-12-23 15:39:58 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-23 15:36:19 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-12-23 15:35:08 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-23 15:23:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)