1Show HN: A compiler for the Cool language written in Rust with an LLVM back end (opens in new tab)(github.com)GitHub2AxEy1y ago0Save
2Ask HN: Any Prediction Markets hiring developers?The more I learn about prediction markets, the more I think they would be a worthwhile place to work.I'm using the term broadly to include "play money" markets such as Metaculous. (I know Metaculous just did a bunch of hiring, but I was too late).show more3AxEy2y ago0Save
3Show HN: An Automated Theorem Proving library inspired by a book by Harrison (opens in new tab)(github.com)GitHub3AxEy3y ago0Save
4A secretive LA group has a new mission: paint untouched crosswalks (opens in new tab)(npr.org)1AxEy4y ago0Save
