Newest at the top
| 2025-08-14 19:33:03 +0200 | Guest7 | (~Guest7@2001:1c00:a16:9d00:1ca4:37b:5db4:4baa) (Client Quit) |
| 2025-08-14 19:30:06 +0200 | Guest7 | (~Guest7@2001:1c00:a16:9d00:1ca4:37b:5db4:4baa) |
| 2025-08-14 19:29:52 +0200 | ljdarj1 | ljdarj |
| 2025-08-14 19:29:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-08-14 19:26:22 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-14 19:22:39 +0200 | karenw_ | (~karenw@user/karenw) karenw |
| 2025-08-14 19:21:53 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2025-08-14 19:21:46 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-08-14 19:18:35 +0200 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 19:17:01 +0200 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 252 seconds) |
| 2025-08-14 19:15:30 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-08-14 19:12:08 +0200 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 19:11:11 +0200 | trickard_ | trickard |
| 2025-08-14 19:10:38 +0200 | jespada | (~jespada@2800:a4:221c:d00:54c4:d919:36f:30dc) jespada |
| 2025-08-14 19:08:00 +0200 | jespada | (~jespada@2800:a4:2225:9000:913:54f8:4fc8:5494) (Ping timeout: 244 seconds) |
| 2025-08-14 19:05:21 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 2025-08-14 19:01:21 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-08-14 18:58:48 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-14 18:58:30 +0200 | weary-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 +0200 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 272 seconds) |
| 2025-08-14 18:51:32 +0200 | tromp | (~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 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-08-14 18:48:38 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 18:47:43 +0200 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 18:44:21 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-14 18:43:31 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-08-14 18:42:37 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-08-14 18:42:04 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 255 seconds) |
| 2025-08-14 18:41:18 +0200 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 276 seconds) |
| 2025-08-14 18:40:38 +0200 | pavonia | (~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 +0200 | AlexZenon | (~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 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 2025-08-14 18:32:57 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-08-14 18:32:43 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 18:28:37 +0200 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 260 seconds) |
| 2025-08-14 18:28:33 +0200 | SoF | (~skius@user/skius) skius |
| 2025-08-14 18:27:58 +0200 | SoF | (~skius@user/skius) (Server closed connection) |
| 2025-08-14 18:25:11 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-08-14 18:24:28 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Server closed connection) |
| 2025-08-14 18:20:37 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-08-14 18:16:04 +0200 | <ncf> | huh |
| 2025-08-14 18:14:46 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-08-14 18:13:01 +0200 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-14 18:11:43 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-08-14 18:11:16 +0200 | yangby | (~secret@115.205.231.82) yangby |