HN
Hacker News
Top
New
Best
Ask
Show
Jobs
quamserena
197 karma · joined August 9, 2025
Author of quamserena.com
submissions
comments
My experience with Lean 4 for general programming
quamserena.com
·
6 pts
·
quamserena
·
0
Referential Transparency
quamserena.com
·
1 pts
·
quamserena
·
0
Sorry, AI code still sucks
quamserena.com
·
4 pts
·
quamserena
·
1
Pain Points of OCaml
quamserena.com
·
58 pts
·
quamserena
·
80
Ask HN: What editor for LaTeX notes do you use?
3 pts
·
quamserena
·
6
Using Derive_more for Errors in Rust
quamserena.com
·
2 pts
·
quamserena
·
0
America's strategic posture (2023) [pdf]
ida.org
·
3 pts
·
quamserena
·
0