Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 17612 17613 17614 17615 17616 17617 17618 17619 17620 17621 17622 .. 17985
— 1,798,453 events total
2026-02-23 17:34:29 × oats quits (~oats@user/oats) (Ping timeout: 245 seconds)
2026-02-23 17:34:59 → infinity0 joins (~infinity0@pwned.gg)
2026-02-23 17:35:14 × fgarcia quits (~lei@user/fgarcia) (Ping timeout: 256 seconds)
2026-02-23 17:35:26 → oats joins (~oats@user/oats)
2026-02-23 17:35:50 nitrix_ is now known as nitrix
2026-02-23 17:41:01 × califax quits (~califax@user/califx) (Remote host closed the connection)
2026-02-23 17:41:15 → califax joins (~califax@user/califx)
2026-02-23 17:50:04 × chele quits (~chele@user/chele) (Remote host closed the connection)
2026-02-23 17:51:40 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 256 seconds)
2026-02-23 17:54:39 → jtnuttall joins (~jeremy@user/jeremyn)
2026-02-23 17:59:50 × lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2026-02-23 18:02:06 × xal quits (~xal@mx1.xal.systems) (Server closed connection)
2026-02-23 18:02:23 → xal joins (~xal@mx1.xal.systems)
2026-02-23 18:02:52 → Guest50 joins (~Guest9@145-53-8-159.fixed.kpn.net)
2026-02-23 18:03:05 × Guest50 quits (~Guest9@145-53-8-159.fixed.kpn.net) (Client Quit)
2026-02-23 18:05:23 → fgarcia joins (~lei@user/fgarcia)
2026-02-23 18:08:06 × krjst quits (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) (Server closed connection)
2026-02-23 18:08:31 → krjst joins (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48)
2026-02-23 18:09:57 × Ging quits (46fea76d80@2001:bc8:1210:2cd8::470) (Server closed connection)
2026-02-23 18:10:03 → Ging joins (46fea76d80@2001:bc8:1210:2cd8::470)
2026-02-23 18:11:00 → ljdarj joins (~Thunderbi@user/ljdarj)
2026-02-23 18:11:44 → lbseale joins (~quassel@user/ep1ctetus)
2026-02-23 18:12:46 × Vq quits (~vq@user/vq) (Server closed connection)
2026-02-23 18:13:01 → Vq joins (~vq@user/vq)
2026-02-23 18:32:47 → tromp joins (~textual@2001:1c00:3487:1b00:6d50:4a35:bdc2:1144)
2026-02-23 18:33:24 × tromp quits (~textual@2001:1c00:3487:1b00:6d50:4a35:bdc2:1144) (Client Quit)
2026-02-23 18:35:49 × LUCKY_NOOB quits (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Read error: Connection reset by peer)
2026-02-23 18:36:06 → LUCKY_NOOB joins (~LUCKY_NOO@user/LUCKY-NOOB:44374)
2026-02-23 18:40:12 → tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2026-02-23 18:48:03 → khuswant joins (~khuswant@115.244.141.202)
2026-02-23 18:48:46 × davl quits (~davl@207.154.228.18) (Server closed connection)
2026-02-23 18:49:06 → davl joins (~davl@207.154.228.18)
2026-02-23 18:50:16 → CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
2026-02-23 18:57:09 × khuswant quits (~khuswant@115.244.141.202) (Quit: Client closed)
2026-02-23 18:57:49 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Remote host closed the connection)
2026-02-23 18:58:05 → chromoblob joins (~chromoblo@user/chromob1ot1c)
2026-02-23 19:02:33 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds)
2026-02-23 19:06:26 × Arsen quits (arsen@gentoo/developer/managarm.dev.Arsen) (Quit: Quit.)
2026-02-23 19:10:04 × petrichor quits (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-23 19:11:57 × smiesner quits (b0cf5acf8c@user/smiesner) (Server closed connection)
2026-02-23 19:12:04 → smiesner joins (b0cf5acf8c@user/smiesner)
2026-02-23 19:21:46 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds)
2026-02-23 19:24:19 × LUCKY_NOOB quits (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Read error: Connection reset by peer)
2026-02-23 19:24:36 → LUCKY_NOOB joins (~LUCKY_NOO@user/LUCKY-NOOB:44374)
2026-02-23 19:26:08 × bggd_ quits (~bgg@2a01:e0a:fd5:f510:ab8d:eb71:9d8d:8bea) (Remote host closed the connection)
2026-02-23 19:26:33 → target_i joins (~target_i@user/target-i/x-6023099)
2026-02-23 19:26:44 → Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net)
2026-02-23 19:31:14 → chromoblob joins (~chromoblo@user/chromob1ot1c)
2026-02-23 19:34:46 × NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (Server closed connection)
2026-02-23 19:35:30 → NiKaN joins (sid385034@id-385034.helmsley.irccloud.com)
2026-02-23 19:35:51 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds)
2026-02-23 19:46:16 → Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
2026-02-23 19:47:26 × RMSBach quits (~RMSBach@2603:6013:9b00:a7c8:e7e5:f272:eb86:ddf) (Server closed connection)
2026-02-23 19:47:35 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2026-02-23 19:47:36 Lord_of_Life_ is now known as Lord_of_Life
2026-02-23 19:47:45 → RMSBach joins (~RMSBach@2603:6013:9b00:a7c8:e7e5:f272:eb86:ddf)
2026-02-23 19:48:46 × jinsun- quits (bnc4free@here.and.ready-to.party) (Server closed connection)
2026-02-23 19:48:56 → jinsun joins (bnc4free@here.and.ready-to.party)
2026-02-23 19:49:20 jinsun is now known as Guest913
2026-02-23 19:49:57 × remexre quits (~remexre@user/remexre) (Server closed connection)
2026-02-23 19:50:05 → remexre joins (~remexre@user/remexre)
2026-02-23 19:50:06 × andreas808 quits (andreas303@is.drunk.and.ready-to.party) (Server closed connection)
2026-02-23 19:50:20 → andreas303 joins (andreas303@is.drunk.and.ready-to.party)
2026-02-23 19:50:37 × attlin quits (~user@user/attlin) (Server closed connection)
2026-02-23 19:52:05 × GoldsteinQ quits (~goldstein@goldstein.lol) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-23 19:54:46 → attlin joins (~user@user/attlin)
2026-02-23 19:55:05 → GoldsteinQ joins (~goldstein@goldstein.lol)
2026-02-23 19:58:41 × Anarchos quits (~Anarchos@91-161-254-16.subs.proxad.net) (Ping timeout: 268 seconds)
2026-02-23 20:00:06 → chromoblob joins (~chromoblo@user/chromob1ot1c)
2026-02-23 20:00:34 → Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net)
2026-02-23 20:03:44 × Beowulf quits (florian@sleipnir.bandrate.org) (Quit: = "")
2026-02-23 20:04:39 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds)
2026-02-23 20:08:08 <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 20:09:12 <haskellbridge> <loonycyborg> wouldn't that violate referential trasparency? :P
2026-02-23 20:09:18 → Beowulf joins (florian@sleipnir.bandrate.org)
2026-02-23 20:09:35 <EvanR> good question
2026-02-23 20:12:34 → humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
2026-02-23 20:13:28 <EvanR> > let f x y = (x == y, isNegativeZero x == isNegativeZero y) in f 0.0 (-1e-400)
2026-02-23 20:13:29 <lambdabot> (True,False)
2026-02-23 20:14:28 <haskellbridge> <loonycyborg> ah yes == isn't the same as it being same object
2026-02-23 20:15:49 <haskellbridge> <loonycyborg> since we're free to implement == however we want, we can even violate basic properties of equality like reflexivity.
2026-02-23 20:15:49 <EvanR> while same object speaks to me as same StableName
2026-02-23 20:15:57 → poscat joins (~poscat@user/poscat)
2026-02-23 20:15:57 <EvanR> which is something else again
2026-02-23 20:16:49 tomsmeding . o O ( reallyUnsafePointerEquality )
2026-02-23 20:17:10 × poscat0x04 quits (~poscat@user/poscat) (Ping timeout: 255 seconds)
2026-02-23 20:17:31 <EvanR> can we get a proper equal sign in here xD
2026-02-23 20:17:34 → stef204 joins (~stef204@user/stef204)
2026-02-23 20:17:46 → chromoblob joins (~chromoblo@user/chromob1ot1c)
2026-02-23 20:17:50 <tomsmeding> choose your favourite https://tomsmeding.com/unicode#equal
2026-02-23 20:18:35 <EvanR> almost equal to is a perennial favorite
2026-02-23 20:18:41 <int-e> if you're undecided: ⪟
2026-02-23 20:18:48 <tomsmeding> lol
2026-02-23 20:19:10 <tomsmeding> ≊ ALMOST EQUAL OR EQUAL TO is also suspicious -- surely if it's equal, it's also almost equal?
2026-02-23 20:21:16 <EvanR> lol
2026-02-23 20:22:04 <EvanR> so there's an equivalent of equivalences
2026-02-23 20:22:39 × Anarchos quits (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!)
2026-02-23 20:23:44 <EvanR> loonycyborg, well the slightly deeper issue that satisfying basic properties of equality is in this case... that otherwise sensible definition of (testable in this case) equality isn't universally obeyed. I.e. someone somewhere can observe a distinction between equals
2026-02-23 20:23:49 <EvanR> than*
2026-02-23 20:24:38 <EvanR> so it's like conflating a quotient with a thing being quotiented
←Prev  Next→
Page 1 .. 17612 17613 17614 17615 17616 17617 17618 17619 17620 17621 17622 .. 17985

All times are in UTC.