Skip to content

Top New Best Ask Show Jobs

quamserena

194 karmaJoined August 9, 202584 submissions

Author of quamserena.com

quamserena | Better HN

Recent submissions

1

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

(quamserena.com)

6quamserena3mo ago0

2

Referential Transparency (opens in new tab)

(quamserena.com)

1quamserena4mo ago0

3

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

(quamserena.com)

4quamserena4mo ago1