Joined 5/30/2021, 2:48:38 AM has 61 karma
Show HN: A compiler for the Cool language written in Rust with an LLVM back end
Ask HN: Any Prediction Markets hiring developers?
Show HN: An Automated Theorem Proving library inspired by a book by Harrison
A secretive LA group has a new mission: paint untouched crosswalks
Australia: Beijing Threatening Academic Freedom