Recent Posts

• Show HN: A compiler for the Cool language written in Rust with an LLVM back end
  by AxEyon 3/28/2025, 10:19:23 PM with 0 comments
• Ask HN: Any Prediction Markets hiring developers?
  by AxEyon 7/28/2023, 1:47:15 AM with 0 comments
• Show HN: An Automated Theorem Proving library inspired by a book by Harrison
  by AxEyon 2/24/2023, 6:33:11 PM with 2 comments
• A secretive LA group has a new mission: paint untouched crosswalks
  by AxEyon 3/31/2022, 6:37:25 PM with 0 comments
• Australia: Beijing Threatening Academic Freedom
  by AxEyon 6/29/2021, 10:24:30 PM with 0 comments