Logs: liberachat/#haskell
| 2026-04-30 12:08:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 12:13:47 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-30 12:14:56 | → | tromp joins (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) |
| 2026-04-30 12:17:01 | → | Square2 joins (~Square@user/square) |
| 2026-04-30 12:17:40 | × | Square quits (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2026-04-30 12:26:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 12:27:04 | × | tromp quits (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-30 12:31:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-30 12:37:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 12:43:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-30 12:45:53 | × | craunts795335385 quits (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-30 12:46:21 | → | dcb joins (~dcb@user/dcb) |
| 2026-04-30 12:50:58 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Ping timeout: 248 seconds) |
| 2026-04-30 12:51:39 | × | malte quits (~malte@mal.tc) (Ping timeout: 246 seconds) |
| 2026-04-30 12:52:01 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-04-30 12:52:07 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 2026-04-30 12:52:30 | → | emaczen joins (~user@user/emaczen) |
| 2026-04-30 12:53:05 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2026-04-30 12:53:36 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-30 12:55:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 12:59:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-30 13:08:19 | → | tromp joins (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) |
| 2026-04-30 13:14:39 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 2026-04-30 13:30:17 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-30 13:30:30 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2026-04-30 13:30:37 | → | pavonia joins (~user@user/siracusa) |
| 2026-04-30 13:36:49 | × | Square2 quits (~Square@user/square) (Remote host closed the connection) |
| 2026-04-30 13:37:10 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-04-30 13:38:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 13:40:21 | → | poscat joins (~poscat@user/poscat) |
| 2026-04-30 13:43:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-30 13:44:49 | × | r1bilski quits (~r1bilski@user/r1bilski) (Remote host closed the connection) |
| 2026-04-30 13:45:06 | → | r1bilski joins (~r1bilski@user/r1bilski) |
| 2026-04-30 13:45:33 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-04-30 13:45:53 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-04-30 13:50:49 | × | r1bilski quits (~r1bilski@user/r1bilski) (Ping timeout: 244 seconds) |
| 2026-04-30 13:54:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 13:55:42 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-30 13:56:07 | → | puke joins (~puke@user/puke) |
| 2026-04-30 13:57:32 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2026-04-30 13:58:17 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-04-30 13:59:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-30 14:01:51 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 2026-04-30 14:10:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 14:13:51 | <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:15:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-30 14:15:46 | <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:16:34 | → | puke joins (~puke@user/puke) |
| 2026-04-30 14:20:26 | × | terrorjack quits (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-30 14:24:18 | → | terrorjack joins (~terrorjac@2a01:4f8:271:2d98::2) |
| 2026-04-30 14:26:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 14:30:07 | <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:30:13 | × | tromp quits (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-30 14:30:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-30 14:38:47 | → | dolio joins (~dolio@130.44.140.168) |
| 2026-04-30 14:39:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 14:41:04 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 2026-04-30 14:41:54 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
| 2026-04-30 14:45:02 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:88a1:ade2:b718:40a1) |
| 2026-04-30 14:45:02 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:88a1:ade2:b718:40a1) (Changing host) |
| 2026-04-30 14:45:02 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-30 14:45:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-30 14:46:08 | × | st_aldini quits (~Betterbir@2605:a601:a07c:7426:722:1ac7:7d6b:c73c) (Quit: st_aldini) |
| 2026-04-30 14:47:17 | → | r1bilski joins (~r1bilski@user/r1bilski) |
| 2026-04-30 14:52:24 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-04-30 14:56:09 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-30 14:56:39 | → | Square joins (~Square@user/square) |
| 2026-04-30 14:57:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 14:58:18 | × | xff0x quits (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 248 seconds) |
| 2026-04-30 15:00:00 | → | xff0x joins (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-30 15:01:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-30 15:06:54 | → | tromp joins (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) |
| 2026-04-30 15:07:32 | → | ft joins (~ft@p508db287.dip0.t-ipconnect.de) |
| 2026-04-30 15:16:33 | × | jle` quits (~jle`@2603:8001:3b00:11:104a:f0b9:d164:3329) (Ping timeout: 246 seconds) |
All times are in UTC.