Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
dolia | Dark Hacker News
user:
dolia
created:
June 18, 2022
karma:
38
submissions
comments
1.
Ask HN: Why did Fastify never get more hype?
1 points
by
dolia
19 days ago
|
0 comments
2.
Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers
(digitalcommons.chapman.edu)
5 points
by
dolia
66 days ago
|
0 comments
3.
Show HN: "The Roots of Lisp" Interpreter
(github.com)
2 points
by
dolia
4 years ago
|
0 comments