Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
quamserena | Dark Hacker News
user:
quamserena
created:
August 9, 2025
karma:
196
about:
Author of quamserena.com
submissions
comments
1.
My experience with Lean 4 for general programming
(quamserena.com)
6 points
by
quamserena
158 days ago
|
0 comments
2.
Referential Transparency
(quamserena.com)
1 points
by
quamserena
183 days ago
|
0 comments