2025/09/28

Newest at the top

2025-09-28 23:20:37 +0200Googulator6(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Client Quit)
2025-09-28 23:20:37 +0200Googulator9(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-28 23:18:26 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-09-28 23:17:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-28 23:16:45 +0200jreicher(~user@user/jreicher) (Quit: In transit)
2025-09-28 23:16:12 +0200Googulator65(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
2025-09-28 23:16:01 +0200Googulator6(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-28 23:09:21 +0200ljdarj1(~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds)
2025-09-28 23:09:05 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-09-28 23:08:28 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds)
2025-09-28 23:06:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-28 23:05:01 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-09-28 23:02:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-28 22:51:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-28 22:50:38 +0200takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-09-28 22:46:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-28 22:34:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-28 22:29:21 +0200nek0(~nek0@user/nek0) nek0
2025-09-28 22:28:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-28 22:26:36 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-28 22:23:11 +0200nek0(~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
2025-09-28 22:21:30 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-09-28 22:20:43 +0200Googulator84(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
2025-09-28 22:20:39 +0200Googulator65(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-28 22:17:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-09-28 22:17:06 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-28 22:14:17 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-09-28 22:12:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-28 22:12:23 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-28 22:08:38 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-09-28 22:01:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-09-28 22:01:26 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-09-28 22:00:44 +0200Googulator59(~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed)
2025-09-28 22:00:40 +0200Googulator84(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-28 21:56:59 +0200 <tomsmeding> at least you have family this way
2025-09-28 21:56:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-28 21:54:02 +0200 <tomsmeding> unless you're "typing the technical interview"
2025-09-28 21:53:46 +0200 <tomsmeding> rather
2025-09-28 21:53:39 +0200 <EvanR> an awkward position to be in
2025-09-28 21:53:27 +0200 <EvanR> you have class but no value
2025-09-28 21:51:49 +0200 <tomsmeding> but in this case you have no values in the first place, so there is no sensible place to put a constraint, so TypeError it is
2025-09-28 21:51:25 +0200 <tomsmeding> because constraints behave more nicely in the type system, in general
2025-09-28 21:51:12 +0200 <tomsmeding> usually, if there's a sensible place to put a constraint and thereby save an explicit If in a type family, using the constraint is the better choice
2025-09-28 21:50:09 +0200 <tomsmeding> if your type class had a value in it too, then you would not have been able to eliminate the type class
2025-09-28 21:49:29 +0200 <tomsmeding> well, the kind of type-level programming that you're doing here is not quite what the type system was designed for :)
2025-09-28 21:48:45 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-09-28 21:47:54 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds)
2025-09-28 21:46:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-09-28 21:45:19 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2025-09-28 21:40:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn