Stories by AxEy

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