Newest at the top
| 2025-03-13 00:49:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-13 00:47:18 +0100 | tabaqui1 | (~root@167.71.80.236) tabaqui |
| 2025-03-13 00:46:19 +0100 | tabaqui1 | (~root@167.71.80.236) (Client Quit) |
| 2025-03-13 00:45:30 +0100 | tabaqui1 | (~root@167.71.80.236) tabaqui |
| 2025-03-13 00:45:27 +0100 | <jackdk> | Ah, `phantom` is still implemented as `() <$ x $< ()`. I had hoped it would be an unsafeCoerce in a wrapper |
| 2025-03-13 00:44:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-13 00:44:39 +0100 | <jackdk> | Noinia: is https://hackage.haskell.org/package/base-4.21.0.0/docs/Data-Functor-Contravariant.html#v:phantom any use to you here? |
| 2025-03-13 00:43:04 +0100 | tabaqui1 | (~root@167.71.80.236) (Client Quit) |
| 2025-03-13 00:41:02 +0100 | <Leary> | Noinia: `Fold` does a silly thing where it quantifies over `f` both `Functor` and `Contravariant`, hence restricting to `f` phantom in `s`. The role system doesn't understand this, however; `coerce` alone won't work, but you can take solace in the fact that `fmap`/`contramap` will be trivial at runtime. |
| 2025-03-13 00:40:53 +0100 | tabaqui1 | (~root@167.71.80.236) tabaqui |
| 2025-03-13 00:40:39 +0100 | tabaqui1 | (~root@167.71.80.236) (Client Quit) |
| 2025-03-13 00:38:51 +0100 | tabaqui1 | (~root@167.71.80.236) tabaqui |
| 2025-03-13 00:38:11 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-03-13 00:36:52 +0100 | tabaqui | (~root@167.71.80.236) (Quit: WeeChat 4.5.1) |
| 2025-03-13 00:36:50 +0100 | tabaqui1 | (~root@167.71.80.236) (Quit: WeeChat 4.5.1) |
| 2025-03-13 00:34:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-13 00:31:33 +0100 | tabaqui | (~root@167.71.80.236) tabaqui |
| 2025-03-13 00:29:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-13 00:21:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-13 00:18:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-13 00:18:24 +0100 | tuxpaint | (~a@2600:3c06::f03c:93ff:fea6:ef0e) (Ping timeout: 252 seconds) |
| 2025-03-13 00:18:16 +0100 | tabaqui | (~root@167.71.80.236) (Quit: WeeChat 4.5.1) |
| 2025-03-13 00:17:37 +0100 | tabaqui1 | (~root@167.71.80.236) tabaqui |
| 2025-03-13 00:17:26 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-13 00:15:53 +0100 | tabaqui1 | (~root@87.200.129.102) (Client Quit) |
| 2025-03-13 00:14:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-13 00:11:34 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-03-13 00:04:42 +0100 | tabaqui | (~root@167.71.80.236) tabaqui |
| 2025-03-13 00:04:38 +0100 | tabaqui1 | (~root@87.200.129.102) (Quit: WeeChat 4.5.1) |
| 2025-03-13 00:03:49 +0100 | tabaqui | (~root@167.71.80.236) (Quit: WeeChat 4.5.1) |
| 2025-03-13 00:03:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-12 23:58:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-12 23:57:54 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-03-12 23:57:26 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2025-03-12 23:56:00 +0100 | infohazards | (~user@user/fmira) (Ping timeout: 264 seconds) |
| 2025-03-12 23:53:17 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-03-12 23:47:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-12 23:46:02 +0100 | catties | Catty |
| 2025-03-12 23:43:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-12 23:41:20 +0100 | <EvanR> | and guess at why or why not |
| 2025-03-12 23:41:07 +0100 | <EvanR> | or is it like, write code, try it, see if it's faster |
| 2025-03-12 23:40:54 +0100 | <EvanR> | juri_, are there any debuggers or simulators that can help with that? |
| 2025-03-12 23:36:23 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-12 23:34:55 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-03-12 23:33:48 +0100 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2025-03-12 23:32:19 +0100 | tabaqui | (~root@167.71.80.236) tabaqui |
| 2025-03-12 23:32:02 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-12 23:31:59 +0100 | tabaqui | (~root@167.71.80.236) (Client Quit) |
| 2025-03-12 23:31:53 +0100 | tabaqui | (~root@167.71.80.236) tabaqui |
| 2025-03-12 23:31:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |