Hacker News new | ask | show | jobs
by Agingcoder 183 days ago
Very nice post thanks - I didn’t know about cakeml and bootstrapping formally verified compilers.