Newest at the top
| 2024-09-27 15:20:05 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-27 15:13:02 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 15:05:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 15:01:34 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-27 15:00:27 +0200 | youthlic1 | youthlic |
| 2024-09-27 15:00:26 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 272 seconds) |
| 2024-09-27 14:59:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 14:58:07 +0200 | youthlic1 | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-27 14:54:08 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 14:45:58 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-09-27 14:43:30 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-27 14:43:09 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-09-27 14:42:32 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-09-27 14:40:08 +0200 | <ski> | mod gorgon |
| 2024-09-27 14:39:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 14:38:58 +0200 | billchenchina- | (~billchenc@103.152.35.21) billchenchina |
| 2024-09-27 14:38:55 +0200 | <shapr> | hej ski, god morgon |
| 2024-09-27 14:38:44 +0200 | <lambdabot> | ski says: ("unique among types, `Void -> X' has its own charm. tourists should definitly pay a visit") |
| 2024-09-27 14:38:44 +0200 | <shapr> | @quote ski |
| 2024-09-27 14:32:56 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2024-09-27 14:28:33 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-27 14:24:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 14:19:01 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 248 seconds) |
| 2024-09-27 14:14:36 +0200 | <ski> | ncf : it couldn't, because it's injective. so you can't have a single column (or row) in the Cayley table that also mentions every inhabitant (is surjective) (there'd be none left to occur in the other entries in the table) |
| 2024-09-27 14:13:38 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:fd9b:ad9e:2406:5420) |
| 2024-09-27 14:13:20 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e37c:11d0:d9af:37f2) (Remote host closed the connection) |
| 2024-09-27 14:10:26 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-27 14:09:57 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 14:04:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 14:03:05 +0200 | <ski> | Inst ^ |
| 2024-09-27 14:01:48 +0200 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-09-27 14:00:07 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2024-09-27 14:00:06 +0200 | <ski> | (and these two streams of triplets are different) |
| 2024-09-27 13:59:43 +0200 | <ski> | but if you instead combine `[0,1,2,3,...]' with the result of combining the latter two (being `[(0,0),(1,0),(0,1),(2,0),(1,1),(0,2),(3,0),(2,1),(1,2),(0,3),...]'), you get `[(0,0,0),(1,0,0),(0,1,0),(2,0,0),(1,1,0),(0,0,1),(3,0,0),(2,1,0),(1,0,1),(0,2,0),...]' |
| 2024-09-27 13:59:06 +0200 | <ski> | magine given three `[0,1,2,3,...]'s. if we combine the first two, we get `[(0,0),(1,0),(0,1),(2,0),(1,1),(0,2),(3,0),(2,1),(1,2),(0,3),...]', which, if we combine it with the remaining `[0,1,2,3,...]', we get `[(0,0,0),(1,0,0),(0,0,1),(0,1,0),(1,0,1),(0,0,2),(2,0,0),(0,1,1),(1,0,2),(0,0,3),...]' |
| 2024-09-27 13:56:39 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-09-27 13:55:48 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 245 seconds) |
| 2024-09-27 13:52:54 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-09-27 13:52:22 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-27 13:51:49 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-09-27 13:49:48 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 13:48:33 +0200 | <ncf> | actually it can't possibly be unital, right |
| 2024-09-27 13:48:16 +0200 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-09-27 13:48:05 +0200 | <ncf> | i guess the question is is there an associative isomorphism e : ℕ² ≃ ℕ |
| 2024-09-27 13:46:22 +0200 | <Inst> | thanks for the help |
| 2024-09-27 13:45:32 +0200 | <ski> | Inst : i'm pretty sure it can't be associative |
| 2024-09-27 13:45:04 +0200 | <ski> | (btw, you should be able to do `(<*>)' on your `Stream' there, without involving `seek' and indices) |
| 2024-09-27 13:44:50 +0200 | <Inst> | can't be done? |
| 2024-09-27 13:44:47 +0200 | <Inst> | if say, for a <*> b, creating a product of every element in a applied to every element in b, reachable in finite time for any pair |
| 2024-09-27 13:43:31 +0200 | <ski> | can't parse, retry |