1Show HN: A compiler for the Cool language written in Rust with an LLVM back end (opens in new tab)(github.com)2AxEy0y ago0
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 ago0
3Show HN: An Automated Theorem Proving library inspired by a book by Harrison (opens in new tab)(github.com)3AxEy3y ago0
