A few related matters which might seem unrelated until one starts seeing the bigger picture: http://lampwww.epfl.ch/~amin/pub/collapsing-towers.pdf http://lamp

A few related matters which might seem unrelated until one starts seeing the bigger picture: http://lampwww.epfl.ch/~amin/pub/collapsing-towers.pdf http://lampwww.epfl.ch/~amin/pub/collapsing-towers.pdf Amin, Nada; Rompf, Tiark - Collapsing Towers of Interpreters [January 2018] http://bootstrappable.org/ http://bootstrappable.org/ (see also http://langsec.org http://langsec.org ) https://docs.racket-lang.org/medic/index.html https://docs.racket-lang.org/medic/index.html - paper explaining it: https://www.cs.utah.edu/plt/publications/fpw15-lf.pdf https://www.cs.utah.edu/plt/publications/fpw15-lf.pdf sequel to that paper: https://dl.acm.org/citation.cfm?id=3136019 https://dl.acm.org/citation.cfm?id=3136019 https://www.reddit.com/r/nosyntax https://www.reddit.com/r/nosyntax https://www.reddit.com/r/programming/comments/2gw9u8/programming_should_eat_itself_by_nada_amin/ https://www.reddit.com/r/programming/comments/2gw9u8/program... https://grothoff.org/christian/habil.pdf https://grothoff.org/christian/habil.pdf The GNUnet System https://wiki.debian.org/SameKernel https://wiki.debian.org/SameKernel http://drops.dagstuhl.de/opus/volltexte/2017/7276/pdf/LIPIcs-ECOOP-2017-27.pdf http://drops.dagstuhl.de/opus/volltexte/2017/7276/pdf/LIPIcs... Wang, Fei; Rompf, Tiark - Towards Strong Normalization for Dependent Object Types (DOT) https://www.reddit.com/r/MachineLearning/comments/7s9etv/r_biological_selforganisation_and_markov_blankets/ https://www.reddit.com/r/MachineLearning/comments/7s9etv/r_b... https://news.ycombinator.com/item?id=16343020 https://news.ycombinator.com/item?id=16343020 Symbolic Assembly: Using Clojure to Meta-program Bytecode - Ramsey Nasser http://conal.net/papers/compiling-to-categories/ http://conal.net/papers/compiling-to-categories/ https://icfp17.sigplan.org/event/icfp-2017-papers-kami-a-platform-for-high-level-parametric-hardware-specification-and-its-modular-verification https://icfp17.sigplan.org/event/icfp-2017-papers-kami-a-pla... https://www.reddit.com/r/asm/comments/7af7a4/def_con_25_xlogicx_assembly_language_is_too_high/ https://www.reddit.com/r/asm/comments/7af7a4/def_con_25_xlog... Each of these, and this, paves another brick into a road to a very very different computational paradigm... I post this here without much explanation (and I've left a lot of other very relevant stuff out) of how these parts fit together, and I apologize for that, but I simply lack the time to give this the proper writeup it would deserve.