AxEy
joined 5/30/21, 2:48 AM has 61 karma
- Show HN: A compiler for the Cool language written in Rust with an LLVM back end
by AxEy on 3/28/25, 10:19 PM, with comments
- Ask HN: Any Prediction Markets hiring developers?
by AxEy on 7/28/23, 1:47 AM, with comments
- Show HN: An Automated Theorem Proving library inspired by a book by Harrison
by AxEy on 2/24/23, 6:33 PM, with comments
- A secretive LA group has a new mission: paint untouched crosswalks
by AxEy on 3/31/22, 6:37 PM, with comments
- Australia: Beijing Threatening Academic Freedom
by AxEy on 6/29/21, 10:24 PM, with comments