HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
dolia
Ask HN: Why did Fastify never get more hype?
1 points
dolia
2026-08-01T09:26:39Z
news.ycombinator.com
Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers
5 points
dolia
2026-06-15T16:11:58Z
digitalcommons.chapman.edu
Show HN: "The Roots of Lisp" Interpreter
2 points
dolia
2022-06-18T08:19:05Z
github.com