AxEy's submissions | Hacker News

1.		Show HN: A compiler for the Cool language written in Rust with an LLVM back end (github.com/aetilley)
		2 points by AxEy 9 months ago \| past
2.		Ask HN: Any Prediction Markets hiring developers?
		3 points by AxEy on July 28, 2023 \| past
3.		Show HN: An Automated Theorem Proving library inspired by a book by Harrison (github.com/aetilley)
		3 points by AxEy on Feb 24, 2023 \| past
4.		A secretive LA group has a new mission: paint untouched crosswalks (npr.org)
		1 point by AxEy on March 31, 2022 \| past
5.		Australia: Beijing Threatening Academic Freedom (hrw.org)
		2 points by AxEy on June 29, 2021 \| past