Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
AxEy | Dark Hacker News
user:
AxEy
created:
May 30, 2021
karma:
75
submissions
comments
1.
Show HN: A compiler for the Cool language written in Rust with an LLVM back end
(github.com)
2 points
by
AxEy
1 year ago
|
0 comments
2.
Ask HN: Any Prediction Markets hiring developers?
3 points
by
AxEy
2 years ago
|
0 comments
3.
Show HN: An Automated Theorem Proving library inspired by a book by Harrison
(github.com)
3 points
by
AxEy
3 years ago
|
0 comments
4.
3 years ago
|
discuss