Future of Coding is an online community with a welcoming, cooperative, and revolutionary spirit. We are unified in the belief that the common practice of programming is tragically less humane than it could be.

Future of Coding

Cool thread from Paniq (not part of this community, but he's the creator of Scopes) about a reversible wire world <https://twitter.com/paniq/status/1284184120675966979>

When I was working on VR programming languages I wanted to make a voxel based 3D wire world automata, might actually have time to do it one day

I didn't think it'd be super relevant to the work\environments I was doing at the time (the worlds weren't voxel based), but it'd be fun to do VR wire world at the very least

This version is 3D in terms of inputs (equivalent to a 3D von neummann neighborhood), but visually represented as a hex cell with 6 neighbors, which is cool

I am not convinced that Paniq is correct. You could emulate a more complex automaton in 2D Wireworld, and then build Fredkin gates using this emulated automaton. For example, it's known you can build a Turing complete computer in Wireworld, so you can program this computer to implement a Fredkin gate, yeah? PS I have no twitter account.

Thanks for mentioning Scopes. Looks very cool.

yes I haven't had a chance to use Scopes but it looks really nice

I know Leonard from NOWHERE. What is Scopes?

I know Paniq from the demoscene, fractalforums, and shadertoy. Some of his code is in Curv.

yes Paniq shows up a lot of interesting places, I know him from demoscene, shadertoy, nowhere and some other communities I'm a part of

<https://scopes.readthedocs.io/en/latest/tutorial.html>

He doesn't use Curv to my knowledge. He publishes open source code, and I copied some of it to implement certain signed distance functions in my geometry library. Sorry about the ambiguity. There is overlap between Curv and Scopes, so I'm looking at it right now to see what I might borrow.

<@UC2A2ARPT> I think there’s actually a long historical thread to the diagrammatic logic I’m pursuing. I unearthed this book called Diagrammatic Immanence the other day: <https://edinburghuniversitypress.com/book-diagrammatic-immanence.html> (There seems to be a PDF online: <http://s3.amazonaws.com/arena-attachments/1627933/82e41f2941e54ddfe32ca3e0c6247dd9.pdf>) and it talks about how diagrammatic Category Theoretic logic is a context in which philosophies of Spinoza, Peirce, Deleuze can be grounded.

<https://en.wikipedia.org/wiki/Penrose_graphical_notation>

<http://www.forth.org/forth_intro/colon2.htm>

Article explaining Forth flow control but I like the 3D diagrams