Skip to content

Top Best Ask Show New Jobs

quamserena | Better HN

quamserena

196 karmaJoined August 9, 202585 submissions

Author of quamserena.com

Recent submissions

1

My experience with Lean 4 for general programming (opens in new tab)

(quamserena.com)

6quamserena6mo ago0

2

Referential Transparency (opens in new tab)

(quamserena.com)

1quamserena7mo ago0

3

Sorry, AI code still sucks (opens in new tab)

(quamserena.com)

4quamserena7mo ago1

4

Pain Points of OCaml (opens in new tab)

(quamserena.com)

58quamserena7mo ago80