You can reach me Roc at community <a href="https://racket.discourse.group" rel="nofollow">https://racket.discourse.group</a> ; my interest is to reach the goodness of <a href="https://tx0.org/16u" rel="nofollow">https://tx0.org/16u</a> and to avoid direction of dystopia; I would like to see DrRacket running on seL4 microkernel with proof in spec. correctness, debugability and control given highest priority
You can reach me at Joshua via linkedin <a href="https://www.linkedin.com/in/xueyongjoshua" rel="nofollow">https://www.linkedin.com/in/xueyongjoshua</a>