HN Explorer

AxEy

↗ HN profile [ 5503 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: A compiler for the Cool language written in Rust with an LLVM back end (github.com)
    2 points 0
  2. Ask 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…

    3 points 0
  3. Show HN: An Automated Theorem Proving library inspired by a book by Harrison (github.com)

    I've been working on translating (and modifying) parts of John Harrison's automated theorem proving book from Ocaml into a Rust library. Highlights so far are an implementation of DPLL with conflict-clause learning that…

    3 points 2
  4. A secretive LA group has a new mission: paint untouched crosswalks (npr.org)
    1 points 0
  5. Australia: Beijing Threatening Academic Freedom (hrw.org)
    2 points 0