Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

quamserena

197 karmajoined August 9, 2025On HN

Author of quamserena.com

Recent submissions

My experience with Lean 4 for general programming quamserena.com
6quamserena9modiscuss
Referential Transparency quamserena.com
1quamserena9modiscuss
Sorry, AI code still sucks quamserena.com
4quamserena9mo1 comment
Pain Points of OCaml quamserena.com
58quamserena10mo80 comments

All submissions and comments on Hacker News.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.