His presentation at Strange Loop: https://www.thestrangeloop.com/2018/fact-a-new-language-for-constant-time-programming.html https://www.thestrangeloop.com/201

His presentation at Strange Loop: https://www.thestrangeloop.com/2018/fact-a-new-language-for-constant-time-programming.html https://www.thestrangeloop.com/2018/fact-a-new-language-for-... https://youtu.be/kbn9UCRK2Qg https://youtu.be/kbn9UCRK2Qg