Newest at the top
2024-05-26 08:19:32 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
2024-05-26 08:14:58 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
2024-05-26 08:05:32 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Remote host closed the connection) |
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 07:54:36 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
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:51:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-26 07:06:55 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-05-26 06:53:45 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
2024-05-26 06:30:47 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
2024-05-26 06:30:19 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Remote host closed the connection) |
2024-05-26 05:10:16 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-05-26 05:02:16 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
2024-05-26 05:00:29 +0200 | td_ | (~td@i5387093D.versanet.de) |
2024-05-26 04:59:30 +0200 | fizbin__ | (~fizbin@user/fizbin) (Remote host closed the connection) |
2024-05-26 04:59:00 +0200 | td_ | (~td@i53870937.versanet.de) (Ping timeout: 268 seconds) |
2024-05-26 04:34:25 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-26 04:34:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
2024-05-26 04:33:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
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:22:46 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Read error: Connection reset by peer) |
2024-05-26 04:12:21 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
2024-05-26 04:05:31 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
2024-05-26 04:05:02 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
2024-05-26 04:00:51 +0200 | fliife | (~fliife@user/fliife) |
2024-05-26 04:00:01 +0200 | fliife | (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
2024-05-26 03:57:38 +0200 | otto_s | (~user@p4ff27cd0.dip0.t-ipconnect.de) |
2024-05-26 03:56:23 +0200 | otto_s | (~user@p5de2f67f.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2024-05-26 03:44:44 +0200 | fizbin__ | (~fizbin@user/fizbin) |
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:42:51 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
2024-05-26 03:33:44 +0200 | <glguy> | geekosaur: abs (x,y) = (abs x, abs y) ; same for signum |
2024-05-26 03:33:18 +0200 | <geekosaur> | it's the ... that makes me wonder. what's abs? signum? |
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:32:51 +0200 | <glguy> | stuff like that I assume |
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:31:54 +0200 | <geekosaur> | I'm not even sure how you would define it |
2024-05-26 03:31:42 +0200 | <madariaga> | ok thanks |
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:29 +0200 | <geekosaur> | no |
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:30:39 +0200 | madariaga | (~madariaga@user/madariaga) |
2024-05-26 03:03:15 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
2024-05-26 03:01:17 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 240 seconds) |
2024-05-26 02:56:52 +0200 | califax | (~califax@user/califx) |
2024-05-26 02:56:09 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-26 02:44:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-05-26 02:42:28 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
2024-05-26 02:40:43 +0200 | califax | (~califax@user/califx) |
2024-05-26 02:40:14 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |