dolia

Karma: 38
Created: 4 years ago

Recent Submissions

1. ▲ Ask HN: Why did Fastify never get more hype? 1 point · 1 month ago · 0 comments
2. ▲ Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers (digitalcommons.chapman.edu) 5 points · 2 months ago · 0 comments
3. ▲ Show HN: "The Roots of Lisp" Interpreter (github.com) 2 points · 4 years ago · 0 comments

All submissions on HN · View profile on HN