Newest at the top
| 2026-02-23 21:13:28 +0100 | <EvanR> | > let f x y = (x == y, isNegativeZero x == isNegativeZero y) in f 0.0 (-1e-400) |
| 2026-02-23 21:12:34 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-23 21:09:35 +0100 | <EvanR> | good question |
| 2026-02-23 21:09:18 +0100 | Beowulf | (florian@sleipnir.bandrate.org) |
| 2026-02-23 21:09:12 +0100 | <haskellbridge> | <loonycyborg> wouldn't that violate referential trasparency? :P |
| 2026-02-23 21:08:08 +0100 | <EvanR> | the extent to which as programmers we run into or invent situations where x==y implying f(x)==f(y) doesn't hold |
| 2026-02-23 21:04:39 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds) |
| 2026-02-23 21:03:44 +0100 | Beowulf | (florian@sleipnir.bandrate.org) (Quit: = "") |
| 2026-02-23 21:00:34 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2026-02-23 21:00:06 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-23 20:58:41 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) (Ping timeout: 268 seconds) |
| 2026-02-23 20:55:05 +0100 | GoldsteinQ | (~goldstein@goldstein.lol) |
| 2026-02-23 20:54:46 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-02-23 20:52:05 +0100 | GoldsteinQ | (~goldstein@goldstein.lol) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-23 20:50:37 +0100 | attlin | (~user@user/attlin) (Server closed connection) |
| 2026-02-23 20:50:20 +0100 | andreas303 | (andreas303@is.drunk.and.ready-to.party) andreas303 |
| 2026-02-23 20:50:06 +0100 | andreas808 | (andreas303@is.drunk.and.ready-to.party) (Server closed connection) |
| 2026-02-23 20:50:05 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2026-02-23 20:49:57 +0100 | remexre | (~remexre@user/remexre) (Server closed connection) |
| 2026-02-23 20:49:20 +0100 | jinsun | Guest913 |
| 2026-02-23 20:48:56 +0100 | jinsun | (bnc4free@here.and.ready-to.party) |
| 2026-02-23 20:48:46 +0100 | jinsun- | (bnc4free@here.and.ready-to.party) (Server closed connection) |
| 2026-02-23 20:47:45 +0100 | RMSBach | (~RMSBach@2603:6013:9b00:a7c8:e7e5:f272:eb86:ddf) RMSBach |
| 2026-02-23 20:47:36 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-02-23 20:47:35 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2026-02-23 20:47:26 +0100 | RMSBach | (~RMSBach@2603:6013:9b00:a7c8:e7e5:f272:eb86:ddf) (Server closed connection) |
| 2026-02-23 20:46:16 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-23 20:35:51 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds) |
| 2026-02-23 20:35:30 +0100 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) NiKaN |
| 2026-02-23 20:34:46 +0100 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Server closed connection) |
| 2026-02-23 20:31:14 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-23 20:26:44 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2026-02-23 20:26:33 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-23 20:26:08 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:ab8d:eb71:9d8d:8bea) (Remote host closed the connection) |
| 2026-02-23 20:24:36 +0100 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB |
| 2026-02-23 20:24:19 +0100 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Read error: Connection reset by peer) |
| 2026-02-23 20:21:46 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds) |
| 2026-02-23 20:12:04 +0100 | smiesner | (b0cf5acf8c@user/smiesner) smiesner |
| 2026-02-23 20:11:57 +0100 | smiesner | (b0cf5acf8c@user/smiesner) (Server closed connection) |
| 2026-02-23 20:10:04 +0100 | petrichor | (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-23 20:06:26 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Quit: Quit.) |
| 2026-02-23 20:02:33 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds) |
| 2026-02-23 19:58:05 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-23 19:57:49 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2026-02-23 19:57:09 +0100 | khuswant | (~khuswant@115.244.141.202) (Quit: Client closed) |
| 2026-02-23 19:50:16 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-02-23 19:49:06 +0100 | davl | (~davl@207.154.228.18) davl |
| 2026-02-23 19:48:46 +0100 | davl | (~davl@207.154.228.18) (Server closed connection) |
| 2026-02-23 19:48:03 +0100 | khuswant | (~khuswant@115.244.141.202) |
| 2026-02-23 19:40:12 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |