dolia

38 karmajoined June 18, 2022On HN

Recent submissions

Ask HN: Why did Fastify never get more hype?
1dolia1modiscuss
Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers digitalcommons.chapman.edu
5dolia2modiscuss
Show HN: "The Roots of Lisp" Interpreter github.com/serhii-dolia
2dolia4ydiscuss

All submissions and comments on Hacker News.