Newest at the top
2025-09-06 21:22:56 +0200 | Jeanne-Kamikaze | (~jeannekam@c-73-93-78-113.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
2025-09-06 21:22:04 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
2025-09-06 21:18:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-06 21:17:44 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
2025-09-06 21:17:29 +0200 | trickard_ | trickard |
2025-09-06 21:16:35 +0200 | leungbk | (~user@syn-104-032-221-175.res.spectrum.com) (Ping timeout: 245 seconds) |
2025-09-06 21:13:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-06 21:13:53 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit) |
2025-09-06 21:13:47 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-09-06 21:06:20 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-09-06 21:06:11 +0200 | ars23 | (~ars23@user/ars23) ars23 |
2025-09-06 21:06:11 +0200 | ars23 | (~ars23@109.100.9.200) (Changing host) |
2025-09-06 21:05:55 +0200 | ars23 | (~ars23@109.100.9.200) |
2025-09-06 21:03:55 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
2025-09-06 21:03:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-06 21:02:57 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-09-06 21:02:33 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.7.1) |
2025-09-06 21:00:45 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-09-06 21:00:29 +0200 | ubert1 | (~Thunderbi@178.165.187.121.wireless.dyn.drei.com) ubert |
2025-09-06 21:00:04 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-09-06 20:58:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-06 20:57:12 +0200 | vapor | (~vapor@2607:ac80:406:4:c2dc:89c1:e440:686c) (Quit: vapor) |
2025-09-06 20:56:23 +0200 | dfg | (~dfg@user/dfg) dfg |
2025-09-06 20:51:18 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-09-06 20:51:05 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-06 20:50:26 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-09-06 20:50:21 +0200 | vapor | (~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 +0200 | ouilemur | (~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 +0200 | merijn | (~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 +0200 | dfg | (~dfg@user/dfg) (Ping timeout: 258 seconds) |
2025-09-06 20:43:33 +0200 | Jeanne-Kamikaze | (~jeannekam@c-73-93-78-113.hsd1.ca.comcast.net) Jeanne-Kamikaze |
2025-09-06 20:43:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-06 20:32:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-06 20:27:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-06 20:24:44 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
2025-09-06 20:24:23 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
2025-09-06 20:22:51 +0200 | inline | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-06 20:12:47 +0200 | merijn | (~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 +0200 | michalz | (~michalz@185.246.207.217) |
2025-09-06 20:02:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |