2025/08/14

Newest at the top

2025-08-14 19:12:08 +0200AlexZenon(~alzenon@178.34.150.240)
2025-08-14 19:11:11 +0200trickard_trickard
2025-08-14 19:10:38 +0200jespada(~jespada@2800:a4:221c:d00:54c4:d919:36f:30dc) jespada
2025-08-14 19:08:00 +0200jespada(~jespada@2800:a4:2225:9000:913:54f8:4fc8:5494) (Ping timeout: 244 seconds)
2025-08-14 19:05:21 +0200tromp(~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908)
2025-08-14 19:01:21 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-08-14 18:58:48 +0200weary-traveler(~user@user/user363627) user363627
2025-08-14 18:58:30 +0200weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-08-14 18:56:32 +0200 <ncf> oh
2025-08-14 18:53:17 +0200 <monochrom> 0. forall x. x loves baby. So baby loves baby. 1. forall x. if baby loves x, x = me.
2025-08-14 18:53:06 +0200AlexZenon(~alzenon@178.34.150.240) (Ping timeout: 272 seconds)
2025-08-14 18:51:32 +0200tromp(~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-14 18:49:46 +0200 <ncf> ... that doesn't follow, does it
2025-08-14 18:48:52 +0200trickard_(~trickard@cpe-88-98-47-163.wireline.com.au)
2025-08-14 18:48:38 +0200trickard_(~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-14 18:47:43 +0200AlexZenon(~alzenon@178.34.150.240)
2025-08-14 18:44:21 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-08-14 18:43:31 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-08-14 18:42:37 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 260 seconds)
2025-08-14 18:42:04 +0200pabs3(~pabs3@user/pabs3) (Ping timeout: 255 seconds)
2025-08-14 18:41:18 +0200AlexZenon(~alzenon@178.34.150.240) (Ping timeout: 276 seconds)
2025-08-14 18:40:38 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-08-14 18:35:48 +0200 <monochrom> But I'm a logician, so if someone says "everyone loves my baby, but my baby loves only me" then I deduce "so you are your baby, what's the problem?" :)
2025-08-14 18:35:45 +0200AlexZenon(~alzenon@178.34.150.240)
2025-08-14 18:35:09 +0200 <monochrom> I can see that 99% of the time the programmer intends a and b to be different, so warning/erring early is more helpful than logicing it out.
2025-08-14 18:33:41 +0200tromp(~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908)
2025-08-14 18:32:57 +0200trickard_(~trickard@cpe-88-98-47-163.wireline.com.au)
2025-08-14 18:32:43 +0200trickard_(~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-14 18:28:37 +0200AlexZenon(~alzenon@178.34.150.240) (Ping timeout: 260 seconds)
2025-08-14 18:28:33 +0200SoF(~skius@user/skius) skius
2025-08-14 18:27:58 +0200SoF(~skius@user/skius) (Server closed connection)
2025-08-14 18:25:11 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale
2025-08-14 18:24:28 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (Server closed connection)
2025-08-14 18:20:37 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-08-14 18:16:04 +0200 <ncf> huh
2025-08-14 18:14:46 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-08-14 18:13:01 +0200AlexZenon(~alzenon@178.34.150.240)
2025-08-14 18:11:43 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-08-14 18:11:16 +0200yangby(~secret@115.205.231.82) yangby
2025-08-14 18:07:58 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-08-14 18:04:37 +0200AlexZenon(~alzenon@178.34.150.240) (Ping timeout: 248 seconds)
2025-08-14 18:04:21 +0200trickard_(~trickard@cpe-88-98-47-163.wireline.com.au)
2025-08-14 18:02:53 +0200trickard__(~trickard@cpe-88-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-08-14 17:54:53 +0200 <dolio> Like, you would not be able to write `foo :: (MonadReader a m, MonadReader b m) => a -> m b ; foo x = pure x`
2025-08-14 17:54:01 +0200 <dolio> I don't know if things have changed in this regard, but it used to be the case that they would not work quite the same.
2025-08-14 17:50:33 +0200chele(~chele@user/chele) (Remote host closed the connection)
2025-08-14 17:49:38 +0200AlexZenon(~alzenon@178.34.150.240)
2025-08-14 17:43:34 +0200trickard_(~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 255 seconds)
2025-08-14 17:42:29 +0200trickard__(~trickard@cpe-88-98-47-163.wireline.com.au)
2025-08-14 17:40:15 +0200 <ncf> another way to say this is that the constraint is equivalent to (MonadReader a m, a ~ b)