2026/02/04

Newest at the top

2026-02-04 05:42:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-02-04 05:37:33 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-04 05:29:32 +0100DragonMaus(~DragonMau@user/dragonmaus) DragonMaus
2026-02-04 05:28:56 +0100DragonMaus(~DragonMau@user/dragonmaus) (Remote host closed the connection)
2026-02-04 05:27:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-04 05:22:03 +0100DragonMaus(~DragonMau@user/dragonmaus) DragonMaus
2026-02-04 05:21:52 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds)
2026-02-04 05:21:48 +0100DragonMaus(~DragonMau@user/dragonmaus) (Remote host closed the connection)
2026-02-04 05:21:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-04 05:11:44 +0100Googulator61(~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu)
2026-02-04 05:11:27 +0100Googulator61(~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed)
2026-02-04 05:11:03 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-02-04 05:05:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-04 04:55:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-04 04:55:03 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-04 04:50:35 +0100DragonMaus(~DragonMau@user/dragonmaus) DragonMaus
2026-02-04 04:50:26 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-04 04:49:59 +0100DragonMaus(~DragonMau@user/dragonmaus) (Remote host closed the connection)
2026-02-04 04:47:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-04 04:43:52 +0100jmcantrell_jmcantrell
2026-02-04 04:41:39 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-04 04:37:19 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds)
2026-02-04 04:31:58 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2026-02-04 04:31:44 +0100trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-02-04 04:31:05 +0100notzmv(~umar@user/notzmv) (Ping timeout: 265 seconds)
2026-02-04 04:19:20 +0100 <EvanR> that it would be an Orphan is good, so that might go a ways to stop it from getting out of hand
2026-02-04 04:18:42 +0100 <EvanR> I heard orphans are impossible, then we have packages on hackage specifically advertising orphan instances
2026-02-04 03:56:49 +0100karenw(~karenw@user/karenw) (Ping timeout: 246 seconds)
2026-02-04 03:56:32 +0100omidmash(~omidmash@user/omidmash) omidmash
2026-02-04 03:53:06 +0100omidmash(~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat)
2026-02-04 03:44:41 +0100infinity0(~infinity0@pwned.gg) (Ping timeout: 265 seconds)
2026-02-04 03:30:07 +0100pavonia(~user@user/siracusa) siracusa
2026-02-04 03:29:45 +0100pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2026-02-04 03:17:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-04 03:12:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-04 03:06:19 +0100Tuplanolla(~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Ping timeout: 264 seconds)
2026-02-04 03:04:36 +0100 <probie> Since we'd moved to talking about Foldable/Traversable for tuples, I interpreted your Semigroup for Char to be implying it should be added to base (after all, it has to be, or it's an orphan instance)
2026-02-04 03:03:28 +0100 <EvanR> in general
2026-02-04 03:03:04 +0100 <EvanR> and I'm wrong about functor to foldable
2026-02-04 03:02:48 +0100prdak(~Thunderbi@user/prdak) prdak
2026-02-04 03:02:26 +0100 <EvanR> defining stuff in your program means it should be in base?
2026-02-04 03:02:21 +0100prdak(~Thunderbi@user/prdak) (Remote host closed the connection)
2026-02-04 03:02:04 +0100 <EvanR> how is that related
2026-02-04 03:01:49 +0100 <EvanR> without inflicting it on us... hopefully
2026-02-04 03:01:49 +0100 <probie> Sure, but at that point why don't we add https://hackage.haskell.org/package/acme-default to base
2026-02-04 03:01:22 +0100 <EvanR> as it stands somebody can define a Semigroup for Char to carry out their version of great justice, whatever it is
2026-02-04 03:01:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-04 03:00:12 +0100 <EvanR> kind of a if it's a functor then it can be folded for better or worse
2026-02-04 02:59:39 +0100 <EvanR> insofaras Functor works on pairs, it makes sense
2026-02-04 02:59:19 +0100rainbyte(~rainbyte@186.22.19.214) (Remote host closed the connection)