2024/10/10

2024-10-10 00:08:42 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds)
2024-10-10 00:25:53 +0200alp_(~alp@2001:861:e3d6:8f80:e3a4:78d2:48d1:1e0) (Ping timeout: 248 seconds)
2024-10-10 00:26:39 +0200yaroot(~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Ping timeout: 260 seconds)
2024-10-10 00:26:54 +0200yaroot(~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) yaroot
2024-10-10 00:31:37 +0200pierrot(~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in)
2024-10-10 00:33:45 +0200pierrot(~pi@user/pierrot) pierrot
2024-10-10 00:46:48 +0200pierrot(~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in)
2024-10-10 00:52:24 +0200pierrot(~pi@user/pierrot) pierrot
2024-10-10 00:59:39 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-10-10 01:00:15 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-10-10 01:00:54 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) athan
2024-10-10 01:18:34 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2024-10-10 01:19:09 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-10-10 01:20:54 +0200pierrot(~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in)
2024-10-10 01:21:58 +0200pierrot(~pi@user/pierrot) pierrot
2024-10-10 01:22:01 +0200mantraofpie(~mantraofp@user/mantraofpie) (Ping timeout: 260 seconds)
2024-10-10 01:22:25 +0200acidjnk(~acidjnk@p200300d6e72cfb59bd2c072e962d353d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2024-10-10 01:22:25 +0200CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2024-10-10 01:26:57 +0200philopsos(~caecilius@user/philopsos) philopsos
2024-10-10 01:38:57 +0200acidjnk(~acidjnk@p200300d6e72cfb59bd2c072e962d353d.dip0.t-ipconnect.de) acidjnk
2024-10-10 01:40:05 +0200CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de)
2024-10-10 01:40:32 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-10-10 01:41:10 +0200 <Lears> Oh. I should have figured this out a lot sooner, but it looks like I forgot to /anti/-commute one of cross products (z k x (b1 i + b2 j))---that's what I get for doing it in my head. Distributivity indeed gives us a projection orthogonal to a-b.
2024-10-10 01:43:11 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-10 01:49:06 +0200causal(~eric@50.35.88.207) causal
2024-10-10 02:05:00 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-10-10 02:05:30 +0200hendi_(~hendi@2001:9e8:4520:3700:5e87:9ff3:15c4:3213) hendi
2024-10-10 02:07:37 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2024-10-10 02:08:09 +0200hendi(~hendi@2001:9e8:450c:3200:6391:9fa7:7b43:cd48) (Ping timeout: 252 seconds)
2024-10-10 02:12:58 +0200gentauro(~gentauro@user/gentauro) gentauro