You can reach me Roc at community https://racket.discourse.group ; my interest is to reach the goodness of https://tx0.org/16u 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 Roc at community https://racket.discourse.group ; my interest is to reach the goodness of https://tx0.org/16u 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