AxEy
- Karma
- 76
- Created
- 5 years ago
Recent Submissions
- 1. ▲ Voters are split on whether or not to save Bay Area public transit (sfgate.com)
- 2. ▲ Show HN: A compiler for the Cool language written in Rust with an LLVM back end (github.com)
- 3. ▲ Ask HN: Any Prediction Markets hiring developers?
- 4. ▲ Show HN: An Automated Theorem Proving library inspired by a book by Harrison (github.com)