2024/05/17

Newest at the top

2024-05-17 01:51:14 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-05-17 01:50:58 +0200petrichor(~znc-user@user/petrichor)
2024-05-17 01:44:53 +0200zzz(~yin@user/zero) (Ping timeout: 268 seconds)
2024-05-17 01:41:19 +0200petrichor(~znc-user@user/petrichor) (Ping timeout: 260 seconds)
2024-05-17 01:34:11 +0200Athas(athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356)
2024-05-17 01:34:01 +0200Athas(athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-17 01:30:24 +0200xff0x(~xff0x@2405:6580:b080:900:25be:f228:ec64:b69c)
2024-05-17 01:29:22 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 246 seconds)
2024-05-17 01:26:19 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-05-17 01:25:48 +0200xff0x(~xff0x@2405:6580:b080:900:25be:f228:ec64:b69c) (Ping timeout: 256 seconds)
2024-05-17 01:11:03 +0200Athas(athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356)
2024-05-17 01:10:53 +0200Athas(athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-17 01:02:50 +0200ystael(~ystael@user/ystael)
2024-05-17 00:57:55 +0200ystael(~ystael@user/ystael) (Quit: Lost terminal)
2024-05-17 00:51:35 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-05-17 00:45:23 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 268 seconds)
2024-05-17 00:45:08 +0200systemhalted(~systemhal@130.51.137.77) (Remote host closed the connection)
2024-05-17 00:42:44 +0200systemhalted(~systemhal@130.51.137.77)
2024-05-17 00:40:58 +0200Benzi-Junior(~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Read error: Connection reset by peer)
2024-05-17 00:40:03 +0200B-J(~BenziJuni@232-148-209-31.dynamic.hringdu.is)
2024-05-17 00:37:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-17 00:31:54 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-05-17 00:27:57 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2024-05-17 00:26:23 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds)
2024-05-17 00:25:14 +0200acidjnk_new(~acidjnk@p5dd87bdf.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-05-17 00:22:24 +0200gmg(~user@user/gehmehgeh)
2024-05-17 00:20:59 +0200sp1ff(~user@c-24-21-45-157.hsd1.wa.comcast.net)
2024-05-17 00:20:42 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-05-17 00:20:28 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-17 00:20:05 +0200agent314(~quassel@193.37.254.131.adsl.inet-telecom.org) (Client Quit)
2024-05-17 00:19:31 +0200agent314(~quassel@193.37.254.131.adsl.inet-telecom.org)
2024-05-17 00:17:33 +0200titibandit(~user@user/titibandit) (Remote host closed the connection)
2024-05-17 00:13:56 +0200systemhalted(~systemhal@130.51.137.77) (Ping timeout: 268 seconds)
2024-05-17 00:07:47 +0200califax(~califax@user/califx)
2024-05-17 00:06:53 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-17 00:06:16 +0200systemhalted(~systemhal@130.51.137.77)
2024-05-17 00:03:20 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2024-05-16 23:58:24 +0200fendor(~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection)
2024-05-16 23:54:28 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-05-16 23:31:46 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2024-05-16 23:27:20 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-16 23:21:40 +0200 <ncf> from experience this will not be an easy task
2024-05-16 23:21:14 +0200 <ncf> i mean if you want to convince the Core Libraries Committee that this is the one true God-intended instance for Alternative (Either e), go for it
2024-05-16 23:21:04 +0200sawilagar(~sawilagar@user/sawilagar)
2024-05-16 23:20:12 +0200 <talismanick> ...but it's not unlawful, and there's precedent for English bias anyways
2024-05-16 23:19:07 +0200 <ncf> so it has to pick one, and left seems like the favoured one because english
2024-05-16 23:18:54 +0200philopsos1(~caecilius@user/philopsos)
2024-05-16 23:18:38 +0200 <ncf> but Either can't just concatenate the Rights, since it has to work parametrically in a
2024-05-16 23:18:35 +0200 <talismanick> oh, true
2024-05-16 23:18:23 +0200 <ncf> i mean Alternative [] isn't left-biased