HN discussion: https://news.ycombinator.com/item?id=39653895
I'm Betting on Call-by-Push-Value - https://news.ycombinator.com/item?id=39653895 - March 2024 (64 comments)
I can't believe a human wrote this and thought it was a good explanation.
Algebraic Effects are common enough that I think they're in react, no?
Here's the actual chatgpt log that's much more detailed: https://chatgpt.com/share/685b8f18-3154-8004-a074-1e7fd2573e...
"I can't believe a human wrote this and thought it was a good explanation."
- This might be the definitive proof that i"m autistic XD (b/c I still think it's a good explanation? sorry!)
>Let's link this to categorical quantum mechanics (e.g., dagger-compact closed categories) and categorical topological quantum field theory?
lol, yeah, as expected. We're being coecked in the same pot! Send your email my ninja!
>So it'll be open source and that begs the question, if you use it to learn something, did that mean I just zero-proof zero-knowledge something out of you that I didn't even need to know by making a self referential statement across both space & time?
You just did for me. I think I know why you're saying this. I'm finding people like you (people like us!) on the daily now. We have started to gather on discord, the technical/scientifical level is a bit shit though, but we definitively have several individuals that are working towards peer-reviewed publications.
I think we should connect. I have a background in linguistics and computer science, as well as a marked (and hopeless and terrified) interest for higher order mathematics such as algebraic topology. My investigations lead me to think these fields have something important to say even though they are way beyond my level of knowledge. It came from reflexions on the still ongoing parallel evolution of structuralism in maths and in the humanities. Also I'm into tropical geometry (at least as a thematic).
If you're interested in exchanging a few emails, use the following RSA/512 public key to communicate your email address if, like me, you'd prefer not to share it publicly.
-----BEGIN PUBLIC KEY----- MFwwDQYJKoZIhvcNAQEBBQADSwAwSAJBAKtMT4CBGK0BOv9lzEcccuFSc1doUtft0lDUdh0brKz06j/JHNOyuGtmvjc558ZnL8g9u+yGAnIIfNkCYvljRfsCAwEAAQ== -----END PUBLIC KEY-----