2025/12/23

Newest at the top

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)
2025-12-23 15:22:59 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-12-23 15:21:58 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-12-23 15:21:39 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-12-23 15:19:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-23 15:15:50 +0100Googulator87(~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed)
2025-12-23 15:15:50 +0100pavonia(~user@user/siracusa) siracusa
2025-12-23 15:15:44 +0100Googulator63(~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu)
2025-12-23 15:11:38 +0100pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2025-12-23 15:09:08 +0100kayvank(~kayvan@52-119-115-185.PUBLIC.monkeybrains.net) kayvank
2025-12-23 15:08:08 +0100kayvank(~kayvan@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection)
2025-12-23 15:08:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-23 15:03:48 +0100ft(~ft@p4fc2ab42.dip0.t-ipconnect.de) ft
2025-12-23 15:03:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-23 15:01:46 +0100ft(~ft@p4fc2ab42.dip0.t-ipconnect.de) (Quit: Lost terminal)
2025-12-23 14:59:49 +0100kayvank(~kayvan@52-119-115-185.PUBLIC.monkeybrains.net) kayvank