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.
http://lampwww.epfl.ch/~amin/pub/collapsing-towers.pdf Amin, Nada; Rompf, Tiark - Collapsing Towers of Interpreters [January 2018]
http://bootstrappable.org/ (see also http://langsec.org )
https://docs.racket-lang.org/medic/index.html - paper explaining it: https://www.cs.utah.edu/plt/publications/fpw15-lf.pdf
sequel to that paper: https://dl.acm.org/citation.cfm?id=3136019
https://www.reddit.com/r/nosyntax
https://www.reddit.com/r/programming/comments/2gw9u8/program...
https://grothoff.org/christian/habil.pdf The GNUnet System
https://wiki.debian.org/SameKernel
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_b...
https://news.ycombinator.com/item?id=16343020 Symbolic Assembly: Using Clojure to Meta-program Bytecode - Ramsey Nasser
http://conal.net/papers/compiling-to-categories/
https://icfp17.sigplan.org/event/icfp-2017-papers-kami-a-pla...
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.