2024/05/26

2024-05-26 00:03:13 +0200paddymahoney(~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com)
2024-05-26 00:09:21 +0200misterfish(~misterfis@84.53.85.146) (Remote host closed the connection)
2024-05-26 00:11:08 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-05-26 00:13:41 +0200kadir(~kadir@88.251.51.100)
2024-05-26 00:15:59 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-26 00:22:00 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-05-26 00:22:40 +0200euleritian(~euleritia@dynamic-176-006-185-100.176.6.pool.telefonica.de)
2024-05-26 00:25:32 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-26 00:29:07 +0200phma_phma
2024-05-26 00:30:45 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-05-26 00:34:10 +0200causal(~eric@50.35.88.207)
2024-05-26 00:34:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-26 00:42:53 +0200titibandit(~user@user/titibandit) (Ping timeout: 240 seconds)
2024-05-26 00:45:35 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-05-26 00:50:01 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-26 01:06:20 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-05-26 01:12:24 +0200acidjnk(~acidjnk@p200300d6e714dc042020e32aab5643b9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-05-26 01:12:59 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2024-05-26 01:13:14 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
2024-05-26 01:15:35 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-05-26 01:17:47 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-05-26 01:24:43 +0200kadir(~kadir@88.251.51.100) (Quit: WeeChat 4.2.2)
2024-05-26 01:26:22 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-05-26 01:33:13 +0200hiredman(~hiredman@frontier1.downey.family) (Quit: Lost terminal)
2024-05-26 01:55:47 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2024-05-26 02:16:48 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2024-05-26 02:21:00 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2024-05-26 02:22:16 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-05-26 02:22:30 +0200gentauro(~gentauro@user/gentauro)
2024-05-26 02:24:37 +0200troydm(~troydm@user/troydm)
2024-05-26 02:32:36 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-26 02:34:12 +0200califax(~califax@user/califx)
2024-05-26 02:36:36 +0200o-90(~o-90@gateway/tor-sasl/o-90)
2024-05-26 02:40:14 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-26 02:40:43 +0200califax(~califax@user/califx)
2024-05-26 02:42:28 +0200Square2(~Square@user/square) (Ping timeout: 260 seconds)
2024-05-26 02:44:45 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-05-26 02:56:09 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-26 02:56:52 +0200califax(~califax@user/califx)
2024-05-26 03:01:17 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 240 seconds)
2024-05-26 03:03:15 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216)
2024-05-26 03:30:39 +0200madariaga(~madariaga@user/madariaga)
2024-05-26 03:31:09 +0200 <madariaga> hi, can tuples be added like vectors? as in (0, 1) + (1, 0) = (1, 1)
2024-05-26 03:31:29 +0200 <geekosaur> no
2024-05-26 03:31:29 +0200 <glguy> not without you adding an extra Num instance that isn't in the base package
2024-05-26 03:31:42 +0200 <madariaga> ok thanks
2024-05-26 03:31:54 +0200 <geekosaur> I'm not even sure how you would define it
2024-05-26 03:32:49 +0200 <glguy> instance (Num a, Num b) => Num (a, b) where (x,y) + (z,w) = (x+z,y+w); ... ; fromIntegral x = (fromIntegral x, fromIntegral x)
2024-05-26 03:32:51 +0200 <glguy> stuff like that I assume
2024-05-26 03:33:13 +0200 <c_wraith> If you want something that works like vectors, I'd really recommend using the linear package. V2 just does what you want
2024-05-26 03:33:18 +0200 <geekosaur> it's the ... that makes me wonder. what's abs? signum?
2024-05-26 03:33:44 +0200 <glguy> geekosaur: abs (x,y) = (abs x, abs y) ; same for signum
2024-05-26 03:42:51 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection)
2024-05-26 03:44:22 +0200 <EvanR> V2 has a lot more support than you want to write yourself for subset of (,)
2024-05-26 03:44:44 +0200fizbin__(~fizbin@user/fizbin)
2024-05-26 03:56:23 +0200otto_s(~user@p5de2f67f.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2024-05-26 03:57:38 +0200otto_s(~user@p4ff27cd0.dip0.t-ipconnect.de)
2024-05-26 04:00:01 +0200fliife(~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in)
2024-05-26 04:00:51 +0200fliife(~fliife@user/fliife)
2024-05-26 04:05:02 +0200op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2024-05-26 04:05:31 +0200op_4(~tslil@user/op-4/x-9116473)
2024-05-26 04:12:21 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-05-26 04:22:46 +0200Rodney_(~Rodney@176.254.244.83) (Read error: Connection reset by peer)
2024-05-26 04:30:46 +0200destituion(~destituio@2a02:2121:607:127a:8ad9:5c0a:45fb:3e09) (Ping timeout: 255 seconds)
2024-05-26 04:33:31 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-26 04:34:11 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2024-05-26 04:34:25 +0200philopsos1(~caecilius@user/philopsos)
2024-05-26 04:59:00 +0200td_(~td@i53870937.versanet.de) (Ping timeout: 268 seconds)
2024-05-26 04:59:30 +0200fizbin__(~fizbin@user/fizbin) (Remote host closed the connection)
2024-05-26 05:00:29 +0200td_(~td@i5387093D.versanet.de)
2024-05-26 05:02:16 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds)
2024-05-26 05:10:16 +0200Sgeo(~Sgeo@user/sgeo)
2024-05-26 06:30:19 +0200xdminsy(~xdminsy@117.147.70.240) (Remote host closed the connection)
2024-05-26 06:30:47 +0200xdminsy(~xdminsy@117.147.70.240)
2024-05-26 06:53:45 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-26 07:06:55 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-05-26 07:51:05 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-26 07:54:18 +0200euleritian(~euleritia@dynamic-176-006-185-100.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-26 07:54:36 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-26 08:05:18 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-26 08:05:32 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Remote host closed the connection)
2024-05-26 08:14:58 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-26 08:19:32 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds)
2024-05-26 08:22:11 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-26 08:33:29 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-26 08:38:04 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds)
2024-05-26 08:54:24 +0200notzmv(~daniel@user/notzmv) (Ping timeout: 260 seconds)
2024-05-26 08:57:29 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 252 seconds)
2024-05-26 09:00:02 +0200tt1231097(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat)
2024-05-26 09:00:24 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-26 09:00:51 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-26 09:02:45 +0200tt1231097(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee)
2024-05-26 09:04:28 +0200euphores(~SASL_euph@user/euphores)
2024-05-26 09:05:40 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds)
2024-05-26 09:15:11 +0200xff0x(~xff0x@2405:6580:b080:900:18cf:170e:58a4:4739) (Ping timeout: 260 seconds)
2024-05-26 09:16:17 +0200acidjnk(~acidjnk@p200300d6e714dc267155b07e20dae7cf.dip0.t-ipconnect.de)
2024-05-26 09:22:19 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2024-05-26 09:22:32 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-26 09:26:26 +0200xff0x(~xff0x@2405:6580:b080:900:9755:68f6:487e:4599)
2024-05-26 09:28:51 +0200BigKozlowski(~BigKozlow@194.5.60.133)