Newest at the top
| 2025-02-06 03:43:51 +0100 | <r-sta> | so i think my problem is that if you deconstruct a n-d binary grid, that it creates a view to the reconstructed version, where there is no intermediate type to hold the deconstructed thing. its not an n-d euclidean binary grid, when one of the cells is being viewed |
| 2025-02-06 03:43:13 +0100 | <Inst__> | Ah, survivors of the Soviet attempt to find a mathematical grounding for Dialectical Materialism? |
| 2025-02-06 03:43:03 +0100 | <r-sta> | ... |
| 2025-02-06 03:42:52 +0100 | <sclv> | has a good book about lawvere in that regars |
| 2025-02-06 03:42:31 +0100 | <sclv> | andrei rodin |
| 2025-02-06 03:42:30 +0100 | <r-sta> | one simply doesnt ought... |
| 2025-02-06 03:42:06 +0100 | <Inst__> | Oh, have a good one, found him when I was trying to do dialectics, and got censored off RedNote for asking about basing dialectics in mathematical logic |
| 2025-02-06 03:41:53 +0100 | <r-sta> | what, a topos? |
| 2025-02-06 03:41:44 +0100 | <sclv> | and yes, he is |
| 2025-02-06 03:41:17 +0100 | <sclv> | i’m aware |
| 2025-02-06 03:41:07 +0100 | <Inst__> | https://en.m.wikipedia.org/wiki/William_Lawvere |
| 2025-02-06 03:41:05 +0100 | <Inst__> | i recently found this guy, you might find him interesting |
| 2025-02-06 03:40:56 +0100 | <sclv> | ? |
| 2025-02-06 03:40:44 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-06 03:40:30 +0100 | <Inst__> | Sclv: |
| 2025-02-06 03:39:55 +0100 | Inst__ | (~Inst__@2601:6c1:786:fb0:b0d9:e54c:aa23:7982) |
| 2025-02-06 03:38:37 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-06 03:38:37 +0100 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-02-06 03:38:37 +0100 | tavare | (~tavare@150.129.88.189) |
| 2025-02-06 03:37:22 +0100 | mankyKitty | (uid31287@id-31287.helmsley.irccloud.com) |
| 2025-02-06 03:35:17 +0100 | rekahsoft | (~rekahsoft@142.112.184.232) (Ping timeout: 244 seconds) |
| 2025-02-06 03:35:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 03:34:38 +0100 | <r-sta> | and this is somehow tainting the whole structure |
| 2025-02-06 03:34:25 +0100 | <r-sta> | i think iiuc the traversability of the branches is not from deconstruct/reconstruct |
| 2025-02-06 03:34:14 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-06 03:33:50 +0100 | <r-sta> | (i cant go deconstructing branches and still be left with a *binary* tree) |
| 2025-02-06 03:33:23 +0100 | <r-sta> | (its like being forced to do the suspended traversal by the non-deconstructability) |
| 2025-02-06 03:32:54 +0100 | <r-sta> | any help? |
| 2025-02-06 03:32:53 +0100 | <r-sta> | i have never come accross the formalism |
| 2025-02-06 03:32:47 +0100 | <r-sta> | idk how to approach this |
| 2025-02-06 03:32:41 +0100 | <r-sta> | and have to do "one value at a time" |
| 2025-02-06 03:32:34 +0100 | <r-sta> | now i cant "traverse" |
| 2025-02-06 03:32:28 +0100 | <r-sta> | normally i can deconstruct a tree because it has any number of branches |
| 2025-02-06 03:32:13 +0100 | <r-sta> | hi i have a problem deconstructing a binary tree |
| 2025-02-06 03:32:12 +0100 | sarna | (~sarna@d168-237.icpnet.pl) (Ping timeout: 252 seconds) |
| 2025-02-06 03:32:07 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) |
| 2025-02-06 03:29:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 03:28:36 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-06 03:27:38 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 03:18:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-06 03:15:36 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-02-06 03:10:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 03:06:57 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-06 03:03:10 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 02:58:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-06 02:58:40 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 02:54:04 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 02:51:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 02:41:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 02:35:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |