Newest at the top
2024-10-23 23:14:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 23:13:18 +0200 | aforemny | (~aforemny@2001:9e8:6cf3:ad00:f9bd:7d15:f62e:4b46) (Ping timeout: 245 seconds) |
2024-10-23 23:12:32 +0200 | aforemny_ | (~aforemny@2001:9e8:6cfd:4f00:a308:87bf:ccc5:4223) aforemny |
2024-10-23 23:03:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-23 23:01:38 +0200 | <EvanR> | mind blown |
2024-10-23 22:58:28 +0200 | <int-e> | (Gauss was the first to study them in depth, from a number theoretic perspective: https://en.wikipedia.org/wiki/Gaussian_integer#Historical_background ) |
2024-10-23 22:56:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 22:54:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2024-10-23 22:53:22 +0200 | <int-e> | complex numbers with integer real and imaginary parts |
2024-10-23 22:53:01 +0200 | <EvanR> | gaussian integers? |
2024-10-23 22:52:28 +0200 | <int-e> | I wanted Gaussian integers recently so I copied half of the Data.Complex module and changed the Num instance to error on abs and signum... it felt dirty. |
2024-10-23 22:51:33 +0200 | <EvanR> | lambdabot has old news? smh |
2024-10-23 22:50:21 +0200 | <int-e> | (the constraint on the data type is gone, but that still doesn't make it usable for your case) |
2024-10-23 22:49:18 +0200 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
2024-10-23 22:48:52 +0200 | <int-e> | instance RealFloat a => Num (Complex a) |
2024-10-23 22:48:22 +0200 | <lambdabot> | data (RealFloat a) => Complex a = !a :+ !a |
2024-10-23 22:48:21 +0200 | <EvanR> | @src Complex |
2024-10-23 22:47:52 +0200 | <EvanR> | I realize if (Int,Int) was a Num I could've just used + |
2024-10-23 22:46:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-23 22:45:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-23 22:45:34 +0200 | <EvanR> | that's... gonna have to be at a higher layer |
2024-10-23 22:44:58 +0200 | pavonia | (~user@user/siracusa) siracusa |
2024-10-23 22:44:31 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:6d01:fe2b:de0:d441) |
2024-10-23 22:44:19 +0200 | jcarpenter2 | (~lol@96.78.87.197) (Quit: Leaving) |
2024-10-23 22:43:59 +0200 | Guest1407 | (~andrei@dhcp-128-189-227-162.ubcsecure.wireless.ubc.ca) (Ping timeout: 260 seconds) |
2024-10-23 22:42:41 +0200 | <int-e> | . o O ( 0-0 0-0-0 ) |
2024-10-23 22:41:01 +0200 | <EvanR> | https://paste.tomsmeding.com/Gx29wJNl |
2024-10-23 22:40:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 22:39:13 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) gioyik |
2024-10-23 22:38:49 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Remote host closed the connection) |
2024-10-23 22:34:46 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-23 22:30:34 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-23 22:28:36 +0200 | <EvanR> | probably not |
2024-10-23 22:28:12 +0200 | <EvanR> | can I get away with this https://paste.tomsmeding.com/TA6noxT0 |
2024-10-23 22:26:24 +0200 | morsinichi | (~morsinich@49.228.14.161) (Ping timeout: 252 seconds) |
2024-10-23 22:25:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 22:14:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 22:10:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-10-23 22:09:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 22:05:37 +0200 | simendsjo | (~user@84.211.91.108) (Remote host closed the connection) |
2024-10-23 22:00:36 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2024-10-23 21:58:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 21:53:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 21:53:17 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) gioyik |
2024-10-23 21:50:41 +0200 | alexherbo2 | (~alexherbo@2a02-8440-310b-6bee-d19c-c2cf-5674-8209.rev.sfr.net) alexherbo2 |
2024-10-23 21:50:22 +0200 | alexherbo2 | (~alexherbo@2a02-8440-310b-6bee-d19c-c2cf-5674-8209.rev.sfr.net) (Remote host closed the connection) |
2024-10-23 21:45:33 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 276 seconds) |
2024-10-23 21:42:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-23 21:37:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 21:37:28 +0200 | ljdarj1 | ljdarj |