Logs: liberachat/#haskell
| 2025-12-23 12:46:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 12:48:26 | trickard_ | is now known as trickard |
| 2025-12-23 12:51:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-23 13:02:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 13:03:18 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-12-23 13:07:17 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-12-23 13:09:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 13:10:38 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-12-23 13:10:56 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2025-12-23 13:13:55 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-23 13:13:55 | ljdarj1 | is now known as ljdarj |
| 2025-12-23 13:14:45 | × | trickard quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-23 13:14:59 | → | trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-23 13:15:44 | × | Googulator53 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 13:15:45 | → | Googulator87 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 13:20:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 13:25:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 13:28:31 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-23 13:31:13 | → | danza joins (~danza@user/danza) |
| 2025-12-23 13:31:48 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-23 13:35:35 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-12-23 13:36:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 13:37:13 | → | trickard__ joins (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-23 13:38:04 | × | tromp quits (~textual@2001:1c00:3487:1b00:7dcc:b6c2:83dc:ef69) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-23 13:38:15 | × | trickard_ quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-12-23 13:41:15 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-23 13:41:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 13:42:02 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-23 13:44:05 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-23 13:44:18 | × | danza quits (~danza@user/danza) (Remote host closed the connection) |
| 2025-12-23 13:44:38 | → | danza joins (~danza@user/danza) |
| 2025-12-23 13:46:25 | trickard__ | is now known as trickard |
| 2025-12-23 13:46:31 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-12-23 13:47:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 13:49:20 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-12-23 13:50:45 | → | prdak joins (~Thunderbi@user/prdak) |
| 2025-12-23 13:52:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-23 13:54:48 | × | danza quits (~danza@user/danza) (Read error: Connection reset by peer) |
| 2025-12-23 13:55:08 | → | spew joins (~spew@user/spew) |
| 2025-12-23 13:59:49 | → | kayvank joins (~kayvan@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2025-12-23 14:01:46 | × | ft quits (~ft@p4fc2ab42.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2025-12-23 14:03:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 14:03:48 | → | ft joins (~ft@p4fc2ab42.dip0.t-ipconnect.de) |
| 2025-12-23 14:08:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 14:08:08 | × | kayvank quits (~kayvan@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 2025-12-23 14:09:08 | → | kayvank joins (~kayvan@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2025-12-23 14:11:38 | × | pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2025-12-23 14:15:44 | → | Googulator63 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 14:15:50 | → | pavonia joins (~user@user/siracusa) |
| 2025-12-23 14:15:50 | × | Googulator87 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 14:19:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 14:21:39 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-23 14:21:58 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-23 14:22:59 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-23 14:23:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 14:35:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 14:36:19 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-12-23 14:39:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-23 14:40:11 | lucabtz_ | is now known as lucabtz |
| 2025-12-23 14:42:42 | → | Jackneill joins (~Jackneill@178-164-234-79.pool.digikabel.hu) |
| 2025-12-23 14:44:03 | × | annamalai quits (~annamalai@157.32.209.107) (Ping timeout: 265 seconds) |
| 2025-12-23 14:44:24 | → | annamalai joins (~annamalai@157.32.209.107) |
| 2025-12-23 14:47:04 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-23 14:48:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 14:51:08 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-12-23 14:55:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-23 14:58:20 | → | LaurentH joins (~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca) |
| 2025-12-23 14:59:37 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-12-23 15:01:03 | × | Googulator63 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 15:01:23 | → | Googulator63 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 15:02:20 | → | tromp joins (~textual@2001:1c00:3487:1b00:7dcc:b6c2:83dc:ef69) |
| 2025-12-23 15:06:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 15:09:50 | × | Pozyomka quits (~pyon@user/pyon) (Quit: bbl) |
| 2025-12-23 15:11:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-23 15:11:50 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-23 15:16:12 | × | distopico quits (~cerdolibr@xvm-111-150.dc2.ghst.net) (Ping timeout: 252 seconds) |
| 2025-12-23 15:16:15 | × | Googulator63 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 15:16:29 | → | Googulator63 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 15:20:23 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-12-23 15:20:35 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-12-23 15:20:49 | <haskellbridge> | <Morj> I just used a traversable instance for 2-tuples |
| 2025-12-23 15:21:32 | <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 15:22:33 | <haskellbridge> | <Morj> And it's convenient to transform a [(ByteString, [ByteString])] into [(ByteString, NonEmpty ByteString)] via a simple `mapMaybe (traverse nonEmpty)` |
| 2025-12-23 15:22:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 15:22:52 | <haskellbridge> | <Morj> Though it warrants a comment for future readers for sure |
| 2025-12-23 15:23:08 | → | poscat joins (~poscat@user/poscat) |
| 2025-12-23 15:24:53 | × | LaurentH quits (~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca) (Ping timeout: 272 seconds) |
| 2025-12-23 15:27:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 15:27:31 | <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 15:30:40 | × | kayvank quits (~kayvan@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 2025-12-23 15:31:03 | × | FloorCalc quits (~user@user/FloorCalc) (Remote host closed the connection) |
| 2025-12-23 15:32:48 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-23 15:35:37 | <Leary> | % :t partitionEithers . map \case{ (a, []) -> Left a; (a, x:xs) -> Right (a, x:|xs) } |
| 2025-12-23 15:35:37 | <yahb2> | partitionEithers . map \case{ (a, []) -> Left a; (a, x:xs) -> Right (a, x:|xs) } ; :: [(a1, [a2])] -> ([a1], [(a1, NonEmpty a2)]) |
| 2025-12-23 15:38:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 15:38:45 | × | xff0x quits (~xff0x@2405:6580:b080:900:c301:8873:661e:4742) (Ping timeout: 252 seconds) |
| 2025-12-23 15:43:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 15:46:05 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-23 15:49:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 15:51:33 | → | xff0x joins (~xff0x@2405:6580:b080:900:1f2a:d9f9:9fbc:2d4) |
All times are in UTC.