2025/12/26

2025-12-26 00:02:55 +0100DragonMaus(~DragonMau@user/dragonmaus) (Remote host closed the connection)
2025-12-26 00:03:31 +0100DragonMaus(~DragonMau@user/dragonmaus) DragonMaus
2025-12-26 00:03:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-12-26 00:10:50 +0100DragonMaus(~DragonMau@user/dragonmaus) (Remote host closed the connection)
2025-12-26 00:11:27 +0100DragonMaus(~DragonMau@user/dragonmaus) DragonMaus
2025-12-26 00:11:49 +0100infinity0(~infinity0@pwned.gg) infinity0
2025-12-26 00:13:07 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-12-26 00:15:12 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-26 00:15:57 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds)
2025-12-26 00:16:50 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-12-26 00:17:37 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds)
2025-12-26 00:18:51 +0100tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2025-12-26 00:20:26 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-12-26 00:22:33 +0100wennefer0__(~wennefer0@user/wennefer0) wennefer0
2025-12-26 00:24:18 +0100wennefer0__(~wennefer0@user/wennefer0) (Remote host closed the connection)
2025-12-26 00:24:36 +0100wennefer0___(~wennefer0@user/wennefer0) wennefer0
2025-12-26 00:25:07 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2025-12-26 00:31:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-26 00:33:37 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-12-26 00:35:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-26 00:35:45 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds)
2025-12-26 00:38:28 +0100wennefer0___(~wennefer0@user/wennefer0) (Quit: Igloo: https://igloo.app)
2025-12-26 00:39:33 +0100wennefer0____(~wennefer0@user/wennefer0) wennefer0
2025-12-26 00:40:01 +0100wennefer0____(~wennefer0@user/wennefer0) (Remote host closed the connection)
2025-12-26 00:43:02 +0100ChanServ+o litharge
2025-12-26 00:43:03 +0100litharge-bo *!*@177.71.33.140 litharge
2025-12-26 00:43:39 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-12-26 00:45:03 +0100ChanServ+o litharge
2025-12-26 00:45:04 +0100litharge-bo *!*@123.27.7.53 litharge
2025-12-26 00:46:48 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-26 00:48:37 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds)
2025-12-26 00:52:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-26 01:02:36 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-26 01:07:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-26 01:17:57 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-12-26 01:18:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-26 01:22:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-26 01:23:14 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds)
2025-12-26 01:30:32 +0100haskellbridge(~hackager@96.28.224.214) (Remote host closed the connection)
2025-12-26 01:31:03 +0100haskellbridge(~hackager@96.28.224.214) hackager
2025-12-26 01:31:03 +0100ChanServ+v haskellbridge
2025-12-26 01:40:53 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-12-26 01:52:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-26 01:56:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-26 01:56:55 +0100poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-12-26 01:59:52 +0100poscat(~poscat@user/poscat) poscat
2025-12-26 02:00:40 +0100CloneOfNone(~CloneOfNo@user/CloneOfNone) (Read error: Connection reset by peer)
2025-12-26 02:00:50 +0100CloneOfNone(~CloneOfNo@user/CloneOfNone) CloneOfNone
2025-12-26 02:08:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-26 02:09:50 +0100Digit(~Digit@user/digit) Digit
2025-12-26 02:13:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-26 02:21:20 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-12-26 02:23:44 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-26 02:24:44 +0100divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-12-26 02:24:54 +0100divlamir(~divlamir@user/divlamir) divlamir
2025-12-26 02:28:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-26 02:29:39 +0100Tuplanolla(~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.)
2025-12-26 02:32:49 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-12-26 02:39:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-26 02:44:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-26 02:46:15 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2025-12-26 02:54:16 +0100iqubic(~sophia@2601:602:9203:1660:9e23:79cc:546:311b) iqubic
2025-12-26 02:55:18 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-26 02:55:49 +0100 <iqubic> Is there a library that will let me memoize a function of type "Set a -> b"? I understand this might need an additional constraint on 'a', but I'm not sure what it would be.
2025-12-26 02:56:20 +0100tabemann(~tabemann@12.215.215.61) tabemann
2025-12-26 02:59:15 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-12-26 03:00:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-26 03:06:55 +0100 <geekosaur> Ord a
2025-12-26 03:08:43 +0100polykernel_(~polykerne@user/polykernel) polykernel
2025-12-26 03:11:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-26 03:11:09 +0100polykernel(~polykerne@user/polykernel) (Ping timeout: 260 seconds)
2025-12-26 03:11:09 +0100polykernel_polykernel
2025-12-26 03:13:47 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2025-12-26 03:15:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-26 03:22:38 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-12-26 03:23:43 +0100annamalai(~annamalai@157.32.199.28) (Ping timeout: 240 seconds)
2025-12-26 03:29:16 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-26 03:33:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-26 03:42:11 +0100 <Leary> iqubic: Presumably you can find this on hackage somewhere, but: https://gist.github.com/LSLeary/33a854e1ec1230e7fbcc09e44e1ee71d