Hacker Newsnew | past | comments | ask | show | jobs | submit | dolia's submissionslogin
1.
Ask HN: Why did Fastify never get more hype?
1 point by dolia 48 days ago | past
2.
Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers (chapman.edu)
5 points by dolia 3 months ago | past
3.
Show HN: "The Roots of Lisp" Interpreter (github.com/serhii-dolia)
2 points by dolia on June 18, 2022 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: