Newest at the top
| 2025-11-27 14:09:56 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-11-27 14:09:31 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-11-27 14:07:05 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-27 14:06:24 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) |
| 2025-11-27 14:04:55 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) Jackneill |
| 2025-11-27 14:03:55 +0100 | falafel | (~falafel@gateway/vpn/pia/falafel) (Ping timeout: 240 seconds) |
| 2025-11-27 14:03:37 +0100 | ttybitni` | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-11-27 14:03:36 +0100 | ttybitni` | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-27 14:03:32 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-11-27 14:01:46 +0100 | hseg_ | (~hseg_@46.120.21.70) hseg |
| 2025-11-27 14:01:27 +0100 | hseg_ | (~hseg_@46.120.21.70) (Remote host closed the connection) |
| 2025-11-27 14:01:18 +0100 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 260 seconds) |
| 2025-11-27 14:00:47 +0100 | hseg_ | (~hseg_@46.120.21.70) hseg |
| 2025-11-27 14:00:28 +0100 | hseg_ | (~hseg_@46.120.21.70) (Remote host closed the connection) |
| 2025-11-27 13:59:53 +0100 | hseg_ | (~hseg_@46.120.21.70) hseg |
| 2025-11-27 13:59:03 +0100 | hseg_ | (~hseg_@2a0d:6fc7:626:b8a2:9739:328f:5ca4:7b11) (Read error: Connection reset by peer) |
| 2025-11-27 13:58:21 +0100 | hseg_ | (~hseg_@2a0d:6fc7:626:b8a2:9739:328f:5ca4:7b11) hseg |
| 2025-11-27 13:56:43 +0100 | Inline | (~inlinE@2001-4dd7-868d-0-2e24-c46e-4393-27fd.ipv6dyn.netcologne.de) Inline |
| 2025-11-27 13:52:44 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-27 13:52:00 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-27 13:51:38 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-27 13:51:10 +0100 | inline__ | (~inlinE@2001-4dd7-868d-0-11ff-701-9c0c-1057.ipv6dyn.netcologne.de) (Quit: Leaving) |
| 2025-11-27 13:50:47 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 13:50:39 +0100 | Googulator52 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 13:50:14 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-11-27 13:45:45 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-27 13:45:21 +0100 | <jackdk> | But I'd also go the `<*> pure a` route here. |
| 2025-11-27 13:45:04 +0100 | <jackdk> | There's also `<&> ($ a)` using `(<&>)` from `Data.Functor` |
| 2025-11-27 13:44:14 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-27 13:31:41 +0100 | <dutchie> | indeed |
| 2025-11-27 13:31:29 +0100 | <dminuoso> | dutchie: And yes, I have reordered arguments for exactly that reason before - but I feel like this is bike shedding over something truly irreleveant. |
| 2025-11-27 13:30:32 +0100 | <__monty__> | * `($ a) <$>` |
| 2025-11-27 13:28:25 +0100 | <lucabtz> | pure a seems very clear to me |
| 2025-11-27 13:28:08 +0100 | <dminuoso> | I mean you could do `<$> ($ a)` I suppose? But `<*> pure a` reads just more naturally and fits the flow... |
| 2025-11-27 13:27:59 +0100 | <dutchie> | i guess another ugly way would be abuse flip to get the pure thing to be the first argument |
| 2025-11-27 13:27:13 +0100 | <dminuoso> | s/cleaver/clever/ |
| 2025-11-27 13:27:07 +0100 | <dminuoso> | It seems like an unnecessary way to be cleaver to introduce ??, which nobody could read instantly. `Foo <$> bar <*> quux <*> pure a` otoh is a common pattern |
| 2025-11-27 13:26:21 +0100 | <dminuoso> | dutchie: Then `pure a` is the cleanest way. |
| 2025-11-27 13:24:04 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-27 13:24:03 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 13:23:50 +0100 | trickard | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-27 13:23:49 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) Jackneill |
| 2025-11-27 13:23:07 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-11-27 13:22:27 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) Jackneill |
| 2025-11-27 13:21:23 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-27 13:19:21 +0100 | Jackneill_ | (~Jackneill@178-164-177-218.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-11-27 13:16:48 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-27 13:15:44 +0100 | Googulator50 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 13:15:40 +0100 | Googulator52 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 13:13:27 +0100 | hseg_ | (~hseg_@46.120.21.70) (Ping timeout: 252 seconds) |