35 ms·Very nice post thanks - I didn’t know about cakeml and bootstrapping formally verified compilers.by Agingcoder 9mo agoVery nice post thanks - I didn’t know about cakeml and bootstrapping formally verified compilers.