2024-05-26 00:03:13 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
2024-05-26 00:09:21 +0200 | misterfish | (~misterfis@84.53.85.146) (Remote host closed the connection) |
2024-05-26 00:11:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-05-26 00:13:41 +0200 | kadir | (~kadir@88.251.51.100) |
2024-05-26 00:15:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-26 00:22:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-05-26 00:22:40 +0200 | euleritian | (~euleritia@dynamic-176-006-185-100.176.6.pool.telefonica.de) |
2024-05-26 00:25:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-26 00:29:07 +0200 | phma_ | phma |
2024-05-26 00:30:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-05-26 00:34:10 +0200 | causal | (~eric@50.35.88.207) |
2024-05-26 00:34:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-26 00:42:53 +0200 | titibandit | (~user@user/titibandit) (Ping timeout: 240 seconds) |
2024-05-26 00:45:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-05-26 00:50:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-26 01:06:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-05-26 01:12:24 +0200 | acidjnk | (~acidjnk@p200300d6e714dc042020e32aab5643b9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-05-26 01:12:59 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2024-05-26 01:13:14 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
2024-05-26 01:15:35 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-05-26 01:17:47 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-05-26 01:24:43 +0200 | kadir | (~kadir@88.251.51.100) (Quit: WeeChat 4.2.2) |
2024-05-26 01:26:22 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-05-26 01:33:13 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
2024-05-26 01:55:47 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
2024-05-26 02:16:48 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2024-05-26 02:21:00 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
2024-05-26 02:22:16 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-05-26 02:22:30 +0200 | gentauro | (~gentauro@user/gentauro) |
2024-05-26 02:24:37 +0200 | troydm | (~troydm@user/troydm) |
2024-05-26 02:32:36 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-26 02:34:12 +0200 | califax | (~califax@user/califx) |
2024-05-26 02:36:36 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
2024-05-26 02:40:14 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-26 02:40:43 +0200 | califax | (~califax@user/califx) |
2024-05-26 02:42:28 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
2024-05-26 02:44:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-05-26 02:56:09 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-26 02:56:52 +0200 | califax | (~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 +0200 | madariaga | (~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 +0200 | o-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 +0200 | fizbin__ | (~fizbin@user/fizbin) |
2024-05-26 03:56:23 +0200 | otto_s | (~user@p5de2f67f.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2024-05-26 03:57:38 +0200 | otto_s | (~user@p4ff27cd0.dip0.t-ipconnect.de) |
2024-05-26 04:00:01 +0200 | fliife | (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
2024-05-26 04:00:51 +0200 | fliife | (~fliife@user/fliife) |
2024-05-26 04:05:02 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
2024-05-26 04:05:31 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
2024-05-26 04:12:21 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
2024-05-26 04:22:46 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Read error: Connection reset by peer) |
2024-05-26 04:30:46 +0200 | destituion | (~destituio@2a02:2121:607:127a:8ad9:5c0a:45fb:3e09) (Ping timeout: 255 seconds) |
2024-05-26 04:33:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-26 04:34:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
2024-05-26 04:34:25 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-26 04:59:00 +0200 | td_ | (~td@i53870937.versanet.de) (Ping timeout: 268 seconds) |
2024-05-26 04:59:30 +0200 | fizbin__ | (~fizbin@user/fizbin) (Remote host closed the connection) |
2024-05-26 05:00:29 +0200 | td_ | (~td@i5387093D.versanet.de) |
2024-05-26 05:02:16 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
2024-05-26 05:10:16 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-05-26 06:30:19 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Remote host closed the connection) |
2024-05-26 06:30:47 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
2024-05-26 06:53:45 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
2024-05-26 07:06:55 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-05-26 07:51:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-26 07:54:18 +0200 | euleritian | (~euleritia@dynamic-176-006-185-100.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-26 07:54:36 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-26 08:05:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-26 08:05:32 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Remote host closed the connection) |
2024-05-26 08:14:58 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
2024-05-26 08:19:32 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
2024-05-26 08:22:11 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-26 08:33:29 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
2024-05-26 08:38:04 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
2024-05-26 08:54:24 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 260 seconds) |
2024-05-26 08:57:29 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
2024-05-26 09:00:02 +0200 | tt1231097 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
2024-05-26 09:00:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-26 09:00:51 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
2024-05-26 09:02:45 +0200 | tt1231097 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
2024-05-26 09:04:28 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-26 09:05:40 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
2024-05-26 09:15:11 +0200 | xff0x | (~xff0x@2405:6580:b080:900:18cf:170e:58a4:4739) (Ping timeout: 260 seconds) |
2024-05-26 09:16:17 +0200 | acidjnk | (~acidjnk@p200300d6e714dc267155b07e20dae7cf.dip0.t-ipconnect.de) |
2024-05-26 09:22:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
2024-05-26 09:22:32 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-26 09:26:26 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9755:68f6:487e:4599) |
2024-05-26 09:28:51 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |