2026/03/03

Newest at the top

2026-03-03 23:25:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-03-03 23:20:57 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-03 23:17:01 +0100 <yin> https://paste.jrvieira.com/1772576191926
2026-03-03 23:16:20 +0100 <yin> i think
2026-03-03 23:16:18 +0100 <yin> welp, i ended up doing the right thing
2026-03-03 23:13:41 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 268 seconds)
2026-03-03 23:11:12 +0100chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-03-03 23:10:32 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-03-03 23:10:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-03-03 23:09:41 +0100durstloescher(~textual@ip4d16b23b.dynamic.kabel-deutschland.de)
2026-03-03 23:09:15 +0100durstloescher(~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Client Quit)
2026-03-03 23:08:46 +0100durstloescher(~textual@ip4d16b23b.dynamic.kabel-deutschland.de)
2026-03-03 23:03:48 +0100aaronm04(~user@user/aaronm04) (WeeChat 4.1.0)
2026-03-03 23:02:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-03 22:52:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-03 22:47:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-03 22:46:39 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2026-03-03 22:44:31 +0100takuan(~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 276 seconds)
2026-03-03 22:40:46 +0100 <yin> fair enough
2026-03-03 22:39:43 +0100 <EvanR> you could imagining at least inheriting the operations on Integer mapped through to your type where defined
2026-03-03 22:39:38 +0100 <mauke> no
2026-03-03 22:38:38 +0100 <yin> and ignore the warning about missing other Num operations
2026-03-03 22:37:28 +0100 <mauke> yes
2026-03-03 22:36:32 +0100 <yin> if i want to make number literals of a custom type, do i just define the Num instance with fromInteger?
2026-03-03 22:36:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-03-03 22:31:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-03 22:25:40 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-03-03 22:25:16 +0100durstloescher(~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…)
2026-03-03 22:21:03 +0100connrs(~connrs@user/connrs) connrs
2026-03-03 22:20:56 +0100connrs(~connrs@user/connrs) (Remote host closed the connection)
2026-03-03 22:20:39 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-03-03 22:17:12 +0100skinkitten(~skinkitte@user/skinkitten) (Quit: Client closed)
2026-03-03 22:16:00 +0100spew(~spew@user/spew) (Ping timeout: 245 seconds)
2026-03-03 22:15:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-03 22:13:31 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 272 seconds)
2026-03-03 22:11:18 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds)
2026-03-03 22:06:49 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2026-03-03 22:05:37 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
2026-03-03 22:04:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-03 22:04:31 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
2026-03-03 22:01:57 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2026-03-03 22:01:33 +0100spew(~spew@user/spew) spew
2026-03-03 22:01:10 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-03-03 22:00:02 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-03 21:58:56 +0100michalz(~michalz@185.246.207.217) (Remote host closed the connection)
2026-03-03 21:56:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-03 21:54:57 +0100skinkitten(~skinkitte@user/skinkitten) skinkitten
2026-03-03 21:51:08 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-03 21:50:26 +0100DigitteknohippieDigit
2026-03-03 21:45:31 +0100karenw_(~karenw@user/karenw) (Quit: Deep into that darkness peering...)