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

just found out about infra: <http://www.christopherkhall.com/research.html|http://www.christopherkhall.com/research.html> 
absolutely wild project seeking to unify data formats, do projectional edits to those formats (including dependency resolution), binary encoding, some other stuff. more links in thread

<https://youtu.be/L8VpCCIxuME|https://youtu.be/L8VpCCIxuME> short overview of project + projectional editor 

data dependency resolution: <https://youtu.be/hs42TeFytEk|https://youtu.be/hs42TeFytEk>

project website: <http://www.infra-structure.org/|http://www.infra-structure.org/>

<http://www.christopherkhall.com/Hall17Infra.pdf|http://www.christopherkhall.com/Hall17Infra.pdf> introductory paper, tags: projectional editing, purely functional data structures, controlled effects

Oh, looks like there's finally some more content than just the dissertation. A while ago it looked pretty dead. Thanks for sharing!

Interesting stuff! Not sure the project is still alive though. The download page is disappointing and according to his Linkedin profile, Christopher Khal doesn't seem to still work on it.

i’m gonna try emailing him and/or implementing it

Implementing it? Great! Please share your progress here if you follow that path! :slightly_smiling_face:

i’m gathering printer paper for the thesis. will definitely share