Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Salt v1.0.0 – a systems language with Z3 theorem proving in the compiler. Parent comment
It's not my own project, but it's doing basically the same thing you are doing which is why it is relevant.
Salt has some different ergonomics and performance goals though, which makes this project unique.
It's not my own project, but it's doing basically the same thing you are doing which is why it is relevant.