quamserena

Karma: 152
Created: 4 months ago

About

Author of quamserena.com

Recent Submissions

1. ▲ My experience with Lean 4 for general programming (quamserena.com) 5 points · 5 days ago · 0 comments
2. ▲ Referential Transparency (quamserena.com) 1 point · 1 month ago · 0 comments
3. ▲ Sorry, AI code still sucks (quamserena.com) 4 points · 1 month ago · 1 comment

All submissions on HN · View profile on HN