Newest at the top
| 2026-04-30 15:07:32 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) ft |
| 2026-04-30 15:06:54 +0000 | tromp | (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) |
| 2026-04-30 15:01:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-30 15:00:00 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-30 14:58:18 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 248 seconds) |
| 2026-04-30 14:57:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 14:56:39 +0000 | Square | (~Square@user/square) Square |
| 2026-04-30 14:56:09 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-30 14:52:24 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-04-30 14:47:17 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-04-30 14:46:08 +0000 | st_aldini | (~Betterbir@2605:a601:a07c:7426:722:1ac7:7d6b:c73c) (Quit: st_aldini) |
| 2026-04-30 14:45:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-30 14:45:02 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-30 14:45:02 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:88a1:ade2:b718:40a1) (Changing host) |
| 2026-04-30 14:45:02 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:88a1:ade2:b718:40a1) |
| 2026-04-30 14:41:54 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
| 2026-04-30 14:41:04 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-04-30 14:39:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 14:38:47 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-04-30 14:30:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-30 14:30:13 +0000 | tromp | (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-30 14:30:07 +0000 | <haskellbridge> | <thirdofmay18081814goya> it's also not clear it's possible for it to be anything else than a Fold since there's no obvious way to construct the covariant side of the profunctor |
| 2026-04-30 14:26:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 14:24:18 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-04-30 14:20:26 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-30 14:16:34 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-30 14:15:46 +0000 | <haskellbridge> | <thirdofmay18081814goya> it's not just a cast into a fold + filter for more complicated structures, since we probably want to specify some notion of what gets preserved |
| 2026-04-30 14:15:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-30 14:13:51 +0000 | <haskellbridge> | <thirdofmay18081814goya> what's the usual approach to filtering using optics? if I want to remove e.g. nodes from a tree or elements of a list matching some predicate |
| 2026-04-30 14:10:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 14:01:51 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-04-30 13:59:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-30 13:58:17 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-04-30 13:57:32 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2026-04-30 13:56:07 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-30 13:55:42 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-30 13:54:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 13:50:49 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Ping timeout: 244 seconds) |
| 2026-04-30 13:45:53 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-04-30 13:45:33 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-04-30 13:45:06 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-04-30 13:44:49 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Remote host closed the connection) |
| 2026-04-30 13:43:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-30 13:40:21 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-04-30 13:38:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 13:37:10 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-04-30 13:36:49 +0000 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-04-30 13:30:37 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-04-30 13:30:30 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2026-04-30 13:30:17 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |