2025/08/14

Newest at the top

2025-08-14 19:26:22 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-14 19:22:39 +0200karenw_(~karenw@user/karenw) karenw
2025-08-14 19:21:53 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 248 seconds)
2025-08-14 19:21:46 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-08-14 19:18:35 +0200AlexZenon(~alzenon@178.34.150.240)
2025-08-14 19:17:01 +0200AlexZenon(~alzenon@178.34.150.240) (Ping timeout: 252 seconds)
2025-08-14 19:15:30 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
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)