CTO, cofounder of edtech 2yrs Seed stage SG company, anyone interested to chat?
Looking to chat and learn together! 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 at Joshua via linkedin https://www.linkedin.com/in/xueyongjoshua