2025/09/06

Newest at the top

2025-09-06 21:22:56 +0200Jeanne-Kamikaze(~jeannekam@c-73-93-78-113.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2025-09-06 21:22:04 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-09-06 21:18:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-06 21:17:44 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds)
2025-09-06 21:17:29 +0200trickard_trickard
2025-09-06 21:16:35 +0200leungbk(~user@syn-104-032-221-175.res.spectrum.com) (Ping timeout: 245 seconds)
2025-09-06 21:13:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-06 21:13:53 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit)
2025-09-06 21:13:47 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-09-06 21:06:20 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-09-06 21:06:11 +0200ars23(~ars23@user/ars23) ars23
2025-09-06 21:06:11 +0200ars23(~ars23@109.100.9.200) (Changing host)
2025-09-06 21:05:55 +0200ars23(~ars23@109.100.9.200)
2025-09-06 21:03:55 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-09-06 21:03:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-06 21:02:57 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-09-06 21:02:33 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.7.1)
2025-09-06 21:00:45 +0200caconym747(~caconym@user/caconym) caconym
2025-09-06 21:00:29 +0200ubert1(~Thunderbi@178.165.187.121.wireless.dyn.drei.com) ubert
2025-09-06 21:00:04 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-09-06 20:58:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-06 20:57:12 +0200vapor(~vapor@2607:ac80:406:4:c2dc:89c1:e440:686c) (Quit: vapor)
2025-09-06 20:56:23 +0200dfg(~dfg@user/dfg) dfg
2025-09-06 20:51:18 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-06 20:51:05 +0200trickard(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-06 20:50:26 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-09-06 20:50:21 +0200vapor(~vapor@2607:ac80:406:4:c2dc:89c1:e440:686c)
2025-09-06 20:49:44 +0200 <davean> Yah there were some ways to work on that that happened.
2025-09-06 20:49:44 +0200 <dminuoso> But there's optics at least.
2025-09-06 20:49:25 +0200ouilemur(~jgmerritt@user/ouilemur) ouilemur
2025-09-06 20:49:19 +0200 <dminuoso> Ugh...
2025-09-06 20:49:14 +0200 <dminuoso> Random unsatisfied Contravariant constraint.
2025-09-06 20:48:41 +0200 <dminuoso> Well if you have ever seen the lens type errors...
2025-09-06 20:47:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-06 20:47:46 +0200 <davean> dminuoso: I can not fathom why people want RecordDotSyntax over lenses
2025-09-06 20:46:31 +0200dfg(~dfg@user/dfg) (Ping timeout: 258 seconds)
2025-09-06 20:43:33 +0200Jeanne-Kamikaze(~jeannekam@c-73-93-78-113.hsd1.ca.comcast.net) Jeanne-Kamikaze
2025-09-06 20:43:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-06 20:32:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-06 20:27:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-06 20:24:44 +0200divlamir(~divlamir@user/divlamir) divlamir
2025-09-06 20:24:23 +0200divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-09-06 20:22:51 +0200inline(~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Ping timeout: 248 seconds)
2025-09-06 20:19:21 +0200 <geekosaur> agreed
2025-09-06 20:17:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-06 20:12:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-06 20:10:53 +0200 <dminuoso> I consider lens/optics to be a far superior user interface to RecordDotSyntax which is quirky and unexpected in plentiful ways.
2025-09-06 20:09:54 +0200 <dminuoso> This dot notation is a quirky example of how retrofitting features into an existing language can be incredibly awkward and hard, much like bolting a type system onto Python is a seemingly hopeless task.
2025-09-06 20:07:55 +0200michalz(~michalz@185.246.207.217)
2025-09-06 20:02:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)